>>> rocq-stdlib: Building community/rocq-stdlib 9.1.0-r1 (using abuild 3.17.0_rc1-r2) started Tue, 28 Apr 2026 04:07:45 +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/87) Installing libgmpxx (6.3.0-r4)
( 2/87) Installing gmp-dev (6.3.0-r4)
( 3/87) Installing ocaml-runtime (4.14.3-r0)
( 4/87) Installing ocaml (4.14.3-r0)
( 5/87) Installing readline (8.3.3-r1)
( 6/87) Installing bash (5.3.9-r1)
  Executing bash-5.3.9-r1.post-install
( 7/87) Installing libbz2 (1.0.8-r6)
( 8/87) Installing perl (5.42.2-r0)
( 9/87) Installing rpm-scripts (4.19.1.1-r5)
(10/87) Installing ocaml-abuild-helper (4.14.3-r0)
(11/87) Installing ocaml-compiler-libs (4.14.3-r0)
(12/87) Installing ocaml-zarith (1.14-r0)
(13/87) Installing ocamlfind (1.9.6-r7)
(14/87) Installing ocaml-findlib (1.9.6-r7)
(15/87) Installing libxau (1.0.12-r0)
(16/87) Installing libmd (1.1.0-r0)
(17/87) Installing libbsd (0.12.2-r0)
(18/87) Installing libxdmcp (1.1.5-r1)
(19/87) Installing libxcb (1.17.0-r1)
(20/87) Installing libx11 (1.8.13-r0)
(21/87) Installing libxext (1.3.7-r0)
(22/87) Installing libxrender (0.9.12-r0)
(23/87) Installing libpng (1.6.58-r0)
(24/87) Installing freetype (2.14.2-r0)
(25/87) Installing fontconfig (2.17.1-r1)
(26/87) Installing pixman (0.46.4-r0)
(27/87) Installing cairo (1.18.4-r1)
(28/87) Installing libffi (3.5.2-r1)
(29/87) Installing libintl (1.0-r0)
(30/87) Installing libeconf (0.8.3-r0)
(31/87) Installing libblkid (2.41.4-r0)
(32/87) Installing libmount (2.41.4-r0)
(33/87) Installing glib (2.88.0-r1)
(34/87) Installing gobject-introspection (1.86.0-r1)
(35/87) Installing xz-libs (5.8.3-r0)
(36/87) Installing libxml2 (2.13.9-r1)
(37/87) Installing shared-mime-info (2.4-r7)
(38/87) Installing libxcomposite (0.4.7-r0)
(39/87) Installing libxfixes (6.0.2-r0)
(40/87) Installing libxcursor (1.2.3-r0)
(41/87) Installing libxdamage (1.1.7-r0)
(42/87) Installing libxi (1.8.2-r0)
(43/87) Installing libxinerama (1.1.6-r0)
(44/87) Installing libxrandr (1.5.5-r0)
(45/87) Installing libatk-1.0 (2.60.2-r0)
(46/87) Installing dbus-libs (1.16.2-r2)
(47/87) Installing at-spi2-core-libs (2.60.2-r0)
(48/87) Installing libxtst (1.2.5-r0)
(49/87) Installing at-spi2-core (2.60.2-r0)
(50/87) Installing libatk-bridge-2.0 (2.60.2-r0)
(51/87) Installing cairo-gobject (1.18.4-r1)
(52/87) Installing avahi-libs (0.8-r26)
(53/87) Installing nettle (3.10.2-r0)
(54/87) Installing libtasn1 (4.21.0-r0)
(55/87) Installing p11-kit (0.25.5-r2)
(56/87) Installing gnutls (3.8.12-r0)
(57/87) Installing cups-libs (2.4.18-r0)
(58/87) Installing libepoxy (1.5.10-r1)
(59/87) Installing fribidi (1.0.16-r3)
(60/87) Installing bubblewrap (0.11.2-r0)
(61/87) Installing lcms2 (2.19-r0)
(62/87) Installing libseccomp (2.6.0-r2)
(63/87) 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.
(64/87) Installing glycin-image-rs (2.1.0-r0)
(65/87) Installing libdav1d (1.5.3-r0)
(66/87) Installing libxft (2.3.9-r0)
(67/87) Installing graphite2 (1.3.14-r6)
(68/87) Installing harfbuzz (13.2.1-r0)
(69/87) Installing pango (1.57.1-r0)
(70/87) Installing librsvg (2.62.1-r0)
(71/87) Installing glycin-svg (2.1.0-r0)
(72/87) Installing gdk-pixbuf (2.44.6-r0)
(73/87) Installing wayland-libs-client (1.25.0-r0)
(74/87) Installing wayland-libs-cursor (1.25.0-r0)
(75/87) Installing wayland-libs-egl (1.25.0-r0)
(76/87) Installing xkeyboard-config (2.46-r0)
(77/87) Installing libxkbcommon (1.13.1-r0)
(78/87) Installing gtk+3.0 (3.24.52-r0)
(79/87) Installing gtksourceview (3.24.11-r4)
(80/87) Installing rocq (9.1.1-r1)
(81/87) Installing dune (3.22.2-r0)
(82/87) Installing linux-headers (7.0.0-r0)
(83/87) Installing ocaml-findlib-dev (1.9.6-r7)
(84/87) Installing .makedepends-rocq-stdlib (20260428.040747)
(85/87) Installing perl-error (0.17030-r0)
(86/87) Installing perl-git (2.54.0-r0)
(87/87) 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: 1308.1 MiB in 190 packages
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Cleaning up tmpdir
>>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/v3.24/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 (20.26.156.215:443)
Connecting to release-assets.githubusercontent.com (185.199.108.133:443)
saving to '/var/cache/distfiles/v3.24/rocq-stdlib-9.1.0.tar.gz.part'
rocq-stdlib-9.1.0.ta 100% |********************************| 1820k  0:00:00 ETA
'/var/cache/distfiles/v3.24/rocq-stdlib-9.1.0.tar.gz.part' saved
/var/cache/distfiles/v3.24/rocq-stdlib-9.1.0.tar.gz: OK
>>> rocq-stdlib: Fetching https://distfiles.alpinelinux.org/distfiles/v3.24/rocq-stdlib-9.1.0.tar.gz
/var/cache/distfiles/v3.24/rocq-stdlib-9.1.0.tar.gz: OK
>>> rocq-stdlib: Unpacking /var/cache/distfiles/v3.24/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 Tue, 28 Apr 2026 04:10:40 +0000 elapsed time 0h 2m 55s
>>> rocq-stdlib: Cleaning up srcdir
>>> rocq-stdlib: Cleaning up pkgdir
>>> rocq-stdlib: Uninstalling dependencies...
( 1/87) Purging .makedepends-rocq-stdlib (20260428.040747)
( 2/87) Purging rocq (9.1.1-r1)
( 3/87) Purging dune (3.22.2-r0)
( 4/87) Purging linux-headers (7.0.0-r0)
( 5/87) Purging ocaml-findlib-dev (1.9.6-r7)
( 6/87) Purging ocaml-findlib (1.9.6-r7)
( 7/87) Purging ocamlfind (1.9.6-r7)
( 8/87) Purging ocaml-zarith (1.14-r0)
( 9/87) Purging gmp-dev (6.3.0-r4)
(10/87) Purging libgmpxx (6.3.0-r4)
(11/87) Purging at-spi2-core (2.60.2-r0)
(12/87) Purging git-perl (2.54.0-r0)
(13/87) Purging perl-git (2.54.0-r0)
(14/87) Purging perl-error (0.17030-r0)
(15/87) Purging glycin-image-rs (2.1.0-r0)
(16/87) Purging glycin-svg (2.1.0-r0)
(17/87) Purging gtksourceview (3.24.11-r4)
(18/87) Purging librsvg (2.62.1-r0)
(19/87) Purging libxtst (1.2.5-r0)
(20/87) Purging ocaml-abuild-helper (4.14.3-r0)
(21/87) Purging rpm-scripts (4.19.1.1-r5)
(22/87) Purging bash (5.3.9-r1)
  Executing bash-5.3.9-r1.pre-deinstall
