Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Richard W.M. Jones
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

Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Mamoru TASAKA
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:

Re: Coq uninstallable - requires antlr4-python3-runtime = 1:4.7.2-4.fc32?

2019-12-06 Thread Richard W.M. Jones
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: