/usr/share/emacs/site-lisp/proofgeneral/ccc/

This file is indexed.

/usr/share/emacs/site-lisp/proofgeneral/ccc/ is in proofgeneral-misc 3.7-4.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/emacs/site-lisp/proofgeneral/ccc/README.ccc`	text/plain	root:root	0o644	498 bytes
`/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el`	text/plain	root:root	0o644	3.1 KB

proofgeneral-misc 3.7-4 / usr / share / emacs / site-lisp / proofgeneral / ccc