apluslms/grading-clingo:5.4.0-3.0u2

Languages & frameworks

Manifest digest

sha256:22f64cad96dcc32077a92a95e9566c4a9febf17c4220bed1fe8161ee5ae8f80c

OS/ARCH

linux/amd64

Compressed size

251.47 MB

Last pushed

about 6 years by apluslms

Type

Image

Manifest digest

sha256:22f64cad96dcc32077a92a95e9566c4a9febf17c4220bed1fe8161ee5ae8f80c

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 -qqy131.22 MB

16ARG VERSION=5.4.00 B

17ARG FILE=clingo-5.4.0-linux-x86_640 B

18|2 FILE=clingo-5.4.0-linux-x86_64 VERSION=5.4.0 /bin/sh -c8.17 MB

19|2 FILE=clingo-5.4.0-linux-x86_64 VERSION=5.4.0 /bin/sh -c41.93 MB

Command

ADD file:330bfb91168adb4a9b1296c70209ed487d4c2705042a916d575f82b61ab16e61 in /