summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--ChangeLog2684logplain
-rw-r--r--Manifest1204logplain
d---------files127logplain
-rw-r--r--metadata.xml158logplain
-rw-r--r--proofgeneral-3.5-r1.ebuild1342logplain