Package: libcoq-mathcomp-real-closed
Architecture: amd64
Version: 2.0.0-3build6
Priority: optional
Section: universe/ocaml
Source: mathcomp-real-closed
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: 10260
Provides: libcoq-mathcomp-real-closed-26br5
Depends: libcoq-mathcomp-algebra-lyc29, libcoq-mathcomp-bigenough-hsws4, libcoq-mathcomp-field-fkv40, libcoq-mathcomp-ssreflect-uyii6
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.0-3build6_amd64.deb
Size: 2867828
MD5sum: 9a6af03378df64261e9e30d5d3fe6a84
SHA1: eb378c17dc7c8aa5606157c0c5607280d9306b42
SHA256: 5d941e2bf6d3586b568e077ee36d8b2519fac65db0e825eba2fa8971e7f69dc3
SHA512: 7b8a5236a54a135f3e2f58561f97eb7aedc6f07b5975a9a74ed242d80bca421e5e99f945384c1ac4b159dccda5375d9bf1025a710ad14b3f6c7f3b5ac4e33506
Homepage: https://github.com/math-comp/real-closed
Description: Real closed fields for Mathematical Components
Description-md5: ac5dcf44ba4c1912a63545315e50c34a