[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-2-5-g9b13712

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 81420f186978b63f091f5c2be02c91f4a40c17b6
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 19 16:48:08 2009 +0100

    Switch to format 3.0 (quilt)

diff --git a/debian/control b/debian/control
index 55d8b18..32c93da 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,6 @@ Uploaders: Stéphane Glondu <glondu at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
  coq (>= 8.2.pl1+dfsg-4~),
- quilt (>= 0.46-7),
  libcoq-ocaml-dev,
  dh-ocaml (>= 0.9~),
  camlp5 (>= 5.12-2~),
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..46ebe02
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
\ No newline at end of file

-- 
ssreflect packaging