CVS commit: pkgsrc/doc

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Jan 10 18:32:17 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026

Log Message:
Updated devel/why3 to 1.8.2.


To generate a diff of this commit:
cvs rdiff -u -r1.219 -r1.220 pkgsrc/doc/CHANGES-2026

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-2026
diff -u pkgsrc/doc/CHANGES-2026:1.219 pkgsrc/doc/CHANGES-2026:1.220
--- pkgsrc/doc/CHANGES-2026:1.219       Sat Jan 10 18:00:16 2026
+++ pkgsrc/doc/CHANGES-2026     Sat Jan 10 18:32:17 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.219 2026/01/10 18:00:16 wiz Exp $
+$NetBSD: CHANGES-2026,v 1.220 2026/01/10 18:32:17 alnsn Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -298,3 +298,4 @@ Changes to the packages collection and i
        Updated databases/sqlc to 1.30.0 [bsiegert 2026-01-10]
        Updated x11/libdisplay-info to 0.3.0 [bsiegert 2026-01-10]
        Removed mail/mopher [wiz 2026-01-10]
+       Updated devel/why3 to 1.8.2 [alnsn 2026-01-10]