dmoj/runtimes-tier3:latest

Multi-platform

Index digest

sha256:288e867ce3a97e7c8a931816fcf9e00e238544c38562df0ccf7e120fb57ed2c4

OS/ARCH

Compressed size

3.57 GB

Last pushed

9 days by dmojbuild

Type

Image

Manifest digest

sha256:f9c4e078ca1011f0e8607db4fc0239cebf4e5b7ae0e6974d49ecc749caefaf5a

Image Layers

Image Layers

1# debian.sh --arch 'arm64' out/47.2 MB

2RUN /bin/sh -c echo deb610.3 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-aarch64-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-aarch64-pc-linux.tar.gz /bin/sh -c

1.94 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.10/kotlin-compiler-2.4.10.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.10/kotlin-compiler-2.4.10.zip LEAN4_ZIP_URL=https://github.com/leanprover/lean4/releases/download/v4.33.1/lean-4.33.1-linux.zip /bin/sh

1016.69 MB

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 'arm64' out/ 'sid' '@1787529600'