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: needs to be orphaned and removed from Fedora
- cduce: needs porting to 3.12.