Package: coq
Architecture: amd64
Version: 8.11.0-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: 317436
Provides: coq-8.11.0+4.08.1
Depends: coq-theories (= 8.11.0-1), libcoq-ocaml-rd419, libnum-ocaml-f5qg6, ocaml-base-nox-4.08.1, python3:any, libc6 (>= 2.29), ocaml-nox, ocaml-findlib
Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-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.11.0-1_amd64.deb
Size: 76583920
MD5sum: 4a0a60c5f62383bf2a1ef33a5c10765b
SHA1: 567bfc563a6bc7eec6e0fb647f9b1b8fab7c3d48
SHA256: 3683f07bfcdb55e4542cd3e928e7ffe489ba7fb6c3aa1a82c2f0f340628b2bb6
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a