Sign inSign up

sosylab/cpachecker:2.3.1

Security
Developer tools
Manifest digest

sha256:bf8febd7e660ed3a3ea03bb8c138bae2826cd0ce1b04276f3a31eb6e8f19e245

OS/ARCH

linux/amd64

Compressed size

428.93 MB

Last pushed

about 2 years by sosybot

Type

Image

Manifest digest

sha256:bf8febd7e660ed3a3ea03bb8c138bae2826cd0ce1b04276f3a31eb6e8f19e245

Image Layers

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-get244.53 MB
8COPY --from=0 /cpachecker /cpachecker150.96 MB
9RUN apt-get update && apt-get7.2 MB
10RUN mkdir /workdir246 B

Command

 ARG RELEASE