I have 2 new packages. The first one, flocq, has been in F16 testing
for 5 days. It is needed to build the second one, gappalib-coq. I go
to the BuildRoot override page to submit an override for flocq. After
typing in flocq, it offers me flocq-1.4.0-2.fc16, which is wrong.
That version had a
On Thu, 2011-11-03 at 09:14 -0600, Jerry James wrote:
I have 2 new packages. The first one, flocq, has been in F16 testing
for 5 days. It is needed to build the second one, gappalib-coq. I go
to the BuildRoot override page to submit an override for flocq. After
typing in flocq, it offers
On Thu, Nov 3, 2011 at 9:35 AM, Adam Jackson a...@redhat.com wrote:
I would guess because it's only considering packages in
-updates-candidate as buildroot override candidates, and -3 is in
-updates-testing.
Hmmm. Then I'm stuck until F16 starts taking updates again, it seems.
Thanks for the