Package: coq
Architecture: amd64
Version: 8.18.0+dfsg-1build2
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: 304417
Provides: coq-8.18.0+4.14.1
Depends: libcoq-stdlib (= 8.18.0+dfsg-1build2), libcoq-core-ocaml-fg9y1, libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, 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.18.0+dfsg-1build2_amd64.deb
Size: 95929242
MD5sum: 19386bdff100fbfcb45c83884884359d
SHA1: 2d208dd9e1ed510067a05e17558f2633a2d2bc9d
SHA256: 22897a17a75d8930276f5eedd5cd29ac940f1ab4d4661b6a49ccc63577e54d3b
SHA512: 0b99ae81c4ef7ee286a30f27e4e6de3449011f683ab99c6424ac32f403f989e91ae754d321a4c6a37070655683a12da80a0ea2c3b60ad1d573440549a527a564
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a