summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--ChangeLog1715logplain
-rw-r--r--Manifest3672logplain
d---------files232logplain
-rw-r--r--metadata.xml158logplain
-rw-r--r--proofgeneral-3.5-r1.ebuild1439logplain
-rw-r--r--proofgeneral-3.5.ebuild1327logplain