summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
ModeNameSize
-rw-r--r--Manifest3337logplain
-rw-r--r--coq-8.12.0-r2.ebuild1847logplain
-rw-r--r--coq-8.13.0-r1.ebuild1821logplain
-rw-r--r--coq-8.15.2.ebuild2396logplain
-rw-r--r--coq-8.16.0.ebuild2412logplain
-rw-r--r--coq-8.16.1.ebuild2412logplain
-rw-r--r--metadata.xml1047logplain