| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/opam-solver: remove unused patch(es) |   Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| * | dev-ml/opam-solver: drop useless patch |   Sam James | 2021-10-02 | 1 | -526/+0 |
| * | dev-ml/opam-solver: add 2.1.0 | Sam James | 2021-10-02 | 1 | -0/+526 |
| * | dev-ml/opam-solver: patch for dose3-6.x compat |   Hank Leininger | 2021-06-06 | 1 | -0/+142 |
GitWeb