/etc/desktop/mime-info/

• ../
• proofgeneral.keys
• proofgeneral.mime