>>> rocq-stdlib: Building community/rocq-stdlib 9.1.0-r1 (using abuild 3.17.0_rc1-r2) started Thu, 23 Apr 2026 23:29:00 +0000
>>> rocq-stdlib: Validating /home/buildozer/aports/community/rocq-stdlib/APKBUILD...
>>> rocq-stdlib: Analyzing dependencies...
>>> rocq-stdlib: Installing for build: build-base rocq>9.1.0 bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-zarith
( 1/85) Installing libgmpxx (6.3.0-r4)
( 2/85) Installing gmp-dev (6.3.0-r4)
( 3/85) Installing ocaml-runtime (4.14.3-r0)
( 4/85) Installing ocaml (4.14.3-r0)
( 5/85) Installing readline (8.3.3-r1)
  Installing file to etc/inputrc.apk-new
( 6/85) Installing bash (5.3.9-r1)
  Executing bash-5.3.9-r1.post-install
( 7/85) Installing libbz2 (1.0.8-r6)
( 8/85) Installing perl (5.42.2-r0)
( 9/85) Installing rpm-scripts (4.19.1.1-r5)
(10/85) Installing ocaml-abuild-helper (4.14.3-r0)
(11/85) Installing ocaml-compiler-libs (4.14.3-r0)
(12/85) Installing ocaml-zarith (1.14-r0)
(13/85) Installing ocamlfind (1.9.6-r7)
(14/85) Installing ocaml-findlib (1.9.6-r7)
(15/85) Installing libxau (1.0.12-r0)
(16/85) Installing libmd (1.1.0-r0)
(17/85) Installing libbsd (0.12.2-r0)
(18/85) Installing libxdmcp (1.1.5-r1)
(19/85) Installing libxcb (1.17.0-r1)
(20/85) Installing libx11 (1.8.13-r0)
(21/85) Installing libxext (1.3.7-r0)
(22/85) Installing libxrender (0.9.12-r0)
(23/85) Installing libpng (1.6.58-r0)
(24/85) Installing freetype (2.14.2-r0)
(25/85) Installing fontconfig (2.17.1-r1)
(26/85) Installing pixman (0.46.4-r0)
(27/85) Installing cairo (1.18.4-r1)
(28/85) Installing libffi (3.5.2-r1)
(29/85) Installing libeconf (0.8.3-r0)
(30/85) Installing libblkid (2.41.4-r0)
(31/85) Installing libmount (2.41.4-r0)
(32/85) Installing glib (2.88.0-r1)
(33/85) Installing gobject-introspection (1.86.0-r1)
(34/85) Installing xz-libs (5.8.2-r0)
(35/85) Installing libxml2 (2.13.9-r1)
(36/85) Installing shared-mime-info (2.4-r7)
(37/85) Installing libxcomposite (0.4.7-r0)
(38/85) Installing libxfixes (6.0.2-r0)
(39/85) Installing libxcursor (1.2.3-r0)
(40/85) Installing libxdamage (1.1.7-r0)
(41/85) Installing libxi (1.8.2-r0)
(42/85) Installing libxinerama (1.1.6-r0)
(43/85) Installing libxrandr (1.5.5-r0)
(44/85) Installing libatk-1.0 (2.60.1-r0)
(45/85) Installing dbus-libs (1.16.2-r2)
(46/85) Installing at-spi2-core-libs (2.60.1-r0)
(47/85) Installing libxtst (1.2.5-r0)
(48/85) Installing at-spi2-core (2.60.1-r0)
(49/85) Installing libatk-bridge-2.0 (2.60.1-r0)
(50/85) Installing cairo-gobject (1.18.4-r1)
(51/85) Installing avahi-libs (0.8-r26)
(52/85) Installing nettle (3.10.2-r0)
(53/85) Installing libtasn1 (4.21.0-r0)
(54/85) Installing p11-kit (0.25.5-r2)
(55/85) Installing gnutls (3.8.12-r0)
(56/85) Installing cups-libs (2.4.16-r0)
(57/85) Installing libepoxy (1.5.10-r1)
(58/85) Installing fribidi (1.0.16-r3)
(59/85) Installing lcms2 (2.17-r0)
(60/85) Installing libseccomp (2.6.0-r2)
(61/85) Installing libglycin (2.1.0-r0)
  Executing libglycin-2.1.0-r0.post-install
  * glycin loaders got split into their individual subpackages.
  * By default, only glycin-image-rs & glycin-svg are installed.
  * Additional loader subpackages are glycin-heif, glycin-jxl & glycin-raw.
  * 
  * To install all available loaders, install glycin-loaders-all.
  * 
  * Also the glycin-thumbnailer got subpackaged and isn't installed by default.
