Sign inSign up

minaprotocol/mina-toolchain:f009c00-bookworm-devnet-arm64

Languages & frameworks
Integration & delivery
Developer tools
Index digest

sha256:6a15aaa5b56d5d20fca8b8a029e1a0e4f9b3e336715cf68a95682680744d5817

OS/ARCH

linux/arm64

Compressed size

3.16 GB

Last pushed

21 days by dariuszo1labs

Type

Image

Manifest digest

sha256:adc9532caa878321f811680f83784509cb09a732b472fe0a320c57a91ac06a87

Image Layers

Image Layers

1# debian.sh --arch 'arm64' out/48.75 MB
2ARG TARGETARCH=arm640 B
3ARG apt_cache_url=0 B
4ARG deb_repo=http://172.17.0.1:80800 B
5ARG OCAML_VERSION=4.140 B
6ARG OCAML_REVISION=.20 B
7ARG OCAML_VARIANT=0 B
8ARG OCAML_PACKAGE=0 B
9ARG OPAM_VERSION=2.3.00 B
10ARG OPAM_REPOSITORY_COMMIT=08d8c16c16dc6b23a5278b06dff0ac6c7a2173560 B
11ARG O1LABS_OPAM_REPOSITORY_COMMIT=dd90c5c72b7b7caeca3db3224b2503924deea08a0 B
12ARG GO_VERSION=1.19.110 B
13ARG GO_CAPNP_VERSION=v3.0.0-alpha.50 B
14ARG RUST_VERSION=1.92.00 B
15ARG RUST_NIGHTLY=2024-09-050 B
16ENV DEBIAN_FRONTEND=noninteractive0 B
17SHELL [/bin/bash -o pipefail -c]0 B
18COPY scripts/configure-apt-proxy.sh /usr/local/bin/configure-apt-proxy.sh # buildkit777 B
19RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808032 B
20RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080245.72 MB
21RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80803.27 KB
22RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080167 B
23RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80803.49 MB
24SHELL [/bin/bash -o pipefail -c]0 B
25RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080109.99 MB
26USER opam0 B
27RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080480.93 MB
28USER root0 B
29WORKDIR /home/opam32 B
30USER opam0 B
31ENV HOME=/home/opam0 B
32RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80801.84 KB
33ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/lib/go/bin:/home/opam/.cargo/bin0 B
34RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808015.26 MB
35WORKDIR /home/opam/opam-repository32 B
36RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080154.4 MB
37RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808025.12 MB
38RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080203.98 MB
39WORKDIR /home/opam32 B
40RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080150 B
41WORKDIR /home/opam/go-tmp32 B
42RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80805.5 MB
43USER root0 B
44RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80802.77 MB
45USER opam0 B
46WORKDIR /home/opam32 B
47RUN |14 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080161 B
48ARG MINA_DIR=mina0 B
49ARG MINA_BRANCH=lsanabria/fix-gcloud-docker-install0 B
50ARG MINA_REPO=https://github.com/MinaProtocol/mina.git0 B
51ARG EXTERNAL_PKG_DIR=mina/src/external0 B
52ENV OPAMKEEPBUILDDIR=false0 B
53ENV OPAMREUSEBUILDDIR=false0 B
54ENV OPAMERRLOGLEN=200 B
55ENV GIT_LFS_SKIP_SMUDGE=10 B
56USER opam0 B
57RUN |18 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080284.14 MB
58WORKDIR /home/opam/mina32 B
59ENV OPAMYES=10 B
60RUN |18 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80805.84 MB
61RUN |18 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80801.02 GB
62RUN |18 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80809.11 KB
63ARG DOCKER_VERSION=28.3.10 B
64ARG DEBS3_VERSION=0.11.70 B
65ARG INFLUXDB_CLI_VERSION=2.7.50 B
66ARG SHELLCHECK_VERSION=0.11.00 B
67ARG HADOLINT_VERSION=2.12.00 B
68ARG GCLOUD_VERSION=476.0.00 B
69ARG TARGETARCH=arm640 B
70USER root0 B
71RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080135.1 MB
72RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80803.82 MB
73SHELL [/bin/bash -o pipefail -c]0 B
74RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808010.58 MB
75RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808073.17 MB
76RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:8080232.97 MB
77ENV PATH=/opt/google-cloud-sdk/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/lib/go/bin:/home/opam/.cargo/bin0 B
78ENV USE_GKE_GCLOUD_AUTH_PLUGIN=True0 B
79RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808063.9 MB
80RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:80805.1 MB
81RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808011.3 MB
82RUN |24 TARGETARCH=arm64 apt_cache_url= deb_repo=http://172.17.0.1:808061.9 MB
83USER opam0 B

Command

# debian.sh --arch 'arm64' out/ 'bookworm' '@1762202650'