| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/dune: drop 3.6.2, 3.7.0, 3.7.1, 3.10.0, 3.11.1 | Alfredo Tupone | 2024-09-06 | 1 | -5/+0 |
* | dev-ml/dune: add 3.16.0 | Alfredo Tupone | 2024-07-03 | 1 | -0/+1 |
* | dev-ml/dune: add 3.13.1 | Alfredo Tupone | 2024-07-02 | 1 | -0/+1 |
* | dev-ml/dune: add 3.11.1 | Alfredo Tupone | 2024-06-08 | 1 | -0/+1 |
* | dev-ml/dune: drop 3.8.0, 3.9.0, 3.9.1 | Alfredo Tupone | 2024-06-06 | 1 | -3/+0 |
* | dev-ml/dune: drop 3.0.3-r1, 3.1.1, 3.2.0, 3.5.0, 3.6.1 | Alfredo Tupone | 2024-05-30 | 1 | -5/+0 |
* | dev-ml/dune: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 1 | -0/+1 |
* | dev-ml/dune: add 3.9.1 | Alfredo Tupone | 2023-07-11 | 1 | -0/+1 |
* | dev-ml/dune: add 3.9.0 | Alfredo Tupone | 2023-07-03 | 1 | -0/+1 |
* | dev-ml/dune: add 3.8.0 | Alfredo Tupone | 2023-05-23 | 1 | -0/+1 |
* | dev-ml/dune: add 3.7.1 | Alfredo Tupone | 2023-04-16 | 1 | -0/+1 |
* | dev-ml/dune: add 3.7.0 | Alfredo Tupone | 2023-03-01 | 1 | -0/+1 |
* | dev-ml/dune: add 3.6.2 | Alfredo Tupone | 2023-01-30 | 1 | -0/+1 |
* | dev-ml/dune: add 3.6.1 | Alfredo Tupone | 2022-12-17 | 1 | -0/+1 |
* | dev-ml/dune: add 3.5.0 | Alfredo Tupone | 2022-12-16 | 1 | -0/+1 |
* | dev-ml/dune: add 3.2.0 | Alfredo Tupone | 2022-11-22 | 1 | -0/+1 |
* | dev-ml/dune: add 3.1.1 | Alfredo Tupone | 2022-11-21 | 1 | -0/+1 |
* | dev-ml/dune: add 3.0.3 | Alfredo Tupone | 2022-11-19 | 1 | -0/+1 |
* | dev-ml/dune: drop 1.11.4, 2.1.0, 2.7.1, 2.8.2, 2.9.0 | Sam James | 2022-07-24 | 1 | -5/+0 |
* | dev-ml/dune: 2.9.3 bump | Alfredo Tupone | 2022-01-29 | 1 | -0/+1 |
* | dev-ml/dune: add 2.9.1 | Sam James | 2021-10-02 | 1 | -0/+1 |
* | dev-ml/dune: bump 2.9.0 | Alfredo Tupone | 2021-07-21 | 1 | -0/+1 |
* | dev-ml/dune: add 2.8.4 | Sam James | 2021-03-13 | 1 | -0/+1 |
* | dev-ml/dune: add 1.11.4 | Alfredo Tupone | 2021-02-18 | 1 | -0/+1 |
* | dev-ml/dune: bump to 2.8.2 | Sam James | 2021-01-24 | 1 | -0/+1 |
* | dev-ml/dune: Bump to 2.7.1 | Mark Wright | 2020-10-13 | 1 | -0/+1 |
* | dev-ml/dune: remove old version | Tupone Alfredo | 2020-02-21 | 1 | -1/+0 |
* | dev-ml/dune: version bump | Tupone Alfredo | 2020-01-17 | 1 | -0/+1 |
* | dev-ml/dune: add dev-ml/dune | Tupone Alfredo | 2019-07-25 | 1 | -0/+1 |