[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #29 from David A. Wheeler <dwheeler at dwheeler.com> 2010-06-09 17:47:56 EDT ---
Sorry, this FAILS to install on Fedora 13, 32-bit.

I did a complete clean from-scratch install of Fedora 13, "yum update"d
everything, and built this package.  The building works, but when I try to
install on 32-bit, I still get:

rpm -i ./frama-c-1.4-3.fc13.i686.rpm 
error: Failed dependencies:
 ocaml(GtkSourceView_types) = 54a715ab00f97f086ec8efa5bdfb1079 is needed by
frama-c-1.4-3.fc13.i686
 ocaml(Ltlast) = 74c3c642418d942308d59a8ee1249892 is needed by
frama-c-1.4-3.fc13.i686
 ocaml(Promelaast) = ca8d09a78cd4262a60715d5b1b444b13 is needed by
frama-c-1.4-3.fc13.i686

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.