Package: coq-theories
Architecture: amd64
Version: 8.11.0-1
Priority: optional
Section: universe/math
Source: coq
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: 243849
Depends: coq-8.11.0+4.08.1
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq-theories_8.11.0-1_amd64.deb
Size: 33079952
MD5sum: ec8b9139f36fbb813a0459bc16ec4a5d
SHA1: 71e6c54e386bee1b42f785bf40646fbbe49da0e7
SHA256: 21f4032be83df12be62f0bfe3e6be56d950034207d568a13da8610bbb3fd7072
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e