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 (Collapse)AuthorAgeFilesLines
* dev-ml/coq-menhirlib: drop old 20231231-r1Maciej Barć2024-11-192-45/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/coq-menhirlib: drop old 20220210Maciej Barć2024-09-132-35/+0
| | | | | Closes: https://bugs.gentoo.org/923844 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/coq-menhirlib: pin coq <8.20.0 to version 20231231Maciej Barć2024-09-131-1/+1
| | | | | Closes: https://bugs.gentoo.org/939577 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/coq-menhirlib: bump to 20240715Maciej Barć2024-09-132-0/+45
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/coq-menhirlib: bump to 20231231Maciej Barć2024-08-012-0/+45
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/coq-menhirlib: new package; add 20220210Maciej Barć2022-12-233-0/+43
Closes: https://bugs.gentoo.org/888075 Signed-off-by: Maciej Barć <xgqt@gentoo.org>