summaryrefslogtreecommitdiff
path: root/dev-ml/menhir/menhir-20231231.ebuild
AgeCommit message (Expand)Author
2024-06-28gentoo auto-resync : 28:06:2024 - 07:59:59V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 16:50:32 +0000