dev-ml / zarith

Arithmetic and logic operations over arbitrary-precision integers

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

v1.7 :: 0/1.7 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
amd64 ~ppc ~x86
USE flags
doc mpir ocamlopt

v1.6 :: 0/1.6 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64 ~ppc ~x86
USE flags
doc mpir ocamlopt

v1.5 :: 0/1.5 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64 ~ppc ~x86
USE flags
doc mpir ocamlopt

v1.4.1 :: 0/1.4.1 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64 ~ppc ~x86
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 : Type-inferring functional programming language descended from the ML family

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 : Type-inferring functional programming language descended from the ML family

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)

dev-ml / bignum : Core-flavoured wrapper around zarith's arbitrary-precision rationals

dev-ml / cryptokit : Cryptographic primitives library for Objective Caml

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / why3-for-spark : Platform for deductive program verification

648982
dev-ml/zarith-1.7 fails to build: Unknown option -Wl,...
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