Package: coq
Priority: optional
Section: universe/math
Installed-Size: 18759
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
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-ajad9, 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_i386.deb
Size: 3746098
MD5sum: cccb155deafe79242537857fe70ae952
SHA1: c8c182051169d38478a66f21bcabb4be4f4baac6
SHA256: e51923f9a6b0a14e6bc39a0e7c16c5ff57158a5c38deee3118bb0d9ce1095103
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