all options
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: coq (8.2.pl2+dfsg-1)

Links for coq

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
coq
proof assistant for higher-order logic (toplevel and compiler)
coq-theories
proof assistant for higher-order logic (theories)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-ocaml-dev
development libraries and tools for Coq

Other Packages Related to coq

  • build-depends
  • build-depends-indep

Download coq

FileSize (in kB)MD5 checksum
coq_8.2.pl2+dfsg-1.dsc 2.1 kB 3a026518c5d8b4adf35b79cad23629f2
coq_8.2.pl2+dfsg.orig.tar.gz 3,068.9 kB 64093f3b22d6f49418b4d5267925141b
coq_8.2.pl2+dfsg-1.debian.tar.gz 16.4 kB 22f7bc31e1ad9289856fb92824e0e2bf
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git