(23/87) Purging perl (5.42.2-r0)
(24/87) Purging ocaml-compiler-libs (4.14.3-r0)
(25/87) Purging ocaml (4.14.3-r0)
(26/87) Purging ocaml-runtime (4.14.3-r0)
(27/87) Purging readline (8.3.3-r1)
(28/87) Purging gtk+3.0 (3.24.52-r0)
  Executing gtk+3.0-3.24.52-r0.post-deinstall
(29/87) Purging gobject-introspection (1.86.0-r1)
(30/87) Purging libatk-bridge-2.0 (2.60.2-r0)
(31/87) Purging at-spi2-core-libs (2.60.2-r0)
(32/87) Purging cups-libs (2.4.18-r0)
(33/87) Purging avahi-libs (0.8-r26)
(34/87) Purging gdk-pixbuf (2.44.6-r0)
  Executing gdk-pixbuf-2.44.6-r0.pre-deinstall
(35/87) Purging shared-mime-info (2.4-r7)
  Executing shared-mime-info-2.4-r7.post-deinstall
(36/87) Purging libglycin (2.1.0-r0)
(37/87) Purging bubblewrap (0.11.2-r0)
(38/87) Purging pango (1.57.1-r0)
(39/87) Purging cairo-gobject (1.18.4-r1)
(40/87) Purging cairo (1.18.4-r1)
(41/87) Purging dbus-libs (1.16.2-r2)
(42/87) Purging libxft (2.3.9-r0)
(43/87) Purging fontconfig (2.17.1-r1)
(44/87) Purging harfbuzz (13.2.1-r0)
(45/87) Purging freetype (2.14.2-r0)
(46/87) Purging fribidi (1.0.16-r3)
(47/87) Purging libatk-1.0 (2.60.2-r0)
(48/87) Purging glib (2.88.0-r1)
(49/87) Purging gnutls (3.8.12-r0)
(50/87) Purging graphite2 (1.3.14-r6)
(51/87) Purging lcms2 (2.19-r0)
(52/87) Purging libmount (2.41.4-r0)
(53/87) Purging libblkid (2.41.4-r0)
(54/87) Purging libxi (1.8.2-r0)
(55/87) Purging libxrandr (1.5.5-r0)
(56/87) Purging libxinerama (1.1.6-r0)
(57/87) Purging libxext (1.3.7-r0)
(58/87) Purging libxcursor (1.2.3-r0)
(59/87) Purging libxdamage (1.1.7-r0)
(60/87) Purging libxrender (0.9.12-r0)
(61/87) Purging libxcomposite (0.4.7-r0)
(62/87) Purging libxfixes (6.0.2-r0)
(63/87) Purging libx11 (1.8.13-r0)
(64/87) Purging libxcb (1.17.0-r1)
(65/87) Purging libxdmcp (1.1.5-r1)
(66/87) Purging libbsd (0.12.2-r0)
(67/87) Purging libbz2 (1.0.8-r6)
(68/87) Purging libdav1d (1.5.3-r0)
(69/87) Purging libeconf (0.8.3-r0)
(70/87) Purging libepoxy (1.5.10-r1)
(71/87) Purging wayland-libs-cursor (1.25.0-r0)
(72/87) Purging wayland-libs-client (1.25.0-r0)
(73/87) Purging p11-kit (0.25.5-r2)
(74/87) Purging libffi (3.5.2-r1)
(75/87) Purging libintl (1.0-r0)
(76/87) Purging libmd (1.1.0-r0)
(77/87) Purging libpng (1.6.58-r0)
(78/87) Purging libseccomp (2.6.0-r2)
(79/87) Purging libtasn1 (4.21.0-r0)
(80/87) Purging libxau (1.0.12-r0)
(81/87) Purging libxkbcommon (1.13.1-r0)
(82/87) Purging xkeyboard-config (2.46-r0)
(83/87) Purging libxml2 (2.13.9-r1)
(84/87) Purging nettle (3.10.2-r0)
(85/87) Purging pixman (0.46.4-r0)
(86/87) Purging wayland-libs-egl (1.25.0-r0)
(87/87) Purging xz-libs (5.8.3-r0)
Executing busybox-1.37.0-r31.trigger
OK: 459.0 MiB in 103 packages
>>> rocq-stdlib: Updating the community/ppc64le repository index...
>>> rocq-stdlib: Signing the index...