Package: libcoq-mathcomp-bigenough
Source: mathcomp-bigenough
Priority: optional
Section: universe/ocaml
Installed-Size: 80
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0.2-1build10
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-bigenough-jvyd2
Depends: libcoq-mathcomp-ssreflect-ak300
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.2-1build10_amd64.deb
Size: 23100
MD5sum: b500264060097e65fa20854d311e3c6f
SHA1: 991d339932851525e8adde55ce5942aabc9af9e6
SHA256: 3aa1dbd63ec994a93f71548df20423c089a9afb03dc8ae19df096f1e13d8e982
SHA512: 2bf96eca2d6a6943f9f9ba98cb88275b5b547bccba10a9702def8fdf5a4e8b8bf3f13f4eb52065abf8c74c16b47383dcb164beeb1bfd16e3ac1235253ce84342
Homepage: https://github.com/math-comp/bigenough
Description: epsilon - N reasoning for Mathematical Components
Description-md5: 26e8e5e21a24c4debe89c2a7a20bcad8
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug