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=548607 --- Comment #23 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2010-01-02 12:12:51 EDT --- Hooray!! This updated package now works on 32-bit (using Fedora 11). It builds without hanging. I also used the "mortality.pvs" demo, and PVS quickly proves "Socrates is mortal". That's good, since Socrates has been dead a long time :-). Anyway, that worked in 64-bit, now it works (again) in 32-bit. I found no rpmlint warnings in this version (at least for the 32-bit version). I did "rpmlint ./RPMS/i586/pvs-sbcl-4.2-2.20091229svn.fc11.i586.rpm ./SRPMS/pvs-sbcl-4.2-2.20091229svn.fc11.src.rpm ./SPECS/pvs-sbcl.spec" and it reported: 2 packages and 1 specfiles checked; 0 errors, 0 warnings. I'll try 64-bit Fedora 12 next; presuming that works, I'll then walk through the package guideline checklist. -- 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review