Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
jflex_1.7.0-2.debian.tar.xz 2024-04-28 20:18 6.9K
jflex_1.7.0-2.dsc 2024-04-28 20:18 1.1K
jflex_1.7.0-2_all.deb 2024-04-28 16:30 1.6M
jflex_1.7.0.orig.tar.gz 2024-04-28 20:18 2.3M