| Name | Size | Modified | |
|---|---|---|---|
| ../ | — | — | |
| jflex_1.7.0-2_all.deb | 1.6 MB | Jan 1, 2021 | |
| jflex_1.7.0-2.debian.tar.xz | 6.5 KB | Jan 1, 2021 | |
| jflex_1.7.0-2.dsc | 2.1 KB | Jan 1, 2021 | |
| jflex_1.7.0-3_all.deb | 1.6 MB | Feb 27, 2023 | |
| jflex_1.7.0-3.debian.tar.xz | 6.6 KB | Feb 27, 2023 | |
| jflex_1.7.0-3.dsc | 2.1 KB | Feb 27, 2023 | |
| jflex_1.7.0.orig.tar.xz | 772.9 KB | Oct 1, 2018 | |
| jflex_1.8.2-1_all.deb | 2 MB | Oct 26, 2020 | |
| jflex_1.8.2-1.debian.tar.xz | 27.9 KB | Oct 26, 2020 | |
| jflex_1.8.2-1.dsc | 2.1 KB | Oct 26, 2020 | |
| jflex_1.8.2.orig.tar.xz | 840.4 KB | Oct 26, 2020 |