tchajed/sys-verif:latest

Multi-platform

Languages & frameworks

Index digest

sha256:e3c7b17f151dcabd7d9b7ec737707cd6efd7ae6e745088f0f69d0429372dc413

OS/ARCH

Compressed size

1.01 GB

Last pushed

10 months by tchajed

Type

Image

Manifest digest

sha256:f0031646e5049464d9b73ce0d89626d0701e1e6c758534f1acee24949801aee1

Image Layers

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

2COPY ./install-deps.sh . # buildkit374 B

3RUN /bin/sh -c ./install-deps.sh #152.3 MB

4RUN /bin/sh -c useradd --create-home4.06 KB

5USER vscode:vscode0 B

6WORKDIR /home/vscode32 B

7COPY ./install-ocaml.sh . # buildkit560 B

8RUN /bin/sh -c ./install-ocaml.sh #149.23 MB

9COPY ./install-rocq.sh . # buildkit326 B

10RUN /bin/sh -c ./install-rocq.sh #614.91 MB

11COPY ./install-go.sh . # buildkit460 B

12RUN /bin/sh -c ./install-go.sh #92.31 MB

13RUN /bin/sh -c rm install-*.sh199 B

14RUN /bin/sh -c sudo mkdir102 B

15RUN /bin/sh -c echo "source183 B

16RUN /bin/sh -c cp /etc/zsh/newuser.zshrc.recommended791 B

17RUN /bin/sh -c echo "export601 B

Command

# debian.sh --arch 'amd64' out/ 'trixie' '@1765152000'