[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] building tlaplus from source fails
On 15.11.18 23:02, owen...@xxxxxxxxx wrote:
> I have never used maven before, I want to use the latest tlaplus from github so I clone the repo, here's a git log:
what you see seems to be caused by an intermittent network connection
problem. Try running maven again.
That said, you do not have to build tlaplus manually. We provide a
nightly build at https://tla.msr-inria.inria.fr/tlatoolbox/ci/products/