summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--ChangeLog3972logplain
-rw-r--r--Manifest1381logplain
d---------files52logplain
-rw-r--r--metadata.xml158logplain
-rw-r--r--proofgeneral-3.7.1.ebuild1257logplain
-rw-r--r--proofgeneral-3.7.ebuild1244logplain