>>> rocq-stdlib: Building community/rocq-stdlib 9.0.0-r0 (using abuild 3.14.1-r7) started Fri, 14 Mar 2025 05:24:38 +0000 >>> rocq-stdlib: Validating /home/buildozer/aports/community/rocq-stdlib/APKBUILD... >>> rocq-stdlib: Analyzing dependencies... >>> rocq-stdlib: Installing for build: build-base rocq~9.0.0 bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-zarith (1/20) Installing libgmpxx (6.3.0-r3) (2/20) Installing gmp-dev (6.3.0-r3) (3/20) Installing ocaml-runtime (4.14.2-r1) (4/20) Installing ocaml (4.14.2-r1) (5/20) Installing bash (5.2.37-r0) Executing bash-5.2.37-r0.post-install (6/20) Installing libbz2 (1.0.8-r6) (7/20) Installing perl (5.40.1-r0) (8/20) Installing rpm-scripts (4.19.1.1-r1) (9/20) Installing ocaml-abuild-helper (4.14.2-r1) (10/20) Installing ocaml-compiler-libs (4.14.2-r1) (11/20) Installing ocaml-zarith (1.12-r5) (12/20) Installing ocaml-findlib (1.9.6-r4) (13/20) Installing rocq (9.0.0-r0) (14/20) Installing dune (3.17.2-r0) (15/20) Installing linux-headers (6.12.6-r0) (16/20) Installing ocaml-findlib-dev (1.9.6-r4) (17/20) Installing .makedepends-rocq-stdlib (20250314.052439) (18/20) Installing perl-error (0.17030-r0) (19/20) Installing perl-git (2.48.1-r0) (20/20) Installing git-perl (2.48.1-r0) Executing busybox-1.37.0-r14.trigger OK: 1037 MiB in 122 packages >>> rocq-stdlib: Cleaning up srcdir >>> rocq-stdlib: Cleaning up pkgdir >>> rocq-stdlib: Cleaning up tmpdir >>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-stdlib-9.0.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 curl: (22) The requested URL returned error: 404 >>> rocq-stdlib: Fetching rocq-stdlib-9.0.0.tar.gz::https://github.com/coq/stdlib/releases/download/V9.0.0/stdlib-9.0.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 1 1783k 1 19131 0 0 13648 0 0:02:13 0:00:01 0:02:12 13648 100 1783k 100 1783k 0 0 1248k 0 0:00:01 0:00:01 --:--:-- 63.8M >>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-stdlib-9.0.0.tar.gz >>> rocq-stdlib: Checking sha512sums... rocq-stdlib-9.0.0.tar.gz: OK >>> rocq-stdlib: Unpacking /var/cache/distfiles/rocq-stdlib-9.0.0.tar.gz... >>> rocq-stdlib: Entering fakeroot... >>> rocq-stdlib-doc*: Running split function doc... 'usr/share/doc' -> '/home/buildozer/aports/community/rocq-stdlib/pkg/rocq-stdlib-doc/usr/share/doc' >>> rocq-stdlib-doc*: Preparing subpackage rocq-stdlib-doc... >>> rocq-stdlib-doc*: Running postcheck for rocq-stdlib-doc >>> rocq-stdlib*: Running postcheck for rocq-stdlib >>> rocq-stdlib*: Preparing package rocq-stdlib... >>> rocq-stdlib*: Stripping binaries >>> WARNING: rocq-stdlib*: No arch specific binaries found so arch should probably be set to "noarch" >>> rocq-stdlib-doc*: Scanning shared objects >>> rocq-stdlib*: Scanning shared objects >>> rocq-stdlib-doc*: Tracing dependencies... >>> rocq-stdlib-doc*: Package size: 26.8 KB >>> rocq-stdlib-doc*: Compressing data... >>> rocq-stdlib-doc*: Create checksum... >>> rocq-stdlib-doc*: Create rocq-stdlib-doc-9.0.0-r0.apk >>> rocq-stdlib*: Tracing dependencies... rocq~9.0.0 >>> rocq-stdlib*: Package size: 73.8 MB >>> rocq-stdlib*: Compressing data... >>> rocq-stdlib*: Create checksum... >>> rocq-stdlib*: Create rocq-stdlib-9.0.0-r0.apk >>> rocq-stdlib: Build complete at Fri, 14 Mar 2025 05:27:16 +0000 elapsed time 0h 2m 38s >>> rocq-stdlib: Cleaning up srcdir >>> rocq-stdlib: Cleaning up pkgdir >>> rocq-stdlib: Uninstalling dependencies... (1/20) Purging .makedepends-rocq-stdlib (20250314.052439) (2/20) Purging rocq (9.0.0-r0) (3/20) Purging dune (3.17.2-r0) (4/20) Purging linux-headers (6.12.6-r0) (5/20) Purging ocaml-findlib-dev (1.9.6-r4) (6/20) Purging ocaml-findlib (1.9.6-r4) (7/20) Purging ocaml-zarith (1.12-r5) (8/20) Purging gmp-dev (6.3.0-r3) (9/20) Purging libgmpxx (6.3.0-r3) (10/20) Purging git-perl (2.48.1-r0) (11/20) Purging perl-git (2.48.1-r0) (12/20) Purging perl-error (0.17030-r0) (13/20) Purging ocaml-abuild-helper (4.14.2-r1) (14/20) Purging rpm-scripts (4.19.1.1-r1) (15/20) Purging bash (5.2.37-r0) Executing bash-5.2.37-r0.pre-deinstall (16/20) Purging perl (5.40.1-r0) (17/20) Purging ocaml-compiler-libs (4.14.2-r1) (18/20) Purging ocaml (4.14.2-r1) (19/20) Purging ocaml-runtime (4.14.2-r1) (20/20) Purging libbz2 (1.0.8-r6) Executing busybox-1.37.0-r14.trigger OK: 274 MiB in 102 packages >>> rocq-stdlib: Updating the community/ppc64le repository index... >>> rocq-stdlib: Signing the index...