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

[bugzilla at redhat.com]

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 #8 from Alan Dunn <amdunn at gmail.com>  2008-09-05 13:09:48 EDT ---
(In reply to comment #7)
> You should be able to build/test this against rawhide however, right? 
> 
> I fired off a scratch build against rawhide and it failed: 
> http://koji.fedoraproject.org/koji/taskinfo?taskID=808966

You are correct on both counts (should've realize re: rawhide for testing, but
it's not a "full substitute" I suppose...) - was missing prelink from
BuildRequires:

http://koji.fedoraproject.org/koji/taskinfo?taskID=809019

New SRPM and spec file at
http://www.duke.edu/~amd34/alt-ergo/

(or take from Koji)

-- 
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.