Package: coq
Architecture: amd64
Version: 8.15.0+dfsg-2
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: 304054
Provides: coq-8.15.0+4.13.1
Depends: libcoq-stdlib (= 8.15.0+dfsg-2), libcoq-core-ocaml-aosg1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg), ocaml-nox, 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.15.0+dfsg-2_amd64.deb
Size: 95393552
MD5sum: 62284d18307a17c7d31a2e8e08d28ea7
SHA1: ecd640c84e09a1eb7db0ce110f907f61705fdee0
SHA256: 4cae44de3dde22bf2ad0ac468e89d374dba8b5476f72e5fefb91528d5c8125e9
SHA512: ab5b049a2b750823f0e96c060944d31f0de2c9d9f0b4c9b07c8b28a7ced4ddafcb3186a37826a654260c0962b4456125f392bd51032be25a76a3bed6fd03d98a
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a