[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.9-1-9-g6c60e79

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit ce794040749d70f593f0727898ae80c8659de23d
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Jun 1 21:18:37 2010 +0200

    Bump standards to 3.8.4

diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..5a6e718
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,16 @@
+Alt-Ergo Debian source package
+==============================
+
+Patching upstream sources
+-------------------------
+
+This source package uses quilt to apply and remove its patches. Please
+refer to `/usr/share/doc/quilt/README.source' for information about
+how to use quilt for source packages.
+
+The quilt series is generated from the Git repository, using
+dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
+refer to the appendix about Git in the Debian OCaml Packaging Policy
+(from the same package).
+
+ -- Mehdi Dogguy <mehdi at debian.org>, Fri, 28 Aug 2009 09:04:48 +0200
diff --git a/debian/changelog b/debian/changelog
index b29ce73..ca2364c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,10 @@ alt-ergo (0.91-1) unstable; urgency=low
   * Refresh packaging (dh-ocaml, dh overrides, quilt)
     - Do not run tests when input files are absent
       0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
+  * Bump standards to 3.8.4
+    - Add a debian/README.source
 
- -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 21:11:42 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 21:17:59 +0200
 
 alt-ergo (0.9-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index aea7e8a..0c5884e 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends:
  quilt (>= 0.46-7~),
  dh-ocaml (>= 0.9.0~)
 Homepage: http://alt-ergo.lri.fr
-Standards-Version: 3.8.2
+Standards-Version: 3.8.4
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
 

-- 
alt-ergo packaging