[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-2-2-gfd80474

Mehdi Dogguy dogguy at pps.jussieu.fr
Thu Jun 4 21:33:11 UTC 2009


The following commit has been merged in the master branch:
commit fd80474838452bf5c138f97a2aea64ccbff7d44c
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Jun 4 22:33:28 2009 +0200

    Update gbp.conf

diff --git a/debian/gbp.conf b/debian/gbp.conf
index cec628c..5577ef2 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,2 +1,12 @@
 [DEFAULT]
 pristine-tar = True
+filter = [
+    "why",
+    "ocamlgraph",
+    "ocamlgraph.tar.gz",
+    "doc/manuals",
+    "src/impact",
+    "src/security",
+    "cil/doc",
+    "tests/test/adpcm.c"
+    ]

-- 
frama-c packaging



More information about the Pkg-ocaml-maint-commits mailing list