tchajed/sys-verif:v2.3.0

Multi-platform

Languages & frameworks

Index digest

sha256:10fcafe88c9e077139842c6eeb19cf03035135323a84bb03ce76127a434cbafe

OS/ARCH

Compressed size

942.75 MB

Last pushed

about 1 year by tchajed

Type

Image

Manifest digest

sha256:89e9ea1da80f0b1340e5b3cea2a9f35fcb48aa6e8a57a1a231436adbed333744

Image Layers

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

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

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

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

5USER vscode:vscode0 B

6WORKDIR /home/vscode32 B

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

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

9COPY ./install-coq.sh . # buildkit272 B

10RUN /bin/sh -c ./install-coq.sh #463.22 MB

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

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

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

14RUN /bin/sh -c sudo mkdir103 B

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

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

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

Command

# debian.sh --arch 'arm64' out/ 'trixie' '@1754870400'