Paquet : coqide (8.0pl3-2)

Liens pour coqide

Resources Debian :

Télécharger le paquet source coq:

Responsables :

Debian OCaml Maintainers (Page QA, Mail Archive)
Ralf Treinen (Page QA)
Sven Luther (Page QA)
Remi Vanicat (Page QA)
Stefano Zacchiroli (Page QA)
Samuel Mimram (Page QA)

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.

Étiquettes: Software Development: IDE, Field: Mathématiques, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Autres paquets associés à coqide

depends

recommends

suggests

dep: coq (>= 8.0)

proof assistant for higher-order logic (toplevel and compiler)
dep: libatk1.0-0 (>= 1.9.0)

Boîte à outils pour l'accessibilité à ATK
dep: libc6 (>= 2.3.5-1) [not alpha, ia64]

bibliothèque C GNU : bibliothèques partagées
also a virtual package provided by libc6-udeb
dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]

bibliothèque C GNU : bibliothèques partagées
also a virtual package provided by libc6.1-udeb
dep: libcairo2 (>= 1.0.2-2)

The Cairo 2D vector graphics library
dep: libfontconfig1 (>= 2.3.0)

Bibliothèque de configuration de polices générique - exécutables
dep: libglib2.0-0 (>= 2.10.0) [amd64]

Bibliothèque GLib de routines C

dep: libglib2.0-0 (>= 2.8.5) [not amd64]
dep: libgtk2.0-0 (>= 2.8.0)

Bibliothèque de l'interface graphique GTK+
dep: libncurses5 (>= 5.4-5)

Bibliothèques partagées pour la gestion d'un terminal
dep: libpango1.0-0 (>= 1.10.3) [not amd64]

Mise en place et rendu de texte internationalisé

dep: libpango1.0-0 (>= 1.12.0) [amd64]
dep: libx11-6

Bibliothèque X11 partie client
dep: libxcursor1 (>> 1.1.2)

Bibliothèque de gestion du curseur X
dep: libxext6

Bibliothèque de diverses extensions pour X11
dep: libxi6

Bibliothèque d'extension Input X11
dep: libxinerama1

X11 Xinerama extension library
dep: libxrandr2

Bibliothèque d'extension RandR X11
dep: libxrender1 (>= 1:0.9.0.2)

Bibliothèque cliente d'extension de rendu X

Télécharger coqide

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé	Fichiers
alpha	1,341.1 ko	6436 ko	[liste des fichiers]
amd64	3,575.6 ko	13852 ko	[liste des fichiers]
arm	1,297.8 ko	6148 ko	[liste des fichiers]
hppa	1,334.8 ko	6276 ko	[liste des fichiers]
i386	3,360.9 ko	12100 ko	[liste des fichiers]
ia64	1,365.2 ko	6744 ko	[liste des fichiers]
mips	1,323.3 ko	6368 ko	[liste des fichiers]
mipsel	1,314.2 ko	6364 ko	[liste des fichiers]
powerpc	3,802.0 ko	12740 ko	[liste des fichiers]
s390	1,355.7 ko	6324 ko	[liste des fichiers]
sparc	3,883.4 ko	12936 ko	[liste des fichiers]