Sign inSign up

sosylab/cpachecker:4.2

Security
Developer tools
Manifest digest

sha256:3ac5363e43272474443301e135ff8b86f7bc6ab781e458ee02b2745bfe462458

OS/ARCH

linux/amd64

Compressed size

354.66 MB

Last pushed

10 months by sosybot

Type

Image

Manifest digest

sha256:3ac5363e43272474443301e135ff8b86f7bc6ab781e458ee02b2745bfe462458

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.46 MB
8COPY --from=0 /cpachecker /cpachecker166.13 MB
9RUN locale-gen en_US.UTF-8915.55 KB
10RUN mkdir /workdir246 B

Command

 ARG RELEASE