CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   dholland
Date:           Mon Mar  3 03:27:44 UTC 2025

Modified Files:
        pkgsrc/doc: CHANGES-2025

Log Message:
CHANGES for devel/why3 (update to 1.8.0)


To generate a diff of this commit:
cvs rdiff -u -r1.1876 -r1.1877 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.1876 pkgsrc/doc/CHANGES-2025:1.1877
--- pkgsrc/doc/CHANGES-2025:1.1876      Mon Mar  3 02:39:20 2025
+++ pkgsrc/doc/CHANGES-2025     Mon Mar  3 03:27:44 2025
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2025,v 1.1876 2025/03/03 02:39:20 scole Exp $
+$NetBSD: CHANGES-2025,v 1.1877 2025/03/03 03:27:44 dholland Exp $
 
 Changes to the packages collection and infrastructure in 2025:
 
@@ -2450,3 +2450,4 @@ Changes to the packages collection and i
        Updated devel/tcllibc to 2.0nb1 [scole 2025-03-03]
        Updated mail/mu to 1.12.9 [ktnb 2025-03-03]
        Updated graphics/tkimg to 2.0.1 [scole 2025-03-03]
+       Updated devel/why3 to 1.8.0 [dholland 2025-03-03]