all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: coq (8.9.1-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)
libcoq-ocaml
runtime libraries for Coq
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.9.1-1.dsc 2.1 kB 657fc22621f58c2839850a7d835721eb
coq_8.9.1.orig.tar.gz 5,273.0 kB 650755e1b622af8e76df22d11f206503
coq_8.9.1-1.debian.tar.xz 28.8 kB ca032e5d0c994f239d24315a324ffb79
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq