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" DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Menno Duursma" EMAIL="druiloor@zonnet.nl" APPROVED="rworkman"