summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: retire some dev-ml/opam packagesAlfredo Tupone2024-11-181-3/+0
* dev-ml/opam-solver: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-191-2/+0
* dev-ml/*: drop opam-2.1.5 & childrenAlfredo Tupone2024-07-181-1/+0
* dev-ml/opam-solver: add 2.1.5Alfredo Tupone2024-07-151-0/+1
* dev-ml/opam-solver: add 2.1.3Alfredo Tupone2023-03-031-0/+1
* dev-ml/opam-solver: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-241-3/+0
* dev-ml/opam-solver: 2.1.2 bumpAlfredo Tupone2022-01-311-0/+1
* dev-ml/opam-solver: add 2.1.1Sam James2021-11-061-0/+1
* dev-ml/opam-solver: add 2.0.10Sam James2021-11-061-0/+1
* dev-ml/opam-solver: add 2.1.0Sam James2021-10-021-0/+2
* dev-ml/opam-solver: add 2.0.9Sam James2021-07-281-0/+1
* dev-ml/opam-solver: drop 2.0.7-r1Sam James2021-03-151-1/+0
* dev-ml/opam-solver: bump to 2.0.8Sam James2021-02-081-0/+1
* dev-ml/opam-solver: Dependency of dev-ml/opam-clientMark Wright2020-10-131-0/+1