>>> rocq-stdlib: Building community/rocq-stdlib 9.0.0-r0 (using abuild 3.15.0-r0) started Mon, 13 Oct 2025 13:53:40 +0000
>>> rocq-stdlib: Validating /home/udu/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
WARNING: opening /home/udu/packages//community: No such file or directory
WARNING: opening /home/udu/packages//main: No such file or directory
fetch http://dl-cdn.alpinelinux.org/alpine/v3.22/main/x86_64/APKINDEX.tar.gz
fetch http://dl-cdn.alpinelinux.org/alpine/v3.22/community/x86_64/APKINDEX.tar.gz
(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 perl (5.40.3-r0)
(6/20) Installing rpm-scripts (4.19.1.1-r2)
(7/20) Installing ocaml-abuild-helper (4.14.2-r1)
(8/20) Installing ocaml-compiler-libs (4.14.2-r1)
(9/20) Installing ocaml-zarith (1.12-r5)
(10/20) Installing ocamlfind (1.9.6-r5)
(11/20) Installing ocaml-findlib (1.9.6-r5)
(12/20) Installing rocq (9.0.0-r0)
(13/20) Installing rocq-stdlib (9.0.0-r0)
(14/20) Installing dune (3.19.0-r0)
(15/20) Installing linux-headers (6.14.2-r0)
(16/20) Installing ocaml-findlib-dev (1.9.6-r5)
(17/20) Installing .makedepends-rocq-stdlib (20251013.135341)
(18/20) Installing perl-error (0.17030-r0)
(19/20) Installing perl-git (2.49.1-r0)
(20/20) Installing git-perl (2.49.1-r0)
Executing busybox-1.37.0-r19.trigger
OK: 1093 MiB in 109 packages
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Cleaning up tmpdir
>>> 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
>>> 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
>>> 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/udu/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 Mon, 13 Oct 2025 13:54:59 +0000 elapsed time 0h 1m 19s
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Uninstalling dependencies...
(1/20) Purging .makedepends-rocq-stdlib (20251013.135341)
(2/20) Purging dune (3.19.0-r0)
(3/20) Purging linux-headers (6.14.2-r0)
(4/20) Purging ocaml-findlib-dev (1.9.6-r5)
(5/20) Purging git-perl (2.49.1-r0)
(6/20) Purging perl-git (2.49.1-r0)
(7/20) Purging perl-error (0.17030-r0)
(8/20) Purging ocaml-abuild-helper (4.14.2-r1)
(9/20) Purging rpm-scripts (4.19.1.1-r2)
(10/20) Purging perl (5.40.3-r0)
(11/20) Purging rocq-stdlib (9.0.0-r0)
(12/20) Purging rocq (9.0.0-r0)
(13/20) Purging ocaml-zarith (1.12-r5)
(14/20) Purging gmp-dev (6.3.0-r3)
(15/20) Purging libgmpxx (6.3.0-r3)
(16/20) Purging ocaml-findlib (1.9.6-r5)
(17/20) Purging ocamlfind (1.9.6-r5)
(18/20) Purging ocaml-compiler-libs (4.14.2-r1)
(19/20) Purging ocaml (4.14.2-r1)
(20/20) Purging ocaml-runtime (4.14.2-r1)
Executing busybox-1.37.0-r19.trigger
OK: 296 MiB in 89 packages
>>> rocq-stdlib: Updating the community/x86_64 repository index...
>>> rocq-stdlib: Signing the index...