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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/4659b8635975
branches:  trunk
changeset: 609702:4659b8635975
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Mon Oct 08 15:28:19 2012 +0000

description:
Updated devel/frama-c to 20120901

diffstat:

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

diffs (31 lines):

diff -r 76af82c75ee0 -r 4659b8635975 doc/CHANGES-2012
--- a/doc/CHANGES-2012  Mon Oct 08 15:28:03 2012 +0000
+++ b/doc/CHANGES-2012  Mon Oct 08 15:28:19 2012 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2012,v 1.3187 2012/10/08 15:21:33 jaapb Exp $
+$NetBSD: CHANGES-2012,v 1.3188 2012/10/08 15:28:19 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2012:
 
@@ -4960,3 +4960,4 @@
        Updated time/p5-DateTime to 0.77 [wen 2012-10-08]
        Updated lang/ocaml to 4.00.1 [jaapb 2012-10-08]
        Updated archivers/ocaml-zip to 1.04nb1 [jaapb 2012-10-08]
+       Updated devel/frama-c to 20120901 [jaapb 2012-10-08]
diff -r 76af82c75ee0 -r 4659b8635975 doc/TODO
--- a/doc/TODO  Mon Oct 08 15:28:03 2012 +0000
+++ b/doc/TODO  Mon Oct 08 15:28:19 2012 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.11585 2012/10/08 15:06:37 jaapb Exp $
+$NetBSD: TODO,v 1.11586 2012/10/08 15:28:19 jaapb Exp $
 
 Suggested new packages
 ======================
@@ -594,7 +594,6 @@
        o flpsed-0.4.4
        o fltk2-2.0pre8323
        o fox-1.6.41
-       o frama-c-20120901
        o freeciv-2.3.2
        o freefont-20120503
        o freeglut-2.4.0