The following commit has been merged in the master branch: commit afce099031db918dcc1918381c205de0ffc2f25d Author: Mehdi Dogguy <me...@debian.org> Date: Sun Jan 10 19:53:53 2010 +0100
Disable logopath patch diff --git a/debian/changelog b/debian/changelog index 9bd5e5e..89a0fc5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,7 +4,7 @@ why (2.23+dfsg-1) UNRELEASED; urgency=low + Remove makefile.in.dpatch (fixed upstream) + Remove jessie_lib.dpatch (not needed anymore) + Needs ocamlgraph 1.3 - * Fix detection of Alt-Ergo (Closes: #552776). + + Fixes detection of Alt-Ergo (Closes: #552776). * Set filter-pristine-tar to True in debian/gbp.conf * Remove libjessie-ocaml-dev which is no longer user by Frama-C * Update copyright file diff --git a/debian/patches/00list b/debian/patches/00list index 3036b44..e69de29 100644 --- a/debian/patches/00list +++ b/debian/patches/00list @@ -1,2 +0,0 @@ -logopath -altergo diff --git a/debian/patches/altergo.dpatch b/debian/patches/altergo.dpatch deleted file mode 100755 index 678d326..0000000 --- a/debian/patches/altergo.dpatch +++ /dev/null @@ -1,19 +0,0 @@ -#! /bin/sh /usr/share/dpatch/dpatch-run -## altergo.dpatch by Mehdi Dogguy <me...@debian.org> -## -## All lines beginning with `## DP:' are a description of the patch. -## DP: No description. - -...@dpatch@ -diff -urNad why~/tools/dpConfig.ml why/tools/dpConfig.ml ---- why~/tools/dpConfig.ml 2009-11-13 14:08:03.000000000 +0100 -+++ why/tools/dpConfig.ml 2009-11-13 14:08:39.000000000 +0100 -@@ -71,7 +71,7 @@ - is_interactive = false; - version = ""; - version_switch = "-version"; -- version_regexp = "Ergo \\([^ ]*\\)"; -+ version_regexp = "Alt-Ergo \\([^ ]*\\)"; - command = "alt-ergo"; - command_switches = ""; - valid_regexp = make_regexp "\\bValid\\b"; -- why packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits