Sign inSign up

sosylab/cpachecker:4.2.1

Security
Developer tools
Manifest digest

sha256:b9350836b184ace2bc2f95a791b8b9942fd9f2cd966d332b73d6cf3b1f5e963e

OS/ARCH

linux/amd64

Compressed size

354.79 MB

Last pushed

10 months by sosylab

Type

Image

Manifest digest

sha256:b9350836b184ace2bc2f95a791b8b9942fd9f2cd966d332b73d6cf3b1f5e963e

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.17 MB
6CMD ["/bin/bash"]0 B
7RUN apt-get update && apt-get159.53 MB
8COPY --from=0 /cpachecker /cpachecker166.2 MB
9RUN locale-gen en_US.UTF-8915.54 KB
10RUN mkdir /workdir262 B

Command

 ARG RELEASE