>>> rocq: Building community/rocq 9.1.1-r1 (using abuild 3.17.0_rc1-r2) started Sat, 25 Apr 2026 08:08:19 +0000
>>> rocq: Validating /home/buildozer/aports/community/rocq/APKBUILD...
>>> rocq: Analyzing dependencies...
>>> rocq: Installing for build: build-base bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-lablgtk3-dev ocaml-zarith
(  1/230) Installing readline (8.3.3-r1)
(  2/230) Installing bash (5.3.9-r1)
  Executing bash-5.3.9-r1.post-install
(  3/230) Installing dune (3.22.2-r0)
(  4/230) Installing linux-headers (7.0.0-r0)
(  5/230) Installing ocaml-runtime (4.14.3-r0)
(  6/230) Installing ocaml (4.14.3-r0)
(  7/230) Installing libbz2 (1.0.8-r6)
(  8/230) Installing perl (5.42.2-r0)
(  9/230) Installing rpm-scripts (4.19.1.1-r5)
( 10/230) Installing ocaml-abuild-helper (4.14.3-r0)
( 11/230) Installing ocaml-compiler-libs (4.14.3-r0)
( 12/230) Installing ocamlfind (1.9.6-r7)
( 13/230) Installing ocaml-findlib (1.9.6-r7)
( 14/230) Installing ocaml-findlib-dev (1.9.6-r7)
( 15/230) Installing libxau (1.0.12-r0)
( 16/230) Installing libmd (1.1.0-r0)
( 17/230) Installing libbsd (0.12.2-r0)
( 18/230) Installing libxdmcp (1.1.5-r1)
( 19/230) Installing libxcb (1.17.0-r1)
( 20/230) Installing libx11 (1.8.13-r0)
( 21/230) Installing libxext (1.3.7-r0)
( 22/230) Installing libxrender (0.9.12-r0)
( 23/230) Installing libpng (1.6.58-r0)
( 24/230) Installing freetype (2.14.2-r0)
( 25/230) Installing fontconfig (2.17.1-r1)
( 26/230) Installing pixman (0.46.4-r0)
( 27/230) Installing cairo (1.18.4-r1)
( 28/230) Installing ocaml-cairo2 (0.6.5-r2)
( 29/230) Installing libffi (3.5.2-r1)
( 30/230) Installing libintl (1.0-r0)
( 31/230) Installing libeconf (0.8.3-r0)
( 32/230) Installing libblkid (2.41.4-r0)
( 33/230) Installing libmount (2.41.4-r0)
( 34/230) Installing glib (2.88.0-r1)
( 35/230) Installing gobject-introspection (1.86.0-r1)
( 36/230) Installing xz-libs (5.8.2-r0)
( 37/230) Installing libxml2 (2.13.9-r1)
( 38/230) Installing shared-mime-info (2.4-r7)
( 39/230) Installing libxcomposite (0.4.7-r0)
( 40/230) Installing libxfixes (6.0.2-r0)
( 41/230) Installing libxcursor (1.2.3-r0)
( 42/230) Installing libxdamage (1.1.7-r0)
( 43/230) Installing libxi (1.8.2-r0)
( 44/230) Installing libxinerama (1.1.6-r0)
( 45/230) Installing libxrandr (1.5.5-r0)
( 46/230) Installing libatk-1.0 (2.60.1-r0)
( 47/230) Installing dbus-libs (1.16.2-r2)
( 48/230) Installing at-spi2-core-libs (2.60.1-r0)
( 49/230) Installing libxtst (1.2.5-r0)
( 50/230) Installing at-spi2-core (2.60.1-r0)
( 51/230) Installing libatk-bridge-2.0 (2.60.1-r0)
( 52/230) Installing cairo-gobject (1.18.4-r1)
( 53/230) Installing avahi-libs (0.8-r26)
( 54/230) Installing nettle (3.10.2-r0)
( 55/230) Installing libtasn1 (4.21.0-r0)
( 56/230) Installing p11-kit (0.25.5-r2)
( 57/230) Installing gnutls (3.8.12-r0)
( 58/230) Installing cups-libs (2.4.16-r0)
( 59/230) Installing libepoxy (1.5.10-r1)
( 60/230) Installing fribidi (1.0.16-r3)
( 61/230) Installing bubblewrap (0.11.2-r0)
( 62/230) Installing lcms2 (2.17-r0)
( 63/230) Installing libseccomp (2.6.0-r2)
( 64/230) 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.
( 65/230) Installing glycin-image-rs (2.1.0-r0)
( 66/230) Installing libdav1d (1.5.3-r0)
( 67/230) Installing libxft (2.3.9-r0)
( 68/230) Installing graphite2 (1.3.14-r6)
( 69/230) Installing harfbuzz (13.2.1-r0)
( 70/230) Installing pango (1.57.1-r0)
( 71/230) Installing librsvg (2.62.1-r0)
( 72/230) Installing glycin-svg (2.1.0-r0)
( 73/230) Installing gdk-pixbuf (2.44.6-r0)
( 74/230) Installing wayland-libs-client (1.25.0-r0)
( 75/230) Installing wayland-libs-cursor (1.25.0-r0)
( 76/230) Installing wayland-libs-egl (1.25.0-r0)
( 77/230) Installing xkeyboard-config (2.46-r0)
( 78/230) Installing libxkbcommon (1.13.1-r0)
( 79/230) Installing gtk+3.0 (3.24.52-r0)
( 80/230) Installing gtksourceview (3.24.11-r4)
( 81/230) Installing ocaml-lablgtk3 (3.1.2-r5)
( 82/230) Installing ocaml-cairo2-dev (0.6.5-r2)
( 83/230) Installing bzip2-dev (1.0.8-r6)
( 84/230) Installing libxml2-utils (2.13.9-r1)
( 85/230) Installing docbook-xml (4.5-r10)
  Executing docbook-xml-4.5-r10.post-install
( 86/230) Installing libxslt (1.1.43-r3)
( 87/230) Installing docbook-xsl-ns (1.79.2-r13)
  Executing docbook-xsl-ns-1.79.2-r13.post-install
( 88/230) Installing docbook-xsl-nons (1.79.2-r13)
  Executing docbook-xsl-nons-1.79.2-r13.post-install
