diff options
| author | jschauma <jschauma> | 2005-04-10 16:49:59 +0000 |
|---|---|---|
| committer | jschauma <jschauma> | 2005-04-10 16:49:59 +0000 |
| commit | 5d687912d8d8e5750ade2f003f019b27146c9e2a (patch) | |
| tree | 1f18d90705cc186dc4d4dbe5d765b8e78f5a0a3e /devel/splint | |
| parent | 4ff706281f6b6ab1e58de168f7a2ed3bf2b2e395 (diff) | |
| download | pkgsrc-5d687912d8d8e5750ade2f003f019b27146c9e2a.tar.gz | |
Update splint to 3.1.1.
The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6
release. Among other improvements, the accuracy of the bounds checking code
has improved; Splint can produce output in html or comma separated value(CSV)
format; and support for numabstract types has been added. Additionally the
code contains numerous bugs fixes and house keeping updates.
(Details at http://www.splint.org/changes.html )
No list of changes available for the 3.1.1 release.
Diffstat (limited to 'devel/splint')
| -rw-r--r-- | devel/splint/Makefile | 4 | ||||
| -rw-r--r-- | devel/splint/distinfo | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index a626107712b..9264f222534 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.6 2004/01/22 08:24:31 grant Exp $ +# $NetBSD: Makefile,v 1.7 2005/04/10 16:49:59 jschauma Exp $ # -VERSION= 3.0.1.6 +VERSION= 3.1.1 DISTNAME= splint-${VERSION}.src PKGNAME= splint-${VERSION} CATEGORIES= devel diff --git a/devel/splint/distinfo b/devel/splint/distinfo index 0c2eb584391..cfd2ac22c0f 100644 --- a/devel/splint/distinfo +++ b/devel/splint/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.2 2005/02/23 22:24:34 agc Exp $ +$NetBSD: distinfo,v 1.3 2005/04/10 16:49:59 jschauma Exp $ -SHA1 (splint-3.0.1.6.src.tgz) = 65c15cef2b2a554c484127b86668efd4e76e9604 -RMD160 (splint-3.0.1.6.src.tgz) = 17db2e2ee5cac5716e417aa2029a33d4a2520a00 -Size (splint-3.0.1.6.src.tgz) = 1592456 bytes +SHA1 (splint-3.1.1.src.tgz) = 1192e8f18e8ef63fdc7a0b0fa26c35b46d59e4e6 +RMD160 (splint-3.1.1.src.tgz) = 8a0d04b20ccdfd50f99e3ef6abd59e7b25814912 +Size (splint-3.1.1.src.tgz) = 2425108 bytes |