From Fedora Project Wiki
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