sha256:8010535b6fc685df3dbb2477106d5564362110c9ebdc1f10520e7f033ff907c8
OS/ARCH
Compressed size
1.76 GB
Last pushed
about 1 month by fabianhk
Type
Image
Manifest digest
sha256:0d160fdaebe219427d131c7bca6be7079c23cf6df645004ea6fc364513ea0776
Image Layers
1COPY /root-out/ / # buildkit31.47 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 #699 B13ADD --chmod=755 https://raw.githubusercontent.com/linuxserver/docker-mods/mod-scripts/with-contenv.v1 /usr/bin/with-contenv #428 B14ARG DEBIAN_FRONTEND=noninteractive0 B15ENV HOME=/root LANGUAGE=en_US.UTF-8 LANG=en_US.UTF-8 TERM=xterm0 B16COPY sources.list /etc/apt/ # buildkit273 B17RUN |7 BUILD_DATE=2026-08-05T00:19:16+00:00 VERSION=634ec3b9-ls81 MODS_VERSION=v316.37 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.0252.52 MB29COPY /root / # buildkit1.7 KB30EXPOSE [8443/tcp]0 B31RUN /bin/sh -c apt-get update308.25 MB32RUN /bin/sh -c /app/code-server/bin/code-server --install-extension846.58 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.13 GB39WORKDIR /home/user32 B40RUN /bin/sh -c mkdir workspace150 B41RUN /bin/sh -c git clone14.12 MB42RUN /bin/sh -c cat >>2.02 KB43WORKDIR /home/user32 B44RUN /bin/sh -c git clone272.56 KB45RUN /bin/sh -c git clone1.37 MB46RUN /bin/sh -c git clone44.41 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.63 KB54RUN /bin/sh -c make -j13.44 MB55RUN /bin/sh -c mkdir -p167 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/activate902.41 KBCommand
COPY /root-out/ / # buildkit