summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/coq-8.11.2-r1.ebuild
AgeCommit message (Collapse)Author
2022-11-26gentoo auto-resync : 26:11:2022 - 19:15:12V3n3RiX
2021-07-28gentoo resync : 28.07.2021V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-21 07:58:58 +0000