On Fri, Dec 06, 2019 at 07:42:47PM +0900, Mamoru TASAKA wrote:
> Richard W.M. Jones wrote on 2019/12/06 19:22:
> >On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote:
> >>Hi Richard,
> >>
> >>On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote:
> >>
> >>>Just built coq in a side tag
Richard W.M. Jones wrote on 2019/12/06 19:22:
On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote:
Hi Richard,
On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote:
Just built coq in a side tag for OCaml 4.09. However it
can't install for the next build:
DEBUG util.py:596:
On Thu, Dec 05, 2019 at 04:12:23PM -0700, Jerry James wrote:
> Hi Richard,
>
> On Thu, Dec 5, 2019 at 3:56 PM Richard W.M. Jones wrote:
>
> > Just built coq in a side tag for OCaml 4.09. However it
> > can't install for the next build:
> >
> > DEBUG util.py:596: Error:
> > DEBUG util.py:596: