[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 #5 from David A. Wheeler <dwheeler@xxxxxxxxxxxx>  2008-09-04 11:21:15 EDT ---
Okay, my review above was based on a misunderstanding.  Basically, the Fedora
infrastructure problems are causing all sorts of nasty problems.  Package
ocaml-ocamlgraph is required, and it's already approved and submitted to Bodhi,
but it's not actually in the repository because everything is still frozen from
the infrastructure problems.  *Sigh*.

This package builds cleanly on my system, so it clearly works on _an_
architecture.  I have no reason to believe it would fail on others, and even if
it did, that wouldn't cause the package to be unacceptable. So under the formal
review of the _required_ items, this changes to:
n/a ExcludeArch bugs filed

The other items are all optional.  I have every reason to believe that they
will succeed once koji and Bodhi are fully operational, but since they are
_optional_, they're not reasons to fail the package.

Basically, this _package_ is ready... the problem is that the Fedora
_infrastructure_ is not ready.  So I will approve the package, which will
permit setting up the CVS packages.  It won't build until Bodhi releases get
unfrozen (due to the dependencies), but once the Bodhi infrastructure is fully
working again, it'll work.

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]