From Fedora Project Wiki

Revision as of 14:10, 10 January 2011 by Rjones (talk | contribs)

Current list of problems

frama-c

FTBFS: https://bugzilla.redhat.com/show_bug.cgi?id=667975

why

Cannot be rebuilt because requires frama-c

ocaml-camlimages

orphaned and retired from Fedora

cduce

needs porting to 3.12.

coccinelle

We identified that it bundles at least one external library (unfortunately bundle + random patching) and we are trying to get this resolved upstream: http://lists.diku.dk/pipermail/cocci/2011-January/001438.html

Retrieved from "https://fedoraproject.org/w/index.php?title=Talk:Features/OCaml3.12&oldid=214541"