[ Paquet source : coq ]
Paquet : coqide (8.1.pl3+dfsg-1) [universe]
Liens pour coqide
Ressources Ubuntu :
Télécharger le paquet source coq :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Archive du courrier électronique)
- Ralf Treinen
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
Paquets similaires :
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 Camlp4. For more information, see <http://coq.inria.fr/>.
This package provides CoqIde, a graphical user interface for developing proofs.
Autres paquets associés à coqide
|
|
|
-
- dep: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libatk1.0-0 (>= 1.20.0)
- Boîte à outils pour l'accessibilité ATK
-
- dep: libc6 (>= 2.7-1)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libcairo2 (>= 1.5.4)
- La bibliothéque graphique vectorielle Cairo 2D
-
- dep: libfontconfig1 (>= 2.4.0) [i386]
- Bibliothèque de configuration de polices générique - exécutables
-
- dep: libglib2.0-0 (>= 2.15.0)
- La bibliothèque GLib des routines C
-
- dep: libgtk2.0-0 (>= 2.12.0)
- The GTK+ graphical user interface library
-
- dep: libncurses5 (>= 5.6+20071006-3)
- Bibliothèques partagées pour la gestion d'un terminal
-
- dep: libpango1.0-0 (>= 1.19.2)
- Layout and rendering of internationalized text
-
- dep: libx11-6 [i386]
- X11 client-side library
-
- dep: libxcomposite1 (>= 1:0.3-1) [i386]
- X11 Composite extension library
-
- dep: libxcursor1 (>> 1.1.2) [i386]
- Bibliothèque de gestion du curseur X
-
- dep: libxdamage1 (>= 1:1.1) [i386]
- X11 damaged region extension library
-
- dep: libxext6 [i386]
- X11 miscellaneous extension library
-
- dep: libxfixes3 (>= 1:4.0.1) [i386]
- X11 miscellaneous 'fixes' extension library
-
- dep: libxi6 [i386]
- X11 Input extension library
-
- dep: libxinerama1 [i386]
- X11 Xinerama extension library
-
- dep: libxrandr2 (>= 2:1.2.0) [i386]
- X11 RandR extension library
-
- dep: libxrender1 [i386]
- X Rendering Extension client library
-
- dep: tex-common (>= 0.7)
- common infrastructure for building and installing TeX
Télécharger coqide
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 5 099,7 ko | 17768 ko | [liste des fichiers] |
| i386 | 4 804,7 ko | 15780 ko | [liste des fichiers] |