PRGNAM="splint" VERSION="3.1.2" HOMEPAGE="http://www.splint.org/" DOWNLOAD="http://www.splint.org/downloads/splint-3.1.2.src.tgz" MD5SUM="25f47d70bd9c8bdddf6b03de5949c4fd" MAINTAINER="Menno E. Duursma" EMAIL="druiloor@zonnet.nl" APPROVED="Erik Hanson"