[pkgsrc/trunk]: pkgsrc/doc doc: Updated devel/frama-c to 25.0nb1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/4c2bd07885c5
branches:  trunk
changeset: 388461:4c2bd07885c5
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Sun Nov 20 22:15:41 2022 +0000

description:
doc: Updated devel/frama-c to 25.0nb1

diffstat:

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

diffs (14 lines):

diff -r 8108c2823dd2 -r 4c2bd07885c5 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sun Nov 20 22:15:31 2022 +0000
+++ b/doc/CHANGES-2022  Sun Nov 20 22:15:41 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.5595 2022/11/20 20:17:53 nikita Exp $
+$NetBSD: CHANGES-2022,v 1.5596 2022/11/20 22:15:41 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -8465,3 +8465,4 @@
        Updated textproc/py-pyphen to 0.13.1 [adam 2022-11-20]
        Updated net/Geomyidae to 0.69 [leot 2022-11-20]
        Added www/gotosocial version 0.5.2 [nikita 2022-11-20]
+       Updated devel/frama-c to 25.0nb1 [wiz 2022-11-20]