summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--ChangeLog12204logplain
-rw-r--r--Manifest5052logplain
-rw-r--r--coq-8.3_p1.ebuild2142logplain
-rw-r--r--coq-8.3_p2.ebuild3163logplain
-rw-r--r--coq-8.3_p3.ebuild3163logplain
-rw-r--r--coq-8.3_p4.ebuild2294logplain
-rw-r--r--coq-8.4.ebuild2148logplain
d---------files138logplain
-rw-r--r--metadata.xml899logplain