[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ] [  experimental  ]

[ Source: coq  ]

Liens pour coqide

Resources Debian :

• Rapports de bogues
• Informations pour les développeurs (PTS)
• Journal des modifications Debian
• Fichier de licence

Télécharger le paquet source coq:

• [coq_8.0pl2-2.dsc]
• [coq_8.0pl2.orig.tar.gz]
• [coq_8.0pl2-2.diff.gz]

Responsables :

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

Paquets similaires :

• coq
• coq-libs
• coq7-libs
• coq-doc-html
• coq-doc-pdf
• coq-doc
• proofgeneral-coq
• minlog
• proofgeneral-doc
• proofgeneral-misc
• proofgeneral-minlog

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.7.2)

  Boîte à outils pour l'accessibilité à ATK
  also a virtual package provided by libatk1.0-udeb

• dep: libc6 (>= 2.3.2.ds1-4) [not alpha, ia64]

  GNU C Library: Shared libraries and Timezone data
  also a virtual package provided by libc6-udeb

• dep: libc6.1 (>= 2.3.2.ds1-4) [alpha, ia64]

  GNU C Library: Shared libraries and Timezone data
  also a virtual package provided by libc6.1-udeb

• dep: libglib2.0-0 (>= 2.6.0)

  Bibliothèque GLib de routines C
  also a virtual package provided by libglib2.0-udeb

• dep: libgtk2.0-0 (>= 2.6.0)

  Bibliothèque de l'interface graphique GTK+

• dep: liblablgtk2-ocaml (>= 2.4.0)

  runtime libraries for ocaml bindings for Gtk+ version 2

• dep: libncurses5 (>= 5.4-1)

  Bibliothèques partagées pour la gestion d'un terminal

• dep: libpango1.0-0 (>= 1.8.1)

  Mise en place et rendu de texte internationalisé
  also a virtual package provided by libpango1.0-udeb

Télécharger coqide

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé	Fichiers
alpha	1,949.3 ko	7628 ko	[liste des fichiers]
amd64 (portage non officiel)	4,185.8 ko	15188 ko	[liste des fichiers]
arm	1,901.9 ko	7344 ko	[liste des fichiers]
hppa	4,647.4 ko	14272 ko	[liste des fichiers]
i386	3,965.2 ko	13420 ko	[liste des fichiers]
ia64	1,966.9 ko	7952 ko	[liste des fichiers]
m68k	1,911.8 ko	7328 ko	[liste des fichiers]
mips	1,918.0 ko	7600 ko	[liste des fichiers]
mipsel	1,907.4 ko	7600 ko	[liste des fichiers]
powerpc	4,413.0 ko	14004 ko	[liste des fichiers]
s390	1,959.3 ko	7532 ko	[liste des fichiers]
sparc	4,485.9 ko	14192 ko	[liste des fichiers]