[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Next release?
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?
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 install tla+toolbox