kleedev/stp:2.3.3_ubuntu_bionic-20200112

Manifest digest

sha256:5b26b47a1a124ee0282885b8396bd1cf971d0294bc282cb32666b1c19abeedf9

OS/ARCH

linux/amd64

Compressed size

36.98 MB

Last pushed

over 6 years by kleedev

Type

Image

Manifest digest

sha256:5b26b47a1a124ee0282885b8396bd1cf971d0294bc282cb32666b1c19abeedf9

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&849 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6COPY dir:e49b8ce1d261962288b0b4530e9cd1d0bde7b16a545e6319a80342f1ee3ad91b in /opt/minisat-install 325.58 KB

7COPY dir:0ace9d81f4b4a63c3cdd39ff9e946eda4e3420240e57d9b3aec42d72fb4f25ba in /opt/stp-2.3.3-install 11.17 MB

8LABEL maintainer=KLEE Developers0 B

Command

ADD file:08e718ed0796013f5957a1be7da3bef6225f3d82d8be0a86a7114e5caad50cbc in /