Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/zarith
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/zarith: Stabilize 1.12 x86, #783585Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: Stabilize 1.12 ppc, #783585Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: Stabilize 1.12 amd64, #783585Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: remove unused patch(es)Michael Mair-Keimberger2021-03-161-11/+0
| | | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/19960 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: drop 1.7, 1.9.1, 1.10Sam James2021-03-154-171/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: bump to 1.12Sam James2021-03-032-0/+58
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: amd64 stable wrt bug #772842Agostino Sarubbo2021-02-261-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/zarith: x86 stable wrt bug #772842Agostino Sarubbo2021-02-261-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/zarith: Stabilize 1.11 ppc, #772842Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: ml maintains itAlfredo Tupone2021-01-141-3/+3
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: bump to 1.11Sam James2021-01-112-0/+59
| | | | | | | | | | | | | | | | | | | | | * 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>
* dev-ml/zarith: Stabilize 1.9.1 amd64, #737156Sam James2020-11-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: version bump to 1.10Alfredo Tupone2020-10-262-0/+59
| | | | | | Closes: https://bugs.gentoo.org/749699 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/zarith: Keyword 1.9.1 arm, #748576Sam James2020-10-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: Keyword 1.9.1 arm64, #748576Sam James2020-10-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: stable 1.9.1 for ppcSergei Trofimovich2020-09-071-1/+1
| | | | | | | | 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>
* dev-ml/zarith: using ARAlfredo Tupone2020-05-172-1/+16
| | | | | | Closes: https://bugs.gentoo.org/723144 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-274-153/+0
| | | | | Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-275-9/+9
| | | | | | Closes: https://bugs.gentoo.org/648982 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: took maintainershipTupone Alfredo2020-02-171-1/+4
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-172-0/+55
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/zarith: amd64 stable wrt bug #672444Mikle Kolyada2018-12-151-2/+2
| | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-4/+4
|
* dev-ml/zarith: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-10/+10
|
* dev-ml/zarith: bump to 1.7Alexis Ballier2017-10-172-0/+53
| | | | Package-Manager: Portage-2.3.11, Repoman-2.3.3
* dev-ml/zarith: bump to 1.6Alexis Ballier2017-09-282-0/+53
| | | | Package-Manager: Portage-2.3.10, Repoman-2.3.3
* dev-ml/zarith: keyworded 1.5 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
| | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc"
* dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
| | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc"
* dev-ml/zarith: Skip tests when not building native code, they require it. ↵Alexis Ballier2017-07-091-1/+5
| | | | | | Bug #624292 Package-Manager: Portage-2.3.6, Repoman-2.3.2
* dev-ml/zarith: Bump to 1.5Alexis Ballier2017-05-263-0/+52
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* dev-ml/zarith: fix bug 585026Andrew Savchenko2017-02-231-2/+2
| | | | | | | Keyword on ~x86. Package-Manager: Portage-2.3.3, Repoman-2.3.1 Signed-off-by: Andrew Savchenko <bircoph@gentoo.org>
* dev-ml/zarith: remove oldAlexis Ballier2016-02-073-95/+0
| | | | | Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
|
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-122-0/+48
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/zarith: Bump to 1.4.Alexis Ballier2015-11-052-0/+48
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/zarith: revbumpMatthew Brewer2015-10-171-1/+1
| | | | changed SLOT="0" to SLOT="0/${PV}" to make := actually useful
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-193-0/+55
Package-Manager: portage-2.2.20.1