#0 building with "ecr-multiarch-builder" instance using docker-container driver

#1 [internal] load build definition from Dockerfile
#1 transferring dockerfile: 786B done
#1 DONE 0.1s

#2 [internal] load metadata for docker.io/library/debian:bookworm-slim
#2 DONE 0.8s

#3 [internal] load .dockerignore
#3 transferring context: 2B done
#3 DONE 0.1s

#4 [1/4] FROM docker.io/library/debian:bookworm-slim@sha256:7c7b2c966bc9ee8cedfeef67e0e279108992c77681fa595db4a9d65c06ccc587
#4 resolve docker.io/library/debian:bookworm-slim@sha256:7c7b2c966bc9ee8cedfeef67e0e279108992c77681fa595db4a9d65c06ccc587 0.0s done
#4 DONE 0.0s

#4 [1/4] FROM docker.io/library/debian:bookworm-slim@sha256:7c7b2c966bc9ee8cedfeef67e0e279108992c77681fa595db4a9d65c06ccc587
#4 CACHED

#5 [2/4] RUN apt-get update  && apt-get install -y --no-install-recommends ca-certificates curl  && rm -rf /var/lib/apt/lists/*
#5 0.326 Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
#5 0.522 Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
#5 0.564 Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [34.8 kB]
#5 0.602 Get:4 http://deb.debian.org/debian bookworm/main arm64 Packages [8689 kB]
#5 0.886 Get:5 http://deb.debian.org/debian bookworm-updates/main arm64 Packages [6936 B]
#5 0.887 Get:6 http://deb.debian.org/debian-security bookworm-security/main arm64 Packages [347 kB]
#5 1.557 Fetched 9285 kB in 1s (6926 kB/s)
#5 1.557 Reading package lists...
#5 1.848 Reading package lists...
#5 2.121 Building dependency tree...
#5 2.193 Reading state information...
#5 2.270 The following additional packages will be installed:
#5 2.270   libbrotli1 libcurl4 libgssapi-krb5-2 libk5crypto3 libkeyutils1 libkrb5-3
#5 2.271   libkrb5support0 libldap-2.5-0 libnghttp2-14 libpsl5 librtmp1 libsasl2-2
#5 2.271   libsasl2-modules-db libssh2-1 libssl3 openssl
#5 2.271 Suggested packages:
#5 2.271   krb5-doc krb5-user
#5 2.271 Recommended packages:
#5 2.271   krb5-locales libldap-common publicsuffix libsasl2-modules
#5 2.333 The following NEW packages will be installed:
#5 2.333   ca-certificates curl libbrotli1 libcurl4 libgssapi-krb5-2 libk5crypto3
#5 2.333   libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.5-0 libnghttp2-14 libpsl5
#5 2.334   librtmp1 libsasl2-2 libsasl2-modules-db libssh2-1 libssl3 openssl
#5 2.379 0 upgraded, 18 newly installed, 0 to remove and 1 not upgraded.
#5 2.379 Need to get 5513 kB of archives.
#5 2.379 After this operation, 15.1 MB of additional disk space will be used.
#5 2.379 Get:1 http://deb.debian.org/debian-security bookworm-security/main arm64 libssl3 arm64 3.0.22-1~deb12u1 [1828 kB]
#5 2.577 Get:2 http://deb.debian.org/debian-security bookworm-security/main arm64 openssl arm64 3.0.22-1~deb12u1 [1410 kB]
#5 2.639 Get:3 http://deb.debian.org/debian-security bookworm-security/main arm64 ca-certificates all 20250419~deb12u1 [162 kB]
#5 2.642 Get:4 http://deb.debian.org/debian bookworm/main arm64 libbrotli1 arm64 1.0.9-2+b6 [269 kB]
#5 2.647 Get:5 http://deb.debian.org/debian bookworm/main arm64 libkrb5support0 arm64 1.20.1-2+deb12u5 [32.6 kB]
#5 2.650 Get:6 http://deb.debian.org/debian bookworm/main arm64 libk5crypto3 arm64 1.20.1-2+deb12u5 [79.9 kB]
#5 2.651 Get:7 http://deb.debian.org/debian bookworm/main arm64 libkeyutils1 arm64 1.6.3-2 [8844 B]
#5 2.653 Get:8 http://deb.debian.org/debian bookworm/main arm64 libkrb5-3 arm64 1.20.1-2+deb12u5 [316 kB]
#5 2.658 Get:9 http://deb.debian.org/debian bookworm/main arm64 libgssapi-krb5-2 arm64 1.20.1-2+deb12u5 [124 kB]
#5 2.658 Get:10 http://deb.debian.org/debian bookworm/main arm64 libsasl2-modules-db arm64 2.1.28+dfsg-10 [20.8 kB]
#5 2.658 Get:11 http://deb.debian.org/debian bookworm/main arm64 libsasl2-2 arm64 2.1.28+dfsg-10 [58.0 kB]
#5 2.659 Get:12 http://deb.debian.org/debian bookworm/main arm64 libldap-2.5-0 arm64 2.5.13+dfsg-5 [171 kB]
#5 2.673 Get:13 http://deb.debian.org/debian bookworm/main arm64 libnghttp2-14 arm64 1.52.0-1+deb12u3 [69.0 kB]
#5 2.674 Get:14 http://deb.debian.org/debian bookworm/main arm64 libpsl5 arm64 0.21.2-1 [58.6 kB]
#5 2.677 Get:15 http://deb.debian.org/debian bookworm/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b2 [59.4 kB]
#5 2.690 Get:16 http://deb.debian.org/debian-security bookworm-security/main arm64 libssh2-1 arm64 1.10.0-3+deb12u1 [169 kB]
#5 2.694 Get:17 http://deb.debian.org/debian bookworm/main arm64 libcurl4 arm64 7.88.1-10+deb12u15 [367 kB]
#5 2.698 Get:18 http://deb.debian.org/debian bookworm/main arm64 curl arm64 7.88.1-10+deb12u15 [310 kB]
#5 2.788 debconf: delaying package configuration, since apt-utils is not installed
#5 2.799 Fetched 5513 kB in 0s (15.0 MB/s)
#5 2.845 Selecting previously unselected package libssl3:arm64.
#5 2.845 (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 6090 files and directories currently installed.)
#5 2.867 Preparing to unpack .../00-libssl3_3.0.22-1~deb12u1_arm64.deb ...
#5 2.909 Unpacking libssl3:arm64 (3.0.22-1~deb12u1) ...
#5 3.030 Selecting previously unselected package openssl.
#5 3.031 Preparing to unpack .../01-openssl_3.0.22-1~deb12u1_arm64.deb ...
#5 3.035 Unpacking openssl (3.0.22-1~deb12u1) ...
#5 3.141 Selecting previously unselected package ca-certificates.
#5 3.142 Preparing to unpack .../02-ca-certificates_20250419~deb12u1_all.deb ...
#5 3.146 Unpacking ca-certificates (20250419~deb12u1) ...
#5 3.210 Selecting previously unselected package libbrotli1:arm64.
#5 3.210 Preparing to unpack .../03-libbrotli1_1.0.9-2+b6_arm64.deb ...
#5 3.218 Unpacking libbrotli1:arm64 (1.0.9-2+b6) ...
#5 3.277 Selecting previously unselected package libkrb5support0:arm64.
#5 3.277 Preparing to unpack .../04-libkrb5support0_1.20.1-2+deb12u5_arm64.deb ...
#5 3.285 Unpacking libkrb5support0:arm64 (1.20.1-2+deb12u5) ...
#5 3.328 Selecting previously unselected package libk5crypto3:arm64.
#5 3.329 Preparing to unpack .../05-libk5crypto3_1.20.1-2+deb12u5_arm64.deb ...
#5 3.335 Unpacking libk5crypto3:arm64 (1.20.1-2+deb12u5) ...
#5 3.387 Selecting previously unselected package libkeyutils1:arm64.
#5 3.388 Preparing to unpack .../06-libkeyutils1_1.6.3-2_arm64.deb ...
#5 3.394 Unpacking libkeyutils1:arm64 (1.6.3-2) ...
#5 3.424 Selecting previously unselected package libkrb5-3:arm64.
#5 3.425 Preparing to unpack .../07-libkrb5-3_1.20.1-2+deb12u5_arm64.deb ...
#5 3.429 Unpacking libkrb5-3:arm64 (1.20.1-2+deb12u5) ...
#5 3.478 Selecting previously unselected package libgssapi-krb5-2:arm64.
#5 3.480 Preparing to unpack .../08-libgssapi-krb5-2_1.20.1-2+deb12u5_arm64.deb ...
#5 3.485 Unpacking libgssapi-krb5-2:arm64 (1.20.1-2+deb12u5) ...
#5 3.517 Selecting previously unselected package libsasl2-modules-db:arm64.
#5 3.518 Preparing to unpack .../09-libsasl2-modules-db_2.1.28+dfsg-10_arm64.deb ...
#5 3.521 Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ...
#5 3.556 Selecting previously unselected package libsasl2-2:arm64.
#5 3.563 Preparing to unpack .../10-libsasl2-2_2.1.28+dfsg-10_arm64.deb ...
#5 3.567 Unpacking libsasl2-2:arm64 (2.1.28+dfsg-10) ...
#5 3.594 Selecting previously unselected package libldap-2.5-0:arm64.
#5 3.595 Preparing to unpack .../11-libldap-2.5-0_2.5.13+dfsg-5_arm64.deb ...
#5 3.602 Unpacking libldap-2.5-0:arm64 (2.5.13+dfsg-5) ...
#5 3.642 Selecting previously unselected package libnghttp2-14:arm64.
#5 3.643 Preparing to unpack .../12-libnghttp2-14_1.52.0-1+deb12u3_arm64.deb ...
#5 3.647 Unpacking libnghttp2-14:arm64 (1.52.0-1+deb12u3) ...
#5 3.683 Selecting previously unselected package libpsl5:arm64.
#5 3.684 Preparing to unpack .../13-libpsl5_0.21.2-1_arm64.deb ...
#5 3.689 Unpacking libpsl5:arm64 (0.21.2-1) ...
#5 3.716 Selecting previously unselected package librtmp1:arm64.
#5 3.717 Preparing to unpack .../14-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_arm64.deb ...
#5 3.719 Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ...
#5 3.743 Selecting previously unselected package libssh2-1:arm64.
#5 3.744 Preparing to unpack .../15-libssh2-1_1.10.0-3+deb12u1_arm64.deb ...
#5 3.752 Unpacking libssh2-1:arm64 (1.10.0-3+deb12u1) ...
#5 3.793 Selecting previously unselected package libcurl4:arm64.
#5 3.793 Preparing to unpack .../16-libcurl4_7.88.1-10+deb12u15_arm64.deb ...
#5 3.797 Unpacking libcurl4:arm64 (7.88.1-10+deb12u15) ...
#5 4.015 Selecting previously unselected package curl.
#5 4.016 Preparing to unpack .../17-curl_7.88.1-10+deb12u15_arm64.deb ...
#5 4.022 Unpacking curl (7.88.1-10+deb12u15) ...
#5 4.092 Setting up libkeyutils1:arm64 (1.6.3-2) ...
#5 4.102 Setting up libpsl5:arm64 (0.21.2-1) ...
#5 4.113 Setting up libbrotli1:arm64 (1.0.9-2+b6) ...
#5 4.125 Setting up libssl3:arm64 (3.0.22-1~deb12u1) ...
#5 4.136 Setting up libnghttp2-14:arm64 (1.52.0-1+deb12u3) ...
#5 4.143 Setting up libkrb5support0:arm64 (1.20.1-2+deb12u5) ...
#5 4.153 Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ...
#5 4.164 Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ...
#5 4.176 Setting up libk5crypto3:arm64 (1.20.1-2+deb12u5) ...
#5 4.182 Setting up libsasl2-2:arm64 (2.1.28+dfsg-10) ...
#5 4.189 Setting up libssh2-1:arm64 (1.10.0-3+deb12u1) ...
#5 4.197 Setting up libkrb5-3:arm64 (1.20.1-2+deb12u5) ...
#5 4.202 Setting up openssl (3.0.22-1~deb12u1) ...
#5 4.208 Setting up libldap-2.5-0:arm64 (2.5.13+dfsg-5) ...
#5 4.212 Setting up ca-certificates (20250419~deb12u1) ...
#5 4.299 debconf: unable to initialize frontend: Dialog
#5 4.299 debconf: (TERM is not set, so the dialog frontend is not usable.)
#5 4.299 debconf: falling back to frontend: Readline
#5 4.300 debconf: unable to initialize frontend: Readline
#5 4.300 debconf: (Can't locate Term/ReadLine.pm in @INC (you may need to install the Term::ReadLine module) (@INC contains: /etc/perl /usr/local/lib/aarch64-linux-gnu/perl/5.36.0 /usr/local/share/perl/5.36.0 /usr/lib/aarch64-linux-gnu/perl5/5.36 /usr/share/perl5 /usr/lib/aarch64-linux-gnu/perl-base /usr/lib/aarch64-linux-gnu/perl/5.36 /usr/share/perl/5.36 /usr/local/lib/site_perl) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 7.)
#5 4.300 debconf: falling back to frontend: Teletype
#5 4.500 Updating certificates in /etc/ssl/certs...
#5 4.709 150 added, 0 removed; done.
#5 4.729 Setting up libgssapi-krb5-2:arm64 (1.20.1-2+deb12u5) ...
#5 4.742 Setting up libcurl4:arm64 (7.88.1-10+deb12u15) ...
#5 4.751 Setting up curl (7.88.1-10+deb12u15) ...
#5 4.761 Processing triggers for libc-bin (2.36-9+deb12u14) ...
#5 4.874 Processing triggers for ca-certificates (20250419~deb12u1) ...
#5 4.878 Updating certificates in /etc/ssl/certs...
#5 5.025 0 added, 0 removed; done.
#5 5.025 Running hooks in /etc/ca-certificates/update.d...
#5 5.026 done.
#5 DONE 5.2s

