The following commit has been merged in the master branch:
commit 974bb73d86544ea836a722c6f49eddb8d58c6ff9
Author: Stephane Glondu <st...@glondu.net>
Date:   Tue Sep 18 14:56:49 2012 +0200

    Remove obsolete patch

diff --git a/debian/patches/0001-Fix-tests-Make.patch 
b/debian/patches/0001-Fix-tests-Make.patch
deleted file mode 100644
index 4859bfa..0000000
--- a/debian/patches/0001-Fix-tests-Make.patch
+++ /dev/null
@@ -1,20 +0,0 @@
-From: Stephane Glondu <st...@glondu.net>
-Date: Tue, 15 Mar 2011 08:40:53 +0100
-Subject: Fix tests' Make
-
-Signed-off-by: Stephane Glondu <st...@glondu.net>
----
- test/Make |    2 --
- 1 file changed, 2 deletions(-)
-
-diff --git a/test/Make b/test/Make
-index 043d05c..8319f1d 100644
---- a/test/Make
-+++ b/test/Make
-@@ -1,5 +1,3 @@
--SSRCOQ = ../bin/ssrcoq
---custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo" 
- -R ../theories Ssreflect
- -I ../src/
- absevarprop.v
--- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index f38427a..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Fix-tests-Make.patch

-- 
ssreflect packaging

_______________________________________________
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

Reply via email to