(62/85) Installing glycin-image-rs (2.1.0-r0)
(63/85) Installing libdav1d (1.5.3-r0)
(64/85) Installing libxft (2.3.9-r0)
(65/85) Installing graphite2 (1.3.14-r6)
(66/85) Installing harfbuzz (13.2.1-r0)
(67/85) Installing pango (1.57.1-r0)
(68/85) Installing librsvg (2.62.1-r0)
(69/85) Installing glycin-svg (2.1.0-r0)
(70/85) Installing gdk-pixbuf (2.44.6-r0)
(71/85) Installing wayland-libs-client (1.25.0-r0)
(72/85) Installing wayland-libs-cursor (1.25.0-r0)
(73/85) Installing wayland-libs-egl (1.25.0-r0)
(74/85) Installing xkeyboard-config (2.46-r0)
(75/85) Installing libxkbcommon (1.13.1-r0)
(76/85) Installing gtk+3.0 (3.24.52-r0)
(77/85) Installing gtksourceview (3.24.11-r4)
(78/85) Installing rocq (9.1.1-r1)
(79/85) Installing dune (3.22.2-r0)
(80/85) Installing linux-headers (7.0.0-r0)
(81/85) Installing ocaml-findlib-dev (1.9.6-r7)
(82/85) Installing .makedepends-rocq-stdlib (20260423.232901)
(83/85) Installing perl-error (0.17030-r0)
(84/85) Installing perl-git (2.54.0-r0)
(85/85) Installing git-perl (2.54.0-r0)
Executing busybox-1.37.0-r31.trigger
Executing glib-2.88.0-r1.trigger
Executing shared-mime-info-2.4-r7.trigger
Executing gtk+3.0-3.24.52-r0.trigger
OK: 1273.0 MiB in 192 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.1.0.tar.gz
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
saving to '/var/cache/distfiles/edge/rocq-stdlib-9.1.0.tar.gz.part'
rocq-stdlib-9.1.0.ta 100% |********************************| 1820k  0:00:00 ETA
'/var/cache/distfiles/edge/rocq-stdlib-9.1.0.tar.gz.part' saved
/var/cache/distfiles/edge/rocq-stdlib-9.1.0.tar.gz: OK
>>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-stdlib-9.1.0.tar.gz
/var/cache/distfiles/edge/rocq-stdlib-9.1.0.tar.gz: OK
>>> rocq-stdlib: Unpacking /var/cache/distfiles/edge/rocq-stdlib-9.1.0.tar.gz...
Warning: Dune's Coq Build Language is deprecated, and will be removed in Dune
3.24. Please upgrade to the new Rocq Build Language.
Hint: To disable this warning, add the following to your dune-project file:
(warnings (deprecated_coq_lang disabled))
>>> 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...
Please specify at least one package name on the command line.
>>> 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
Please specify at least one package name on the command line.
>>> 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.1.0-r1.apk
>>> rocq-stdlib*: Tracing dependencies...
	rocq>9.1.0
>>> rocq-stdlib*: Package size: 76.6 MB
>>> rocq-stdlib*: Compressing data...
>>> rocq-stdlib*: Create checksum...
>>> rocq-stdlib*: Create rocq-stdlib-9.1.0-r1.apk
>>> rocq-stdlib: Build complete at Thu, 23 Apr 2026 23:31:05 +0000 elapsed time 0h 2m 5s
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Cleaning up tmpdir
>>> rocq-stdlib: Uninstalling dependencies...
( 1/85) Purging .makedepends-rocq-stdlib (20260423.232901)
( 2/85) Purging rocq (9.1.1-r1)
( 3/85) Purging dune (3.22.2-r0)
( 4/85) Purging linux-headers (7.0.0-r0)
( 5/85) Purging ocaml-findlib-dev (1.9.6-r7)
( 6/85) Purging ocaml-findlib (1.9.6-r7)
( 7/85) Purging ocamlfind (1.9.6-r7)
( 8/85) Purging ocaml-zarith (1.14-r0)
( 9/85) Purging gmp-dev (6.3.0-r4)
(10/85) Purging libgmpxx (6.3.0-r4)
(11/85) Purging at-spi2-core (2.60.1-r0)
(12/85) Purging git-perl (2.54.0-r0)
(13/85) Purging perl-git (2.54.0-r0)
(14/85) Purging perl-error (0.17030-r0)
(15/85) Purging glycin-image-rs (2.1.0-r0)
(16/85) Purging glycin-svg (2.1.0-r0)
(17/85) Purging gtksourceview (3.24.11-r4)
(18/85) Purging librsvg (2.62.1-r0)
(19/85) Purging libxtst (1.2.5-r0)
(20/85) Purging ocaml-abuild-helper (4.14.3-r0)
(21/85) Purging rpm-scripts (4.19.1.1-r5)
(22/85) Purging bash (5.3.9-r1)
  Executing bash-5.3.9-r1.pre-deinstall
