summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: drop 1.7, 1.9.1, 1.10Sam James2021-03-151-52/+0
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-271-2/+2
* dev-ml/zarith: amd64 stable wrt bug #672444Mikle Kolyada2018-12-151-2/+2
* dev-ml/zarith: bump to 1.7Alexis Ballier2017-10-171-0/+52