diff options
Diffstat (limited to 'development/splint/splint.info')
| -rw-r--r-- | development/splint/splint.info | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/development/splint/splint.info b/development/splint/splint.info new file mode 100644 index 0000000000..b3a48f8961 --- /dev/null +++ b/development/splint/splint.info @@ -0,0 +1,8 @@ +PRGNAM="splint" +VERSION="3.1.1" +HOMEPAGE="http://www.splint.org/" +DOWNLOAD="http://www.splint.org/downloads/splint-3.1.1.src.tgz" +MD5SUM="91635d98644312302f6f16abe73c2474" +MAINTAINER="Menno E. Duursma" +EMAIL="druiloor@zonnet.nl" +APPROVED="elohim" |