Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/*: Remove first set of unneeded leaf packages | Michał Górny | 2020-01-14 | 1 | -28/+0 |
* | dev-ml/lambda-term: udpate to opam.eclass | Alexis Ballier | 2017-09-22 | 1 | -11/+2 |
* | dev-ml/lambda-term: bump to 1.11 | Alexis Ballier | 2017-04-12 | 1 | -0/+37 |