Package: coq-theories
Architecture: i386
Version: 8.6-5build1
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: 213618
Depends: coq-8.6+4.05.0, libc6 (>= 2.1.3)
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.6-5build1_i386.deb
Size: 32170552
MD5sum: 34248daab687324ba1f85effe05008b2
SHA1: 81f38b2cb3bc6989c91bac0bb4e6917fee349871
SHA256: c4e02265cfde9de7a5363e42d94a554dcb39e0c04198fbf8fcdfeff6306434bb
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e