| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/dune: x86 stable wrt bug #710374 | Agostino Sarubbo | 2020-02-24 | 1 | -1/+1 |
* | dev-ml/dune: arm stable wrt bug #710374 | Agostino Sarubbo | 2020-02-24 | 1 | -1/+1 |
* | dev-ml/dune: remove old version | Tupone Alfredo | 2020-02-21 | 2 | -38/+0 |
* | dev-ml/dune: amd64 stable wrt bug #710374 | Agostino Sarubbo | 2020-02-21 | 1 | -1/+1 |
* | dev-ml/dune: version bump | Tupone Alfredo | 2020-01-17 | 2 | -0/+33 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml/dune: amd64 stable | Tupone Alfredo | 2019-10-21 | 1 | -1/+1 |
* | dev-ml/dune: add dev-ml/dune | Tupone Alfredo | 2019-07-25 | 3 | -0/+49 |