[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.19+dfsg-2-17-g9832da6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit afce099031db918dcc1918381c205de0ffc2f25d
Author: Mehdi Dogguy <mehdi at 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 <mehdi at debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
- at 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