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: prover9 - Thereom Prover and Countermodel Generator https://bugzilla.redhat.com/show_bug.cgi?id=451996 ------- Additional Comments From timc@xxxxxxxxxxxx 2008-07-04 06:04 EST ------- Thanks for looking at this Mamoru. The new release at: Spec URL: http://homepages.inf.ed.ac.uk/timc/prover9/prover9.spec SRPM URL: http://homepages.inf.ed.ac.uk/timc/prover9/prover9-200805a-2.src.rpm fixes all these: * About prover9-libtoolise.patch This patch has been dropped and the static library added to -devel (which also provides a virtual -static). * Compilation flags This has been corrected - gcc is now called with %{optflags} * Timestamps The -p option has been added to all %__install and %__cp commands. * Unneeded ldconfig call All %post/%postun scriptlets have been dropped * Too generic names All binaries except "mace4" and "prover9" are now in "/usr/lib/prover9/bin". -- 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