jamesbrink/emscripten_z3:latest

Manifest digest

sha256:857d05a94cadfaf5d187156ad8302922fdf499090da05fed0043fd6dc2bbbc9d

OS/ARCH

linux/amd64

Compressed size

487.51 MB

Last pushed

over 8 years by jamesbrink

Type

Image

Manifest digest

sha256:857d05a94cadfaf5d187156ad8302922fdf499090da05fed0043fd6dc2bbbc9d

Image Layers

1ADD file ... in / 1.97 MB

2CMD ["/bin/sh"]0 B

3ARG VCS_REF0 B

4ARG BUILD_DATE0 B

5|2 BUILD_DATE=2018-04-25T07:41:58Z VCS_REF=6b9854a /bin/sh -c382.85 MB

6|2 BUILD_DATE=2018-04-25T07:41:58Z VCS_REF=6b9854a /bin/sh -c6.98 MB

7WORKDIR /build0 B

8ARG Z3_VERSION=z3-4.6.00 B

9ARG CPU_CORES=40 B

10|2 CPU_CORES=4 Z3_VERSION=z3-4.6.0 /bin/sh -c31.34 MB

11|2 CPU_CORES=4 Z3_VERSION=z3-4.6.0 /bin/sh -c3.64 MB

12|2 CPU_CORES=4 Z3_VERSION=z3-4.6.0 /bin/sh -c60.74 MB

Command

ADD file:093f0723fa46f6cdbd6f7bd146448bb70ecce54254c35701feeceb956414622f in /