Remove coq, camlp4 (+ downstream dependencies) from block list.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 6 Sep 2019 20:50:49 +0000 (21:50 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 6 Sep 2019 20:50:49 +0000 (21:50 +0100)
commit9e74695d63716047a9ad754a4cb537328b10f4bc
tree94a9dcfcc3a10a33fd8aac1ea0fbfeb61fd548f2
parent458a70da14444961a17287e63db39a8a6cc5e7c3
Remove coq, camlp4 (+ downstream dependencies) from block list.
fedora_ocaml_rebuild.ml