Package: coq Priority: optional Section: universe/math Installed-Size: 21889 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 8.4pl3dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.4pl3+4.01.0 Depends: coq-theories (= 8.4pl3dfsg-1), emacsen-common, libcoq-ocaml-g3g57, ocaml-base-nox-4.01.0, libc6 (>= 2.15) Recommends: coqide | proofgeneral Suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Filename: pool/universe/c/coq/coq_8.4pl3dfsg-1_amd64.deb Size: 4040156 MD5sum: a5ce6dfb3c290df28cffd7ccbcefd5b1 SHA1: 38b231daea2cb8dc7eabfee7856350dc06400523 SHA256: 96f08f786d7048b2819edaf2ea7f208599ea37a3cbca12aa480c1baa5f5d5794 Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu