dockerfile.run

acl2

Computational Logic for Applicative Common Lisp: main binary

Debian

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

Ubuntu

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

Kali Linux

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

Raspbian

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

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