summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest1128logplain
-rw-r--r--coq-8.5.ebuild2180logplain
-rw-r--r--coq-8.5_p3.ebuild2159logplain
-rw-r--r--coq-8.6.ebuild2035logplain
d---------files130logplain
-rw-r--r--metadata.xml1113logplain