dockerfile.run

tla

GNU Arch revision control system

Debian

RUN apt-get update && \
    apt-get install -y tla

Ubuntu

RUN apt-get update && \
    apt-get install -y tla

Arch Linux

RUN pacman -S --noconfirm tla

Kali Linux

RUN apt-get update && \
    apt-get install -y tla

Raspbian

RUN apt-get update && \
    apt-get install -y tla

click the source code to copy install tla on any operating system with command-not-found.com