dev-ml / num

Library for arbitrary-precision integer and rational arithmetic

Official package sites : https://github.com/ocaml/num ·

v1.3-r1 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64 ~amd64-linux ~arm ~arm64 ~ppc ~ppc-macos ~ppc64 ~x86 ~x86-linux ~x86-solaris

v1.3 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
amd64 x86

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / sexplib : Library for automated conversion of OCaml-values to and from S-expressions

net-misc / sks : An OpenPGP keyserver which is decentralized with highly reliable synchronization

net-p2p / mldonkey : Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / coq : Proof assistant written in O'Caml

sci-mathematics / why3-for-spark : Platform for deductive program verification

723750
dev-ml/num installs files that contain a TEXTREL
Repository mirror & CI · gentoo
Merge updates from master
Fabian Groffen · gentoo
dev-ml/num: drop x86-macos
Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay.
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/num: use CFLAGS
Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/num: x86 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/num: amd64 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/num: use ocamlopt
Closes: https://bugs.gentoo.org/710892 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/num: fix dependency
Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jason A. Donenfeld · gentoo
dev-ml/num: add for newer ocaml + coq
Fixes: https://bugs.gentoo.org/704928 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>