Package: libcoq-mathcomp-bigenough
Architecture: amd64
Version: 1.0.2-1build1
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: 80
Provides: libcoq-mathcomp-bigenough-ayzm7
Depends: libcoq-mathcomp-ssreflect-rrbv4
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.2-1build1_amd64.deb
Size: 22824
MD5sum: 491771c45d3951ae7e246bb34fe7fef0
SHA1: 312bbf0c136f675e1727b1c41cf7256ce12d63a9
SHA256: 54a33fa8c58d4f6220d9b53bf0bcf6aa7a8ac8d98325572fe73810e137d6af07
SHA512: 04ed69440e6a258dcaccab4ac91cea9d7640064468f261bec19992723b1baf7a1fdbdeaa9f1318ff5d074d614a4c8ff0697032e404a76a6df297eef8cfe125b1
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8