dockerfile.run

bvd

verifiable programming language (compiler)

Debian

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

Ubuntu

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

Raspbian

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

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