Re: [tlaplus] Next release?

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 22.03.2017 17:29, Giuliano Losa wrote:
> I'm running the toolbox on Debian Stretch.
> If I remember correctly this is not in the list of supported platforms.
> Am I correct?

Hi Giuliano,

we don't have a precise definition of "Linux" as a supported platform. I
for one use a reasonable recent version of Ubuntu.

By the way, for Debian based distributions, we have recently started to
provide an apt repository:

echo "deb https://tla.msr-inria.inria.fr/tlatoolbox/ci/toolboxUpdate/ ./" > /etc/apt/sources.list.d/tlaplus.list
wget -qO - https://tla.msr-inria.inria.fr/jenkins.pub | sudo apt-key add -
apt update
apt install tla+toolbox

Cheers

Markus