dockerfile.run – cryptol

cryptol

domain-specific language of cryptography

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm cryptol

Kali Linux

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

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