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 #27 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2010-06-09 13:43:31 EDT --- Hmm, I'm encountering a weird error on a 32-bit Fedora 13 system. I'm not sure if the problem is with your package or my system (which I just upgraded). Perhaps you'll see the obvious. I did an rpmbuild on a 32-bit Fedora 13 system, which succeeded. However, I could not install the resulting RPM with "rpm -i". Error was: 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 Erasing and re-installing "ocaml-lablgtk-devel ocaml-ocamlgraph-devel gtksourceview gtksourceview-devel", followed by another rpmbuild, did not help. It's true that "is not installed" is returned from rpm -qi 'ocaml(GtkSourceView_types)' or the other two. I don't see such packages, and "yum install 'ocaml(GtkSourceView_types)'" fails. The only rpmlint error now is on the QPL license, and that's good news! -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review