apluslms/grading-minizinc:2.1.7-2.0u1

Languages & frameworks

Integration & delivery

Data science

Manifest digest

sha256:2eae598b4920154622583d55deec554c8354e025ff75920522073a869c705188

OS/ARCH

linux/amd64

Compressed size

180.86 MB

Last pushed

over 8 years by apluslms

Type

Image

Manifest digest

sha256:2eae598b4920154622583d55deec554c8354e025ff75920522073a869c705188

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 -qqy40.89 MB

5ADD dir:5a8f1bf39d7ac7bd40ba015cb415fb64a315014d193b377c9cff7c86880a6353 in /usr/local/bin 3.01 KB

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

7WORKDIR /submission99 B

8/bin/sh -c apt-get update -qqy45.39 MB

9/bin/sh -c apt-get update -qqy29.63 MB

10ARG VERSION=2.1.70 B

11ARG FILE=MiniZincIDE-2.1.7-bundle-linux-x86_640 B

12|2 FILE=MiniZincIDE-2.1.7-bundle-linux-x86_64 VERSION=2.1.7 /bin/sh -c43.51 MB

13ENV MZN_STDLIB_DIR=/usr/local/share/minizinc/0 B

Command

ADD file:e3250bb9848f956bdb43b205f1237df0d81a25088c95dbdeb20a1e2baf1d884f in /