Package: libcoq-mathcomp-bigenough
Source: mathcomp-bigenough
Priority: optional
Section: universe/ocaml
Installed-Size: 79
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0.4-3build1
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-bigenough-oc3o3
Depends: libcoq-mathcomp-ssreflect-aj4k8
Filename: pool/universe/m/mathcomp-bigenough/libcoq-mathcomp-bigenough_1.0.4-3build1_amd64.deb
Size: 23214
SHA512: fd04ff45e3d78bef505f5c9e428e7add2300fdfb7dc8545c498c49c9b43a04b2ea2bfb2ecf3f41d0b5791f87879bbd955207ceb3f13abd809109783667038da4
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