-rwxr-xr-x | 542 | root |
root |
/usr/bin/jflex
|
-rw-r--r-- | 199 | root |
root |
/usr/share/applications/jflex.desktop
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/jflex-1.4.3
|
-rw-r--r-- | 12714 | root |
root |
/usr/share/doc/jflex-1.4.3/COPYRIGHT
|
-rw-r--r-- | 146 | root |
root |
/usr/share/doc/jflex-1.4.3/crossref.png
|
-rw-r--r-- | 189 | root |
root |
/usr/share/doc/jflex-1.4.3/footnote.png
|
-rw-r--r-- | 5553 | root |
root |
/usr/share/doc/jflex-1.4.3/jflex_anttask.html
|
-rw-r--r-- | 31753 | root |
root |
/usr/share/doc/jflex-1.4.3/logo.gif
|
-rw-r--r-- | 961 | root |
root |
/usr/share/doc/jflex-1.4.3/manual.css
|
-rw-r--r-- | 131933 | root |
root |
/usr/share/doc/jflex-1.4.3/manual.html
|
-rw-r--r-- | 626888 | root |
root |
/usr/share/doc/jflex-1.4.3/manual.pdf
|
-rw-r--r-- | 264948 | root |
root |
/usr/share/doc/jflex-1.4.3/manual.ps.gz
|
lrwxrwxrwx | 9 | root |
root |
/usr/share/java/JFlex.jar
|
-rw-r--r-- | 166999 | root |
root |
/usr/share/java/jflex.jar
|
-rw-r--r-- | 844 | root |
root |
/usr/share/man/man1/jflex.1.xz
|
-rw-r--r-- | 276 | root |
root |
/usr/share/maven-fragments/jflex
|
-rw-r--r-- | 2624 | root |
root |
/usr/share/maven-poms/JPP-jflex.pom
|
-rw-r--r-- | 5617 | root |
root |
/usr/share/pixmaps/jflex.png
|