[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