Sign inSign up

sosylab/cpachecker:4.0

Security
Developer tools
Manifest digest

sha256:fc33229a6629c85095ec9af9045d71008669872c01e015ef650a86a074591d47

OS/ARCH

linux/amd64

Compressed size

406.07 MB

Last pushed

about 1 year by sosybot

Type

Image

Manifest digest

sha256:fc33229a6629c85095ec9af9045d71008669872c01e015ef650a86a074591d47

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=20.040 B
5ADD file ... in / 26.24 MB
6CMD ["/bin/bash"]0 B
7RUN apt-get update && apt-get220.86 MB
8COPY --from=0 /cpachecker /cpachecker158.09 MB
9RUN locale-gen en_US.UTF-8909.05 KB
10RUN mkdir /workdir244 B

Command

 ARG RELEASE