/usr/share/el-get/recipes/ProofGeneral.rcp is in el-get 3.1-1.1.
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 8 9 | (:name ProofGeneral ;; Requires Emacs >= 23.3
:website "http://proofgeneral.inf.ed.ac.uk/"
:description "Proof General is a generic front-end for proof assistants (also known as interactive theorem provers)"
:type http-tar
:options ("xzf")
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1RC2.tgz"
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && make compile")
:load ("ProofGeneral/generic/proof-site.el")
:info "./ProofGeneral/doc/")
|