summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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