Sign inSign up

markkur/grading-clingo-pdflatex:5.2.2-2.0u1

Manifest digest

sha256:d02f52d3a314ce4238837fbd07a04f5a2df00dabe316c0ad40eeda78c7a6649f

OS/ARCH

linux/amd64

Compressed size

204.48 MB

Last pushed

over 8 years by markkur

Type

Image

Manifest digest

sha256:d02f52d3a314ce4238837fbd07a04f5a2df00dabe316c0ad40eeda78c7a6649f

Image Layers

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
8ARG VERSION=5.2.20 B
9ARG FILE=clingo-5.2.2-linux-x86_640 B
10|2 FILE=clingo-5.2.2-linux-x86_64 VERSION=5.2.2 /bin/sh -c6.31 MB
11ARG VERSIONG=4.5.40 B
12ARG FILEG=gringo-4.5.4-linux-x86_640 B
13|4 FILE=clingo-5.2.2-linux-x86_64 FILEG=gringo-4.5.4-linux-x86_64 VERSION=5.2.2 VERSIONG=4.5.41.26 MB
14|4 FILE=clingo-5.2.2-linux-x86_64 FILEG=gringo-4.5.4-linux-x86_64 VERSION=5.2.2 VERSIONG=4.5.4134.57 MB

Command

ADD file:e3250bb9848f956bdb43b205f1237df0d81a25088c95dbdeb20a1e2baf1d884f in /