Package: coq-theories
Priority: optional
Section: universe/math
Installed-Size: 147279
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.4pl3dfsg-1
Replaces: coq-libs (<< 8.2.pl1)
Depends: coq-8.4pl3+4.01.0
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq-theories_8.4pl3dfsg-1_all.deb
Size: 31970270
MD5sum: 99e74f8c527fd9ea7703b6998301604c
SHA1: f6ae82fc93d9b39eb1fe8f0587eec3ebbd26a300
SHA256: f9f68fd1932a76bedfc29cd4c79138c434c165dbaefc7bb65d042ad5e55fda6c
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