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

This file is indexed.

/usr/share/emacs/site-lisp/proofgeneral/phox/ 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/phox/README.pbrpm`	text/plain	root:root	0o644	628 bytes
`/usr/share/emacs/site-lisp/proofgeneral/phox/README.phox`	text/plain	root:root	0o644	493 bytes
`/usr/share/emacs/site-lisp/proofgeneral/phox/example.phx`	text/plain	root:root	0o644	299 bytes
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el`	text/x-lisp	root:root	0o644	5.3 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el`	text/x-lisp	root:root	0o644	3.3 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el`	text/x-lisp	root:root	0o644	11.9 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el`	text/x-lisp	root:root	0o644	1.5 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el`	text/x-lisp	root:root	0o644	1.9 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el`	text/x-lisp	root:root	0o644	10.7 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el`	text/x-lisp	root:root	0o644	14.0 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el`	text/x-lisp	root:root	0o644	3.5 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el`	text/x-lisp	root:root	0o644	7.9 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/square-root-2.phx`	text/x-tex	root:root	0o644	7.5 KB
`/usr/share/emacs/site-lisp/proofgeneral/phox/x-symbol-phox.el`	text/x-lisp	root:root	0o644	7.6 KB