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.3.tar.gz sha256=4f79c30e81ea9553c5b2c5b5b57bb19968ccad1e85256b3c446b5df58f33e94d md5=f074e12325e84ebc883b37e5db10403d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/num/num.1.3/opam |
Required by
- aez
- alt-ergo<2.3.0
- alt-ergo-free<2.3.3
- alt-ergo-lib<2.5.0
- alt-ergo-lib-free
- altgr-ergo<2.3.0
- archetype>=0.1.4
- arrayjit
- base58
- batteries
- bignum>=v0.10.0
- camlprime
- cca
- cil
- clarity-lang
- cloudi>=1.7.4 & <2.0.6
- coccinelle>=1.0.0.1
- combine
- coq<8.14.0
- core_kernel=v0.9.0
- cryptokit<1.11
- csvfields>=v0.10.0
- cubicle
- datalog>=0.5 & <0.6
- deriving
- deriving-ocsigen<0.5
- exenum<0.84
- feat-num
- frama-c-base<15.0
- fstar<0.9.4.0-beta0
- General>=0.4.0
- glsurf
- goblint-cilbuild & <1.7.4
- hardcaml<v0.12.0
- 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
- KaSim
- kind2
- lem
- logtk>=2.1
- lustre-v6>=6.103.3
- lutils
- lutin
- mldonkey>=3.1.3
- msgpack
- mysql_protocol
- neural_nets_lib
- numerix
- nunchaku
- obigstore
- ocamldbi
- ocamlyices
- ocplib-simplex<0.5.1
- ocs
- orm
- orpie
- pfff<0.40.4
- piqiwith-test & >=0.7.6
- polka
- ppx_cstubs
- pyml>=20180530 & <20200115
- rdbg<1.175 | >=1.199.0
- rlp
- rml
- sexplib>=v0.9.0
- spirv<1.1.2
- TCSLib
- tplib
- why3>=1.0.0
- why3-base!=0.88.0
- z3<4.8.7
- zipperposition<1.2
Optionally used by
- datalog=0.6
