apluslms/grading-z3:4.8.8-3.0

Languages & frameworks

Machine learning & AI

Data science

Manifest digest

sha256:eb9e12c65c9c012b0a5144ee14a767f3f5d7017c8c0e06b9427b17fbf2a81256

OS/ARCH

linux/amd64

Compressed size

148.41 MB

Last pushed

about 6 years by apluslms

Type

Image

Manifest digest

sha256:eb9e12c65c9c012b0a5144ee14a767f3f5d7017c8c0e06b9427b17fbf2a81256

Image Layers

1ADD file ... in / 25.84 MB

2CMD ["bash"]0 B

3ENV LANG=C.UTF-8 USER=root HOME=/root0 B

4COPY dir:be49393e8831cc5fd00b704cc2497ab5837de749977f3c36c68816d9d602fd1a in / 946 B

5/bin/sh -c apt_install 30.74 MB

6COPY dir:8f0cedcef149eb9f4675c1b0914f412dc81b16d251ffa439ff3bceb22ad77403 in /usr/local/bin 5.87 KB

7WORKDIR /submission0 B

8ENTRYPOINT ["/gw"]0 B

9CMD ["/exercise/run.sh"]0 B

10COPY dir:1004e69fb4f3fe421996da71f47f8e72b3d3bea4a9b57258aae8f026b61f4bf1 in /usr/local/sbin 243 B

11ARG GRADER_UTILS_VER=3.2.30 B

12|1 GRADER_UTILS_VER=3.2.3 /bin/sh -c apt_install13.56 MB

13COPY dir:9eff8d6de330dade367fee97e8a4796fc2f052c61605d98f5b49dbb6b7ffdb96 in /usr/local/bin 1.09 KB

14CMD ["run-all-unittests"]0 B

15/bin/sh -c apt-get update -qqy56.24 MB

16/bin/sh -c apt-get update -qqy454.77 KB

17ARG VERSION=4.8.80 B

18ARG FILE=z3-4.8.8-x64-ubuntu-16.040 B

19|2 FILE=z3-4.8.8-x64-ubuntu-16.04 VERSION=4.8.8 /bin/sh -c21.59 MB

Command

ADD file:330bfb91168adb4a9b1296c70209ed487d4c2705042a916d575f82b61ab16e61 in /