CVS commit: pkgsrc/doc

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Sun Mar  9 19:44:32 UTC 2025

Modified Files:
        pkgsrc/doc: CHANGES-2025

Log Message:
bumped devel/why3


To generate a diff of this commit:
cvs rdiff -u -r1.2155 -r1.2156 pkgsrc/doc/CHANGES-2025

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2025
diff -u pkgsrc/doc/CHANGES-2025:1.2155 pkgsrc/doc/CHANGES-2025:1.2156
--- pkgsrc/doc/CHANGES-2025:1.2155      Sun Mar  9 19:39:11 2025
+++ pkgsrc/doc/CHANGES-2025     Sun Mar  9 19:44:32 2025
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2025,v 1.2155 2025/03/09 19:39:11 bsiegert Exp $
+$NetBSD: CHANGES-2025,v 1.2156 2025/03/09 19:44:32 dholland Exp $
 
 Changes to the packages collection and infrastructure in 2025:
 
@@ -2764,3 +2764,4 @@ Changes to the packages collection and i
        Updated security/heimdal to 7.8.0nb12 [jakllsch 2025-03-09]
        Updated textproc/py-yaml to 6.0.2nb3 [wiz 2025-03-09]
        Updated devel/go-tools to 0.31.0 [bsiegert 2025-03-09]
+       Updated devel/why3 to 1.8.0nb1 [dholland 2025-03-09]