Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-11-02 | math: align variable assignments | rillig | 2 | -6/+6 |
2018-11-12 | Revbumps associated with update of lang/ocaml. | jaapb | 1 | -2/+2 |
2018-07-19 | Recursive revbump associated with the update of lang/ocaml to 4.07. | jaapb | 2 | -3/+4 |
2018-04-13 | Revbump associated with the upgrade of lang/ocaml | jaapb | 1 | -1/+2 |
2018-01-10 | Added package math/ocaml-num. | jaapb | 6 | -0/+95 |