>>> rocq-stdlib: Building community/rocq-stdlib 9.1.0-r0 (using abuild 3.16.0-r0) started Wed, 25 Mar 2026 08:13:37 +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/84) Installing libgmpxx (6.3.0-r4)
( 2/84) Installing gmp-dev (6.3.0-r4)
( 3/84) Installing ocaml-runtime (4.14.2-r2)
( 4/84) Installing ocaml (4.14.2-r2)
( 5/84) Installing bash (5.3.9-r1)
  Executing bash-5.3.9-r1.post-install
( 6/84) Installing libbz2 (1.0.8-r6)
( 7/84) Installing perl (5.42.1-r0)
( 8/84) Installing rpm-scripts (4.19.1.1-r4)
( 9/84) Installing ocaml-abuild-helper (4.14.2-r2)
(10/84) Installing ocaml-compiler-libs (4.14.2-r2)
(11/84) Installing ocaml-zarith (1.12-r6)
(12/84) Installing ocamlfind (1.9.6-r6)
(13/84) Installing ocaml-findlib (1.9.6-r6)
(14/84) Installing libxau (1.0.12-r0)
(15/84) Installing libmd (1.1.0-r0)
(16/84) Installing libbsd (0.12.2-r0)
(17/84) Installing libxdmcp (1.1.5-r1)
(18/84) Installing libxcb (1.17.0-r1)
(19/84) Installing libx11 (1.8.13-r0)
(20/84) Installing libxext (1.3.7-r0)
(21/84) Installing libxrender (0.9.12-r0)
(22/84) Installing libpng (1.6.55-r0)
(23/84) Installing freetype (2.14.2-r0)
(24/84) Installing fontconfig (2.17.1-r0)
(25/84) Installing pixman (0.46.4-r0)
(26/84) Installing cairo (1.18.4-r1)
(27/84) Installing libffi (3.5.2-r0)
(28/84) Installing libeconf (0.8.3-r0)
(29/84) Installing libblkid (2.41.3-r0)
(30/84) Installing libmount (2.41.3-r0)
(31/84) Installing glib (2.88.0-r0)
(32/84) Installing gobject-introspection (1.86.0-r0)
(33/84) Installing xz-libs (5.8.2-r0)
(34/84) Installing libxml2 (2.13.9-r0)
(35/84) Installing shared-mime-info (2.4-r7)
(36/84) Installing libxcomposite (0.4.7-r0)
(37/84) Installing libxfixes (6.0.2-r0)
(38/84) Installing libxcursor (1.2.3-r0)
(39/84) Installing libxdamage (1.1.7-r0)
(40/84) Installing libxi (1.8.2-r0)
(41/84) Installing libxinerama (1.1.6-r0)
(42/84) Installing libxrandr (1.5.5-r0)
(43/84) Installing libatk-1.0 (2.60.0-r0)
(44/84) Installing dbus-libs (1.16.2-r2)
(45/84) Installing at-spi2-core-libs (2.60.0-r0)
(46/84) Installing libxtst (1.2.5-r0)
(47/84) Installing at-spi2-core (2.60.0-r0)
(48/84) Installing libatk-bridge-2.0 (2.60.0-r0)
(49/84) Installing cairo-gobject (1.18.4-r1)
(50/84) Installing avahi-libs (0.8-r23)
(51/84) Installing nettle (3.10.2-r0)
(52/84) Installing libtasn1 (4.21.0-r0)
(53/84) Installing p11-kit (0.25.5-r2)
(54/84) Installing gnutls (3.8.12-r0)
(55/84) Installing cups-libs (2.4.16-r0)
(56/84) Installing libepoxy (1.5.10-r1)
(57/84) Installing fribidi (1.0.16-r3)
(58/84) Installing lcms2 (2.17-r0)
(59/84) Installing libseccomp (2.6.0-r1)
(60/84) 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.
(61/84) Installing glycin-image-rs (2.1.0-r0)
(62/84) Installing libdav1d (1.5.3-r0)
(63/84) Installing libxft (2.3.9-r0)
(64/84) Installing graphite2 (1.3.14-r6)
(65/84) Installing harfbuzz (13.2.1-r0)
(66/84) Installing pango (1.56.4-r0)
(67/84) Installing librsvg (2.62.1-r0)
(68/84) Installing glycin-svg (2.1.0-r0)
(69/84) Installing gdk-pixbuf (2.44.5-r1)
(70/84) Installing wayland-libs-client (1.25.0-r0)
(71/84) Installing wayland-libs-cursor (1.25.0-r0)
(72/84) Installing wayland-libs-egl (1.25.0-r0)
(73/84) Installing xkeyboard-config (2.46-r0)
(74/84) Installing libxkbcommon (1.12.2-r0)
(75/84) Installing gtk+3.0 (3.24.52-r0)
(76/84) Installing gtksourceview (3.24.11-r4)
(77/84) Installing rocq (9.1.1-r0)
(78/84) Installing dune (3.21.1-r0)
(79/84) Installing linux-headers (6.19.9-r0)
(80/84) Installing ocaml-findlib-dev (1.9.6-r6)
(81/84) Installing .makedepends-rocq-stdlib (20260325.081339)
(82/84) Installing perl-error (0.17030-r0)
(83/84) Installing perl-git (2.53.0-r0)
(84/84) Installing git-perl (2.53.0-r0)
Executing busybox-1.37.0-r31.trigger
Executing glib-2.88.0-r0.trigger
Executing shared-mime-info-2.4-r7.trigger
Executing gtk+3.0-3.24.52-r0.trigger
OK: 1272.8 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)
wget: server returned error: HTTP/1.1 404 Not Found
>>> rocq-stdlib: Fetching rocq-stdlib-9.1.0.tar.gz::https://github.com/rocq-prover/stdlib/releases/download/V9.1.0/stdlib-9.1.0.tar.gz
Connecting to github.com (140.82.121.4:443)
Connecting to release-assets.githubusercontent.com (185.199.109.133: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...
>>> 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.1.0-r0.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-r0.apk
>>> rocq-stdlib: Build complete at Wed, 25 Mar 2026 08:15:31 +0000 elapsed time 0h 1m 54s
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Cleaning up tmpdir
>>> rocq-stdlib: Uninstalling dependencies...
( 1/84) Purging .makedepends-rocq-stdlib (20260325.081339)
( 2/84) Purging rocq (9.1.1-r0)
( 3/84) Purging dune (3.21.1-r0)
( 4/84) Purging linux-headers (6.19.9-r0)
( 5/84) Purging ocaml-findlib-dev (1.9.6-r6)
( 6/84) Purging ocaml-findlib (1.9.6-r6)
( 7/84) Purging ocamlfind (1.9.6-r6)
( 8/84) Purging ocaml-zarith (1.12-r6)
( 9/84) Purging gmp-dev (6.3.0-r4)
(10/84) Purging libgmpxx (6.3.0-r4)
(11/84) Purging at-spi2-core (2.60.0-r0)
(12/84) Purging git-perl (2.53.0-r0)
(13/84) Purging perl-git (2.53.0-r0)
(14/84) Purging perl-error (0.17030-r0)
(15/84) Purging glycin-image-rs (2.1.0-r0)
(16/84) Purging glycin-svg (2.1.0-r0)
(17/84) Purging gtksourceview (3.24.11-r4)
(18/84) Purging librsvg (2.62.1-r0)
(19/84) Purging libxtst (1.2.5-r0)
(20/84) Purging ocaml-abuild-helper (4.14.2-r2)
(21/84) Purging rpm-scripts (4.19.1.1-r4)
(22/84) Purging bash (5.3.9-r1)
  Executing bash-5.3.9-r1.pre-deinstall
(23/84) Purging perl (5.42.1-r0)
(24/84) Purging ocaml-compiler-libs (4.14.2-r2)
(25/84) Purging ocaml (4.14.2-r2)
(26/84) Purging ocaml-runtime (4.14.2-r2)
(27/84) Purging gtk+3.0 (3.24.52-r0)
  Executing gtk+3.0-3.24.52-r0.post-deinstall
(28/84) Purging gobject-introspection (1.86.0-r0)
(29/84) Purging libatk-bridge-2.0 (2.60.0-r0)
(30/84) Purging at-spi2-core-libs (2.60.0-r0)
(31/84) Purging cups-libs (2.4.16-r0)
(32/84) Purging avahi-libs (0.8-r23)
(33/84) Purging pango (1.56.4-r0)
(34/84) Purging cairo-gobject (1.18.4-r1)
(35/84) Purging cairo (1.18.4-r1)
(36/84) Purging dbus-libs (1.16.2-r2)
(37/84) Purging libxft (2.3.9-r0)
(38/84) Purging gdk-pixbuf (2.44.5-r1)
  Executing gdk-pixbuf-2.44.5-r1.pre-deinstall
(39/84) Purging shared-mime-info (2.4-r7)
  Executing shared-mime-info-2.4-r7.post-deinstall
(40/84) Purging libglycin (2.1.0-r0)
(41/84) Purging fontconfig (2.17.1-r0)
(42/84) Purging harfbuzz (13.2.1-r0)
(43/84) Purging freetype (2.14.2-r0)
(44/84) Purging fribidi (1.0.16-r3)
(45/84) Purging libatk-1.0 (2.60.0-r0)
(46/84) Purging glib (2.88.0-r0)
(47/84) Purging gnutls (3.8.12-r0)
(48/84) Purging graphite2 (1.3.14-r6)
(49/84) Purging lcms2 (2.17-r0)
(50/84) Purging libmount (2.41.3-r0)
(51/84) Purging libblkid (2.41.3-r0)
(52/84) Purging libxi (1.8.2-r0)
(53/84) Purging libxrandr (1.5.5-r0)
(54/84) Purging libxinerama (1.1.6-r0)
(55/84) Purging libxext (1.3.7-r0)
(56/84) Purging libxcursor (1.2.3-r0)
(57/84) Purging libxdamage (1.1.7-r0)
(58/84) Purging libxrender (0.9.12-r0)
(59/84) Purging libxcomposite (0.4.7-r0)
(60/84) Purging libxfixes (6.0.2-r0)
(61/84) Purging libx11 (1.8.13-r0)
(62/84) Purging libxcb (1.17.0-r1)
(63/84) Purging libxdmcp (1.1.5-r1)
(64/84) Purging libbsd (0.12.2-r0)
(65/84) Purging libbz2 (1.0.8-r6)
(66/84) Purging libdav1d (1.5.3-r0)
(67/84) Purging libeconf (0.8.3-r0)
(68/84) Purging libepoxy (1.5.10-r1)
(69/84) Purging wayland-libs-cursor (1.25.0-r0)
(70/84) Purging wayland-libs-client (1.25.0-r0)
(71/84) Purging p11-kit (0.25.5-r2)
(72/84) Purging libffi (3.5.2-r0)
(73/84) Purging libmd (1.1.0-r0)
(74/84) Purging libpng (1.6.55-r0)
(75/84) Purging libseccomp (2.6.0-r1)
(76/84) Purging libtasn1 (4.21.0-r0)
(77/84) Purging libxau (1.0.12-r0)
(78/84) Purging libxkbcommon (1.12.2-r0)
(79/84) Purging xkeyboard-config (2.46-r0)
(80/84) Purging libxml2 (2.13.9-r0)
(81/84) Purging nettle (3.10.2-r0)
(82/84) Purging pixman (0.46.4-r0)
(83/84) Purging wayland-libs-egl (1.25.0-r0)
(84/84) Purging xz-libs (5.8.2-r0)
Executing busybox-1.37.0-r31.trigger
OK: 432.7 MiB in 108 packages
>>> rocq-stdlib: Updating the community/aarch64 repository index...
>>> rocq-stdlib: Signing the index...