[ 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:
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides CoqIde, a graphical user interface for developing proofs.
Other Packages Related to coqide
|
|
|
-
- dep: coq (= 8.3.pl3+dfsg-1~bpo60+1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libatk1.0-0 (>= 1.29.3) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Boîte à outils pour l'accessibilité à ATK
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- bibliothèque C GNU embarquée : bibliothèques partagées
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.7) [amd64, i386, powerpc]
- bibliothèque C GNU embarquée : bibliothèques partagées
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.2.4) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- bibliothèque graphique vectorielle Cairo 2D
-
- 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]
- Bibliothèque de configuration de polices générique - exécutables
-
- dep: libfreetype6 (>= 2.2.1) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Moteur de polices FreeType 2, fichiers de bibliothèques partagées
-
- dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Bibliothèque GLib de routines C
-
- dep: libgtk2.0-0 (>= 2.12.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- Bibliothèque de l'interface graphique 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]
- Mise en place et rendu de texte internationalisé
-
- 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] |