X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=7d1a7f0dcfa081333787fe4e55aff165171602eb;hb=2c785d9fc3a0d1e3a0237101120f81e912d5d7a0;hp=225084e750e350f35f283ea4b7096dc8c8791f75;hpb=6d38845abc790ccfd4148d8594121e9e2323c5af;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 225084e..7d1a7f0 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -32,9 +32,6 @@ let blocked = [ (* File "compiler internals", line 1: Error: Unbound module Stdlib *) "why3"; - - (* https://bugzilla.redhat.com/show_bug.cgi?id=1593408 *) - "ocamlify"; "ocaml-oasis"; ] let blocked pkg = List.mem pkg blocked