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