>>> coq: Building testing/coq 8.18.0-r0 (using abuild 3.11.21-r0) started Thu, 21 Sep 2023 17:08:45 +0000 >>> coq: Checking sanity of /home/buildozer/aports/testing/coq/APKBUILD... >>> coq: Analyzing dependencies... >>> coq: Installing for build: build-base ocaml-findlib ocaml-runtime ocaml-zarith bash dune ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-num-dev (1/14) Installing ocaml-runtime (4.14.1-r3) (2/14) Installing ocaml-findlib (1.9.6-r2) (3/14) Installing libgmpxx (6.3.0-r0) (4/14) Installing gmp-dev (6.3.0-r0) (5/14) Installing ocaml-zarith (1.12-r3) (6/14) Installing readline (8.2.1-r2) (7/14) Installing bash (5.2.15-r5) Executing bash-5.2.15-r5.post-install (8/14) Installing dune (3.10.0-r0) (9/14) Installing ocaml (4.14.1-r3) (10/14) Installing ocaml-compiler-libs (4.14.1-r3) (11/14) Installing ocaml-findlib-dev (1.9.6-r2) (12/14) Installing ocaml-num (1.4-r2) (13/14) Installing ocaml-num-dev (1.4-r2) (14/14) Installing .makedepends-coq (20230921.170846) Executing busybox-1.36.1-r8.trigger OK: 649 MiB in 117 packages >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Cleaning up tmpdir >>> coq: Fetching coq-8.18.0.tar.gz::https://github.com/coq/coq/archive/V8.18.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 4768k 0 4768k 0 0 4066k 0 --:--:-- 0:00:01 --:--:-- 4066k 100 7434k 0 7434k 0 0 4467k 0 --:--:-- 0:00:01 --:--:-- 5430k >>> coq: Fetching coq-8.18.0.tar.gz::https://github.com/coq/coq/archive/V8.18.0.tar.gz >>> coq: Checking sha512sums... coq-8.18.0.tar.gz: OK >>> coq: Unpacking /var/cache/distfiles/coq-8.18.0.tar.gz... dune build --root . theories_dune ltac2_dune touch .dune-stamp cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune (cd _build/default && /bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision skipping make_git_revision: git dir not found >>> coq: Entering fakeroot... created directory: '/home/buildozer/aports/testing/coq/pkg/coq/usr/lib/ocaml' '/home/buildozer/aports/testing/coq/pkg/coq/usr/lib/stublibs' -> '/home/buildozer/aports/testing/coq/pkg/coq/usr/lib/ocaml/stublibs' >>> coq-doc*: Running split function doc... >>> coq-doc*: Preparing subpackage coq-doc... >>> coq-doc*: Running postcheck for coq-doc >>> coq*: Running postcheck for coq >>> coq*: Preparing package coq... >>> coq*: Stripping binaries >>> coq-doc*: Scanning shared objects >>> coq*: Scanning shared objects >>> coq-doc*: Tracing dependencies... >>> coq-doc*: Package size: 184.0 KB >>> coq-doc*: Compressing data... >>> coq-doc*: Create checksum... >>> coq-doc*: Create coq-doc-8.18.0-r0.apk >>> coq*: Tracing dependencies... ocaml-findlib ocaml-runtime ocaml-zarith so:libc.musl-aarch64.so.1 so:libgmp.so.10 >>> coq*: Package size: 632.7 MB >>> coq*: Compressing data... >>> coq*: Create checksum... >>> coq*: Create coq-8.18.0-r0.apk >>> coq: Build complete at Thu, 21 Sep 2023 17:11:20 +0000 elapsed time 0h 2m 35s >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Uninstalling dependencies... (1/14) Purging .makedepends-coq (20230921.170846) (2/14) Purging ocaml-zarith (1.12-r3) (3/14) Purging gmp-dev (6.3.0-r0) (4/14) Purging libgmpxx (6.3.0-r0) (5/14) Purging bash (5.2.15-r5) Executing bash-5.2.15-r5.pre-deinstall (6/14) Purging dune (3.10.0-r0) (7/14) Purging ocaml-compiler-libs (4.14.1-r3) (8/14) Purging ocaml-findlib-dev (1.9.6-r2) (9/14) Purging ocaml-findlib (1.9.6-r2) (10/14) Purging ocaml (4.14.1-r3) (11/14) Purging ocaml-num-dev (1.4-r2) (12/14) Purging ocaml-num (1.4-r2) (13/14) Purging ocaml-runtime (4.14.1-r3) (14/14) Purging readline (8.2.1-r2) Executing busybox-1.36.1-r8.trigger OK: 379 MiB in 103 packages >>> coq: Updating the testing/aarch64 repository index... >>> coq: Signing the index...