Package: libcoq-mathcomp-real-closed
Source: mathcomp-real-closed
Priority: optional
Section: universe/ocaml
Installed-Size: 10323
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.0.2-1build16
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-real-closed-rfir4
Depends: libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-bigenough-jvyd2, libcoq-mathcomp-field-xshv6, libcoq-mathcomp-ssreflect-ak300
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.2-1build16_amd64.deb
Size: 2955464
MD5sum: 10465ffa2ed96b5dd2dc67277147cd52
SHA1: d23588c45080d4b831407f14a827804fefbd386c
SHA256: 0ceb7945355f4d9ccd9d86d7c455b38308d54b3ae84a02e89ecdd4646462a971
SHA512: a80596e5ebcdafb433fb04263400abc559a3cff485c78036daab60f20c32d53b19bafb1c5d64c5f45c40ffd24dd5b1543c602b5d685f8ca957cc2f512fb6ce28
Homepage: https://github.com/math-comp/real-closed
Description: Real closed fields for Mathematical Components
Description-md5: ac5dcf44ba4c1912a63545315e50c34a
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug