[pkgsrc/trunk]: pkgsrc/doc - frama-c

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/13088aadbe3b
branches:  trunk
changeset: 367707:13088aadbe3b
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Tue Sep 05 07:42:45 2017 +0000

description:
- frama-c

diffstat:

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

diffs (17 lines):

diff -r 48a3584a5f83 -r 13088aadbe3b doc/TODO
--- a/doc/TODO  Tue Sep 05 07:42:00 2017 +0000
+++ b/doc/TODO  Tue Sep 05 07:42:45 2017 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.17677 2017/09/04 17:59:14 bsiegert Exp $
+$NetBSD: TODO,v 1.17678 2017/09/05 07:42:45 dholland Exp $
 
 Suggested new packages
 ======================
@@ -657,7 +657,6 @@
        o fop-2.1
        o fortunes-calvin-0.3
        o fox-1.7.57
-       o frama-c-20140301
        o freenet-0.7
        o freesci-0.6.4
        o freeswitch-1.2.3