package num
The legacy Num library for arbitrary-precision integer and rational arithmetic
Install
Dune Dependency
Authors
Maintainers
Sources
v1.3.tar.gz
sha256=4f79c30e81ea9553c5b2c5b5b57bb19968ccad1e85256b3c446b5df58f33e94d
md5=f074e12325e84ebc883b37e5db10403d
Description
Published: 20 Nov 2019
Dev Dependencies
None
Used by (81)
- 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-cil
< "1.7.4"
-
hardcaml
< "v0.12.0"
- hardcaml_waveterm
-
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" & < "5.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"
- KaSim
- kappa-library
- kaputt
- 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"
-
piqi
>= "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"
Conflicts (2)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page