Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request: minisat2 - A minimalistic, open-source SAT solver https://bugzilla.redhat.com/show_bug.cgi?id=453701 ------- Additional Comments From dwheeler@xxxxxxxxxxxx 2008-07-19 23:12 EST ------- I've made a small tweak, and uploaded a new release: http://www.dwheeler.com/minisat2-2.0-5.20070721.fc9.src.rpm http://www.dwheeler.com/minisat2.spec This release adds use of the "-O3" optimization flag, to get more speed out of it. This program is often compiled with -O3, and speed is absolutely critical to it. I believe this package is ready: * All issues raised above have been resolved. * rpmlint 100% clean on spec, SRPM, and a binary RPM (i386/f9) * koji scratch build are 100% successful on dist-f8, dist-f9, and dist-f10. So, any additional comments or approval? -- 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, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review