Package: libcoq-mathcomp-real-closed
Architecture: amd64
Version: 2.0.2-1build6
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: 10324
Provides: libcoq-mathcomp-real-closed-dmd28
Depends: libcoq-mathcomp-algebra-tliv7, libcoq-mathcomp-bigenough-ayzm7, libcoq-mathcomp-field-e82p1, libcoq-mathcomp-ssreflect-rrbv4
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.2-1build6_amd64.deb
Size: 2959876
MD5sum: e9909e7a1d6875d5df6ea3603f1729dc
SHA1: 74d1a03bb1a99cdd12436f0375bdef6c65b06a68
SHA256: ebfd7a8a2ca4e9096ebe5802657daaee5e7af2bdf85fd024338ac8882f2e89f0
SHA512: aa2d063aef4424be58bb174edab114d16698f97db17e3faff72d8df455d5791d01bc47637a08ebfc5dc910d5c03b8396e300741a031404231373a26663e98b9f
Homepage: https://github.com/math-comp/real-closed
Description: Real closed fields for Mathematical Components
Description-md5: ac5dcf44ba4c1912a63545315e50c34a