From: Richard W.M. Jones Date: Thu, 1 Aug 2019 17:55:14 +0000 (+0100) Subject: Unblock dose3. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=24777fbe1557e4e6efecd2e62afc52fa3fee6e14;p=goaljobs-goals.git Unblock dose3. --- diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 1b0022a..880d12b 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -31,7 +31,6 @@ let yum_repo = "koji-rawhide" let blocked = [ "ocaml-camlp4"; (* deprecated + all dependent packages *) "ocaml-yojson"; (* jjames is looking at this *) - "ocaml-dose3"; (* requires ocaml-seq, see 1735476 & 1735629 *) "coq"; (* jjames is looking at this, see RHBZ#1735619 *) ] let blocked pkg = List.mem pkg blocked