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.info6
1 files changed, 4 insertions, 2 deletions
diff --git a/development/splint/splint.info b/development/splint/splint.info
index 7c32a5ce77..3a566d5ba9 100644
--- a/development/splint/splint.info
+++ b/development/splint/splint.info
@@ -3,6 +3,8 @@ 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"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+MAINTAINER="Menno Duursma"
EMAIL="druiloor@zonnet.nl"
-APPROVED="Erik Hanson" \ No newline at end of file
+APPROVED="rworkman"