From Fedora Project Wiki
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
* 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: needs to be orphaned and removed from Fedora | ||
* cduce: needs porting to 3.12. | |||
Revision as of 15:04, 7 January 2011
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.