From Fedora Project Wiki
(Created page with 'Current list of problems: frama-c FTBFS: https://bugzilla.redhat.com/show_bug.cgi?id=667975 why: cannot be rebuilt because requires frama-c') |
(No difference)
|
Revision as of 14:54, 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