summaryrefslogtreecommitdiff
path: root/sci-mathematics/gappalib-coq
ModeNameSize
-rw-r--r--Manifest919logplain
-rw-r--r--gappalib-coq-1.5.2-r1.ebuild919logplain
-rw-r--r--metadata.xml371logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 14:55:29 +0000