Package: libmathcomp-coq
Priority: optional
Section: universe/math
Installed-Size: 105929
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Source: mathcomp
Version: 1.5-4build1
Depends: libssreflect-coq (>= 1.5), libssreflect-coq (<< 1.6), coq-8.4pl4+4.02.3
Filename: pool/universe/m/mathcomp/libmathcomp-coq_1.5-4build1_all.deb
Size: 22741572
MD5sum: 04055803a635c8486aed964498bd8882
SHA1: da8414560947f1c3eb9041872d0a9ba79f79cc72
SHA256: 2eb13c7b6ac0090d4a5a5cf1dd8783aa871caa996b04365b9653d9cedafb0c85
Description: Mathematical Components library for Coq (theories)
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Description-md5: 7f47a817437bda370a1678d3a87714c4
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu