dockerfile.run – ocamloptp

ocamloptp

ML implementation with a class-based object system (no X)

Debian

RUN apt-get update && \
    apt-get install -y ocaml-nox

Ubuntu

RUN apt-get update && \
    apt-get install -y ocaml-nox

Alpine

RUN apk add ocaml

Arch Linux

RUN pacman -S --noconfirm ocaml

Kali Linux

RUN apt-get update && \
    apt-get install -y ocaml-nox

CentOS

RUN yum install -y ocaml

Fedora

RUN dnf install -y ocaml

Raspbian

RUN apt-get update && \
    apt-get install -y ocaml-nox

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