| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-xemacs-8.3pl2
|
| -rw-r--r-- | 126 | root |
root |
/usr/share/doc/coq-xemacs-8.3pl2/README.coq-xemacs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq
|
| -rw-r--r-- | 6126 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq/coq-db.elc
|
| -rw-r--r-- | 3655 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq/coq-font-lock.elc
|
| -rw-r--r-- | 8717 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq/coq-inferior.elc
|
| -rw-r--r-- | 34795 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq/coq-syntax.elc
|
| -rw-r--r-- | 3503 | root |
root |
/usr/share/xemacs/site-packages/lisp/coq/coq.elc
|
