/usr/share/emacs/site-lisp/proofgeneral/lego/ 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/lego/BUGS.lego
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/lego/README.lego
|
text/plain | root:root | 0o644 | 993 bytes |
/usr/share/emacs/site-lisp/proofgeneral/lego/example.l
|
text/plain | root:root | 0o644 | 231 bytes |
/usr/share/emacs/site-lisp/proofgeneral/lego/example2.l
|
text/plain | root:root | 0o644 | 43 bytes |
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el
|
text/x-lisp | root:root | 0o644 | 4.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
|
text/x-lisp | root:root | 0o644 | 15.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/lego/root2.l
|
text/plain | root:root | 0o644 | 11.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el
|
text/plain | root:root | 0o644 | 357 bytes |