apluslms/grading-clingo:5.4.0-3.0u1

Languages & frameworks

Manifest digest

sha256:abd3c0069c10cc984d44c113d0b50b025a1f62a8b3f66af87001bf34119b6f4e

OS/ARCH

linux/amd64

Compressed size

238.68 MB

Last pushed

over 6 years by apluslms

Type

Image

Manifest digest

sha256:abd3c0069c10cc984d44c113d0b50b025a1f62a8b3f66af87001bf34119b6f4e

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 -qqy131.99 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

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

Command

ADD file:330bfb91168adb4a9b1296c70209ed487d4c2705042a916d575f82b61ab16e61 in /