summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/coq-8.9.1-r1.ebuild
AgeCommit message (Expand)Author
2019-12-15gentoo resync : 15.12.2019V3n3RiX
2019-11-10gentoo resync : 10.11.2019V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-11 06:02:37 +0000