Versions
v1.14 :: 0/1.14 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 x86 ~arm ~arm64 ~ppc
- USE flags
- doc ocamlopt
v1.13 :: 0/1.13 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 x86 ~arm ~arm64 ~ppc
- USE flags
- doc ocamlopt
USE flags
General
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-lang / perl : Larry Wall's Practical Extraction and Report Language
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
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-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
Depending packages
app-misc / geneweb : Genealogy software program with a Web interface
dev-ml / cryptokit : Cryptographic primitives library for Objective Caml
sci-mathematics / alt-ergo : Automatic theorem prover
sci-mathematics / coq : Proof assistant written in O'Caml
sci-mathematics / easycrypt : Computer-Aided Cryptographic Proofs
sci-mathematics / why3 : Platform for deductive program verification
sci-mathematics / why3-for-spark : Platform for deductive program verification
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/zarith: Stabilize 1.14 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/zarith: Stabilize 1.14 amd64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/zarith: update EAPI 7 -> 8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alfredo Tupone · gentoo
dev-ml/zarith: add 1.14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Eli Schwartz · gentoo
dev-ml/zarith: drop old
Removes last use case of "mpir" USE flag, so purge it from metadata.xml. Also purge it from profiles/ where it was, naturally, masked. The ultimate masking is to remove the USE flag. Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: Stabilize 1.13 amd64, #924580
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Eli Schwartz · gentoo
dev-ml/zarith: remove support for mpir USE flag
mpir is an ancient fork of gmp from 2017. It claims to be focused on speed. It doesn't build with modern compilers due to Modern C issues, and it fails to build with LTO as well. Unlike gmp, this will never be fixed. Bug: https://bugs.gentoo.org/812950 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/zarith: Stabilize 1.13 x86, #924580
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-ml/zarith: bump to 1.13
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/zarith: fix make
Closes: https://bugs.gentoo.org/881129 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: 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/zarith: remove old
Package-Manager: Portage-3.0.20, 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/zarith: VariableScope
Package-Manager: Portage-3.0.20, 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/zarith: Stabilize 1.12 x86, #783585
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: Stabilize 1.12 ppc, #783585
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/zarith: Stabilize 1.12 amd64, #783585
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: drop 1.7, 1.9.1, 1.10
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: bump to 1.12
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/zarith: amd64 stable wrt bug #772842
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 - Agostino Sarubbo · gentoo
dev-ml/zarith: x86 stable wrt bug #772842
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: Stabilize 1.11 ppc, #772842
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: bump to 1.11
* Add subslot dep (:=) on sys-libs/mpir because it exposes a subslot * Drop multilib.eclass, we don't need it for get_libdir for a few EAPIs now. * Inherit toolchain-funcs to avoid indirect inheritance through multilib, though. * Use RESTRICT to only allow tests when USE=ocamlopt * Use [ocamlopt=] dep because we need ocamlopt to be entirely aligned on/off, whereas [ocamlopt?] will only set it on, not force it off in the negative case Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: Stabilize 1.9.1 amd64, #737156
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/zarith: version bump to 1.10
Closes: https://bugs.gentoo.org/749699 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Thomas Deutschmann · gentoo
dev-ml/zarith: x86 stable (bug #737156)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/zarith: Keyword 1.9.1 arm, #748576
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/zarith: Keyword 1.9.1 arm64, #748576
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-ml/zarith: stable 1.9.1 for ppc
stable wrt bug #737700 Package-Manager: Portage-3.0.5, Repoman-3.0.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/zarith: using AR
Closes: https://bugs.gentoo.org/723144 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 - Tupone Alfredo · gentoo
dev-ml/zarith: remove old versions
Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Tupone Alfredo · gentoo
dev-ml/zarith: require a newer version of ocaml
Closes: https://bugs.gentoo.org/648982 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/zarith: Version bump to 1.9.1
Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mikle Kolyada · gentoo
dev-ml/zarith: amd64 stable wrt bug #672444
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 - Alexis Ballier · gentoo
dev-ml/zarith: bump to 1.7
Package-Manager: Portage-2.3.11, Repoman-2.3.3 - Alexis Ballier · gentoo
dev-ml/zarith: bump to 1.6
Package-Manager: Portage-2.3.10, Repoman-2.3.3 - Sergei Trofimovich · gentoo
dev-ml/zarith: keyworded 1.5 for ppc, bug #596862
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc" - Sergei Trofimovich · gentoo
dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc" - Alexis Ballier · gentoo
dev-ml/zarith: Skip tests when not building native code, they require it. Bug #624292
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Alexis Ballier · gentoo
dev-ml/zarith: Bump to 1.5
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - Andrew Savchenko · gentoo
dev-ml/zarith: fix bug 585026
Keyword on ~x86. Package-Manager: Portage-2.3.3, Repoman-2.3.1 Signed-off-by: Andrew Savchenko <bircoph@gentoo.org> - Alexis Ballier · gentoo
dev-ml/zarith: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/zarith: bump to 1.4.1
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/zarith: Bump to 1.4.
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
Merge remote-tracking branch 'github/pr/248' - Matthew Brewer · gentoo
dev-ml/zarith: revbump
changed SLOT="0" to SLOT="0/${PV}" to make := actually useful - Alexis Ballier · gentoo
dev-ml/zarith: initial import, bug #388903
Package-Manager: portage-2.2.20.1