apluslms/grading-clingo:5.2.2-2.1

Languages & frameworks

Manifest digest

sha256:0d0bd38053b9f04c7908ad69ac07249b5e7dd07095aca243cc1f12776b24b97d

OS/ARCH

linux/amd64

Compressed size

193.14 MB

Last pushed

over 8 years by apluslms

Type

Image

Manifest digest

sha256:0d0bd38053b9f04c7908ad69ac07249b5e7dd07095aca243cc1f12776b24b97d

Image Layers

1ADD file ... in / 21.45 MB

2CMD ["bash"]0 B

3ENV LANG=C.UTF-80 B

4/bin/sh -c apt-get update -qqy42.59 MB

5ADD dir:df0d7342a1056d11f53bd4ca76a44346813dce30bd8066f6537b5be99f3dae67 in /usr/local/bin 3 KB

6/bin/sh -c mkdir -p /feedback136 B

7WORKDIR /submission0 B

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

9/bin/sh -c apt-get update -qqy122.79 MB

10ARG VERSION=5.2.20 B

11ARG FILE=clingo-5.2.2-linux-x86_640 B

12|2 FILE=clingo-5.2.2-linux-x86_64 VERSION=5.2.2 /bin/sh -c6.31 MB

Command

ADD file:e3250bb9848f956bdb43b205f1237df0d81a25088c95dbdeb20a1e2baf1d884f in /