Package: coq
Architecture: amd64
Version: 8.20.1+dfsg-1
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: 257212
Provides: coq-8.20.1+5.3.0
Depends: libcoq-stdlib (= 8.20.1+dfsg-1), libcoq-core-ocaml-at3u5, libfindlib-ocaml-5ych3, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9, ocaml-base-5.3.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.20.1+dfsg-1_amd64.deb
Size: 81958834
MD5sum: a59546d18543934c0890213e1cca2683
SHA1: 15957d3246e0f6ade8536fe74e38b645fa8a4817
SHA256: 201f312c0c3849a0d502b61536b7e5859ab1da14e3f3e78ccf753d5b6b9dcfec
SHA512: afe182908e57c926e1a8767cab18dcbceaae35e232c811ff05ff3c26c3a4b2e2f5a162346984649daf14a84913a7e37e6080868707380fa802cba987dab5a6e4
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a