From aa075fc10f2687270f752d7c716f92be4ca232f4 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 18 Aug 2014 10:15:26 +0100 Subject: [PATCH] Unblock ocaml-omake, ocaml-preludeml. --- fedora_ocaml_rebuild.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index a74388c..6e3925c 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -23,9 +23,7 @@ let yum_repo = "koji-rawhide" * dependent packages. *) let blocked = [ - "ocaml-omake"; (* build failure (warnings) *) "ocaml-pa-do"; (* build failure, complex *) - "ocaml-preludeml"; (* build failure *) "frama-c"; (* build failure *) "gappalib-coq"; (* build failure in configure script *) ] -- 1.8.3.1