The following commit has been merged in the master branch:
commit f05c0c6a54253ff91946c169edd991fb288b5700
Author: Hendrik Tews <hend...@askra.de>
Date:   Mon Mar 26 10:04:01 2012 +0200

    reenable test

diff --git a/debian/test-hol-light b/debian/test-hol-light
index a586668..958682c 100755
--- a/debian/test-hol-light
+++ b/debian/test-hol-light
@@ -16,7 +16,7 @@ function holtest() {
     fi
 }
 
-#holtest Library/agm.ml
+holtest Library/agm.ml
 # holtest Library/binary.ml
 # holtest Library/binomial.ml
 # holtest Library/card.ml

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