summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
ModeNameSize
-rw-r--r--Manifest3337logplain
-rw-r--r--coq-8.12.0-r2.ebuild1853logplain
-rw-r--r--coq-8.13.0-r1.ebuild1827logplain
-rw-r--r--coq-8.15.2.ebuild2402logplain
-rw-r--r--coq-8.16.1.ebuild2418logplain
-rw-r--r--coq-8.17.0.ebuild2318logplain
-rw-r--r--metadata.xml1047logplain