Files fetched: 1 STORED: http://www.splint.org/downloads/splint-3.1.2.src.tgz 25f47d70bd9c8bdddf6b03de5949c4fd splint-3.1.2.src.tgz Size: 2284033 bytes -- Virtually Yours: distfiles.