summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/menhir: BetterCompressionUriAlfredo Tupone2022-12-051-1/+1
* dev-ml/menhir: bump to 20220210Maciej Barć2022-09-061-0/+21