diff options
Diffstat (limited to 'development/splint/splint.info')
| -rw-r--r-- | development/splint/splint.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/splint/splint.info b/development/splint/splint.info index b3a48f8961..7c32a5ce77 100644 --- a/development/splint/splint.info +++ b/development/splint/splint.info @@ -1,8 +1,8 @@ PRGNAM="splint" -VERSION="3.1.1" +VERSION="3.1.2" HOMEPAGE="http://www.splint.org/" -DOWNLOAD="http://www.splint.org/downloads/splint-3.1.1.src.tgz" -MD5SUM="91635d98644312302f6f16abe73c2474" +DOWNLOAD="http://www.splint.org/downloads/splint-3.1.2.src.tgz" +MD5SUM="25f47d70bd9c8bdddf6b03de5949c4fd" MAINTAINER="Menno E. Duursma" EMAIL="druiloor@zonnet.nl" -APPROVED="elohim" +APPROVED="Erik Hanson"
\ No newline at end of file |