(23/85) Purging perl (5.42.2-r0)
(24/85) Purging ocaml-compiler-libs (4.14.3-r0)
(25/85) Purging ocaml (4.14.3-r0)
(26/85) Purging ocaml-runtime (4.14.3-r0)
(27/85) Purging readline (8.3.3-r1)
(28/85) Purging gtk+3.0 (3.24.52-r0)
  Executing gtk+3.0-3.24.52-r0.post-deinstall
(29/85) Purging gobject-introspection (1.86.0-r1)
(30/85) Purging libatk-bridge-2.0 (2.60.1-r0)
(31/85) Purging at-spi2-core-libs (2.60.1-r0)
(32/85) Purging cups-libs (2.4.16-r0)
(33/85) Purging avahi-libs (0.8-r26)
(34/85) Purging pango (1.57.1-r0)
(35/85) Purging cairo-gobject (1.18.4-r1)
(36/85) Purging cairo (1.18.4-r1)
(37/85) Purging dbus-libs (1.16.2-r2)
(38/85) Purging libxft (2.3.9-r0)
(39/85) Purging gdk-pixbuf (2.44.6-r0)
  Executing gdk-pixbuf-2.44.6-r0.pre-deinstall
(40/85) Purging shared-mime-info (2.4-r7)
  Executing shared-mime-info-2.4-r7.post-deinstall
(41/85) Purging libglycin (2.1.0-r0)
(42/85) Purging fontconfig (2.17.1-r1)
(43/85) Purging harfbuzz (13.2.1-r0)
(44/85) Purging freetype (2.14.2-r0)
(45/85) Purging fribidi (1.0.16-r3)
(46/85) Purging libatk-1.0 (2.60.1-r0)
(47/85) Purging glib (2.88.0-r1)
(48/85) Purging gnutls (3.8.12-r0)
(49/85) Purging graphite2 (1.3.14-r6)
(50/85) Purging lcms2 (2.17-r0)
(51/85) Purging libmount (2.41.4-r0)
(52/85) Purging libblkid (2.41.4-r0)
(53/85) Purging libxi (1.8.2-r0)
(54/85) Purging libxrandr (1.5.5-r0)
(55/85) Purging libxinerama (1.1.6-r0)
(56/85) Purging libxext (1.3.7-r0)
(57/85) Purging libxcursor (1.2.3-r0)
(58/85) Purging libxdamage (1.1.7-r0)
(59/85) Purging libxrender (0.9.12-r0)
(60/85) Purging libxcomposite (0.4.7-r0)
(61/85) Purging libxfixes (6.0.2-r0)
(62/85) Purging libx11 (1.8.13-r0)
(63/85) Purging libxcb (1.17.0-r1)
(64/85) Purging libxdmcp (1.1.5-r1)
(65/85) Purging libbsd (0.12.2-r0)
(66/85) Purging libbz2 (1.0.8-r6)
(67/85) Purging libdav1d (1.5.3-r0)
(68/85) Purging libeconf (0.8.3-r0)
(69/85) Purging libepoxy (1.5.10-r1)
(70/85) Purging wayland-libs-cursor (1.25.0-r0)
(71/85) Purging wayland-libs-client (1.25.0-r0)
(72/85) Purging p11-kit (0.25.5-r2)
(73/85) Purging libffi (3.5.2-r1)
(74/85) Purging libmd (1.1.0-r0)
(75/85) Purging libpng (1.6.58-r0)
(76/85) Purging libseccomp (2.6.0-r2)
(77/85) Purging libtasn1 (4.21.0-r0)
(78/85) Purging libxau (1.0.12-r0)
(79/85) Purging libxkbcommon (1.13.1-r0)
(80/85) Purging xkeyboard-config (2.46-r0)
(81/85) Purging libxml2 (2.13.9-r1)
(82/85) Purging nettle (3.10.2-r0)
(83/85) Purging pixman (0.46.4-r0)
(84/85) Purging wayland-libs-egl (1.25.0-r0)
(85/85) Purging xz-libs (5.8.2-r0)
Executing busybox-1.37.0-r31.trigger
OK: 431.8 MiB in 107 packages
>>> rocq-stdlib: Updating the community/aarch64 repository index...
>>> rocq-stdlib: Signing the index...