( 89/230) Installing docbook-xsl (1.79.2-r13)
( 90/230) Installing xz (5.8.2-r0)
( 91/230) Installing gettext-asprintf (1.0-r0)
( 92/230) Installing gettext-libs (1.0-r0)
( 93/230) Installing gettext-envsubst (1.0-r0)
( 94/230) Installing gettext (1.0-r0)
( 95/230) Installing gettext-dev (1.0-r0)
( 96/230) Installing gdbm (1.26-r0)
( 97/230) Installing mpdecimal (4.0.1-r0)
( 98/230) Installing libpanelw (6.6_p20260404-r0)
( 99/230) Installing sqlite-libs (3.53.0-r0)
(100/230) Installing python3 (3.14.3-r0)
(101/230) Installing python3-pycache-pyc0 (3.14.3-r0)
(102/230) Installing pyc (3.14.3-r0)
(103/230) Installing python3-pyc (3.14.3-r0)
(104/230) Installing py3-parsing (3.3.2-r1)
(105/230) Installing py3-parsing-pyc (3.3.2-r1)
(106/230) Installing py3-packaging (26.1-r0)
(107/230) Installing py3-packaging-pyc (26.1-r0)
(108/230) Installing libffi-dev (3.5.2-r1)
(109/230) Installing bsd-compat-headers (0.7.2-r6)
(110/230) Installing libformw (6.6_p20260404-r0)
(111/230) Installing libmenuw (6.6_p20260404-r0)
(112/230) Installing libncurses++ (6.6_p20260404-r0)
(113/230) Installing ncurses-dev (6.6_p20260404-r0)
(114/230) Installing libedit-dev (20251016.3.1-r1)
(115/230) Installing zlib-dev (1.3.2-r0)
(116/230) Installing libpcre2-16 (10.47-r0)
(117/230) Installing libpcre2-32 (10.47-r0)
(118/230) Installing pcre2-dev (10.47-r0)
(119/230) Installing libuuid (2.41.4-r0)
(120/230) Installing libfdisk (2.41.4-r0)
(121/230) Installing liblastlog2 (2.41.4-r0)
(122/230) Installing libsmartcols (2.41.4-r0)
(123/230) Installing sqlite (3.53.0-r0)
(124/230) Installing sqlite-dev (3.53.0-r0)
(125/230) Installing util-linux-dev (2.41.4-r0)
(126/230) Installing glib-dev (2.88.0-r1)
(127/230) Installing expat (2.7.5-r0)
(128/230) Installing expat-dev (2.7.5-r0)
(129/230) Installing brotli (1.2.0-r1)
(130/230) Installing brotli-dev (1.2.0-r1)
(131/230) Installing libpng-dev (1.6.58-r0)
(132/230) Installing freetype-dev (2.14.2-r0)
(133/230) Installing fontconfig-dev (2.17.1-r1)
(134/230) Installing lcms2-plugins (2.17-r0)
(135/230) Installing libjpeg-turbo (3.1.3-r0)
(136/230) Installing libturbojpeg (3.1.3-r0)
(137/230) Installing libjpeg-turbo-dev (3.1.3-r0)
(138/230) Installing libsharpyuv (1.6.0-r0)
(139/230) Installing libwebp (1.6.0-r0)
(140/230) Installing tiff (4.7.1-r0)
(141/230) Installing libtiffxx (4.7.1-r0)
(142/230) Installing libwebpdecoder (1.6.0-r0)
(143/230) Installing libwebpdemux (1.6.0-r0)
(144/230) Installing libwebpmux (1.6.0-r0)
(145/230) Installing libwebp-dev (1.6.0-r0)
(146/230) Installing zstd (1.5.7-r2)
(147/230) Installing zstd-dev (1.5.7-r2)
(148/230) Installing tiff-dev (4.7.1-r0)
(149/230) Installing lcms2-dev (2.17-r0)
(150/230) Installing libseccomp-dev (2.6.0-r2)
(151/230) Installing libglycin-dev (2.1.0-r0)
(152/230) Installing gdk-pixbuf-dev (2.44.6-r0)
(153/230) Installing xorgproto (2025.1-r0)
(154/230) Installing libxau-dev (1.0.12-r0)
(155/230) Installing xcb-proto (1.17.0-r1)
(156/230) Installing xcb-proto-pyc (1.17.0-r1)
(157/230) Installing libxdmcp-dev (1.1.5-r1)
(158/230) Installing libxcb-dev (1.17.0-r1)
(159/230) Installing xtrans (1.6.0-r0)
(160/230) Installing libx11-dev (1.8.13-r0)
(161/230) Installing hwdata-pci (0.406-r0)
(162/230) Installing libpciaccess (0.18.1-r1)
(163/230) Installing libdrm (2.4.131-r0)
(164/230) Installing libpciaccess-dev (0.18.1-r1)
(165/230) Installing libdrm-dev (2.4.131-r0)
(166/230) Installing libxfixes-dev (6.0.2-r0)
(167/230) Installing libxdamage-dev (1.1.7-r0)
(168/230) Installing libxshmfence (1.3.3-r0)
(169/230) Installing libxshmfence-dev (1.3.3-r0)
(170/230) Installing llvm22-libs (22.1.3-r0)
(171/230) Installing spirv-tools (1.4.341.0-r0)
(172/230) Installing libelf (0.195-r0)
(173/230) Installing mesa (26.0.5-r0)
(174/230) Installing mesa-gles (26.0.5-r0)
(175/230) Installing mesa-gbm (26.0.5-r0)
(176/230) Installing mesa-egl (26.0.5-r0)
(177/230) Installing libxxf86vm (1.1.7-r0)
(178/230) Installing mesa-gl (26.0.5-r0)
(179/230) Installing clang22-headers (22.1.3-r0)
(180/230) Installing libclc (22.1.3-r0)
(181/230) Installing spirv-llvm-translator-libs (22.1.0-r0)
(182/230) Installing clang22-libs (22.1.3-r0)
(183/230) Installing mesa-rusticl (26.0.5-r0)
(184/230) Installing libxext-dev (1.3.7-r0)
(185/230) Installing libxxf86vm-dev (1.1.7-r0)
(186/230) Installing mesa-dev (26.0.5-r0)
(187/230) Installing libepoxy-dev (1.5.10-r1)
(188/230) Installing libxi-dev (1.8.2-r0)
(189/230) Installing libxinerama-dev (1.1.6-r0)
(190/230) Installing libxkbcommon-x11 (1.13.1-r0)
(191/230) Installing xz-dev (5.8.2-r0)
(192/230) Installing libxml2-dev (2.13.9-r1)
(193/230) Installing libxkbcommon-dev (1.13.1-r0)
(194/230) Installing wayland-protocols (1.48-r0)
(195/230) Installing dbus-dev (1.16.2-r2)
(196/230) Installing libxtst-dev (1.2.5-r0)
(197/230) Installing at-spi2-core-dev (2.60.1-r0)
(198/230) Installing cairo-tools (1.18.4-r1)
(199/230) Installing pixman-dev (0.46.4-r0)
(200/230) Installing libxrender-dev (0.9.12-r0)
(201/230) Installing cairo-dev (1.18.4-r1)
(202/230) Installing fribidi-dev (1.0.16-r3)
(203/230) Installing pango-tools (1.57.1-r0)
(204/230) Installing harfbuzz-cairo (13.2.1-r0)
(205/230) Installing harfbuzz-gobject (13.2.1-r0)
(206/230) Installing icu-data-en (78.1-r0)
  Executing icu-data-en-78.1-r0.post-install
  * If you need ICU with non-English locales and legacy charset support, install
  * package icu-data-full.
(207/230) Installing icu-libs (78.1-r0)
(208/230) Installing harfbuzz-icu (13.2.1-r0)
(209/230) Installing harfbuzz-subset (13.2.1-r0)
(210/230) Installing graphite2-dev (1.3.14-r6)
(211/230) Installing icu (78.1-r0)
(212/230) Installing icu-dev (78.1-r0)
(213/230) Installing harfbuzz-dev (13.2.1-r0)
(214/230) Installing libxft-dev (2.3.9-r0)
(215/230) Installing pango-dev (1.57.1-r0)
(216/230) Installing wayland-libs-server (1.25.0-r0)
(217/230) Installing wayland-dev (1.25.0-r0)
(218/230) Installing libxcomposite-dev (0.4.7-r0)
(219/230) Installing libxcursor-dev (1.2.3-r0)
(220/230) Installing libxrandr-dev (1.5.5-r0)
(221/230) Installing gtk+3.0-dev (3.24.52-r0)
(222/230) Installing gtksourceview-dev (3.24.11-r4)
(223/230) Installing ocaml-lablgtk3-dev (3.1.2-r5)
(224/230) Installing libgmpxx (6.3.0-r4)
(225/230) Installing gmp-dev (6.3.0-r4)
(226/230) Installing ocaml-zarith (1.14-r0)
(227/230) Installing .makedepends-rocq (20260425.080819)
(228/230) Installing perl-error (0.17030-r0)
(229/230) Installing perl-git (2.54.0-r0)
(230/230) 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: 1408.0 MiB in 333 packages
>>> rocq: Cleaning up srcdir
>>> rocq: Cleaning up pkgdir
>>> rocq: Cleaning up tmpdir
>>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/v3.24/rocq-9.1.1.tar.gz
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
wget: server returned error: HTTP/1.1 404 Not Found
>>> rocq: Fetching https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz
Connecting to github.com (140.82.121.3:443)
Connecting to release-assets.githubusercontent.com (185.199.111.133:443)
saving to '/var/cache/distfiles/v3.24/rocq-9.1.1.tar.gz.part'
rocq-9.1.1.tar.gz.pa 100% |********************************| 6245k  0:00:00 ETA
'/var/cache/distfiles/v3.24/rocq-9.1.1.tar.gz.part' saved
/var/cache/distfiles/v3.24/rocq-9.1.1.tar.gz: OK
>>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/v3.24/rocq-9.1.1.tar.gz
/var/cache/distfiles/v3.24/rocq-9.1.1.tar.gz: OK
>>> rocq: Unpacking /var/cache/distfiles/v3.24/rocq-9.1.1.tar.gz...
You have OCaml 4.14.3. Good!
You have OCamlfind 1.9.6. Good!
You have native-code compilation. Good!
You have the Zarith library 1.14 installed. Good!

  Architecture                : Linux
  Sys.os_type                 : Unix
  OCaml version               : 4.14.3
  OCaml binaries in           : /usr/bin/
  OCaml library in            : /usr/lib/ocaml
  Web browser                 : xdg-open "%s"
  Rocq web site               : http://rocq-prover.org/
  Bytecode VM enabled         : true
  Native Compiler enabled     : no

  Paths where installation is expected by Rocq Makefile:
  - Prefix is expected in /usr
  - the Rocq library is expected in /usr/lib/ocaml/coq
  - the Rocqide configuration files is expected in /usr/etc/xdg/coq
  - the Rocqide data files is expected in /usr/share/coq
  - the Rocq man pages is expected in /usr/share/man
  - documentation prefix path for all Rocq packages is expected in /usr/share/doc

If anything is wrong above, please restart './configure'.

*Warning* To compile the system for a new architecture
          don't forget to do a 'make clean' before './configure'.
