numversion
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/v1.5.tar.gz md5=b1f9405dfe5f573ea187f122f789ae57 sha512=110dd01140c1c96f5f067aa824bb63f74a26411dcaa65aaf04cb6c44b116ca02aaab9505f431c66964388ce4a31d86da5928b4c0e5557800e834de80bed46495 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/num/num.1.5-1/opam |
Required by
- aez
- alt-ergo<2.3.0
- alt-ergo-free
- alt-ergo-lib<2.5.0
- 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
- msgpack
- mysql_protocol
- neural_nets_lib
- ocamlyices
- ocplib-simplex<0.5.1
- orm
- orpie
- pfff<0.40.4
- piqiwith-test & >=0.7.6
- polka
- ppx_cstubs
- pyml=20190626
- rdbg>=1.196.12
- rlp
- rml
- sexplib
- spirv<1.1.2
- TCSLib
- tplib
- wasm_of_ocaml-compilerwith-test
- why3<1.8.0
- z3<4.8.7
Optionally used by
- datalog=0.6
