Package: libcoq-mathcomp-bigenough
Architecture: amd64
Version: 1.0.1-12build5
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: 94
Provides: libcoq-mathcomp-bigenough-zlev0
Depends: libcoq-mathcomp-ssreflect-y5tl2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb
Size: 27354
MD5sum: 644767c36352b103e5499ac17d207e4d
SHA1: d56f2c7c40f2c91ba5c1b2030d25b9f200184ccb
SHA256: d9a85ba8ece92d677299c7db1f802fade9c4b7c4b9a8f026367dd2cb31476c11
SHA512: fc55c21282d2c3f0634393f4ea2db0d5b224b0058fc74ded235570ec783c2182cafb9193f46f47ce73a9bc0c2ce78791b406dd0cd44bb134129fc869c1f6798b
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8