Package: libcoq-mathcomp-bigenough
Architecture: amd64
Version: 1.0.1-14build7
Priority: optional
Section: universe/ocaml
Source: mathcomp-bigenough
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: 95
Provides: libcoq-mathcomp-bigenough-hsws4
Depends: libcoq-mathcomp-ssreflect-uyii6
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.1-14build7_amd64.deb
Size: 27230
MD5sum: 04652e1a2b60b6f1dd159792b9110a63
SHA1: dffba63e6bddc1eb73da0ab47701b6277728b827
SHA256: 1088b3e45cc3190811c3b6f73559e8d459b19cc5a81bc3f10eeed34a9576bd7a
SHA512: ade9d69e1d9a9f81f7b8ca462d5cb3de2bf0b14d3f51d128460487157024251bf96a234483544e17778678bb47b9ab8fb76f6f0f9b98fabeab0d681caeddf074
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8