Package: libcoq-mathcomp-real-closed
Architecture: amd64
Version: 2.0.0-1build5
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: 9904
Provides: libcoq-mathcomp-real-closed-0snp4
Depends: libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-bigenough-zlev0, libcoq-mathcomp-field-p0n73, libcoq-mathcomp-ssreflect-y5tl2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.0-1build5_amd64.deb
Size: 2769148
MD5sum: e5b481b101def85bf18f20c82e86fe55
SHA1: 2459ad1443a6291a124212335fe9f50e61d10d95
SHA256: 9d3f9a1f99a277b9522066e0be8c8e647b01b12929cfed805698d0259bad38e8
SHA512: 6a92e8af5752b943caba9ff134d7498b0d4f182ca3aa4c948c46fd7c64b1825cbc4accf9297587c413654ed4cd744b13c45b2c9809dcca16efc85142c10e7360
Homepage: https://github.com/math-comp/real-closed
Description: Real closed fields for Mathematical Components
Description-md5: ac5dcf44ba4c1912a63545315e50c34a