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