sha256:8010535b6fc685df3dbb2477106d5564362110c9ebdc1f10520e7f033ff907c8
OS/ARCH
Compressed size
1.77 GB
Last pushed
about 1 month by fabianhk
Type
Image
Manifest digest
sha256:0a483a64f7b77c8eff99672d3f8231834f40b6bae104d30191a92667f306f260
Image Layers
1COPY /root-out/ / # buildkit31.3 MB2ARG BUILD_DATE=2026-08-05T00:19:16+00:000 B3ARG VERSION=634ec3b9-ls810 B4ARG MODS_VERSION=v30 B5ARG PKG_INST_VERSION=v10 B6ARG LSIOWN_VERSION=v10 B7ARG WITHCONTENV_VERSION=v10 B8LABEL build_version=Linuxserver.io version:- 634ec3b9-ls81 Build-date:-0 B9LABEL maintainer=TheLamer0 B10ADD --chmod=755 https://raw.githubusercontent.com/linuxserver/docker-mods/mod-scripts/docker-mods.v3 /docker-mods #6.09 KB11ADD --chmod=755 https://raw.githubusercontent.com/linuxserver/docker-mods/mod-scripts/package-install.v1 /etc/s6-overlay/s6-rc.d/init-mods-package-install/run #1.33 KB12ADD --chmod=755 https://raw.githubusercontent.com/linuxserver/docker-mods/mod-scripts/lsiown.v1 /usr/bin/lsiown #701 B13ADD --chmod=755 https://raw.githubusercontent.com/linuxserver/docker-mods/mod-scripts/with-contenv.v1 /usr/bin/with-contenv #427 B14ARG DEBIAN_FRONTEND=noninteractive0 B15ENV HOME=/root LANGUAGE=en_US.UTF-8 LANG=en_US.UTF-8 TERM=xterm0 B16COPY sources.list.arm /etc/apt/sources.list # buildkit273 B17RUN |7 BUILD_DATE=2026-08-05T00:19:16+00:00 VERSION=634ec3b9-ls81 MODS_VERSION=v314.02 MB18COPY root/ / # buildkit4.53 KB19ENTRYPOINT ["/init"]0 B20ENV LSIO_FIRST_PARTY=true0 B21ARG BUILD_DATE=2026-08-17T19:16:49+00:000 B22ARG VERSION=4.133.0-ls3580 B23ARG CODE_RELEASE=4.133.00 B24LABEL build_version=Linuxserver.io version:- 4.133.0-ls358 Build-date:-0 B25LABEL maintainer=aptalca0 B26ARG DEBIAN_FRONTEND=noninteractive0 B27ENV HOME=/config0 B28RUN |4 BUILD_DATE=2026-08-17T19:16:49+00:00 VERSION=4.133.0-ls358 CODE_RELEASE=4.133.0249.08 MB29COPY /root / # buildkit1.7 KB30EXPOSE [8443/tcp]0 B31RUN /bin/sh -c apt-get update309.57 MB32RUN /bin/sh -c /app/code-server/bin/code-server --install-extension846.59 KB33RUN /bin/sh -c mkdir -p309 B34RUN /bin/sh -c useradd -m3.45 KB35RUN /bin/sh -c chown -R846.71 KB36USER user0 B37ENV HOME=/home/user0 B38RUN /bin/sh -c opam init1.14 GB39WORKDIR /home/user32 B40RUN /bin/sh -c mkdir workspace150 B41RUN /bin/sh -c git clone13.83 MB42RUN /bin/sh -c cat >>2.02 KB43WORKDIR /home/user32 B44RUN /bin/sh -c git clone272.6 KB45RUN /bin/sh -c git clone1.37 MB46RUN /bin/sh -c git clone44.42 KB47ENV PATH=/home/user/.opam/fstar/bin:/lsiopy/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B48ENV COMPARSE_HOME=/home/user/comparse0 B49ENV DY_HOME=/home/user/dolev-yao-star-extrinsic0 B50WORKDIR /home/user/comparse32 B51RUN /bin/sh -c make -j2.97 MB52WORKDIR /home/user/dolev-yao-star-extrinsic32 B53RUN /bin/sh -c git checkout114.67 KB54RUN /bin/sh -c make -j13.44 MB55RUN /bin/sh -c mkdir -p169 B56COPY . /home/user/dolev-yao-star-preliminary-web # buildkit37.6 KB57WORKDIR /home/user/dolev-yao-star-preliminary-web32 B58RUN /bin/sh -c make -j3.87 MB59WORKDIR /home/user/dolev-yao-star-tools32 B60RUN /bin/sh -c python3 -m4.01 MB61RUN /bin/sh -c . venv/bin/activate903.9 KBCommand
COPY /root-out/ / # buildkit