Package: coq
Priority: optional
Section: universe/math
Installed-Size: 20127
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
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-68030, 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_i386.deb
Size: 3746046
MD5sum: c723189b6fb7009b0494a37ad5c4cacc
SHA1: 883efdaeec096a1a4e6e1b318c6cf81af1cbabd7
SHA256: 452bd42025accfb97e89d34e7bd42a46ac3ddf6d278d04547883734f5bc9bdcd
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