Files fetched: 1 STORED: http://jflex.de/jflex-1.4.1.tar.gz 9e4be6e826e6b344e84c0434d6fd4b46 jflex-1.4.1.tar.gz Size: 986546 bytes -- Virtually Yours: distfiles.