[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-3-4-g500c384

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit b656bc33b9bfbf784b18cf22ba1be238dc23f7d3
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Jul 16 13:33:13 2010 +0200

    Convert to 3.0 (quilt) source format.

diff --git a/debian/changelog b/debian/changelog
index 2fa8cc9..66e928c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 frama-c (20100401+boron+dfsg-4) unstable; urgency=low
 
   * Add 0009-unrollType-in-handle_signed_overflow from upstream.
+  * Convert to 3.0 (quilt) source format.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:31:46 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:32:59 +0200
 
 frama-c (20100401+boron+dfsg-3) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 49a0c22..cfd5e93 100644
--- a/debian/control
+++ b/debian/control
@@ -11,8 +11,7 @@ Build-Depends:
  graphviz,
  libocamlgraph-viewer-ocaml-dev (>> 1.4),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2),
- liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2),
- quilt (>= 0.46-7)
+ liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2)
 Standards-Version: 3.8.4
 Homepage: http://frama-c.com/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git
diff --git a/debian/rules b/debian/rules
index 39c67a8..6ce2788 100755
--- a/debian/rules
+++ b/debian/rules
@@ -50,4 +50,4 @@ override_dh_auto_clean:
 	$(RM) -rf lib .depend
 
 %:
-	dh --with quilt,ocaml $@
+	dh --with ocaml $@
diff --git a/debian/source/format b/debian/source/format
index d3827e7..163aaf8 100644
--- a/debian/source/format
+++ b/debian/source/format
@@ -1 +1 @@
-1.0
+3.0 (quilt)

-- 
frama-c packaging