Files
-rwxr-xr-x | 544 | root | root | /usr/bin/jflex |
-rw-r--r-- | 199 | root | root | /usr/share/applications/jflex.desktop |
drwxr-xr-x | 0 | root | root | /usr/share/doc/jflex |
-rw-r--r-- | 1719 | root | root | /usr/share/doc/jflex/COPYRIGHT |
drwxr-xr-x | 0 | root | root | /usr/share/doc/jflex/doc |
-rw-r--r-- | 177 | root | root | /usr/share/doc/jflex/doc/._manual.pdf |
-rw-r--r-- | 1719 | root | root | /usr/share/doc/jflex/doc/COPYRIGHT |
-rw-r--r-- | 190 | root | root | /usr/share/doc/jflex/doc/footnote.png |
-rw-r--r-- | 3607 | root | root | /usr/share/doc/jflex/doc/jflex-black.png |
-rw-r--r-- | 6016 | root | root | /usr/share/doc/jflex/doc/jflex_anttask.html |
-rw-r--r-- | 961 | root | root | /usr/share/doc/jflex/doc/manual.css |
-rw-r--r-- | 129773 | root | root | /usr/share/doc/jflex/doc/manual.html |
-rw-r--r-- | 300100 | root | root | /usr/share/doc/jflex/doc/manual.pdf |
-rw-r--r-- | 1046292 | root | root | /usr/share/java/jflex.jar |
-rw-r--r-- | 844 | root | root | /usr/share/man/man1/jflex.1.xz |
-rw-r--r-- | 1708 | root | root | /usr/share/maven-metadata/jflex.xml |
-rw-r--r-- | 10212 | root | root | /usr/share/maven-poms/jflex.pom |
-rw-r--r-- | 5017 | root | root | /usr/share/pixmaps/jflex.png |