summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest381logplain
d---------files116logplain
-rw-r--r--metadata.xml244logplain
-rw-r--r--proofgeneral-4.2.ebuild1392logplain