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
-- 
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to