numversion Documentation on ocaml.org
The legacy Num library for arbitrary-precision integer and rational arithmetic
| Authors | Valérie Ménissier-Morain, Pierre Weis and Xavier Leroy |
|---|---|
| License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://github.com/ocaml/num/ |
| Issue Tracker | https://github.com/ocaml/num/issues |
| Maintainer | Xavier Leroy <xavier.leroy@inria.fr> |
| Dependencies |
|
| Conflicts | |
| Source [http] | https://github.com/ocaml/num/archive/refs/tags/v1.6.tar.gz sha256=b5cce325449aac746d5ca963d84688a627cca5b38d41e636cf71c68b60495b3e sha512=5cb32dfa9a9f0ad375bfd89079e9b1422979f3c089f61ef2300ad9cc64fb1fc25ed1f86b0267eb017f12ae41a574a959df5bfa39ab22c2be2f1ac84c3c671bdf |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/num/num.1.6/opam |
Required by
- aez
- alt-ergo<2.3.0
- alt-ergo-free
- alt-ergo-lib<2.5.1
- altgr-ergo<2.3.0
- archetype>=0.1.4
- arrayjit
- base58
- batteries
- bignum
- camlprime
- cca
- clarity-lang
- cloudi<2.0.6
- coccinelle
- combine
- coq<8.14.0
- csvfields
- cubicle
- deriving
- exenum<0.84
- feat-num
- General
- goblint-cilbuild & <1.7.4
- hardcaml_waveterm
- hol_light
- js_of_ocamlwith-test & >=3.10.0
- js_of_ocaml-compilerwith-test & >=3.10.0
- js_of_ocaml-lwtwith-test & >=3.10.0
- js_of_ocaml-ocamlbuildwith-test & >=3.10.0 & <5.0
- js_of_ocaml-ppxwith-test & >=3.10.0
- js_of_ocaml-ppx_deriving_jsonwith-test & >=3.10.0
- js_of_ocaml-toplevelwith-test & >=3.10.0
- js_of_ocaml-tyxmlwith-test & >=3.10.0
- kappa-library
- kaputt
- kind2
- lem
- logtk>=2.1
- lustre-v6>=6.103.3
- lutils
- lutin
- mldonkey
- mlsolver
- msgpack
- mysql_protocol
- neural_nets_lib
- ocamlyices
- ocplib-simplex<0.5.1
- orm
- orpie
- pfff<0.40.4
- pgsolver>=4.4
- piqiwith-test & >=0.7.6
- polka
- ppx_cstubs
- pyml=20190626
- rdbg>=1.196.12
- rlp
- rml
- sexplib
- spirv<1.1.2
- TCSLib
- tcs-lib
- tplib
- wasm_of_ocaml-compilerwith-test
- why3<1.8.0
- z3<4.8.7
Optionally used by
- datalog=0.6
