diff options
| author | jschauma <jschauma@pkgsrc.org> | 2002-09-24 17:59:59 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2002-09-24 17:59:59 +0000 |
| commit | c52ab02f486b19b8801186cfb413b67ec9e5ef6b (patch) | |
| tree | 7edde3415b620550f571862dce9c67990003cb5d /doc | |
| parent | 8aee780924b9effc75deb14b361ee5993a3e9ce1 (diff) | |
| download | pkgsrc-c52ab02f486b19b8801186cfb413b67ec9e5ef6b.tar.gz | |
Note initial import of devel/pvs. See http://pvs.csl.sri.com/
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES b/doc/CHANGES index 2d1b8ed42d9..1c198c531a7 100644 --- a/doc/CHANGES +++ b/doc/CHANGES @@ -1,4 +1,4 @@ -$NetBSD: CHANGES,v 1.50 2002/09/24 17:18:26 abs Exp $ +$NetBSD: CHANGES,v 1.51 2002/09/24 17:59:59 jschauma Exp $ Changes to the packages collection and infrastructure in 2002: @@ -2957,3 +2957,4 @@ Changes to the packages collection and infrastructure in 2002: Updated libxslt to 1.0.20 [martti 2002-09-24] Updated bbkeys to 0.8.5 [jschauma 2002-09-24] Updated msudir to 0.12 [abs 2002-09-24] + Added pvs-3.0 [jschauma 2002-09-24] |