summaryrefslogtreecommitdiff
path: root/sci-mathematics/gappalib-coq
ModeNameSize
-rw-r--r--Manifest916logplain
-rw-r--r--gappalib-coq-1.5.2.ebuild870logplain
-rw-r--r--metadata.xml371logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 13:52:33 +0000