summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: Stabilize 1.9.1 amd64, #737156Sam James2020-11-011-1/+1
* dev-ml/zarith: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/zarith: Keyword 1.9.1 arm, #748576Sam James2020-10-221-1/+1
* dev-ml/zarith: Keyword 1.9.1 arm64, #748576Sam James2020-10-221-1/+1
* dev-ml/zarith: stable 1.9.1 for ppcSergei Trofimovich2020-09-071-1/+1
* dev-ml/zarith: using ARAlfredo Tupone2020-05-171-1/+5
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-271-1/+1
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-171-0/+54