[ Source: coq ]
Package: coqide (8.3.pl3+dfsg-1~bpo60+1) [backports]
Links for coqide
Debian Resources:
Download Source Package coq:
- [coq_8.3.pl3+dfsg-1~bpo60+1.dsc]
- [coq_8.3.pl3+dfsg.orig.tar.gz]
- [coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz]
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Ralf Treinen (QA Page)
- Samuel Mimram (QA Page)
- Stéphane Glondu (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
Dokazovací asistent používající logiku vyššího řádu (s rozhraním gtk)
Coq je osvědčený pomocník vyšší logiky, který vám umožní vytvářet konzistentní počítačové programy pomocí jejich formální specifikace. Je vytvořen za pomoci Objective Caml a Camlp5.
Tento balíček obsahuje CoqIde, grafické uživatelské rozhraní pro vývoj důkazů.
Other Packages Related to coqide
|
|
|
-
- dep: coq (= 8.3.pl3+dfsg-1~bpo60+1)
- Dokazovací nástroj vyšší logiky (nejvyšší úroveň a kompilátor)
-
- dep: libatk1.0-0 (>= 1.29.3) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Sada nástrojů pro přístupnost ATK
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Vestavěná knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.7) [amd64, i386, powerpc]
- Vestavěná knihovna GNU C: Sdílené knihovny
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.2.4) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- 2D vektorová grafická knihovna Cairo
-
- dep: libcoq-ocaml-2n499 [i386, kfreebsd-i386, powerpc]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-3ldl2 [amd64, kfreebsd-amd64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-cg3k8 [armel, ia64, mips, mipsel, s390]
- virtual package provided by libcoq-ocaml
-
- dep: libfontconfig1 (>= 2.8.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Všeobecná knihovna pro nastavení písma - běhová část
-
- dep: libfreetype6 (>= 2.2.1) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Engine písma FreeType 2, soubory sdílené knihovny
-
- dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Knihovna GLib s C rutinami
-
- dep: libgtk2.0-0 (>= 2.12.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Knihovna grafického uživatelského rozhraní GTK+
-
- dep: liblablgtk2-ocaml-h3pg1 [amd64, kfreebsd-amd64]
- Package not available
-
- dep: liblablgtk2-ocaml-kc4f2 [armel, ia64, mips, mipsel, s390]
- Package not available
-
- dep: liblablgtk2-ocaml-t1zm6 [i386, kfreebsd-i386, powerpc]
- Package not available
-
- dep: libpango1.0-0 (>= 1.14.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Formátování a vykreslování mezinárodního textu
-
- dep: ocaml-base-nox-3.11.2
- Package not available
Download coqide
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 5,410.6 kB | 18,300.0 kB | [list of files] |
| armel | 2,425.4 kB | 9,264.0 kB | [list of files] |
| i386 | 4,998.1 kB | 15,660.0 kB | [list of files] |
| ia64 | 2,427.0 kB | 9,264.0 kB | [list of files] |
| kfreebsd-amd64 | 5,409.3 kB | 18,302.0 kB | [list of files] |
| kfreebsd-i386 | 4,996.5 kB | 15,630.0 kB | [list of files] |
| mips | 2,426.9 kB | 9,264.0 kB | [list of files] |
| mipsel | 2,425.4 kB | 9,264.0 kB | [list of files] |
| powerpc | 5,433.7 kB | 16,372.0 kB | [list of files] |
| s390 | 2,425.1 kB | 9,264.0 kB | [list of files] |