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 <me...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits