dev-ml / zarith

Arithmetic and logic operations over arbitrary-precision integers

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

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

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
mpir
Use MPIR library instead of GMP.
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-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)

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)

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

738418
dev-ml/zarith-1.9.1 installs files that contain a TEXTREL
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