[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-18-gfbb8049

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit fbb80497a6d40bb645392567f5a4ad5bf0ca6ae9
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Fri Apr 5 11:11:11 2013 +0200

    source format 3.0 (quilt)

diff --git a/debian/changelog b/debian/changelog
index fed27e9..38130b1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,8 +19,12 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
        other targets
   * Added myself as uploader.
   * Standards-Version 3.9.4 (no change)
+  * Source-format 3.0 *(quilt):
+    - debian/source/format: update
+    - debian/rules: drop "quilt" option from dh invocation
+    - debian/control: drop quilt from build-dependencies
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 11:05:32 +0200
+ -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 11:10:41 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/control b/debian/control
index 09f9f1b..bf5ace4 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,6 @@ Build-Depends:
  libocamlgraph-ocaml-dev (>= 1.1),
  liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~),
  liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~),
- quilt (>= 0.46-7~),
  dh-ocaml (>= 0.9.0~)
 Homepage: http://alt-ergo.lri.fr
 Standards-Version: 3.9.4
diff --git a/debian/rules b/debian/rules
index 7d0b094..68525a0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -38,4 +38,4 @@ override_dh_auto_install:
 	sed "s/@VERSION@/$(VERSION)/" debian/META.in > $(CURDIR)/debian/alt-ergo/$(OCAML_STDLIB_DIR)/alt-ergo/META
 
 %:
-	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)

-- 
alt-ergo packaging