apluslms/grading-clingo:5.3.0-2.7u1

Languages & frameworks

Manifest digest

sha256:fd4eda791a67619a9731f3a692eb0764419d7adfb8b03c1919706824d1514a47

OS/ARCH

linux/amd64

Compressed size

203.24 MB

Last pushed

over 7 years by apluslms

Type

Image

Manifest digest

sha256:fd4eda791a67619a9731f3a692eb0764419d7adfb8b03c1919706824d1514a47

Image Layers

1ADD file ... in / 21.44 MB

2CMD ["bash"]0 B

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

4COPY dir:a7555e3ec5491c6c4448deae557fa44d3e1df95b35f1add7833123a9dbcf662d in / 1.52 KB

5/bin/sh -c apt_install 42.51 MB

6COPY dir:4a08c26338aa19fa14b9d52b93732b563d203bdb253e22a65cb78ebf969bac6b in /usr/local/bin 6.2 KB

7WORKDIR /submission0 B

8ENTRYPOINT ["/gw"]0 B

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

10/bin/sh -c apt-get update -qqy131.12 MB

11ARG VERSION=5.3.00 B

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

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

Command

ADD file:f8f26d117bc4a9289b7cd7447ca36e1a70b11701c63d949ef35ff9c16e190e50 in /