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
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
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
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
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
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
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
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
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
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
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
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
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
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
14 matches
Mail list logo
