# HG changeset patch
# User krauss
# Date 1344202646 -7200
# Node ID ebbd70082e657b30c6b521777c3af97a1f694bd0
# Parent  fe611991427a8acc4b8e53a2a1677111332dda39
fixed mira.py (cf. fe611991427a)

diff -r fe611991427a -r ebbd70082e65 Admin/mira.py
--- a/Admin/mira.py	Sun Aug 05 23:32:04 2012 +0200
+++ b/Admin/mira.py	Sun Aug 05 23:37:26 2012 +0200
@@ -423,7 +423,7 @@
 
 @configuration(repos = [Isabelle], deps = [
     (HOL, [0]),
-    (HOL_HOLCF, [0]),
+    (HOLCF, [0]),
     (ZF, [0]),
     (HOL_Library, [0])
   ])