summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: bump to 1.13Maciej Barć2023-09-221-0/+1
* dev-ml/zarith: remove oldAlfredo Tupone2021-09-121-1/+0
* dev-ml/zarith: drop 1.7, 1.9.1, 1.10Sam James2021-03-151-3/+0
* dev-ml/zarith: bump to 1.12Sam James2021-03-031-0/+1
* dev-ml/zarith: bump to 1.11Sam James2021-01-111-0/+1
* dev-ml/zarith: version bump to 1.10Alfredo Tupone2020-10-261-0/+1
* 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