[pkgsrc/trunk]: pkgsrc/doc doc: Updated devel/why3 to 1.5.1nb1

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/970eb40bc11f
branches:  trunk
changeset: 386449:970eb40bc11f
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sun Oct 09 06:47:13 2022 +0000

description:
doc: Updated devel/why3 to 1.5.1nb1

diffstat:

 doc/CHANGES-2022 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r cb3ba04f3a51 -r 970eb40bc11f doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sun Oct 09 06:46:57 2022 +0000
+++ b/doc/CHANGES-2022  Sun Oct 09 06:47:13 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.4908 2022/10/09 02:40:48 ryoon Exp $
+$NetBSD: CHANGES-2022,v 1.4909 2022/10/09 06:47:13 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -7440,3 +7440,4 @@
        Updated cross/mingw-w64-x86_64-headers to 10.0.0 [ryoon 2022-10-09]
        Updated cross/mingw-w64-x86_64-winpthreads to 10.0.0 [ryoon 2022-10-09]
        Updated cross/mingw-w64 to 10.0.0 [ryoon 2022-10-09]
+       Updated devel/why3 to 1.5.1nb1 [tonio 2022-10-09]