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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/adfc2e756c95
branches:  trunk
changeset: 386451:adfc2e756c95
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sun Oct 09 07:03:04 2022 +0000

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

diffstat:

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

diffs (31 lines):

diff -r c02934e0cfdb -r adfc2e756c95 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sun Oct 09 07:02:47 2022 +0000
+++ b/doc/CHANGES-2022  Sun Oct 09 07:03:04 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.4909 2022/10/09 06:47:13 tonio Exp $
+$NetBSD: CHANGES-2022,v 1.4910 2022/10/09 07:03:04 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -7441,3 +7441,4 @@
        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]
+       Updated devel/frama-c to 25.0 [tonio 2022-10-09]
diff -r c02934e0cfdb -r adfc2e756c95 doc/TODO
--- a/doc/TODO  Sun Oct 09 07:02:47 2022 +0000
+++ b/doc/TODO  Sun Oct 09 07:03:04 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.22275 2022/10/09 06:39:39 wiz Exp $
+$NetBSD: TODO,v 1.22276 2022/10/09 07:03:04 tonio Exp $
 
 Suggested new packages
 ======================
@@ -659,7 +659,6 @@
        o fortunes-calvin-0.3
        o fortunes-de-0.34
        o fplll-5.4.0
-       o frama-c-25.0
        o freecell-solver-6.2.0
        o freemint-binutils-2.30
        o freemint-gcc-7.1.0