num
The legacy Num library for arbitrary-precision integer and rational arithmetic
Description
Install
- Published
-
10 Nov 2020
- Maintainers
-
Sources
v1.4.tar.gz
md5=cda2b727e116a0b6a9c03902cc4b2415
sha512=0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f
Dependencies
Reverse Dependencies
alt-ergo
< "2.3.0"
alt-ergo-free
< "2.3.3"
altgr-ergo
< "2.3.0"
archetype
>= "0.1.4"
bignum
>= "v0.10.0"
cloudi
>= "1.7.4"
coccinelle
>= "1.0.0.1"
coq
< "8.14.0"
core_kernel
= "v0.9.0"
cryptokit
< "1.11"
csvfields
>= "v0.10.0"
datalog
>= "0.5" & < "0.6"
deriving-ocsigen
< "0.5"
exenum
< "0.84"
frama-c-base
< "15.0"
fstar
< "0.9.4.0-beta0"
General
>= "0.4.0"
goblint-cil
< "1.7.4"
hardcaml
< "v0.12.0"
js_of_ocaml
>= "3.10.0"
js_of_ocaml-compiler
>= "3.10.0"
js_of_ocaml-lwt
>= "3.10.0"
js_of_ocaml-ocamlbuild
>= "3.10.0"
js_of_ocaml-ppx
>= "3.10.0"
js_of_ocaml-ppx_deriving_json
>= "3.10.0"
js_of_ocaml-toplevel
>= "3.10.0"
js_of_ocaml-tyxml
>= "3.10.0"
logtk
>= "2.1"
lustre-v6
>= "6.103.3"
mldonkey
>= "3.1.3"
pfff
< "0.40.4"
piqi
>= "0.7.6"
pyml
>= "20180530" & < "20200115"
rdbg
< "1.175" | >= "1.196.12"
sexplib
>= "v0.9.0"
spirv
< "1.1.2"
why3
>= "1.0.0"
why3-base
!= "0.88.0"
z3
< "4.8.7"
zipperposition
< "1.2"