Package: coq Priority: optional Section: universe/math Installed-Size: 18229 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 8.3.pl4+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.3pl4+3.12.1 Depends: coq-theories (= 8.3.pl4+dfsg-1), emacsen-common, libcoq-ocaml-k3dy8, ocaml-base-nox-3.12.1, libc6 (>= 2.14) 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.3.pl4+dfsg-1_amd64.deb Size: 5563182 MD5sum: c95964ac09bb7eff042e2b0b2ff97ecb SHA1: 8a9ba2ea1e146f83e31a86406491b158bb593f1f SHA256: 3085cfb6c1eb98c857b22cbfbdc2698c1da0e84be3b4cfe3bbcc900e9d3c3d45 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