Alle Optionen
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]

Quellcode-Paket: coq (8.3.pl4+dfsg-2)

Links für coq

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
coq
Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
coq-theories
Beweis-Assistent für Logik höherer Ordnung (Theorien)
coqide
Beweis-Assistent für Logik höherer Ordnung (Gtk-Schnittstelle)
libcoq-ocaml
runtime libraries for Coq
libcoq-ocaml-dev
development libraries and tools for Coq

Andere Pakete mit Bezug zu coq

  • build-depends
  • build-depends-indep

Download coq

DateiGröße (in kB)MD5-Prüfsumme
coq_8.3.pl4+dfsg-2.dsc 2,3 kB c19602442d98f960dfcd5fea31e19f9c
coq_8.3.pl4+dfsg.orig.tar.gz 3.080,8 kB 8ac619e898d046d90cd0b7b821cbeeb5
coq_8.3.pl4+dfsg-2.debian.tar.gz 15,9 kB 34f50c26371adcf32136217b3da1d333
Quellcode-Depot des Debian-Pakets (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Quellcode-Depot des Debian-Pakets (browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git