summaryrefslogtreecommitdiff
path: root/development/splint/splint.info
diff options
context:
space:
mode:
Diffstat (limited to 'development/splint/splint.info')
-rw-r--r--development/splint/splint.info8
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"