summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
ModeNameSize
-rw-r--r--Manifest2120logplain
-rw-r--r--coq-8.12.0-r2.ebuild1854logplain
-rw-r--r--coq-8.17.0.ebuild2317logplain
-rw-r--r--coq-8.17.1.ebuild2317logplain
-rw-r--r--metadata.xml1047logplain