Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/dune: Bump to 2.7.1 | 2020-10-13 | 3 | -1/+42 | |
* | dev-ml/dune: arm64 stable (#710374) | 2020-03-31 | 1 | -1/+1 | |
* | dev-ml/dune: x86 stable wrt bug #710374 | 2020-02-24 | 1 | -1/+1 | |
* | dev-ml/dune: arm stable wrt bug #710374 | 2020-02-24 | 1 | -1/+1 | |
* | dev-ml/dune: remove old version | 2020-02-21 | 2 | -38/+0 | |
* | dev-ml/dune: amd64 stable wrt bug #710374 | 2020-02-21 | 1 | -1/+1 | |
* | dev-ml/dune: version bump | 2020-01-17 | 2 | -0/+33 | |
* | */*: Remove ml@ from packages maintainers | 2019-12-13 | 1 | -4/+1 | |
* | dev-ml/dune: amd64 stable | 2019-10-21 | 1 | -1/+1 | |
* | dev-ml/dune: add dev-ml/dune | 2019-07-25 | 3 | -0/+49 |