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=555160 --- Comment #7 from David A. Wheeler <[email protected]> 2010-01-19 12:48:23 EST --- I rebuilt release 2 on a Fedora 12, x86_64 box. Everything looks great! Here are the details. rpmlint results were fine: rpmlint picosat.spec ../RPMS/x86_64/picosat-*-2* ../SRPMS/picosat-913-2.fc12.src.rpm picosat-devel.x86_64: W: no-documentation 5 packages and 1 specfiles checked; 0 errors, 1 warnings. (The docs are in another subpackage, not -devel; that's fine.) The issues in comment 5 were addressed (mainly commenting to explain why certain things were done.) I did an rpmls on all binary rpms; the permissions are fine. I installed it. "man picosat" did what you'd expect. I ran "picosat" with this input: c Here is a comment. p cnf 5 3 1 -5 4 0 -1 5 3 4 0 -3 -4 0 And again, it correctly declared that it was "satisfiable". Packaging APPROVED. -- 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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
