dmoj/runtimes-tier3:latest

Multi-platform

Index digest

sha256:288e867ce3a97e7c8a931816fcf9e00e238544c38562df0ccf7e120fb57ed2c4

OS/ARCH

Compressed size

4.5 GB

Last pushed

12 days by dmojbuild

Type

Image

Manifest digest

sha256:f17590e8a779024b3cfbef8b6b06ea2bb6b3841a4b4385fb716024d9df03e498

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/47.53 MB

2RUN /bin/sh -c echo deb615.38 MB

3ENV PATH=/opt/pypy3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

4ENTRYPOINT ["/usr/bin/tini" "/code/run"]0 B

5ARG SCALA_ZIP_URL=https://github.com/scala/scala3/releases/download/3.9.0/scala3-3.9.0-x86_64-pc-linux.tar.gz0 B

6

RUN |1 SCALA_ZIP_URL=https://github.com/scala/scala3/releases/download/3.9.0/scala3-3.9.0-x86_64-pc-linux.tar.gz /bin/sh -c

2.01 GB

7

ENV PATH=/opt/dlang/linux/bin64:/home/judge/.cargo/bin:/opt/pypy2/bin:/opt/scala/bin:/opt/dart-sdk/bin:/opt/pypy3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

0 B

8ARG KOTLIN_ZIP_URL=https://github.com/JetBrains/kotlin/releases/download/v2.4.20/kotlin-compiler-2.4.20.zip0 B

9ARG LEAN4_ZIP_URL=https://github.com/leanprover/lean4/releases/download/v4.33.1/lean-4.33.1-linux.zip0 B

10

RUN |2 KOTLIN_ZIP_URL=https://github.com/JetBrains/kotlin/releases/download/v2.4.20/kotlin-compiler-2.4.20.zip LEAN4_ZIP_URL=https://github.com/leanprover/lean4/releases/download/v4.33.1/lean-4.33.1-linux.zip /bin/sh

1.84 GB

11

ENV PATH=/opt/tprolog:/opt/groovy/bin:/opt/kotlin/bin:/opt/dlang/linux/bin64:/home/judge/.cargo/bin:/opt/pypy2/bin:/opt/scala/bin:/opt/dart-sdk/bin:/opt/pypy3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/swift/usr/bin:/opt/zig:/opt/lean/bin

0 B

Command

# debian.sh --arch 'amd64' out/ 'sid' '@1787529600'