The following commit has been merged in the master branch:
commit 1b178e5e97d09de4a500ccf103454e315a067ddc
Author: Hendrik Tews <hend...@askra.de>
Date:   Sun Jun 10 22:16:54 2012 +0200

    refresh patch holtest-no-proof-recording

diff --git a/debian/patches/holtest-no-proof-recording.patch 
b/debian/patches/holtest-no-proof-recording.patch
index 728a6e6..c01248e 100644
--- a/debian/patches/holtest-no-proof-recording.patch
+++ b/debian/patches/holtest-no-proof-recording.patch
@@ -2,7 +2,7 @@ Description: don't build the proof-recording version as part of 
the test suite
 Author: Hendrik Tews <hend...@askra.de>
 --- a/holtest
 +++ b/holtest
-@@ -161,7 +161,7 @@
+@@ -165,7 +165,7 @@
  echo '### Loading 100/wilson.ml'; echo 'loadt "100/wilson.ml";;' | (time 
$hollight)
  
  # Build the proof-recording version of HOL

-- 
hol-light 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