diff options
Diffstat (limited to 'development/splint/splint.info')
| -rw-r--r-- | development/splint/splint.info | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/development/splint/splint.info b/development/splint/splint.info index 7c32a5ce77126..3a566d5ba9821 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" |