Versions
v1.5 :: 0 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 arm arm64 ppc64 x86 ~amd64-linux ~ppc ~ppc-macos ~riscv ~x86-linux
- USE flags
- ocamlopt
v1.4-r3 :: 0 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 arm arm64 ppc64 x86 ~amd64-linux ~ppc ~ppc-macos ~riscv ~x86-linux
- USE flags
- ocamlopt
v1.3-r1 :: 0 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 arm arm64 ppc64 x86 ~amd64-linux ~ppc ~ppc-macos ~x86-linux
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / findlib : OCaml tool to find/use non-standard packages
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / findlib : OCaml tool to find/use non-standard packages
Depending packages
app-misc / geneweb : Genealogy software program with a Web interface
dev-ml / batteries : A community-maintained standard library extension
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-calculators / orpie : A fullscreen RPN calculator for the console
sci-mathematics / alt-ergo : Automatic theorem prover
sci-mathematics / coq : Coq/Rocq is a proof assistant written in O'Caml
sci-mathematics / cubicle : Model checker for verifying properties of array-based systems
sci-mathematics / easycrypt : Computer-Aided Cryptographic Proofs
sci-mathematics / kind2 : Multi-engine SMT-based automatic model checker
sci-mathematics / why3 : Platform for deductive program verification
sci-mathematics / why3-for-spark : SPARK 2014 repository for the Why3 verification platform
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/num: Stabilize 1.5 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/num: Stabilize 1.5 arm, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/num: Stabilize 1.5 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/num: Stabilize 1.5 ppc64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/num: Stabilize 1.5 amd64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/num: fix parallel build
Closes: https://bugs.gentoo.org/936155 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/num: update EAPI 7 -> 8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alfredo Tupone · gentoo
dev-ml/num: add 1.5
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/num: ignore TEXTRELS on 32 bits arch
Closes: https://bugs.gentoo.org/723750 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Fabian Groffen · gentoo
*/*: remove x86-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Yongxiang Liang · gentoo
dev-ml/num: Keyword 1.4-r3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/num: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/num: respect ocamlopt
Closes: https://bugs.gentoo.org/822321 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/num: fix install with -ocamlopt
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/num: fix handling of ocamlopt
Closes: https://bugs.gentoo.org/821988 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/num: fix collision with newer findlib
Closes: https://bugs.gentoo.org/803275 Signed-off-by: Sam James <sam@gentoo.org> - 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>