[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 #4 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-28 13:55:05 EDT ---
Oops! I misunderstood the koji error messages.  I thought that ocaml-ocamlgraph
had been pushed out, but it appears that it has _NOT_ been pushed out.  So,
unsurprisingly, those builds fail.

On my system, once ocaml-ocamlgraph is installed, it works just fine.

So the builds on the other architectures _should_ work, but I cannot confirm
that.
I see that ocaml-ocamlgraph has been built:
http://koji.fedoraproject.org/koji/buildinfo?buildID=59965
and that it's pending at bodhi:
https://admin.fedoraproject.org/updates/ocaml-ocamlgraph-0.99c-2.fc9

ocaml-ocamlgraph was submitted on 08-23 (5 days ago).  The easy solution is to
wait for Bodhi to post it, so that the other tests will be easy to do.  I don't
want to wait forever, though; if this package is ready (and I suspect it is),
I'd like to see this in the repository before the F10 freeze.

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