Package: coq Priority: optional Section: universe/math Installed-Size: 22623 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 8.4pl4dfsg-3build2 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.4pl4+4.02.3 Depends: coq-theories (= 8.4pl4dfsg-3build2), emacsen-common, libcoq-ocaml-d91z1, ocaml-base-nox-4.02.3, 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.4pl4dfsg-3build2_amd64.deb Size: 3993698 MD5sum: 4a4b65a58f7f81a6ef57859b5b9d3594 SHA1: e7c89f076d85d42479fcaf45e052a7772829a15d SHA256: 8c94ac749ad3e271ce3064c153f74e22946623b6738ecc4310ff08a6f5d40971 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