klee/metasmt:qf_abv_ubuntu_jammy-20230126

Manifest digest

sha256:e6470d23ed9ba89da6d8b68d4898bdd60e0caa1c96756991c79876da6cf11b7d

OS/ARCH

linux/amd64

Compressed size

650.52 MB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:e6470d23ed9ba89da6d8b68d4898bdd60e0caa1c96756991c79876da6cf11b7d

Image Layers

1ARG RELEASE0 B

2ARG LAUNCHPAD_BUILD_ARCH0 B

3LABEL org.opencontainers.image.ref.name=ubuntu0 B

4LABEL org.opencontainers.image.version=22.040 B

5ADD file ... in / 28.16 MB

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

7COPY /tmp/metaSMT-qf_abv-install/ /tmp/metaSMT-qf_abv-install/ # buildkit47 KB

8COPY /tmp/metaSMT-qf_abv-build/ /tmp/metaSMT-qf_abv-build/ # buildkit64.37 KB

9COPY /tmp/metaSMT-qf_abv-deps/ /tmp/metaSMT-qf_abv-deps/ # buildkit622.25 MB

10LABEL maintainer=KLEE Developers0 B

Command

 ARG RELEASE