Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/coq-menhirlib
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/coq-menhirlib: drop old 20231231-r1Maciej Barć4 days2-45/+0
* dev-ml/coq-menhirlib: drop old 20220210Maciej Barć2024-09-132-35/+0
* dev-ml/coq-menhirlib: pin coq <8.20.0 to version 20231231Maciej Barć2024-09-131-1/+1
* dev-ml/coq-menhirlib: bump to 20240715Maciej Barć2024-09-132-0/+45
* dev-ml/coq-menhirlib: bump to 20231231Maciej Barć2024-08-012-0/+45
* dev-ml/coq-menhirlib: new package; add 20220210Maciej Barć2022-12-233-0/+43