Source Package: coq-float (1:8.3pl1-4)
Links for coq-float
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers
- Samuel Mimram
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- Coq library on floating-point arithmetic
Other Packages Related to coq-float
- helper programs for debian/rules
- proof assistant for higher-order logic (toplevel and compiler)