summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
ModeNameSize
-rw-r--r--Manifest3419logplain
d---------files227logplain
-rw-r--r--metadata.xml656logplain
-rw-r--r--proofgeneral-4.4.ebuild1630logplain
-rw-r--r--proofgeneral-4.5.ebuild1445logplain
-rw-r--r--proofgeneral-4.5_pre20220228.ebuild1505logplain