[Pkg-ocaml-maint-commits] [frama-c] 07/07: Rename patches

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 192881aaff7e274629a9ffe327f07e09420bfaee
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Apr 27 14:23:58 2014 +0200

    Rename patches
---
 debian/changelog                                                        | 2 +-
 ...rt-to-OCamlgraph-1.8.5.patch => 0004-Port-to-OCamlgraph-1.8.5.patch} | 0
 debian/patches/series                                                   | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 3eea36c..16fa808 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,7 +3,7 @@ frama-c (20140301+neon+dfsg-1) UNRELEASED; urgency=low
   * New upstream release.
     - Refresh patches
     - Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch
-    - Add 0005-Port-to-OCamlgraph-1.8.5.patch
+    - Add 0004-Port-to-OCamlgraph-1.8.5.patch
   * Bump build-dependency of Ocamlgraph to 1.8.5~.
   * Pass --enabe-zarith to configure script instead of patching it.
     - Remove 0004-Fix-auto-detection-of-ocaml-zarith.patch.
diff --git a/debian/patches/0005-Port-to-OCamlgraph-1.8.5.patch b/debian/patches/0004-Port-to-OCamlgraph-1.8.5.patch
similarity index 100%
rename from debian/patches/0005-Port-to-OCamlgraph-1.8.5.patch
rename to debian/patches/0004-Port-to-OCamlgraph-1.8.5.patch
diff --git a/debian/patches/series b/debian/patches/series
index 4ce1bba..33bac70 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,4 @@
 0001-Fix-spelling-error-in-binary.patch
 0002-Use-bin-cp-instead-of-usr-bin-install.patch
 0003-Disable-CHMOD_RO-invocations.patch
-0005-Port-to-OCamlgraph-1.8.5.patch
+0004-Port-to-OCamlgraph-1.8.5.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git