apluslms/grading-clingo:5.3.0-2.5

Languages & frameworks

Manifest digest

sha256:f833d853ee118f0fff0d6000712d02bf2ac53ef0ecc97c04ec6edce0af107e99

OS/ARCH

linux/amd64

Compressed size

194.9 MB

Last pushed

about 8 years by apluslms

Type

Image

Manifest digest

sha256:f833d853ee118f0fff0d6000712d02bf2ac53ef0ecc97c04ec6edce0af107e99

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.5 MB

6COPY dir:4191d16cdfc153e88250f59d160b68ab96196bdbeda00bb786259a747ceaefe2 in /usr/local/bin 5.95 KB

7WORKDIR /submission0 B

8ENTRYPOINT ["/gw"]0 B

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

10/bin/sh -c apt-get update -qqy122.78 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:919939fa022472751b717443eea9f1d7ab5c0723f1f3a6b776d3b83d22bde818 in /