From Fedora Project Wiki

No edit summary
No edit summary
Line 3: Line 3:
* frama-c FTBFS: https://bugzilla.redhat.com/show_bug.cgi?id=667975
* frama-c FTBFS: https://bugzilla.redhat.com/show_bug.cgi?id=667975
* why: cannot be rebuilt because requires frama-c
* why: cannot be rebuilt because requires frama-c
* ocaml-camlimages: needs to be orphaned and removed from Fedora
* ocaml-camlimages: orphaned and retired from Fedora
* cduce: needs porting to 3.12.
* cduce: needs porting to 3.12.

Revision as of 15:29, 7 January 2011

Current list of problems: