Sign inSign up

klee/metasmt:qf_abv_ubuntu_xenial-20181005

Manifest digest

sha256:6835c0db8236aec4cf555fc97e3d5185bd78a74d4f76594449b07ae9221dde3c

OS/ARCH

linux/amd64

Compressed size

576.14 MB

Last pushed

over 7 years by kleedev

Type

Image

Manifest digest

sha256:6835c0db8236aec4cf555fc97e3d5185bd78a74d4f76594449b07ae9221dde3c

Image Layers

Image Layers

1ADD file ... in / 41.34 MB
2/bin/sh -c set -xe &&851 B
3/bin/sh -c rm -rf /var/lib/apt/lists/*620 B
4/bin/sh -c mkdir -p /run/systemd169 B
5CMD ["/bin/bash"]0 B
6COPY dir:5adc217d854eddc6e33e1680ec9af6c9e8efb80e3f97d0c510d832980d777782 in /tmp/metaSMT-qf_abv-install/ 47.07 KB
7COPY dir:a5504dc29b1866bfbfa48957db304f8552072e60184d3f8833951d9cbbd31f42 in /tmp/metaSMT-qf_abv-build/ 59.06 KB
8COPY dir:e7b57bde5d1826e7f463a366c1991bca71ab02c4681c60b91e6d527bcf89df51 in /tmp/metaSMT-qf_abv-deps/ 534.69 MB
9LABEL maintainer=KLEE Developers0 B

Command

ADD file:01a5c4f2b1dcc8f8aebe00ce8ed6ceda7038abc31d40caf69273240cdd453b84 in /