[pkgsrc/trunk]: pkgsrc/doc doc: Added devel/why3 version 1.5.1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/4f4ac726cf55
branches:  trunk
changeset: 386433:4f4ac726cf55
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sat Oct 08 16:38:11 2022 +0000

description:
doc: Added devel/why3 version 1.5.1

diffstat:

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

diffs (14 lines):

diff -r 68225f9cd84e -r 4f4ac726cf55 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sat Oct 08 16:37:39 2022 +0000
+++ b/doc/CHANGES-2022  Sat Oct 08 16:38:11 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.4903 2022/10/08 15:04:04 tonio Exp $
+$NetBSD: CHANGES-2022,v 1.4904 2022/10/08 16:38:11 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -7420,3 +7420,4 @@
        Updated ham/soapy-sdr to 0.8.1 [adam 2022-10-08]
        Updated x11/py-qwt-qt5 to 1.02.02 [adam 2022-10-08]
        Added devel/ocaml-ppx_import version 1.10.0 [tonio 2022-10-08]
+       Added devel/why3 version 1.5.1 [tonio 2022-10-08]