[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 #11 from Kevin Fenzi <kevin@xxxxxxxxx>  2008-09-05 17:05:26 EDT ---
cvs done.

Note: 

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

This is not a problem, this is how it's supposed to work. 
In release branches (f8/f9 currently) builds are only done against the base
gold repo + stable updates. Updates in updates-testing or updates that have not
yet been pushed are not added to the buildroot. This is to prevent some update
happening that depends on another package that is not pushed. 

If you need to build against a package that is not yet a stable released
update, you can file a ticket with rel-eng at:
https://fedorahosted.org/rel-eng/newticket and request that that package be
added as a buildroot override.

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