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