/usr/share/application-registry/proofgeneral.applications is in proofgeneral 4.3~pre131011-0.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 | proofgeneral
command=proofgeneral
name=Proof General
can_open_multiple_files=true
expects_uris=false
requires_terminal=false
mime_types=application/x-proofgeneral
|