Versions
v1.13 :: 0/1.13 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- ~amd64 ~arm ~arm64 ~ppc ~x86
- USE flags
- doc mpir ocamlopt
v1.12 :: 0/1.12 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64 x86 ~arm ~arm64 ~ppc
- USE flags
- doc mpir 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
sci-libs / mpir : Library for arbitrary precision integer arithmetic (fork of gmp)
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
sci-libs / mpir : Library for arbitrary precision integer arithmetic (fork of gmp)
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
Bugs
- 738418
- dev-ml/zarith-1.9.1 installs files that contain a TEXTREL
Change logs
- 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