Re: OCaml 4.00.1 for Fedora 18

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Dec 13, 2012 at 10:28:41PM -0700, Jerry James wrote:
> On Thu, Dec 13, 2012 at 2:38 PM, Richard W.M. Jones <rjones@xxxxxxxxxx> wrote:
> > Assuming my repoquery command is correct, the full package list is
> > below:
> 
> I rebuilt the following members of this list today:
> 
> > alt-ergo-0.94-6.fc18.src.rpm
> > apron-0.9.10-8.fc18.src.rpm
> > coq-8.4-1.fc18.src.rpm
> > gappalib-coq-0.18.0-4.fc18.src.rpm
> > ocaml-camlidl-1.05-16.fc18.src.rpm
> > ocaml-camlp5-6.06-4.fc18.src.rpm
> > ocaml-lablgl-20120306-3.fc18.src.rpm
> > ocaml-lablgtk-2.14.2-12.fc18.src.rpm
> > ocaml-menhir-20120123-4.fc18.src.rpm
> > ocaml-mlgmpidl-1.2-0.5.20120508.fc18.src.rpm
> > ocaml-ocamlgraph-1.8.2-1.fc18.src.rpm
> > ocaml-zarith-1.1-2.fc18.src.rpm
> > zenon-0.7.1-1.fc18.src.rpm

I added these ^^^

> csisat-1.2-10.fc18

and this one ^^^ to the update which now seems to have a permanent
link here:

https://admin.fedoraproject.org/updates/FEDORA-2012-20337

> I create buildroot overrides for all of the packages I rebuilt,
> copying your practice of making them not expire until Feb. 1, 2013, so
> we don't have some expire before others.

It's my understanding that when the update goes out, the build
overrides are automatically expired, which is why I selected a very
long expiry.

Thanks for helping out with this,

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top
-- 
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel



[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux