summaryrefslogtreecommitdiffstats
path: root/devel/zarith
AgeCommit message (Expand)Author
2021-05-09Update my email address (scripted)Florian Franzmann
2021-03-14zarith 1.12Ismael Luceno
2021-01-06zarith: Add cast_self trigger for ocamlIsmael Luceno
2019-08-30devel/zarith: version 1.9.1Florian Franzmann
2019-04-05devel/zarith: version 1.8Florian Franzmann
2018-12-08devel/zarith: version 1.7Florian Franzmann
2015-06-11zarith 1.3Ismael Luceno
2013-05-26devel/zarith: new spell, arbitrary precision integers for ocamlFlorian Franzmann