On Fri, Aug 01, 2014 at 11:16:58AM +0000, Fedora Rawhide Report wrote: > [coq] > coq-8.4pl4-2.fc21.i686 requires ocaml(runtime) = 0:4.01.0 > [ocaml-camlp5] > ocaml-camlp5-6.11-4.fc21.i686 requires ocaml(runtime) = 0:4.01.0 Both of these are now rebuilt. They were blocking about 10 other packages. And now the bad news: I have just pushed another OCaml beta to Rawhide, because it contains another aarch64 code generation fix. This will require another rebuild. I'm going to handle everything here (which is mostly just a matter of babysitting my script[1]). Rich. [1] http://git.annexia.org/?p=goals.git;a=summary -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct