Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/zarith
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: stable 1.9.1 for ppcSergei Trofimovich2020-09-071-1/+1
* dev-ml/zarith: using ARAlfredo Tupone2020-05-172-1/+16
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-274-153/+0
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-275-9/+9
* dev-ml/zarith: took maintainershipTupone Alfredo2020-02-171-1/+4
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-172-0/+55
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/zarith: amd64 stable wrt bug #672444Mikle Kolyada2018-12-151-2/+2
* 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
* dev-ml/zarith: bump to 1.6Alexis Ballier2017-09-282-0/+53
* dev-ml/zarith: keyworded 1.5 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/zarith: Skip tests when not building native code, they require it. Bug...Alexis Ballier2017-07-091-1/+5
* dev-ml/zarith: Bump to 1.5Alexis Ballier2017-05-263-0/+52
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/zarith: fix bug 585026Andrew Savchenko2017-02-231-2/+2
* dev-ml/zarith: remove oldAlexis Ballier2016-02-073-95/+0
* 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
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-122-0/+48
* dev-ml/zarith: Bump to 1.4.Alexis Ballier2015-11-052-0/+48
* dev-ml/zarith: revbumpMatthew Brewer2015-10-171-1/+1
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-193-0/+55