Package: libcoq-mathcomp-real-closed
Source: mathcomp-real-closed
Priority: optional
Section: universe/ocaml
Installed-Size: 8727
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.0.6-2build1
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-real-closed-6zye3
Depends: libcoq-mathcomp-algebra-qptj6, libcoq-mathcomp-bigenough-oc3o3, libcoq-mathcomp-field-x5d28, libcoq-mathcomp-ssreflect-aj4k8
Filename: pool/universe/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.6-2build1_amd64.deb
Size: 3319412
SHA512: 2cef30089ab8457102601044c569482cbca5567b62868cdbc717e1cb626b443adf68de3f6c139ea280eee154d31a11dd6bace53e176ddce370858477eccdbf00
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