| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| jflex_1.7.0-3_all.deb | 1729802 | 2023-May-02 01:52 |
| jflex_1.7.0-1_all.deb | 1697396 | 2018-Oct-10 16:03 |
| jflex_1.7.0-2_all.deb | 1691900 | 2021-Jan-02 06:13 |
| jflex_1.6.1-3_all.deb | 1334544 | 2018-Feb-14 05:39 |
| jflex_1.4.3+dfsg-1_all.deb | 1052020 | 2016-Feb-12 23:29 |