apluslms/grading-clingo:5.4.0-3.0

Languages & frameworks

Manifest digest

sha256:9f3333b027c9739c3234600c9dbd5d46e68755b0a8955b989fa7900c9490701c

OS/ARCH

linux/amd64

Compressed size

196.76 MB

Last pushed

over 6 years by apluslms

Type

Image

Manifest digest

sha256:9f3333b027c9739c3234600c9dbd5d46e68755b0a8955b989fa7900c9490701c

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

10/bin/sh -c apt-get update -qqy132 MB

11ARG VERSION=5.4.00 B

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

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

Command

ADD file:330bfb91168adb4a9b1296c70209ed487d4c2705042a916d575f82b61ab16e61 in /