klee/sqlite:3400100_memsan_ubuntu_jammy-20230126

Manifest digest

sha256:21e808e8ba8257197f2ac0ba779e9d6990dbc36f022acb3e5d38163a96a3a472

OS/ARCH

linux/amd64

Compressed size

32.11 MB

Last pushed

over 3 years by kleedev

Type

Image

Manifest digest

sha256:21e808e8ba8257197f2ac0ba779e9d6990dbc36f022acb3e5d38163a96a3a472

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/sqlite-amalgamation-3400100 /tmp/sqlite-amalgamation-3400100 # buildkit2.48 MB

8COPY /tmp/sqlite-amalgamation-3400100_memsan /tmp/sqlite-amalgamation-3400100_memsan # buildkit1.46 MB

9LABEL maintainer=KLEE Developers0 B

Command

 ARG RELEASE