| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/coq-menhirlib: drop old 20220210 |   Maciej Barć | 2024-09-13 | 1 | -1/+0 |
| * | dev-ml/coq-menhirlib: bump to 20240715 | Maciej Barć | 2024-09-13 | 1 | -0/+1 |
| * | dev-ml/coq-menhirlib: bump to 20231231 | Maciej Barć | 2024-08-01 | 1 | -0/+1 |
| * | dev-ml/coq-menhirlib: new package; add 20220210 | Maciej Barć | 2022-12-23 | 1 | -0/+1 |
GitWeb