Package: coq
Architecture: i386
Version: 8.6-5build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 65843
Provides: coq-8.6+4.05.0
Depends: coq-theories (= 8.6-5build1), emacsen-common, libcoq-ocaml-6pjp3, ocaml-base-nox-4.05.0, libc6 (>= 2.17), ocaml-best-compilers, ocaml-findlib
Recommends: coqide | proofgeneral
Suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc
Breaks: coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq_8.6-5build1_i386.deb
Size: 16948548
MD5sum: f7e25634cb537cebc363054f76ba2ec2
SHA1: 983cf2978434a382b28259eb907cbca528d03a95
SHA256: fe04bbb330b375631d969e309b26c6bba91bf585a6f713e3d9015f83ec036e7d
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (toplevel and compiler)
Description-md5: 2c4259e8b83c839ff539d48b854ee31a