dune build  --root . corelib_dune ltac2_dune
touch .dune-stamp
cp -a _build/default/corelib_dune theories/Corelib/dune && chmod +w theories/Corelib/dune
cp -a _build/default/ltac2_dune theories/Ltac2/dune && chmod +w theories/Ltac2/dune
(cd _build/default && /bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision
skipping make_git_revision: git dir not found
>>> rocq: Entering fakeroot...
'_build/default/ide/rocqide/dllplatform_specific_stubs.so' -> '/home/buildozer/aports/community/rocq/pkg/rocq/usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so'
>>> rocq-doc*: Running split function doc...
'usr/share/doc' -> '/home/buildozer/aports/community/rocq/pkg/rocq-doc/usr/share/doc'
'usr/share/man' -> '/home/buildozer/aports/community/rocq/pkg/rocq-doc/usr/share/man'
>>> rocq-doc*: Preparing subpackage rocq-doc...
Please specify at least one package name on the command line.
>>> rocq-doc*: Running postcheck for rocq-doc
>>> coqide-server*: Running split function server...
'usr/bin/coqidetop' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/bin/coqidetop'
'usr/lib/ocaml/coqide-server' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/lib/ocaml/coqide-server'
'usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so'
>>> coqide-server*: Preparing subpackage coqide-server...
>>> coqide-server*: Stripping binaries
Please specify at least one package name on the command line.
>>> coqide-server*: Running postcheck for coqide-server
>>> rocq*: Running postcheck for rocq
>>> rocq*: Preparing package rocq...
>>> rocq*: Stripping binaries
Please specify at least one package name on the command line.
>>> rocq*: Scanning shared objects
>>> coqide-server*: Scanning shared objects
>>> coqide-server*: Tracing dependencies...
	rocq=9.1.1-r1
	ocaml4-impl:CArray:b51446e7dbb24540e744624d178ecabd
	ocaml4-impl:CList:f918684be9fccc7cb9c56a3ab62a3a28
	ocaml4-impl:CString:c9d68f0e3c6676fd0d89fd1a64563725
	ocaml4-impl:CamlinternalOO:fa605900a545d2c7d0b3ab2f0fc283ad
	ocaml4-impl:Exninfo:9c36f3b10f6a007072922c9b5d998ab9
	ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
	ocaml4-impl:Pp:4ce146a1e8a77db40f8fe9180861a7ef
	ocaml4-impl:Stateid:c4c12ff84082805588f75abca920141b
	ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
	ocaml4-impl:Stdlib__Buffer:9055036c51b5c5e4341a0ccd9c07399d
	ocaml4-impl:Stdlib__Format:1ae9a84fc6a9350aa686a13e382d57b9
	ocaml4-impl:Stdlib__Hashtbl:e153916d440c057ce7feaef7b0cbefe6
	ocaml4-impl:Stdlib__Lexing:8011f6267e2f35dd099d9a8b860d4d70
	ocaml4-impl:Stdlib__List:96739346463401c89777aa313f73a9ac
	ocaml4-impl:Stdlib__Printf:d3533c749142b93fd2fa6d8f52ab80e3
	ocaml4-impl:Stdlib__Stack:3cfa83cf2d469a21022f9fa22d11617a
	ocaml4-impl:Stdlib__String:b7902f521c803b6ed83b467bef8c73ba
	ocaml4-impl:Util:ad60313dc9b9ba7b433a525d6a16be28
	ocaml4-intf:CArray:f410c2618f34ce325f49dd835055c3a3
	ocaml4-intf:CList:ac8cc33bc430fb16d900a7f9104caccb
	ocaml4-intf:CMap:05b3d45d5cf3b9c2f52936c07a41077b
	ocaml4-intf:CSet:1771d218a5ec2cd793dcdcf364b93957
	ocaml4-intf:CSig:cef32a5f22e2a30825d57c3726228dde
	ocaml4-intf:CString:5716323e7d11d6503cbf81bedc978991
	ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
	ocaml4-intf:CamlinternalOO:aea913efb75d4b8c0600eeba0222f7d8
	ocaml4-intf:Exninfo:05f15e3d92bfba910269ee465c7bfa2b
	ocaml4-intf:Feedback:91fff25d386e62b0d2321ee423dd1b9b
	ocaml4-intf:Hashcons:a4b8214224054c2dc32c7ab8cb34b92e
	ocaml4-intf:Hashset:b5af2da2ba0f0aa4ffcd46fea97b6074
	ocaml4-intf:Loc:3ae8b567bc8a3dea1e01821cfe45a4d5
	ocaml4-intf:Option:326b25c18947c173d6727f2f3bc5fb03
	ocaml4-intf:Pp:7daccc9e0669e611fa7fb762b58ff63a
	ocaml4-intf:Predicate:e10f527c1e68b4fcf4187c345bdd22e5
	ocaml4-intf:Quickfix:26fc480f449decafe20123b20a7c81ce
	ocaml4-intf:Stateid:d3466c24ca4333134ab0ff8b161e3c4e
	ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91
	ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865
	ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822
	ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9
	ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc
	ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401
	ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab
	ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518
	ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434
	ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9
	ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680
	ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3
	ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28
	ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962
	ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658
	ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724
	ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87
	ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57
	ocaml4-intf:Util:d6de0efe7a888ffe6743b98965b997e6
	ocaml4-intf:Xml_datatype:e419aae791e14a9e40ee634429531000
	so:libc.musl-aarch64.so.1
	so:libgmp.so.10
>>> coqide-server*: Package size: 21.5 MB
>>> coqide-server*: Compressing data...
>>> coqide-server*: Create checksum...
>>> coqide-server*: Create coqide-server-9.1.1-r1.apk
>>> rocq-doc*: Tracing dependencies...
>>> rocq-doc*: Package size: 152.4 KB
>>> rocq-doc*: Compressing data...
>>> rocq-doc*: Create checksum...
>>> rocq-doc*: Create rocq-doc-9.1.1-r1.apk
>>> rocq*: Tracing dependencies...
	ocaml4-impl:Big_int_Z:7e8094ffeb8652358575610c6f225853
	ocaml4-impl:CamlinternalFormat:df99a1cfae16ce659b949e219e65adad
	ocaml4-impl:CamlinternalLazy:2949945f8cd453d1adc5a6d8f8045c5d
	ocaml4-impl:CamlinternalMod:4838a1fe2deac8e404602a725327ef2e
	ocaml4-impl:Condition:a63efe87f1c64636f7dd0ca176135334
	ocaml4-impl:Dynlink:708922d8fa31b69ac31a83728b31460f
	ocaml4-impl:Mutex:070d55bb683901b185545f26b3d87913
	ocaml4-impl:Q:6bc87eaddacf1b231d28f70434899422
	ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
	ocaml4-impl:Stdlib__Array:cb9d513983ffcc0f580edf1dbead34cb
	ocaml4-impl:Stdlib__Bool:0d0b8cd37527ebf0af86899c732b9e94
	ocaml4-impl:Stdlib__Buffer:9055036c51b5c5e4341a0ccd9c07399d
	ocaml4-impl:Stdlib__Bytes:4f3b7343a84b7589a4a3d2652b6464bd
	ocaml4-impl:Stdlib__Callback:2d9b946872847b63930f2b5bcfe85a91
	ocaml4-impl:Stdlib__Char:7cfadcb8c8da32e9f00e211aa321718b
	ocaml4-impl:Stdlib__Digest:1b65d6644dcb209aa9471bd4213f148c
	ocaml4-impl:Stdlib__Ephemeron:e0cd2bd8b73f23a65f6c78ff1d37860e
	ocaml4-impl:Stdlib__Filename:182acd4ce328e1eaf87fde37767e7df0
	ocaml4-impl:Stdlib__Float:bfc0791b7a79ae75ef9594c1cacdcf83
	ocaml4-impl:Stdlib__Format:1ae9a84fc6a9350aa686a13e382d57b9
	ocaml4-impl:Stdlib__Fun:5515be492c1073efd8cdbce755a9a69d
	ocaml4-impl:Stdlib__Gc:25fabc1253f4234be271fa314606b85f
	ocaml4-impl:Stdlib__Hashtbl:e153916d440c057ce7feaef7b0cbefe6
	ocaml4-impl:Stdlib__Int32:16ba2c1c5f233734e45a57c0aff1345c
	ocaml4-impl:Stdlib__Int64:371b761429600b4a3480435d7bb83c8a
	ocaml4-impl:Stdlib__Lazy:66f26d99a83b69d3266294b164988522
	ocaml4-impl:Stdlib__Lexing:8011f6267e2f35dd099d9a8b860d4d70
	ocaml4-impl:Stdlib__List:96739346463401c89777aa313f73a9ac
	ocaml4-impl:Stdlib__Map:7682e17c548c99f62d246f9d12059a04
	ocaml4-impl:Stdlib__Marshal:e6941cead90a8600df46245e9fd7d1ba
	ocaml4-impl:Stdlib__Obj:6727882375fe3c4375b8cc9c44d5df7b
	ocaml4-impl:Stdlib__Printexc:c15740ddede23aba31a288dee0a5f38e
	ocaml4-impl:Stdlib__Printf:d3533c749142b93fd2fa6d8f52ab80e3
	ocaml4-impl:Stdlib__Queue:3522f647a57fa49f93b49719fefa922a
	ocaml4-impl:Stdlib__Random:70c817b7c12f77c9da6c4a8cf03c9f65
	ocaml4-impl:Stdlib__Result:5138a5db26451cf2e33e3e73123182f1
	ocaml4-impl:Stdlib__Scanf:681719f414cf00a5e9b8b228153e4db4
	ocaml4-impl:Stdlib__Seq:59178c5a0be68c74ac484f096e2033b3
	ocaml4-impl:Stdlib__Set:0d47738f43187ca13de8223f7a080d96
	ocaml4-impl:Stdlib__Stack:3cfa83cf2d469a21022f9fa22d11617a
	ocaml4-impl:Stdlib__String:b7902f521c803b6ed83b467bef8c73ba
	ocaml4-impl:Stdlib__Sys:ed5262e6b27a9c858136e81b5bd88fde
	ocaml4-impl:Stdlib__Weak:bff845db1904019effcad1dc8465db45
	ocaml4-impl:Str:262d9acb0a7ae64edada1d413a24fd1b
	ocaml4-impl:Thread:5551518fd3de43f9d8cbb21cab722ca1
	ocaml4-impl:Unix:e41f2653c357ca2693996acb7ae79b12
	ocaml4-impl:Z:86c0927ede02867167622c192140c776
	ocaml4-intf:Asttypes:c6cbda0727ab24f24ff77e0199818937
	ocaml4-intf:Big_int_Z:23c6d01e5b618b7ed71a9be7bae0cef8
	ocaml4-intf:Build_path_prefix_map:c087ed78089388f4d3a99676f2c10fc4
	ocaml4-intf:CamlinternalFormat:c76629fe4a4e158eabd491fddb9e1fc3
	ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
	ocaml4-intf:CamlinternalLazy:5365fec4a58da3e2d8fa2186f77d9be4
	ocaml4-intf:CamlinternalMod:2004005091bc8a61fe26ab15e0fb28e4
	ocaml4-intf:Clflags:84ae8d03facf492b1832cc8cf4500653
	ocaml4-intf:Cmi_format:77a1c8f1e0d22ce55ab6c81760c7b8d6
	ocaml4-intf:Compenv:81e3b1700d2bd6d3c20b45b6c05b481a
	ocaml4-intf:Condition:f0caf68e0fd94353b2fe68f24dc84c46
	ocaml4-intf:Dynlink:b542e5672ad42f5b838f58913ba15456
	ocaml4-intf:Env:132a8f155a5ec71de7e5d3a85efe6e03
	ocaml4-intf:Findlib:d44b73d9d87aa8a2a740a3e7f738599b
	ocaml4-intf:Fl_metascanner:e1b1d3fe0eca562f5e9dc0e0f04eee51
	ocaml4-intf:Fl_metatoken:2ee80556b58c28796e5020152710a0dc
	ocaml4-intf:Fl_package_base:04c54a48fe2e7875409d82f50323d9b9
	ocaml4-intf:Ident:a68d3b48cf66f01c3af823a07d101708
	ocaml4-intf:Identifiable:026dfc8fdbcf370a975e554be578d5a5
	ocaml4-intf:Load_path:8e616f4485805b33a8219ec934a7859a
	ocaml4-intf:Location:ad05a11c5350a8043d12b4819575b03b
	ocaml4-intf:Longident:dddbcb2c78e865fd75e9911c4b82a7e2
	ocaml4-intf:Misc:fa2c1b0e885a335849c8603379ff2f89
	ocaml4-intf:Mutex:e7b4c98d68b9b84b256d9650ac063dab
	ocaml4-intf:Outcometree:674374723cd44ac1194584799175f801
	ocaml4-intf:Parsetree:d160a703cc0fe2b0a7acd97f6bf25245
	ocaml4-intf:Path:c74c2553734e7c86ab23c6946a08a019
	ocaml4-intf:Primitive:8cd5b518055f39c57cb5bfdd62b072c1
	ocaml4-intf:Profile:d266e10a0e8a0497b64c50d0b0e138f1
	ocaml4-intf:Q:57e4e5d5003fc58e19e9a6f4784ee4d7
	ocaml4-intf:Shape:a7485b44c054c48b77a4c0546f654051
	ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91
	ocaml4-intf:Stdlib__Arg:04b768df3893b886dc494cea56b4aa5f
	ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865
	ocaml4-intf:Stdlib__Bigarray:994a14f10d5ae081663b52b790ee11d3
	ocaml4-intf:Stdlib__Bool:fe0df75f63138242ef3d9da3dc19ea0f
	ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822
	ocaml4-intf:Stdlib__Bytes:3d02c33317c0108c61e7a5eefa37519a
	ocaml4-intf:Stdlib__Callback:fe29a598e1902f0b901e88a9865c26ef
	ocaml4-intf:Stdlib__Char:62afe57b49defcc078960a68b9efbbee
	ocaml4-intf:Stdlib__Complex:4555217c759e89d65daa8f682eb09b35
	ocaml4-intf:Stdlib__Digest:61f6495d3274a42a78a63425ef892290
	ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9
	ocaml4-intf:Stdlib__Ephemeron:85bf10913cd5901968e9c2a8e59c2cd8
	ocaml4-intf:Stdlib__Filename:3bcff250dd30a0e620fa7546882aaadf
	ocaml4-intf:Stdlib__Float:e5199b4531d56abc9fff4ae96c2acff4
	ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc
	ocaml4-intf:Stdlib__Fun:115c0563d80d54e1e845b108f10caa33
	ocaml4-intf:Stdlib__Gc:c3ec15218bd26e175e6d959e216eb39a
	ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401
	ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab
	ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518
	ocaml4-intf:Stdlib__Lazy:01430d340c028322c7247031a874e355
	ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434
	ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9
	ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680
	ocaml4-intf:Stdlib__Marshal:182731e5f563b7657acd24ad778f3615
	ocaml4-intf:Stdlib__Nativeint:989149bf8f2ce1a89fecbc3f5f40f52c
	ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3
	ocaml4-intf:Stdlib__Printexc:ae914d0568e8b6e482a66bbd62a4432f
	ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28
	ocaml4-intf:Stdlib__Queue:b066724fe533c7b8fc9b521e37aedad8
	ocaml4-intf:Stdlib__Random:81e43bab9bd47bab804eb6e582306de1
	ocaml4-intf:Stdlib__Result:f99939d3b32a26a59a2f4df0b6b2e60a
	ocaml4-intf:Stdlib__Scanf:5bfc827c9980349e00f2aa1f5eade58f
	ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962
	ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658
	ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724
	ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87
	ocaml4-intf:Stdlib__Sys:7726a14ce36f5c6c3abb04975cec748b
	ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57
	ocaml4-intf:Stdlib__Weak:28f276c430fdc51a3a10691d3066b26a
	ocaml4-intf:Str:514c63e7d96516ff4c601fe47900a52d
	ocaml4-intf:Subst:428159e3773e2a53757d43066bcfca7f
	ocaml4-intf:Thread:cbab14f62eb893a73913c276298141c9
	ocaml4-intf:Toploop:bd94fffe0b1d633d0635d312f2aef092
	ocaml4-intf:Type_immediacy:64565e32358a6229bf90cc93d486536a
	ocaml4-intf:Types:6c92ac95b66d8794b63f94c688fe1688
	ocaml4-intf:Unix:d81af7730241956ddaf1c2d19ed2cb1c
	ocaml4-intf:Warnings:1c10e6007aca64cda69b6b055565b124
	ocaml4-intf:Z:81bca195596656e6d289b56ff127f868
	so:libc.musl-aarch64.so.1
	so:libcairo.so.2
	so:libfontconfig.so.1
	so:libfreetype.so.6
	so:libgdk-3.so.0
	so:libgdk_pixbuf-2.0.so.0
	so:libglib-2.0.so.0
	so:libgmp.so.10
	so:libgobject-2.0.so.0
	so:libgtk-3.so.0
	so:libgtksourceview-3.0.so.1
	so:libpango-1.0.so.0
>>> rocq*: Package size: 488.7 MB
>>> rocq*: Compressing data...
>>> rocq*: Create checksum...
>>> rocq*: Create rocq-9.1.1-r1.apk
>>> rocq: Build complete at Sat, 25 Apr 2026 08:15:00 +0000 elapsed time 0h 6m 42s
>>> rocq: Cleaning up srcdir
>>> rocq: Cleaning up pkgdir
>>> rocq: Cleaning up tmpdir
>>> rocq: Uninstalling dependencies...
(  1/230) Purging .makedepends-rocq (20260425.080819)
(  2/230) Purging dune (3.22.2-r0)
(  3/230) Purging ocaml-findlib-dev (1.9.6-r7)
(  4/230) Purging ocaml-findlib (1.9.6-r7)
(  5/230) Purging ocamlfind (1.9.6-r7)
(  6/230) Purging ocaml-lablgtk3-dev (3.1.2-r5)
(  7/230) Purging ocaml-lablgtk3 (3.1.2-r5)
(  8/230) Purging ocaml-cairo2-dev (0.6.5-r2)
(  9/230) Purging ocaml-cairo2 (0.6.5-r2)
( 10/230) Purging gtksourceview-dev (3.24.11-r4)
( 11/230) Purging gtksourceview (3.24.11-r4)
( 12/230) Purging ocaml-zarith (1.14-r0)
( 13/230) Purging gmp-dev (6.3.0-r4)
( 14/230) Purging libgmpxx (6.3.0-r4)
( 15/230) Purging at-spi2-core (2.60.1-r0)
( 16/230) Purging git-perl (2.54.0-r0)
( 17/230) Purging perl-git (2.54.0-r0)
( 18/230) Purging perl-error (0.17030-r0)
( 19/230) Purging glycin-image-rs (2.1.0-r0)
( 20/230) Purging glycin-svg (2.1.0-r0)
( 21/230) Purging gtk+3.0-dev (3.24.52-r0)
( 22/230) Purging wayland-protocols (1.48-r0)
( 23/230) Purging libepoxy-dev (1.5.10-r1)
( 24/230) Purging librsvg (2.62.1-r0)
( 25/230) Purging libxcomposite-dev (0.4.7-r0)
( 26/230) Purging libxcursor-dev (1.2.3-r0)
( 27/230) Purging libxinerama-dev (1.1.6-r0)
( 28/230) Purging libxkbcommon-dev (1.13.1-r0)
( 29/230) Purging libxkbcommon-x11 (1.13.1-r0)
( 30/230) Purging libxml2-dev (2.13.9-r1)
( 31/230) Purging libxrandr-dev (1.5.5-r0)
( 32/230) Purging mesa-dev (26.0.5-r0)
( 33/230) Purging libxdamage-dev (1.1.7-r0)
( 34/230) Purging libxshmfence-dev (1.3.3-r0)
( 35/230) Purging mesa-egl (26.0.5-r0)
( 36/230) Purging mesa-gbm (26.0.5-r0)
( 37/230) Purging mesa-gl (26.0.5-r0)
( 38/230) Purging mesa-gles (26.0.5-r0)
( 39/230) Purging mesa-rusticl (26.0.5-r0)
( 40/230) Purging mesa (26.0.5-r0)
( 41/230) Purging clang22-headers (22.1.3-r0)
( 42/230) Purging libclc (22.1.3-r0)
( 43/230) Purging ocaml-abuild-helper (4.14.3-r0)
( 44/230) Purging rpm-scripts (4.19.1.1-r5)
( 45/230) Purging bash (5.3.9-r1)
  Executing bash-5.3.9-r1.pre-deinstall
( 46/230) Purging perl (5.42.2-r0)
( 47/230) Purging ocaml-compiler-libs (4.14.3-r0)
( 48/230) Purging ocaml (4.14.3-r0)
( 49/230) Purging ocaml-runtime (4.14.3-r0)
( 50/230) Purging pango-dev (1.57.1-r0)
( 51/230) Purging pango-tools (1.57.1-r0)
( 52/230) Purging py3-packaging-pyc (26.1-r0)
( 53/230) Purging py3-parsing-pyc (3.3.2-r1)
( 54/230) Purging python3-pyc (3.14.3-r0)
( 55/230) Purging python3-pycache-pyc0 (3.14.3-r0)
( 56/230) Purging xcb-proto-pyc (1.17.0-r1)
( 57/230) Purging pyc (3.14.3-r0)
( 58/230) Purging spirv-llvm-translator-libs (22.1.0-r0)
( 59/230) Purging spirv-tools (1.4.341.0-r0)
( 60/230) Purging wayland-dev (1.25.0-r0)
( 61/230) Purging wayland-libs-server (1.25.0-r0)
( 62/230) Purging xz-dev (5.8.2-r0)
( 63/230) Purging at-spi2-core-dev (2.60.1-r0)
( 64/230) Purging gtk+3.0 (3.24.52-r0)
  Executing gtk+3.0-3.24.52-r0.post-deinstall
( 65/230) Purging gobject-introspection (1.86.0-r1)
( 66/230) Purging libatk-bridge-2.0 (2.60.1-r0)
( 67/230) Purging at-spi2-core-libs (2.60.1-r0)
( 68/230) Purging cups-libs (2.4.16-r0)
( 69/230) Purging avahi-libs (0.8-r26)
( 70/230) Purging harfbuzz-dev (13.2.1-r0)
( 71/230) Purging harfbuzz-cairo (13.2.1-r0)
( 72/230) Purging harfbuzz-gobject (13.2.1-r0)
( 73/230) Purging harfbuzz-icu (13.2.1-r0)
( 74/230) Purging harfbuzz-subset (13.2.1-r0)
( 75/230) Purging graphite2-dev (1.3.14-r6)
( 76/230) Purging cairo-dev (1.18.4-r1)
( 77/230) Purging cairo-tools (1.18.4-r1)
( 78/230) Purging cairo-gobject (1.18.4-r1)
( 79/230) Purging libxft-dev (2.3.9-r0)
( 80/230) Purging gdk-pixbuf-dev (2.44.6-r0)
( 81/230) Purging gdk-pixbuf (2.44.6-r0)
  Executing gdk-pixbuf-2.44.6-r0.pre-deinstall
( 82/230) Purging libglycin-dev (2.1.0-r0)
( 83/230) Purging libglycin (2.1.0-r0)
( 84/230) Purging bubblewrap (0.11.2-r0)
( 85/230) Purging fontconfig-dev (2.17.1-r1)
( 86/230) Purging freetype-dev (2.14.2-r0)
( 87/230) Purging brotli-dev (1.2.0-r1)
( 88/230) Purging brotli (1.2.0-r1)
( 89/230) Purging glib-dev (2.88.0-r1)
( 90/230) Purging bzip2-dev (1.0.8-r6)
( 91/230) Purging docbook-xsl (1.79.2-r13)
( 92/230) Purging docbook-xsl-ns (1.79.2-r13)
  Executing docbook-xsl-ns-1.79.2-r13.pre-deinstall
( 93/230) Purging docbook-xsl-nons (1.79.2-r13)
  Executing docbook-xsl-nons-1.79.2-r13.pre-deinstall
( 94/230) Purging docbook-xml (4.5-r10)
  Executing docbook-xml-4.5-r10.pre-deinstall
( 95/230) Purging gettext-dev (1.0-r0)
( 96/230) Purging xz (5.8.2-r0)
( 97/230) Purging gettext-asprintf (1.0-r0)
( 98/230) Purging gettext (1.0-r0)
( 99/230) Purging gettext-envsubst (1.0-r0)
(100/230) Purging libxml2-utils (2.13.9-r1)
(101/230) Purging libxslt (1.1.43-r3)
(102/230) Purging py3-packaging (26.1-r0)
(103/230) Purging py3-parsing (3.3.2-r1)
(104/230) Purging pcre2-dev (10.47-r0)
(105/230) Purging libpcre2-16 (10.47-r0)
(106/230) Purging libpcre2-32 (10.47-r0)
(107/230) Purging libedit-dev (20251016.3.1-r1)
(108/230) Purging ncurses-dev (6.6_p20260404-r0)
(109/230) Purging libncurses++ (6.6_p20260404-r0)
(110/230) Purging bsd-compat-headers (0.7.2-r6)
(111/230) Purging pango (1.57.1-r0)
(112/230) Purging cairo (1.18.4-r1)
(113/230) Purging clang22-libs (22.1.3-r0)
(114/230) Purging dbus-dev (1.16.2-r2)
(115/230) Purging dbus-libs (1.16.2-r2)
(116/230) Purging expat-dev (2.7.5-r0)
(117/230) Purging expat (2.7.5-r0)
(118/230) Purging libxft (2.3.9-r0)
(119/230) Purging fontconfig (2.17.1-r1)
(120/230) Purging harfbuzz (13.2.1-r0)
(121/230) Purging freetype (2.14.2-r0)
(122/230) Purging fribidi-dev (1.0.16-r3)
(123/230) Purging fribidi (1.0.16-r3)
(124/230) Purging libxxf86vm-dev (1.1.7-r0)
(125/230) Purging libxxf86vm (1.1.7-r0)
(126/230) Purging libxrender-dev (0.9.12-r0)
(127/230) Purging libxtst-dev (1.2.5-r0)
(128/230) Purging libxtst (1.2.5-r0)
(129/230) Purging libxi-dev (1.8.2-r0)
(130/230) Purging libxi (1.8.2-r0)
(131/230) Purging libxfixes-dev (6.0.2-r0)
(132/230) Purging libxext-dev (1.3.7-r0)
(133/230) Purging libx11-dev (1.8.13-r0)
(134/230) Purging xtrans (1.6.0-r0)
(135/230) Purging libxcb-dev (1.17.0-r1)
(136/230) Purging xcb-proto (1.17.0-r1)
(137/230) Purging python3 (3.14.3-r0)
(138/230) Purging gdbm (1.26-r0)
(139/230) Purging gettext-libs (1.0-r0)
(140/230) Purging shared-mime-info (2.4-r7)
  Executing shared-mime-info-2.4-r7.post-deinstall
(141/230) Purging libatk-1.0 (2.60.1-r0)
(142/230) Purging glib (2.88.0-r1)
(143/230) Purging gnutls (3.8.12-r0)
(144/230) Purging graphite2 (1.3.14-r6)
(145/230) Purging libdrm-dev (2.4.131-r0)
(146/230) Purging libdrm (2.4.131-r0)
(147/230) Purging libpciaccess-dev (0.18.1-r1)
(148/230) Purging libpciaccess (0.18.1-r1)
(149/230) Purging hwdata-pci (0.406-r0)
(150/230) Purging icu-dev (78.1-r0)
(151/230) Purging icu (78.1-r0)
(152/230) Purging icu-libs (78.1-r0)
(153/230) Purging icu-data-en (78.1-r0)
(154/230) Purging lcms2-dev (2.17-r0)
(155/230) Purging tiff-dev (4.7.1-r0)
(156/230) Purging libtiffxx (4.7.1-r0)
(157/230) Purging tiff (4.7.1-r0)
(158/230) Purging lcms2-plugins (2.17-r0)
(159/230) Purging lcms2 (2.17-r0)
(160/230) Purging util-linux-dev (2.41.4-r0)
(161/230) Purging libfdisk (2.41.4-r0)
(162/230) Purging liblastlog2 (2.41.4-r0)
(163/230) Purging libmount (2.41.4-r0)
(164/230) Purging libsmartcols (2.41.4-r0)
(165/230) Purging libuuid (2.41.4-r0)
(166/230) Purging libblkid (2.41.4-r0)
(167/230) Purging libxdmcp-dev (1.1.5-r1)
(168/230) Purging libxrandr (1.5.5-r0)
(169/230) Purging libxinerama (1.1.6-r0)
(170/230) Purging libxext (1.3.7-r0)
(171/230) Purging libxcursor (1.2.3-r0)
(172/230) Purging libxdamage (1.1.7-r0)
(173/230) Purging libxrender (0.9.12-r0)
(174/230) Purging libxcomposite (0.4.7-r0)
(175/230) Purging libxfixes (6.0.2-r0)
(176/230) Purging libx11 (1.8.13-r0)
(177/230) Purging libxcb (1.17.0-r1)
(178/230) Purging libxdmcp (1.1.5-r1)
(179/230) Purging libbsd (0.12.2-r0)
(180/230) Purging libbz2 (1.0.8-r6)
(181/230) Purging libdav1d (1.5.3-r0)
(182/230) Purging libeconf (0.8.3-r0)
(183/230) Purging libelf (0.195-r0)
(184/230) Purging libepoxy (1.5.10-r1)
(185/230) Purging libffi-dev (3.5.2-r1)
(186/230) Purging wayland-libs-cursor (1.25.0-r0)
(187/230) Purging wayland-libs-client (1.25.0-r0)
(188/230) Purging p11-kit (0.25.5-r2)
(189/230) Purging llvm22-libs (22.1.3-r0)
(190/230) Purging libffi (3.5.2-r1)
(191/230) Purging libformw (6.6_p20260404-r0)
(192/230) Purging libintl (1.0-r0)
(193/230) Purging libjpeg-turbo-dev (3.1.3-r0)
(194/230) Purging libturbojpeg (3.1.3-r0)
(195/230) Purging libjpeg-turbo (3.1.3-r0)
(196/230) Purging libmd (1.1.0-r0)
(197/230) Purging libmenuw (6.6_p20260404-r0)
(198/230) Purging libpanelw (6.6_p20260404-r0)
(199/230) Purging libpng-dev (1.6.58-r0)
(200/230) Purging libpng (1.6.58-r0)
(201/230) Purging libseccomp-dev (2.6.0-r2)
(202/230) Purging linux-headers (7.0.0-r0)
(203/230) Purging libseccomp (2.6.0-r2)
(204/230) Purging libwebp-dev (1.6.0-r0)
(205/230) Purging libwebpdecoder (1.6.0-r0)
(206/230) Purging libwebpdemux (1.6.0-r0)
(207/230) Purging libwebpmux (1.6.0-r0)
(208/230) Purging libwebp (1.6.0-r0)
(209/230) Purging libsharpyuv (1.6.0-r0)
(210/230) Purging libtasn1 (4.21.0-r0)
(211/230) Purging libxau-dev (1.0.12-r0)
(212/230) Purging libxau (1.0.12-r0)
(213/230) Purging libxkbcommon (1.13.1-r0)
(214/230) Purging xkeyboard-config (2.46-r0)
(215/230) Purging libxml2 (2.13.9-r1)
(216/230) Purging libxshmfence (1.3.3-r0)
(217/230) Purging mpdecimal (4.0.1-r0)
(218/230) Purging nettle (3.10.2-r0)
(219/230) Purging pixman-dev (0.46.4-r0)
(220/230) Purging pixman (0.46.4-r0)
(221/230) Purging sqlite-dev (3.53.0-r0)
(222/230) Purging sqlite-libs (3.53.0-r0)
(223/230) Purging sqlite (3.53.0-r0)
(224/230) Purging readline (8.3.3-r1)
(225/230) Purging wayland-libs-egl (1.25.0-r0)
(226/230) Purging xorgproto (2025.1-r0)
(227/230) Purging xz-libs (5.8.2-r0)
(228/230) Purging zlib-dev (1.3.2-r0)
(229/230) Purging zstd-dev (1.5.7-r2)
(230/230) Purging zstd (1.5.7-r2)
Executing busybox-1.37.0-r31.trigger
OK: 431.3 MiB in 103 packages
>>> rocq: Updating the community/aarch64 repository index...
>>> rocq: Signing the index...