OCaml 4.02.0 final (was: Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers))

2014-08-29 Thread Richard W.M. Jones
On Fri, Aug 29, 2014 at 12:26:35PM -0600, Jerry James wrote: > On Fri, Aug 29, 2014 at 3:37 AM, Richard W.M. Jones wrote: > > I'll add this patch to the compiler header files in the next > > iteration, ie. 4.02.0-rc2. > > It looks like the ocaml team has elected to go straight for the final > 4.0

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-29 Thread Jerry James
On Fri, Aug 29, 2014 at 3:37 AM, Richard W.M. Jones wrote: > On Thu, Aug 28, 2014 at 01:41:55PM -0600, Jerry James wrote: >> Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo > > Thanks. This was apparently already reported as PR#6300: http://caml.inria.fr/mantis/view.php?id

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-29 Thread Richard W.M. Jones
On Thu, Aug 28, 2014 at 01:41:55PM -0600, Jerry James wrote: > On Tue, Aug 26, 2014 at 3:08 PM, Richard W.M. Jones wrote: > > Go for it if you have time. If not then I'll ask in a few days. > > Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo Thanks. On an unrelated topi

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-28 Thread Jerry James
On Tue, Aug 26, 2014 at 3:08 PM, Richard W.M. Jones wrote: > Go for it if you have time. If not then I'll ask in a few days. Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@lists.fedoraproject.org https

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Richard W.M. Jones
On Tue, Aug 26, 2014 at 09:12:34AM -0600, Jerry James wrote: > On Tue, Aug 26, 2014 at 2:02 AM, Richard W.M. Jones wrote: > > The script should build them in BuildRequires order automatically. > > However in this case I have blocked frama-c and gappalib-coq because > > they didn't build in the pre

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Jerry James
On Tue, Aug 26, 2014 at 2:02 AM, Richard W.M. Jones wrote: > The script should build them in BuildRequires order automatically. > However in this case I have blocked frama-c and gappalib-coq because > they didn't build in the previous round, see: > > http://git.annexia.org/?p=goals.git;a=blob;f=fe

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Richard W.M. Jones
On Mon, Aug 25, 2014 at 01:22:04PM -0600, Jerry James wrote: > On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones wrote: > > This is complete now. There were four or five packages which didn't > > rebuild which I'll look at after the UK public holiday. > > Your rebuild script did coq, flocq, an

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-25 Thread Jerry James
On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones wrote: > This is complete now. There were four or five packages which didn't > rebuild which I'll look at after the UK public holiday. Your rebuild script did coq, flocq, and why3, but not gappalib-coq, frama-c, or why. There are ordering depe

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-24 Thread Richard W.M. Jones
On Fri, Aug 22, 2014 at 09:18:31PM +0100, Richard W.M. Jones wrote: > > And would this be a good place to say that the OCaml 4.02.0+rc1 > rebuild is now under way? > > Well, it is. I'm expecting that all packages should rebuild without > any problems. > > It may take a couple of days to rebuil

OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-22 Thread Richard W.M. Jones
And would this be a good place to say that the OCaml 4.02.0+rc1 rebuild is now under way? Well, it is. I'm expecting that all packages should rebuild without any problems. It may take a couple of days to rebuild them all. This rebuild only affects Rawhide. Rich. -- Richard Jones, Virtualiza

Re: Contacting the Ocaml maintainers

2014-08-22 Thread Richard W.M. Jones
On Fri, Aug 22, 2014 at 10:12:52PM +0200, Dan Horák wrote: > On Fri, 22 Aug 2014 21:01:16 +0100 > "Richard W.M. Jones" wrote: > > > On Fri, Aug 22, 2014 at 09:17:16PM +0200, Dan Horák wrote: > > > On Fri, 22 Aug 2014 21:11:50 +0200 > > > Florian Weimer wrote: > > > > > > > What is the recommend

Re: Contacting the Ocaml maintainers

2014-08-22 Thread Dan Horák
On Fri, 22 Aug 2014 21:01:16 +0100 "Richard W.M. Jones" wrote: > On Fri, Aug 22, 2014 at 09:17:16PM +0200, Dan Horák wrote: > > On Fri, 22 Aug 2014 21:11:50 +0200 > > Florian Weimer wrote: > > > > > What is the recommended way to contact the Ocaml maintainers? > > > > > > There is a systematic

Re: Contacting the Ocaml maintainers

2014-08-22 Thread Richard W.M. Jones
On Fri, Aug 22, 2014 at 09:17:16PM +0200, Dan Horák wrote: > On Fri, 22 Aug 2014 21:11:50 +0200 > Florian Weimer wrote: > > > What is the recommended way to contact the Ocaml maintainers? > > > > There is a systematic packaging bug which introduces unusable i686 > > packages into the x86_64 comp

Re: Contacting the Ocaml maintainers

2014-08-22 Thread Dan Horák
On Fri, 22 Aug 2014 21:11:50 +0200 Florian Weimer wrote: > What is the recommended way to contact the Ocaml maintainers? > > There is a systematic packaging bug which introduces unusable i686 > packages into the x86_64 compose, and despite repeated messages to > ocaml-devel, I did not receive a

Contacting the Ocaml maintainers

2014-08-22 Thread Florian Weimer
What is the recommended way to contact the Ocaml maintainers? There is a systematic packaging bug which introduces unusable i686 packages into the x86_64 compose, and despite repeated messages to ocaml-devel, I did not receive a response: