BSD Portsmath/ocaml-farith 0.1_1 DragonFly
Floating point number library for OCaml
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- LGPL21
- Categories
- math
- Package size
- 590.9 KiB, 2918.2 KiB installed
Description
Floating point numbers library which originated from the "Flocq" library for the Coq theorem prover.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/ocaml-farith | 0.1_1 |
| FreeBSD | math/ocaml-farith | 0.1_1 |
Install
Binary package:
pkg install ocaml-farithFrom DPorts:
cd /usr/dports/math/ocaml-farith && make install clean