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:zenon - Automated theorem prover for first-order classical logic https://bugzilla.redhat.com/show_bug.cgi?id=453503 ------- Additional Comments From dwheeler@xxxxxxxxxxxx 2008-07-21 16:36 EST ------- I have submitted zenon for Fedora 8, Fedora 9, and Fedora 10/Rawhide. I've set Bodhi so that it'll be pushed out for Fedora 8 and Fedora 9. One odd thing: I had to make a patch for Fedora 8. I used this construct: %{?fc8:ExcludeArch: ppc64} which is one of the suggested formats documented in: https://fedoraproject.org/wiki/Packaging/DistTag Unfortunately, %fc8 didn't work. Instead, I had to do this: %if 0%fedora == 8 ExcludeArch: ppc64 %endif I reported the problem with %fc8 as fedora-infrastructure ticket #717: https://fedorahosted.org/fedora-infrastructure/ticket/717 the infrastructure team have since fixed this, so %fc8 should work in the future. I couldn't easily discover this earlier, because scratch builds across different fedora releases don't work. As noted in: https://fedorahosted.org/fedora-infrastructure/ticket/711 the values of %fedora, %fc8, etc., are determined by the CREATOR of the SRPM, and NOT by the environment performing the build, so you effectively can't do scratch builds for a different version of fedora than the one creating the SRPM. Anyway, it's all posted, and a bug in the infrastructure has now been fixed so future releases should go smoothly. -- 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