summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
ModeNameSize
-rw-r--r--Manifest3950logplain
-rw-r--r--coq-8.11.2-r1.ebuild1845logplain
-rw-r--r--coq-8.12.0-r2.ebuild1847logplain
-rw-r--r--coq-8.13.0-r1.ebuild1821logplain
-rw-r--r--coq-8.15.0-r2.ebuild2396logplain
-rw-r--r--coq-8.15.1.ebuild2396logplain
-rw-r--r--coq-8.15.2.ebuild2396logplain
-rw-r--r--metadata.xml1047logplain