drwxr-xr-x | 0 | root |
root |
/usr/include/prelude-lml
|
-rw-r--r-- | 2451 | root |
root |
/usr/include/prelude-lml/prelude-lml.h
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/prelude-lml-devel
|
-rw-r--r-- | 114 | root |
root |
/usr/share/doc/prelude-lml-devel/AUTHORS
|
-rw-r--r-- | 771768 | root |
root |
/usr/share/doc/prelude-lml-devel/ChangeLog
|
-rw-r--r-- | 31061 | root |
root |
/usr/share/doc/prelude-lml-devel/NEWS
|
-rw-r--r-- | 1742 | root |
root |
/usr/share/doc/prelude-lml-devel/README
|
drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/prelude-lml-devel
|
-rw-r--r-- | 18092 | root |
root |
/usr/share/licenses/prelude-lml-devel/COPYING
|
-rw-r--r-- | 780 | root |
root |
/usr/share/licenses/prelude-lml-devel/HACKING.README
|