Sign inSign up

runtimeverificationinc/evm-semantics:dev

Manifest digest

sha256:79df36225543e3547eaabc8ebb7497de47391b9200b714c78a352f2683d508b6

OS/ARCH

linux/amd64

Compressed size

3.07 GB

Last pushed

almost 7 years by minascharalambides

Type

Image

Manifest digest

sha256:79df36225543e3547eaabc8ebb7497de47391b9200b714c78a352f2683d508b6

Image Layers

Image Layers

1ADD file ... in / 25.45 MB
2/bin/sh -c [ -z "$(apt-get34.54 KB
3/bin/sh -c set -xe &&847 B
4/bin/sh -c mkdir -p /run/systemd162 B
5CMD ["/bin/bash"]0 B
6ARG OS=ubuntu0 B
7ARG FLAVOR=bionic0 B
8ARG TIMEZONE=America/Chicago0 B
9ARG LOCALE=en_US.UTF-80 B
10ARG USER_ID=10010 B
11ARG GROUP_ID=10010 B
12|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu190 B
13|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu24.2 MB
14|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu483.97 KB
15|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu4.42 KB
16|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B
17|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B
18/bin/sh -c apt-get update 717.99 MB
19COPY file:c7304a5deeff81b1c7f08e7993d46e6247692278461e61149aadac726f48131d in /.install-stack/ 241 B
20/bin/sh -c /.install-stack/install-stack.sh7.07 MB
21USER user:user0 B
22COPY multi:f44282a142045c2e567ab1fb5840d1f0916a31a8de50d952ca4b2b903a6235be in /home/user/.tmp-opam/bin/ 606 B
23COPY dir:cc7d7c117ec9ea7954166356f02ed0bf95d1fc1173c62c85ecbd41128631c4b6 in /home/user/.tmp-opam/lib/opam/ 10.27 KB
24/bin/sh -c cd /home/user 237.01 MB
25COPY --chown=user:userfile:34355ea2cc6247b1a806d7269e16c8e0293f9e8195501fb67055693462697072 in /home/user/.tmp-haskell/ 1.54 KB
26COPY --chown=user:userfile:51d2845bcf30e9f3e899e09992644c42fe5e79063dadef09fca75bb0894fcd2c in /home/user/.tmp-haskell/kore/ 1.54 KB
27/bin/sh -c cd /home/user/.tmp-haskell 750.51 MB
28COPY --chown=user:userdir:f1ee505cabb36ce3332b7856e9360d3cdb4b17f6d321a534907f7843d15fad27 in /home/user/z3 90.83 MB
29/bin/sh -c cd /home/user/z3/build 18.01 MB
30COPY --chown=user:userdir:d6cd6e0f05ff5114f77c1d40d430a96f747c5b19c94ec325a15a52ea5fb58b95 in /home/user/.cargo 148.74 MB
31COPY --chown=user:userdir:e17aa141b8bdd15071ad2779f1c0547eee5ee26c417b06ae595a036b4085610e in /home/user/.rustup 246.67 MB
32COPY --chown=user:userdir:645173f795969683b3f6ac77415dca20503438c0ce89b5260d6867102424ea5a in /home/user/rustc-1.34.0-src 873.63 MB
33/bin/sh -c cd /home/user/rustc-1.34.0-src 263 B
34ENV LD_LIBRARY_PATH=/usr/local/lib0 B
35ENV PATH=/home/user/.local/bin:/home/user/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /