FYI: ocaml 4.00.0 beta going into Rawhide

Richard W.M. Jones rjones at redhat.com
Mon Jul 30 13:31:41 UTC 2012


I think we're down to our last 3 packages now:

- coccinelle:

  Builds, but the build is obviously broken, ie. the program doesn't
  work for any non-trivial input.  I have asked upstream about this.

- frama-c:

  Requires further changes to work with the new Hashtbl signature in
  OCaml 4.  You are in a twisty maze of functors, all alike.

- why:

  Depends on on frama-c.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top


More information about the devel mailing list