X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=e575f6fa0ce2ba33f04e027a75190c40f5d88d5b;hb=62ad7400deab4ca095345bb5fa746cbb29bd930b;hp=7851975b8aa896e44b1108e82a2ea9f700219f05;hpb=2a7eb34a8019bc82f7951f138a690f2aeeed9d49;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 7851975..e575f6f 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -24,6 +24,7 @@ let yum_repo = "koji-rawhide" *) let blocked = [ "ocaml-pa-do"; (* orphaned *) + "ocaml-zarith"; (* int types *) ] let blocked pkg = List.mem pkg blocked