CVS commit: pkgsrc/doc

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Oct  9 07:03:05 UTC 2022

Modified Files:
        pkgsrc/doc: CHANGES-2022 TODO

Log Message:
doc: Updated devel/frama-c to 25.0


To generate a diff of this commit:
cvs rdiff -u -r1.4909 -r1.4910 pkgsrc/doc/CHANGES-2022
cvs rdiff -u -r1.22275 -r1.22276 pkgsrc/doc/TODO

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-2022
diff -u pkgsrc/doc/CHANGES-2022:1.4909 pkgsrc/doc/CHANGES-2022:1.4910
--- pkgsrc/doc/CHANGES-2022:1.4909      Sun Oct  9 06:47:13 2022
+++ pkgsrc/doc/CHANGES-2022     Sun Oct  9 07:03:04 2022
@@ -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 @@ Changes to the packages collection and i
        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]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.22275 pkgsrc/doc/TODO:1.22276
--- pkgsrc/doc/TODO:1.22275     Sun Oct  9 06:39:39 2022
+++ pkgsrc/doc/TODO     Sun Oct  9 07:03:04 2022
@@ -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 @@ For possible Perl packages updates, see 
        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