>>> rocq-stdlib: Building community/rocq-stdlib 9.0.0-r1 (using abuild 3.16.0_rc4-r0) started Fri, 07 Nov 2025 08:25:12 +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/22) Installing libgmpxx (6.3.0-r4)
( 2/22) Installing gmp-dev (6.3.0-r4)
( 3/22) Installing ocaml-runtime (4.14.2-r2)
( 4/22) Installing ocaml (4.14.2-r2)
( 5/22) Installing bash (5.3.3-r1)
bash-5.3.3-r1.post-install: Executing script...
( 6/22) Installing libbz2 (1.0.8-r6)
( 7/22) Installing perl (5.42.0-r0)
( 8/22) Installing rpm-scripts (4.19.1.1-r3)
( 9/22) Installing ocaml-abuild-helper (4.14.2-r2)
(10/22) Installing ocaml-compiler-libs (4.14.2-r2)
(11/22) Installing ocaml-zarith (1.12-r5)
(12/22) Installing ocamlfind (1.9.6-r6)
(13/22) Installing ocaml-findlib (1.9.6-r6)
(14/22) Installing rocq (9.0.0-r1)
(15/22) Installing rocq-stdlib (9.0.0-r0)
(16/22) Installing dune (3.20.2-r0)
(17/22) Installing linux-headers (6.16.12-r0)
(18/22) Installing ocaml-findlib-dev (1.9.6-r6)
(19/22) Installing .makedepends-rocq-stdlib (20251107.082513)
(20/22) Installing perl-error (0.17030-r0)
(21/22) Installing perl-git (2.51.2-r0)
(22/22) Installing git-perl (2.51.2-r0)
busybox-1.37.0-r24.trigger: Executing script...
OK: 1280 MiB in 131 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
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
wget: server returned error: HTTP/1.1 404 Not Found
>>> 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
Connecting to github.com (140.82.121.4:443)
Connecting to github.com (140.82.121.4:443)
Connecting to release-assets.githubusercontent.com (185.199.111.133:443)
saving to '/var/cache/distfiles/edge/rocq-stdlib-9.0.0.tar.gz.part'
rocq-stdlib-9.0.0.ta 100% |********************************| 1783k  0:00:00 ETA
'/var/cache/distfiles/edge/rocq-stdlib-9.0.0.tar.gz.part' saved
/var/cache/distfiles/edge/rocq-stdlib-9.0.0.tar.gz: OK
>>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-stdlib-9.0.0.tar.gz
/var/cache/distfiles/edge/rocq-stdlib-9.0.0.tar.gz: OK
>>> rocq-stdlib: Unpacking /var/cache/distfiles/edge/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*: 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-r1.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-r1.apk
>>> rocq-stdlib: Build complete at Fri, 07 Nov 2025 08:26:57 +0000 elapsed time 0h 1m 45s
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Cleaning up tmpdir
>>> rocq-stdlib: Uninstalling dependencies...
( 1/22) Purging .makedepends-rocq-stdlib (20251107.082513)
( 2/22) Purging dune (3.20.2-r0)
( 3/22) Purging linux-headers (6.16.12-r0)
( 4/22) Purging ocaml-findlib-dev (1.9.6-r6)
( 5/22) Purging git-perl (2.51.2-r0)
( 6/22) Purging perl-git (2.51.2-r0)
( 7/22) Purging perl-error (0.17030-r0)
( 8/22) Purging ocaml-abuild-helper (4.14.2-r2)
( 9/22) Purging rpm-scripts (4.19.1.1-r3)
(10/22) Purging bash (5.3.3-r1)
bash-5.3.3-r1.pre-deinstall: Executing script...
(11/22) Purging perl (5.42.0-r0)
(12/22) Purging rocq-stdlib (9.0.0-r0)
(13/22) Purging rocq (9.0.0-r1)
(14/22) Purging ocaml-zarith (1.12-r5)
(15/22) Purging gmp-dev (6.3.0-r4)
(16/22) Purging libgmpxx (6.3.0-r4)
(17/22) Purging libbz2 (1.0.8-r6)
(18/22) Purging ocaml-findlib (1.9.6-r6)
(19/22) Purging ocamlfind (1.9.6-r6)
(20/22) Purging ocaml-compiler-libs (4.14.2-r2)
(21/22) Purging ocaml (4.14.2-r2)
(22/22) Purging ocaml-runtime (4.14.2-r2)
busybox-1.37.0-r24.trigger: Executing script...
OK: 432 MiB in 109 packages
>>> rocq-stdlib: Updating the community/aarch64 repository index...
>>> rocq-stdlib: Signing the index...