Sign inSign up

minaprotocol/mina-toolchain:4.0.0-rc1-lyh-mina-toolchain-trixie-ec5bdea-bookworm-arm64

Languages & frameworks
Integration & delivery
Developer tools
Manifest digest

sha256:f0c80cd75f77cb7747d19f6a533ce181067dee0982a508e581f7accfb4291b68

OS/ARCH

linux/arm64

Compressed size

3.18 GB

Last pushed

about 2 months by o1botdockerhub

Type

Image

Manifest digest

sha256:f0c80cd75f77cb7747d19f6a533ce181067dee0982a508e581f7accfb4291b68

Image Layers

1# debian.sh --arch 'arm64' out/48.75 MB
2ARG TARGETARCH=arm640 B
3ARG apt_cache_url=http://apt-cache-ingress.mirror-ingress:31420 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 # buildkit4.19 KB
19RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80804.31 KB
20RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080264.42 MB
21RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80803.31 KB
22RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080184 B
23RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 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=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080109.99 MB
26USER opam0 B
27RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080480.74 MB
28USER root0 B
29WORKDIR /home/opam32 B
30USER opam0 B
31ENV HOME=/home/opam0 B
32RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80801.86 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=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808015.31 MB
35WORKDIR /home/opam/opam-repository32 B
36RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080155.28 MB
37RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808025.14 MB
38RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080203.98 MB
39WORKDIR /home/opam32 B
40RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080164 B
41WORKDIR /home/opam/go-tmp32 B
42RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80805.51 MB
43USER root0 B
44RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80802.77 MB
45USER opam0 B
46WORKDIR /home/opam32 B
47RUN |14 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080176 B
48ARG MINA_DIR=mina0 B
49ARG MINA_BRANCH=lyh/mina-toolchain-trixie0 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
55USER opam0 B
56RUN |18 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080297.63 MB
57WORKDIR /home/opam/mina32 B
58ENV OPAMYES=10 B
59RUN |18 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80805.84 MB
60RUN |18 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80801.02 GB
61RUN |18 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80806.4 KB
62ARG DOCKER_VERSION=28.3.10 B
63ARG DEBS3_VERSION=0.11.70 B
64ARG INFLUXDB_CLI_VERSION=2.7.50 B
65ARG SHELLCHECK_VERSION=0.11.00 B
66ARG HADOLINT_VERSION=2.12.00 B
67ARG GCLOUD_VERSION=476.0.00 B
68ARG MINA_RELEASE_TOOLKIT_VERSION=0.0.40 B
69ARG TARGETARCH=arm640 B
70USER root0 B
71RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080121.5 MB
72RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80803.96 MB
73RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808093 B
74SHELL [/bin/bash -o pipefail -c]0 B
75RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808010.58 MB
76RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808073.17 MB
77RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:8080232.97 MB
78ENV 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
79ENV USE_GKE_GCLOUD_AUTH_PLUGIN=True0 B
80RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808065.09 MB
81RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:80805.1 MB
82RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808011.3 MB
83RUN |26 TARGETARCH=arm64 apt_cache_url=http://apt-cache-ingress.mirror-ingress:3142 deb_repo=http://172.17.0.1:808064.66 MB
84USER opam0 B

Command

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