Package: coq-theories
Priority: optional
Section: universe/math
Installed-Size: 147931
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Source: coq
Version: 8.4pl4dfsg-3build2
Replaces: coq (<< 8.4pl4dfsg-3), coq-libs (<< 8.2.pl1)
Depends: coq-8.4pl4+4.02.3
Recommends: coq (>= 8.0)
Breaks: coq (<< 8.4pl4dfsg-3), coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq-theories_8.4pl4dfsg-3build2_all.deb
Size: 32236078
MD5sum: 6f5e2f2765e8fc5b1400ebc84153d63d
SHA1: baf7684191872c850165c96e973a4f0732ac146f
SHA256: 6987bfeb2bbd95aa96e4e1c8b6c8250a63ad0afca53ba9586288bb723e33e1f0
Description: proof assistant for higher-order logic (theories)
Homepage: http://coq.inria.fr/
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu