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.4.tar.gz md5=cda2b727e116a0b6a9c03902cc4b2415 sha512=0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/num/num.1.4/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
