summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-271-3/+0
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-171-0/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-4/+4
* dev-ml/zarith: bump to 1.7Alexis Ballier2017-10-171-0/+1
* dev-ml/zarith: bump to 1.6Alexis Ballier2017-09-281-0/+1
* dev-ml/zarith: Bump to 1.5Alexis Ballier2017-05-261-0/+1
* dev-ml/zarith: remove oldAlexis Ballier2016-02-071-2/+0
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-121-0/+1
* dev-ml/zarith: Bump to 1.4.Alexis Ballier2015-11-051-0/+1
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-191-0/+1