Package: coq
Architecture: amd64
Version: 8.19.1+dfsg-3build3
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 330240
Provides: coq-8.19.1+5.2.0
Depends: libcoq-stdlib (= 8.19.1+dfsg-3build3), libcoq-core-ocaml-zhvt1, libfindlib-ocaml-ir474, libstdlib-ocaml-u9ol3, libzarith-ocaml-mtsj7, ocaml-base-5.2.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib
Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc
Breaks: coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq_8.19.1+dfsg-3build3_amd64.deb
Size: 100814158
MD5sum: 99acbd5f8f00abb8868ad188b900ab05
SHA1: 74e8a5edf4dfb09231465df1640b2361371f9419
SHA256: 7e0b87674557c36869183e7601043ff384944db7a88ea65b3852948d49be0578
SHA512: 46f89bcf7cb9c7cb89309bf569a5a831a4dcae5a3a81fae6bf86f33561a3a924de74c769ecceb0f9602c155bdeee78c1a364f0fd88cb6cc94088558db416c5dd
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a