summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/coq-8.19.0.ebuild
AgeCommit message (Expand)Author
2024-02-28gentoo auto-resync : 28:02:2024 - 05:40:38V3n3RiX
2024-01-25gentoo auto-resync : 25:01:2024 - 04:44:48V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-08 06:05:43 +0000