drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/emacs-agda-2.3.2.1
|
-rw-r--r-- | 11450 | root |
root |
/usr/share/doc/emacs-agda-2.3.2.1/README
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/emacs/site-lisp/agda
|
-rw-r--r-- | 25371 | root |
root |
/usr/share/emacs/site-lisp/agda/agda-input.elc
|
-rw-r--r-- | 8592 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-abbrevs.elc
|
-rw-r--r-- | 14157 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-highlight.elc
|
-rw-r--r-- | 49372 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-mode.elc
|
-rw-r--r-- | 1903 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2-queue.elc
|
-rw-r--r-- | 966 | root |
root |
/usr/share/emacs/site-lisp/agda/agda2.elc
|
-rw-r--r-- | 7526 | root |
root |
/usr/share/emacs/site-lisp/agda/annotation.elc
|
-rw-r--r-- | 5636 | root |
root |
/usr/share/emacs/site-lisp/agda/eri.elc
|
-rw-r--r-- | 158 | root |
root |
/usr/share/emacs/site-lisp/site-start.d/agda-mode-init.el
|