klee/z3:4.8.14_ubuntu_jammy-20230126

Manifest digest

sha256:e26fe078774c02a38da6d442de8f87f19892e66d2dc1fef107b45fcda2e8d0eb

OS/ARCH

linux/amd64

Compressed size

52.77 MB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:e26fe078774c02a38da6d442de8f87f19892e66d2dc1fef107b45fcda2e8d0eb

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 dir:7c6359222ae95eac0bcf8dace4a90cfe61375b6895d7ac105ccabe3db39abb3f in /tmp/z3-4.8.14-install 24.6 MB

8LABEL maintainer=KLEE Developers0 B

Command

 ARG RELEASE