[Bug 460244] Review Request: alt-ergo - Alt-Ergo automatic theorem prover

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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=460244





--- Comment #9 from David A. Wheeler <dwheeler@xxxxxxxxxxxx>  2008-09-05 15:03:08 EDT ---
(In reply to comment #7 and comment #8)

Kevin Fenzi: Thanks, you're absolutely right, that's a good work-around for the
Fedora infrastructure problems.  Hopefully soon the Fedora infrastructure will
actually "work as documented" :-).  I will try to revise the Fedora Wiki to
note this work-around!!

Alan Dunn: Thanks for fixing the problem noted by Kevin Fenzi (once Fenzi noted
the test work-around).

I took the revised SRPM posted in comment #8, and did:
  $ koji build --scratch dist-f10 alt-ergo-0.8-3.fc9.src.rpm
It worked fine on all architectures:
  0 free  0 open  5 done  0 failed

I rebuilt on my own system; it built fine. rpmlint has only one complaint about
the spec and binary RPM:
 alt-ergo.i386: W: invalid-license CeCILL-C
which is no problem; CeCILL-C was recently added to the Fedora license list and
rpmlint just hasn't been updated yet.

So, this revision is:
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.

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]