[pkgsrc/trunk]: pkgsrc/doc doc/TODO: + frama-c-25.0.

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/4c5c79702cfb
branches:  trunk
changeset: 384259:4c5c79702cfb
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Mon Aug 29 16:27:44 2022 +0000

description:
doc/TODO: + frama-c-25.0.

diffstat:

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

diffs (17 lines):

diff -r 796d45016b0e -r 4c5c79702cfb doc/TODO
--- a/doc/TODO  Mon Aug 29 16:20:29 2022 +0000
+++ b/doc/TODO  Mon Aug 29 16:27:44 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.22158 2022/08/29 15:34:11 wiz Exp $
+$NetBSD: TODO,v 1.22159 2022/08/29 16:27:44 wiz Exp $
 
 Suggested new packages
 ======================
@@ -667,6 +667,7 @@
        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