Files fetched: 1 STORED: http://www.cs.cornell.edu/jif/releases/jif-3.0.0.zip e657b80f3e19d6d0909a16af3a8b6b88 jif-3.0.0.zip Size: 6917495 bytes -- Virtually Yours: distfiles.