Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-06-01 Thread Jeremie Courreges-Anglas
On Wed, May 27 2020, Christopher Zimmermann wrote: > On May 27, 2020 2:20:54 AM GMT+02:00, Jeremie Courreges-Anglas > wrote: >>On Mon, May 25 2020, Daniel Dickman wrote: On May 25, 2020, at 5:11 AM, Christopher Zimmermann >> wrote: testing needed Reply-To: In-Reply-To

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-27 Thread Daniel Dickman
On Tue, May 26, 2020 at 10:57 PM Christopher Zimmermann wrote: > > > > On May 27, 2020 2:20:54 AM GMT+02:00, Jeremie Courreges-Anglas > wrote: > >On Mon, May 25 2020, Daniel Dickman wrote: > >>> On May 25, 2020, at 5:11 AM, Christopher Zimmermann > > wrote: > >>> > >>> testing needed > >>> Rep

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-26 Thread Christopher Zimmermann
On May 27, 2020 2:20:54 AM GMT+02:00, Jeremie Courreges-Anglas wrote: >On Mon, May 25 2020, Daniel Dickman wrote: >>> On May 25, 2020, at 5:11 AM, Christopher Zimmermann > wrote: >>> >>> testing needed >>> Reply-To: >>> In-Reply-To: <20a364d1-d8bc-441f-9814-ebe7dfc02...@gmail.com> >>>

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-26 Thread Jeremie Courreges-Anglas
On Mon, May 25 2020, Daniel Dickman wrote: >> On May 25, 2020, at 5:11 AM, Christopher Zimmermann >> wrote: >> >> testing needed >> Reply-To: >> In-Reply-To: <20a364d1-d8bc-441f-9814-ebe7dfc02...@gmail.com> >> >>> On Sun, May 24, 2020 at 05:23:25PM -0400, Daniel Dickman wrote: >>> Jeremie rep

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-25 Thread Daniel Dickman
> On May 25, 2020, at 5:11 AM, Christopher Zimmermann > wrote: > > testing needed > Reply-To: > In-Reply-To: <20a364d1-d8bc-441f-9814-ebe7dfc02...@gmail.com> > >> On Sun, May 24, 2020 at 05:23:25PM -0400, Daniel Dickman wrote: >> Jeremie reported a problem on sparc64. Is it addressed in the

Re: update math/coq 8.11.1 supporting OCaml 4.10 - sparc64 testing needed

2020-05-25 Thread Christopher Zimmermann
testing needed Reply-To: In-Reply-To: <20a364d1-d8bc-441f-9814-ebe7dfc02...@gmail.com> On Sun, May 24, 2020 at 05:23:25PM -0400, Daniel Dickman wrote: Jeremie reported a problem on sparc64. Is it addressed in the diff below? https://marc.info/?t=15819679343&r=1&w=2 No. I forgot about this