dev-ml / num

Library for arbitrary-precision integer and rational arithmetic

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

v1.4-r1 :: 0 :: gentoo

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

v1.3-r1 :: 0 :: gentoo

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

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

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-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

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
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/num: ocamlopt shall be passed to ocaml
Closes: https://bugs.gentoo.org/795780 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Sam James · gentoo
dev-ml/num: try to disable ocamlopt
Closes: https://bugs.gentoo.org/795780 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/num: changing compiler need a rebuild, add RDEPEND
Closes: https://bugs.gentoo.org/795711 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 ppc64, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 ppc, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 amd64, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 x86, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 arm, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: Stabilize 1.4-r1 arm64, #783576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: multilib--
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.3-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: Stabilize 1.3-r1 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.3-r1 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: drop 1.3
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: add note regarding dune
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/num: fix tests
Closes: https://bugs.gentoo.org/775146 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: fix installation
Thanks-to: Jesús P Rey (Chuso) <gentoo@chuso.net> Closes: https://bugs.gentoo.org/775119 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/num: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.3-r1 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: Stabilize 1.3-r1 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/num: bump to 1.4
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
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>