#6 [3/4] RUN curl -sSfL https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh       | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:v4.34.1  && chmod -R a+rX /opt/elan
#6 0.166 info: downloading installer
#6 1.290 info: default toolchain set to 'leanprover/lean4:v4.34.1'
#6 DONE 1.4s

#7 [4/4] RUN lean --version
#7 0.090 warning: could not canonicalize path: '/opt/elan/toolchains'
#7 3.629 info: downloading https://releases.lean-lang.org/lean4/v4.34.1/lean-4.34.1-linux_aarch64.tar.zst
#7 18.23 info: installing /opt/elan/toolchains/leanprover--lean4---v4.34.1
#7 23.96 Lean (version 4.34.1, aarch64-unknown-linux-gnu, commit 5045d0056413266e57c625dcd7c365b10e377c52, Release)
#7 DONE 29.5s

#8 exporting to docker image format
#8 exporting layers
#8 exporting layers 96.4s done
#8 exporting manifest sha256:956d78aa445a4d12f6ce5e43aa62a19ba9cdf5c7d5c7cccd1381a5f22ac1b723 0.0s done
#8 exporting config sha256:2c3d715ac75b0d1d68fdbd80d38c0d783812bf56e68aeb6fdd57bd59e48d257c done
#8 sending tarball
#8 ...

#9 importing to docker
#9 loading layer 94638bf67c99 65.54kB / 5.39MB
#9 loading layer 6114269d07ab 65.54kB / 5.32MB
#9 loading layer 7e8d140fe21a 557.06kB / 821.02MB
#9 loading layer 7e8d140fe21a 164.33MB / 821.02MB 2.1s
#9 loading layer 7e8d140fe21a 328.11MB / 821.02MB 4.2s
#9 loading layer 7e8d140fe21a 471.83MB / 821.02MB 6.2s
#9 loading layer 7e8d140fe21a 620.56MB / 821.02MB 8.3s
#9 loading layer 7e8d140fe21a 778.21MB / 821.02MB 10.4s
#9 loading layer 7e8d140fe21a 821.02MB / 821.02MB 12.5s
#9 loading layer 94638bf67c99 5.39MB / 5.39MB 12.7s done
#9 loading layer 6114269d07ab 5.32MB / 5.32MB 12.6s done
#9 loading layer 7e8d140fe21a 821.02MB / 821.02MB 12.5s done
#9 DONE 12.7s

#8 exporting to docker image format
#8 sending tarball 16.9s done
#8 DONE 113.3s