summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/menhir: Stabilize 20220210 ppc64, #901609Arthur Zamarin2023-03-171-1/+1
* dev-ml/menhir: Stabilize 20220210 x86, #901609Sam James2023-03-171-1/+1
* dev-ml/menhir: Stabilize 20220210 amd64, #901609Sam James2023-03-171-1/+1
* dev-ml/menhir: Stabilize 20220210 arm64, #901609Sam James2023-03-161-1/+1
* dev-ml/menhir: Stabilize 20220210 arm, #901609Sam James2023-03-161-2/+2
* dev-ml/menhir: BetterCompressionUriAlfredo Tupone2022-12-051-1/+1
* dev-ml/menhir: bump to 20220210Maciej Barć2022-09-061-0/+21