| drwxr-xr-x | 220 | root |
root |
/usr/share/doc/jflex-1.3.5
|
| -rw-r--r-- | 13017 | root |
root |
/usr/share/doc/jflex-1.3.5/COPYRIGHT
|
| -rw-r--r-- | 9222 | root |
root |
/usr/share/doc/jflex-1.3.5/faq.html
|
| -rw-r--r-- | 87 | root |
root |
/usr/share/doc/jflex-1.3.5/foot_motif.gif
|
| -rw-r--r-- | 3579 | root |
root |
/usr/share/doc/jflex-1.3.5/jflex_anttask.html
|
| -rw-r--r-- | 37444 | root |
root |
/usr/share/doc/jflex-1.3.5/logo.gif
|
| -rw-r--r-- | 961 | root |
root |
/usr/share/doc/jflex-1.3.5/manual.css
|
| -rw-r--r-- | 130835 | root |
root |
/usr/share/doc/jflex-1.3.5/manual.html
|
| -rw-r--r-- | 389049 | root |
root |
/usr/share/doc/jflex-1.3.5/manual.pdf
|
| -rw-r--r-- | 169706 | root |
root |
/usr/share/doc/jflex-1.3.5/manual.ps.gz
|
| -rw-r--r-- | 245649 | root |
root |
/usr/share/java/jflex-1.3.5.jar
|
| lrwxrwxrwx | 15 | root |
root |
/usr/share/java/jflex.jar
|
