An update on the status of this since there are still a few broken OCaml packages. There are two main blockers: ocaml-sexplib (s-expressions syntax extension): This has an amazingly obscure build system which has prevented me from fixing it, so I'm waiting for an upstream fix. coq (proof assistant): builds fine locally, but not on Koji. No idea why this is. Upstream has a more recent beta version (http://coq.inria.fr/coq-84) and it might make sense to try that. The other broken packages are: - coccinelle: depends on ocaml-sexplib - gappalib-coq: depends on coq - why: depends on coq - frama-c: depends on coq Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming blog: http://rwmj.wordpress.com Fedora now supports 80 OCaml packages (the OPEN alternative to F#) http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
