summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest310logplain
d---------files166logplain
-rw-r--r--metadata.xml656logplain
-rw-r--r--proofgeneral-4.5.ebuild1445logplain