Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-ml/
num

Library for arbitrary-precision integer and rational arithmetic

https://github.com/ocaml/num

Dependencies Reverse-Dependencies

VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
app-misc/geneweb-7.0.1_alpha2-r3
app-misc/geneweb-7.1_beta
dev-ml/batteries-3.5.1-r1
dev-ml/batteries-3.6.0-r2
dev-ml/batteries-3.6.1-r1
dev-ml/batteries-3.8.0-r1
dev-ml/batteries-3.9.0
dev-ml/sexplib-0.15.1-r2
dev-ml/sexplib-0.16.0-r1
dev-ml/sexplib-0.17.0
net-misc/sks-1.1.6_p20200624-r2
net-p2p/mldonkey-3.1.7-r4
net-p2p/mldonkey-3.2.1
sci-calculators/orpie-1.6.1
sci-mathematics/alt-ergo-2.4.3-r2
sci-mathematics/coq-8.17.1-r1
sci-mathematics/coq-8.19.2-r1
sci-mathematics/coq-8.20.0-r1
sci-mathematics/coq-9.0.0
sci-mathematics/cubicle-1.2.0-r2
sci-mathematics/easycrypt-2024.09
sci-mathematics/easycrypt-2025.02
sci-mathematics/kind2-1.9.0
sci-mathematics/why3-1.6.0
sci-mathematics/why3-1.7.2
sci-mathematics/why3-1.8.0
sci-mathematics/why3-for-spark-2021-r1
sci-mathematics/why3-for-spark-2023.12.13-r2

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: