all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq (8.19.1+dfsg-3)

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)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-core-ocaml
runtime libraries for Coq
libcoq-core-ocaml-dev
development libraries and tools for Coq
libcoq-stdlib
proof assistant for higher-order logic (theories)

Other Packages Related to coq

  • build-depends
  • build-depends-indep

Download coq

FileSize (in kB)MD5 checksum
coq_8.19.1+dfsg-3.dsc 2.3 kB ab46c45713746ecb2b7f26b994d0da05
coq_8.19.1+dfsg.orig.tar.bz2 5,458.5 kB dea6de51a6e8218824751962ae449098
coq_8.19.1+dfsg-3.debian.tar.xz 32.1 kB 53bd334d7f91adece54fc12e900e72ce
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