[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.26+dfsg-1-7-g4801fde

Mehdi Dogguy mehdi at debian.org
Tue Jul 20 17:50:53 UTC 2010


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

    Convert to 3.0 (quilt) source format.

diff --git a/debian/changelog b/debian/changelog
index 3065588..36563f0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ why (2.26+dfsg-2) UNRELEASED; urgency=low
 
   [ Mehdi Dogguy ]
   * Rebuild with Coq 8.2pl2
+  * Convert to 3.0 (quilt) source format.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:40:40 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 16 Jul 2010 13:41:47 +0200
 
 why (2.26+dfsg-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index febf452..08ee290 100644
--- a/debian/control
+++ b/debian/control
@@ -18,8 +18,7 @@ Build-Depends:
   libocamlgraph-ocaml-dev (>= 1.4),
   frama-c-base (>> 20100401+boron),
   libapron-ocaml-dev (>= 0.9.10-4),
-  camlidl,
-  quilt (>= 0.46-7~)
+  camlidl
 Standards-Version: 3.8.4
 Homepage: http://why.lri.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git
diff --git a/debian/rules b/debian/rules
index dd9a4e7..01a51d0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -46,6 +46,6 @@ override_dh_compress:
 	dh_compress -X.v -X.sx -X.why
 
 %:
-	dh --with quilt,ocaml $@
+	dh --with ocaml $@
 
 #	dh_installchangelogs CHANGES
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)

-- 
why packaging



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