>>> rocq: Building community/rocq 9.1.1-r3 (using abuild 3.18.0_rc7-r1) started Sat, 17 Oct 2026 21:13:55 +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/209) Installing readline (8.3.3-r1) ( 2/209) Installing bash (5.3.9-r2) Executing bash-5.3.9-r2.post-install ( 3/209) Installing dune (3.22.2-r2) ( 4/209) Installing linux-headers (7.2.1-r0) ( 5/209) Installing ocaml-runtime (4.14.4-r0) ( 6/209) Installing ocaml (4.14.4-r0) ( 7/209) Installing libbz2 (1.0.8-r6) ( 8/209) Installing perl (5.44.0-r0) ( 9/209) Installing rpm-scripts (4.19.1.1-r5) ( 10/209) Installing ocaml-abuild-helper (4.14.4-r0) ( 11/209) Installing ocaml-compiler-libs (4.14.4-r0) ( 12/209) Installing ocamlfind (1.9.6-r8) ( 13/209) Installing ocaml-findlib (1.9.6-r8) ( 14/209) Installing ocaml-findlib-dev (1.9.6-r8) ( 15/209) Installing libxau (1.0.12-r0) ( 16/209) Installing libmd (1.3.0-r0) ( 17/209) Installing libbsd (0.12.2-r0) ( 18/209) Installing libxdmcp (1.1.5-r1) ( 19/209) Installing libxcb (1.17.0-r2) ( 20/209) Installing libx11 (1.8.14-r0) ( 21/209) Installing libxext (1.3.7-r0) ( 22/209) Installing libxrender (0.9.13-r0) ( 23/209) Installing libpng (1.6.59-r0) ( 24/209) Installing freetype (2.14.3-r0) ( 25/209) Installing fontconfig (2.18.1-r0) ( 26/209) Installing pixman (0.46.4-r0) ( 27/209) Installing cairo (1.18.4-r1) ( 28/209) Installing ocaml-cairo2 (0.6.5-r3) ( 29/209) Installing libffi (3.8.0-r0) ( 30/209) Installing libintl (1.0-r0) ( 31/209) Installing libeconf (0.8.4-r0) ( 32/209) Installing libblkid (2.42.4-r3) ( 33/209) Installing libmount (2.42.4-r3) ( 34/209) Installing glib (2.90.0-r0) ( 35/209) Installing gobject-introspection (1.86.0-r2) ( 36/209) Installing xz-libs (5.8.4-r0) ( 37/209) Installing libxml2 (2.13.9-r2) ( 38/209) Installing shared-mime-info (2.4-r7) ( 39/209) Installing libxcomposite (0.4.7-r0) ( 40/209) Installing libxfixes (6.0.2-r0) ( 41/209) Installing libxcursor (1.2.3-r0) ( 42/209) Installing libxdamage (1.1.7-r0) ( 43/209) Installing libxi (1.8.4-r0) ( 44/209) Installing libxinerama (1.1.6-r0) ( 45/209) Installing libxrandr (1.5.5-r0) ( 46/209) Installing libatk-1.0 (2.62.0-r0) ( 47/209) Installing dbus-libs (1.16.2-r4) ( 48/209) Installing at-spi2-core-libs (2.62.0-r0) ( 49/209) Installing libxtst (1.2.6-r0) ( 50/209) Installing at-spi2-core (2.62.0-r0) ( 51/209) Installing libatk-bridge-2.0 (2.62.0-r0) ( 52/209) Installing cairo-gobject (1.18.4-r1) ( 53/209) Installing avahi-libs (0.9_rc5-r1) ( 54/209) Installing nettle (3.10.2-r0) ( 55/209) Installing libtasn1 (4.21.0-r0) ( 56/209) Installing p11-kit (0.26.2-r1) ( 57/209) Installing gnutls (3.8.13-r0) ( 58/209) Installing cups-libs (2.4.20-r0) ( 59/209) Installing libepoxy (1.5.10-r1) ( 60/209) Installing fribidi (1.0.16-r3) ( 61/209) Installing bubblewrap (0.13.1-r0) ( 62/209) Installing libseccomp (2.6.1-r0) ( 63/209) Installing libglycin (2.2.1-r0) Executing libglycin-2.2.1-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/209) Installing glycin-image-rs (2.2.1-r0) ( 65/209) Installing libdav1d (1.5.4-r0) ( 66/209) Installing libxft (2.3.9-r0) ( 67/209) Installing graphite2 (1.3.15-r0) ( 68/209) Installing harfbuzz (14.2.1-r0) ( 69/209) Installing pango (1.58.2-r0) ( 70/209) Installing librsvg (2.62.3-r0) ( 71/209) Installing glycin-svg (2.2.1-r0) ( 72/209) Installing gdk-pixbuf (2.44.8-r0) ( 73/209) Installing wayland-libs-client (1.26.0-r0) ( 74/209) Installing wayland-libs-cursor (1.26.0-r0) ( 75/209) Installing wayland-libs-egl (1.26.0-r0) ( 76/209) Installing xkeyboard-config (2.48-r0) ( 77/209) Installing libxkbcommon (1.13.2-r0) ( 78/209) Installing gtk+3.0 (3.24.52-r0) ( 79/209) Installing gtksourceview (3.24.11-r4) ( 80/209) Installing ocaml-lablgtk3 (3.1.2-r6) ( 81/209) Installing ocaml-cairo2-dev (0.6.5-r3) ( 82/209) Installing bzip2-dev (1.0.8-r6) ( 83/209) Installing libxml2-utils (2.13.9-r2) ( 84/209) Installing docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.post-install ( 85/209) Installing libxslt (1.1.43-r3) ( 86/209) Installing docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.post-install ( 87/209) Installing docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.post-install ( 88/209) Installing docbook-xsl (1.79.2-r13) ( 89/209) Installing xz (5.8.4-r0) ( 90/209) Installing gettext-asprintf (1.0-r0) ( 91/209) Installing gettext-libs (1.0-r0) ( 92/209) Installing gettext-envsubst (1.0-r0) ( 93/209) Installing gettext (1.0-r0) ( 94/209) Installing gettext-dev (1.0-r0) ( 95/209) Installing mpdecimal (4.0.1-r0) ( 96/209) Installing libpanelw (6.6_p20260822-r0) ( 97/209) Installing sqlite-libs (3.54.1-r0) ( 98/209) Installing python3 (3.14.8-r0) ( 99/209) Installing python3-pycache-pyc0 (3.14.8-r0) (100/209) Installing pyc (3.14.8-r0) (101/209) Installing python3-pyc (3.14.8-r0) (102/209) Installing py3-parsing (3.3.3-r0) (103/209) Installing py3-parsing-pyc (3.3.3-r0) (104/209) Installing py3-packaging (26.2-r0) (105/209) Installing py3-packaging-pyc (26.2-r0) (106/209) Installing libffi-dev (3.8.0-r0) (107/209) Installing bsd-compat-headers (0.7.2-r6) (108/209) Installing libformw (6.6_p20260822-r0) (109/209) Installing libmenuw (6.6_p20260822-r0) (110/209) Installing libncurses++ (6.6_p20260822-r0) (111/209) Installing ncurses-dev (6.6_p20260822-r0) (112/209) Installing libedit-dev (20260512.3.1-r0) (113/209) Installing zlib-dev (1.3.2-r1) (114/209) Installing libpcre2-16 (10.49-r0) (115/209) Installing libpcre2-32 (10.49-r0) (116/209) Installing pcre2-dev (10.49-r0) (117/209) Installing libuuid (2.42.4-r3) (118/209) Installing libfdisk (2.42.4-r3) (119/209) Installing skalibs-libs (2.15.1.0-r0) (120/209) Installing utmps-libs (0.1.3.4-r0) (121/209) Installing linux-pam (1.7.1-r4) (122/209) Installing liblastlog2 (2.42.4-r3) (123/209) Installing libsmartcols (2.42.4-r3) (124/209) Installing sqlite (3.54.1-r0) (125/209) Installing sqlite-dev (3.54.1-r0) (126/209) Installing util-linux-dev (2.42.4-r3) (127/209) Installing glib-dev (2.90.0-r0) (128/209) Installing expat (2.9.0-r0) (129/209) Installing expat-dev (2.9.0-r0) (130/209) Installing brotli (1.2.0-r1) (131/209) Installing brotli-dev (1.2.0-r1) (132/209) Installing libpng-dev (1.6.59-r0) (133/209) Installing freetype-dev (2.14.3-r0) (134/209) Installing fontconfig-dev (2.18.1-r0) (135/209) Installing libseccomp-dev (2.6.1-r0) (136/209) Installing libglycin-dev (2.2.1-r0) (137/209) Installing gdk-pixbuf-dev (2.44.8-r0) (138/209) Installing xorgproto (2025.1-r0) (139/209) Installing libxau-dev (1.0.12-r0) (140/209) Installing xcb-proto (1.17.0-r1) (141/209) Installing xcb-proto-pyc (1.17.0-r1) (142/209) Installing libxdmcp-dev (1.1.5-r1) (143/209) Installing libxcb-dev (1.17.0-r2) (144/209) Installing xtrans (1.6.0-r0) (145/209) Installing libx11-dev (1.8.14-r0) (146/209) Installing hwdata-pci (0.412-r0) (147/209) Installing libpciaccess (0.19-r0) (148/209) Installing libdrm (2.4.134-r0) (149/209) Installing libpciaccess-dev (0.19-r0) (150/209) Installing libdrm-dev (2.4.134-r0) (151/209) Installing libxfixes-dev (6.0.2-r0) (152/209) Installing libxdamage-dev (1.1.7-r0) (153/209) Installing libxshmfence (1.3.3-r0) (154/209) Installing libxshmfence-dev (1.3.3-r0) (155/209) Installing llvm23-libs (23.1.3-r0) (156/209) Installing libelf (0.195-r0) (157/209) Installing mesa (26.2.4-r1) (158/209) Installing mesa-gles (26.2.4-r1) (159/209) Installing mesa-gbm (26.2.4-r1) (160/209) Installing mesa-egl (26.2.4-r1) (161/209) Installing libxxf86vm (1.1.7-r0) (162/209) Installing mesa-gl (26.2.4-r1) (163/209) Installing libxext-dev (1.3.7-r0) (164/209) Installing libxxf86vm-dev (1.1.7-r0) (165/209) Installing mesa-dev (26.2.4-r1) (166/209) Installing libepoxy-dev (1.5.10-r1) (167/209) Installing libxi-dev (1.8.4-r0) (168/209) Installing libxinerama-dev (1.1.6-r0) (169/209) Installing libxkbcommon-x11 (1.13.2-r0) (170/209) Installing xz-dev (5.8.4-r0) (171/209) Installing libxml2-dev (2.13.9-r2) (172/209) Installing libxkbcommon-dev (1.13.2-r0) (173/209) Installing wayland-protocols (1.49-r0) (174/209) Installing dbus-dev (1.16.2-r4) (175/209) Installing libxtst-dev (1.2.6-r0) (176/209) Installing at-spi2-core-dev (2.62.0-r0) (177/209) Installing cairo-tools (1.18.4-r1) (178/209) Installing pixman-dev (0.46.4-r0) (179/209) Installing libxrender-dev (0.9.13-r0) (180/209) Installing cairo-dev (1.18.4-r1) (181/209) Installing fribidi-dev (1.0.16-r3) (182/209) Installing pango-tools (1.58.2-r0) (183/209) Installing harfbuzz-cairo (14.2.1-r0) (184/209) Installing harfbuzz-gobject (14.2.1-r0) (185/209) 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. (186/209) Installing icu-libs (78.1-r0) (187/209) Installing harfbuzz-icu (14.2.1-r0) (188/209) Installing harfbuzz-subset (14.2.1-r0) (189/209) Installing graphite2-dev (1.3.15-r0) (190/209) Installing icu (78.1-r0) (191/209) Installing icu-dev (78.1-r0) (192/209) Installing harfbuzz-dev (14.2.1-r0) (193/209) Installing libxft-dev (2.3.9-r0) (194/209) Installing pango-dev (1.58.2-r0) (195/209) Installing wayland-libs-server (1.26.0-r0) (196/209) Installing wayland-dev (1.26.0-r0) (197/209) Installing libxcomposite-dev (0.4.7-r0) (198/209) Installing libxcursor-dev (1.2.3-r0) (199/209) Installing libxrandr-dev (1.5.5-r0) (200/209) Installing gtk+3.0-dev (3.24.52-r0) (201/209) Installing gtksourceview-dev (3.24.11-r4) (202/209) Installing ocaml-lablgtk3-dev (3.1.2-r6) (203/209) Installing libgmpxx (6.3.0-r4) (204/209) Installing gmp-dev (6.3.0-r4) (205/209) Installing ocaml-zarith (1.14-r1) (206/209) Installing .makedepends-rocq (20261017.211405) (207/209) Installing perl-error (0.17030-r0) (208/209) Installing perl-git (2.56.0-r0) (209/209) Installing git-perl (2.56.0-r0) Executing busybox-1.38.0-r7.trigger Executing glib-2.90.0-r0.trigger Executing shared-mime-info-2.4-r7.trigger Executing gdk-pixbuf-2.44.8-r0.trigger Executing gtk+3.0-3.24.52-r0.trigger OK: 1113.3 MiB in 309 packages >>> rocq: Cleaning up srcdir >>> rocq: Cleaning up pkgdir >>> rocq: Cleaning up tmpdir >>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/v3.25/rocq-9.1.1.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/v3.25/rocq-9.1.1.tar.gz.part' rocq-9.1.1.tar.gz.pa 2% | | 159k 0:00:38 ETA rocq-9.1.1.tar.gz.pa 100% |********************************| 6245k 0:00:00 ETA '/var/cache/distfiles/v3.25/rocq-9.1.1.tar.gz.part' saved /var/cache/distfiles/v3.25/rocq-9.1.1.tar.gz: OK >>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/v3.25/rocq-9.1.1.tar.gz /var/cache/distfiles/v3.25/rocq-9.1.1.tar.gz: OK >>> rocq: Unpacking /var/cache/distfiles/v3.25/rocq-9.1.1.tar.gz... You have OCaml 4.14.4. 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.4 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... >>> 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 >>> coqide-server*: Running postcheck for coqide-server >>> rocq*: Running postcheck for rocq >>> rocq*: Preparing package rocq... >>> rocq*: Stripping binaries >>> rocq*: Scanning shared objects >>> coqide-server*: Scanning shared objects >>> rocq*: Tracing dependencies... ocaml4-impl:Big_int_Z:97594a75255e13fa3216cda4ef8ac195 ocaml4-impl:CamlinternalFormat:5ebcdddc0de11d4faa66027219bf3b96 ocaml4-impl:CamlinternalLazy:048d754cb2c0461d339cd1f6376b6340 ocaml4-impl:CamlinternalMod:89dde70bd1429812c28e8519b163e70b ocaml4-impl:Condition:a63efe87f1c64636f7dd0ca176135334 ocaml4-impl:Dynlink:600821f098d537ed3c25aaac364edad0 ocaml4-impl:Mutex:070d55bb683901b185545f26b3d87913 ocaml4-impl:Q:2c7bb99ac6f9d80af75967952b6204ec ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996 ocaml4-impl:Stdlib__Array:71316a4bed1dfca427af694d8fa13f30 ocaml4-impl:Stdlib__Bool:0d0b8cd37527ebf0af86899c732b9e94 ocaml4-impl:Stdlib__Buffer:351bbcd723fb0bb6210a31e971e57df9 ocaml4-impl:Stdlib__Bytes:50f51ee2f9b2a7289cc3bf0f46ab6395 ocaml4-impl:Stdlib__Callback:3a723200cddcfe6d70dc6e0a37b4cab3 ocaml4-impl:Stdlib__Char:7cfadcb8c8da32e9f00e211aa321718b ocaml4-impl:Stdlib__Digest:66ebb91a426045354dc408b5976bf3e3 ocaml4-impl:Stdlib__Ephemeron:dc6903309c3c385d09682dd492549e8f ocaml4-impl:Stdlib__Filename:86265432097936a72ce744c861901cfd ocaml4-impl:Stdlib__Float:26e0c262163376b40de9ff40b8abc33b ocaml4-impl:Stdlib__Format:4eb26b454f876b6c736f035ca734474c ocaml4-impl:Stdlib__Fun:2f66396675fd64a78c64ce4e09c7489a ocaml4-impl:Stdlib__Gc:6f2a716a51b79c86596a680a752625e3 ocaml4-impl:Stdlib__Hashtbl:07838c94604e3f76fe2870023c054c2e ocaml4-impl:Stdlib__Int32:9426e9d7b571a87d599bd290ae32bd47 ocaml4-impl:Stdlib__Int64:371b761429600b4a3480435d7bb83c8a ocaml4-impl:Stdlib__Lazy:703676891ed344342fc4f400eb2a724e ocaml4-impl:Stdlib__Lexing:1eeedd17952344279af7e359017ef646 ocaml4-impl:Stdlib__List:3312a7ef7979b9ba637b596a2ee4aaaf ocaml4-impl:Stdlib__Map:c7e88038def45c1c11d03438583c6e3b ocaml4-impl:Stdlib__Marshal:f0acb3da3b6512ce3733c559dadcf5d2 ocaml4-impl:Stdlib__Obj:ebfdb25b3b94715c4eecc77084eda727 ocaml4-impl:Stdlib__Printexc:aa2f968e118a30bf0189b3bb3becdbf5 ocaml4-impl:Stdlib__Printf:8c5702c36eb72935ca7ad73bd0e5393b ocaml4-impl:Stdlib__Queue:0f5b54f493c3bab755602327f10bb7d7 ocaml4-impl:Stdlib__Random:87180d4a9f1e9c650fcc5e333941f3d9 ocaml4-impl:Stdlib__Result:ffe722e5c374c7eafa8becf8cfe8bfd6 ocaml4-impl:Stdlib__Scanf:3b105609493ba2c6a29a7cecefa524f3 ocaml4-impl:Stdlib__Seq:8b34b24a0ec4731c0c3cf086b8bfdf25 ocaml4-impl:Stdlib__Set:74fd1187184e37b47861f46946c35526 ocaml4-impl:Stdlib__Stack:e37f29979ec2086a2b75e0e001e1b096 ocaml4-impl:Stdlib__String:8d53b0cfbde7753f22f165fc12cfa061 ocaml4-impl:Stdlib__Sys:b3870fd7bf0f7ac7c9818d9acb07a69d ocaml4-impl:Stdlib__Weak:d1ed1b429850f18a566e45594353066d ocaml4-impl:Str:988a6585e35c62cac2491ca4cc7a3930 ocaml4-impl:Thread:794995e3396c48be34969865d621f1e2 ocaml4-impl:Unix:6ad958f5fc3606e1ce1a19bb744939cb ocaml4-impl:Z:7053ad716416201c1a2334e65f501621 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-ppc64le.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: 492.1 MB >>> rocq*: Compressing data... >>> rocq*: Create checksum... >>> rocq*: Create rocq-9.1.1-r3.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-r3.apk >>> coqide-server*: Tracing dependencies... rocq=9.1.1-r3 ocaml4-impl:CArray:1482d6c4f0c2cf6b44e4d470ddb97d2d ocaml4-impl:CList:b1a26f8ad1af5ebde41cb1265d0c027e ocaml4-impl:CString:d61d975ae0deefd7327ebe7e3a8344be ocaml4-impl:CamlinternalOO:ccf414a99ba8bd5ba333233b355df4b9 ocaml4-impl:Exninfo:987c9c044b3ba04d2481b7b5d346187f ocaml4-impl:Option:f6729b66990179300130158dc537ae7a ocaml4-impl:Pp:02c2f336124da0cd20da7b4895d60e69 ocaml4-impl:Stateid:90a3c2981288bc0cbed86f3743494a7c ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996 ocaml4-impl:Stdlib__Buffer:351bbcd723fb0bb6210a31e971e57df9 ocaml4-impl:Stdlib__Format:4eb26b454f876b6c736f035ca734474c ocaml4-impl:Stdlib__Hashtbl:07838c94604e3f76fe2870023c054c2e ocaml4-impl:Stdlib__Lexing:1eeedd17952344279af7e359017ef646 ocaml4-impl:Stdlib__List:3312a7ef7979b9ba637b596a2ee4aaaf ocaml4-impl:Stdlib__Printf:8c5702c36eb72935ca7ad73bd0e5393b ocaml4-impl:Stdlib__Stack:e37f29979ec2086a2b75e0e001e1b096 ocaml4-impl:Stdlib__String:8d53b0cfbde7753f22f165fc12cfa061 ocaml4-impl:Util:ada401da239c0a99cb64da5b268f499f 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-ppc64le.so.1 so:libgmp.so.10 >>> coqide-server*: Package size: 20.8 MB >>> coqide-server*: Compressing data... >>> coqide-server*: Create checksum... >>> coqide-server*: Create coqide-server-9.1.1-r3.apk >>> rocq: Build complete at Sat, 17 Oct 2026 21:26:57 +0000 elapsed time 0h 13m 2s >>> rocq: Cleaning up srcdir >>> rocq: Cleaning up pkgdir >>> rocq: Uninstalling dependencies... ( 1/209) Purging .makedepends-rocq (20261017.211405) ( 2/209) Purging dune (3.22.2-r2) ( 3/209) Purging ocaml-findlib-dev (1.9.6-r8) ( 4/209) Purging ocaml-findlib (1.9.6-r8) ( 5/209) Purging ocamlfind (1.9.6-r8) ( 6/209) Purging ocaml-lablgtk3-dev (3.1.2-r6) ( 7/209) Purging ocaml-lablgtk3 (3.1.2-r6) ( 8/209) Purging ocaml-cairo2-dev (0.6.5-r3) ( 9/209) Purging ocaml-cairo2 (0.6.5-r3) ( 10/209) Purging gtksourceview-dev (3.24.11-r4) ( 11/209) Purging gtksourceview (3.24.11-r4) ( 12/209) Purging ocaml-zarith (1.14-r1) ( 13/209) Purging gmp-dev (6.3.0-r4) ( 14/209) Purging libgmpxx (6.3.0-r4) ( 15/209) Purging at-spi2-core (2.62.0-r0) ( 16/209) Purging git-perl (2.56.0-r0) ( 17/209) Purging perl-git (2.56.0-r0) ( 18/209) Purging perl-error (0.17030-r0) ( 19/209) Purging glycin-image-rs (2.2.1-r0) ( 20/209) Purging glycin-svg (2.2.1-r0) ( 21/209) Purging gtk+3.0-dev (3.24.52-r0) ( 22/209) Purging wayland-protocols (1.49-r0) ( 23/209) Purging libepoxy-dev (1.5.10-r1) ( 24/209) Purging librsvg (2.62.3-r0) ( 25/209) Purging libxcomposite-dev (0.4.7-r0) ( 26/209) Purging libxcursor-dev (1.2.3-r0) ( 27/209) Purging libxinerama-dev (1.1.6-r0) ( 28/209) Purging libxkbcommon-dev (1.13.2-r0) ( 29/209) Purging libxkbcommon-x11 (1.13.2-r0) ( 30/209) Purging libxml2-dev (2.13.9-r2) ( 31/209) Purging libxrandr-dev (1.5.5-r0) ( 32/209) Purging mesa-dev (26.2.4-r1) ( 33/209) Purging libxdamage-dev (1.1.7-r0) ( 34/209) Purging libxshmfence-dev (1.3.3-r0) ( 35/209) Purging mesa-egl (26.2.4-r1) ( 36/209) Purging mesa-gbm (26.2.4-r1) ( 37/209) Purging mesa-gl (26.2.4-r1) ( 38/209) Purging mesa-gles (26.2.4-r1) ( 39/209) Purging ocaml-abuild-helper (4.14.4-r0) ( 40/209) Purging rpm-scripts (4.19.1.1-r5) ( 41/209) Purging bash (5.3.9-r2) Executing bash-5.3.9-r2.pre-deinstall ( 42/209) Purging perl (5.44.0-r0) ( 43/209) Purging ocaml-compiler-libs (4.14.4-r0) ( 44/209) Purging ocaml (4.14.4-r0) ( 45/209) Purging ocaml-runtime (4.14.4-r0) ( 46/209) Purging pango-dev (1.58.2-r0) ( 47/209) Purging pango-tools (1.58.2-r0) ( 48/209) Purging py3-packaging-pyc (26.2-r0) ( 49/209) Purging py3-parsing-pyc (3.3.3-r0) ( 50/209) Purging python3-pyc (3.14.8-r0) ( 51/209) Purging python3-pycache-pyc0 (3.14.8-r0) ( 52/209) Purging xcb-proto-pyc (1.17.0-r1) ( 53/209) Purging pyc (3.14.8-r0) ( 54/209) Purging wayland-dev (1.26.0-r0) ( 55/209) Purging wayland-libs-server (1.26.0-r0) ( 56/209) Purging xz-dev (5.8.4-r0) ( 57/209) Purging at-spi2-core-dev (2.62.0-r0) ( 58/209) Purging gtk+3.0 (3.24.52-r0) Executing gtk+3.0-3.24.52-r0.post-deinstall ( 59/209) Purging gobject-introspection (1.86.0-r2) ( 60/209) Purging libatk-bridge-2.0 (2.62.0-r0) ( 61/209) Purging at-spi2-core-libs (2.62.0-r0) ( 62/209) Purging cups-libs (2.4.20-r0) ( 63/209) Purging avahi-libs (0.9_rc5-r1) ( 64/209) Purging harfbuzz-dev (14.2.1-r0) ( 65/209) Purging harfbuzz-cairo (14.2.1-r0) ( 66/209) Purging harfbuzz-gobject (14.2.1-r0) ( 67/209) Purging harfbuzz-icu (14.2.1-r0) ( 68/209) Purging harfbuzz-subset (14.2.1-r0) ( 69/209) Purging graphite2-dev (1.3.15-r0) ( 70/209) Purging cairo-dev (1.18.4-r1) ( 71/209) Purging cairo-tools (1.18.4-r1) ( 72/209) Purging cairo-gobject (1.18.4-r1) ( 73/209) Purging libxft-dev (2.3.9-r0) ( 74/209) Purging gdk-pixbuf-dev (2.44.8-r0) ( 75/209) Purging gdk-pixbuf (2.44.8-r0) Executing gdk-pixbuf-2.44.8-r0.pre-deinstall ( 76/209) Purging libglycin-dev (2.2.1-r0) ( 77/209) Purging libglycin (2.2.1-r0) ( 78/209) Purging bubblewrap (0.13.1-r0) ( 79/209) Purging fontconfig-dev (2.18.1-r0) ( 80/209) Purging freetype-dev (2.14.3-r0) ( 81/209) Purging brotli-dev (1.2.0-r1) ( 82/209) Purging brotli (1.2.0-r1) ( 83/209) Purging glib-dev (2.90.0-r0) ( 84/209) Purging bzip2-dev (1.0.8-r6) ( 85/209) Purging docbook-xsl (1.79.2-r13) ( 86/209) Purging docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.pre-deinstall ( 87/209) Purging docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.pre-deinstall ( 88/209) Purging docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.pre-deinstall ( 89/209) Purging gettext-dev (1.0-r0) ( 90/209) Purging xz (5.8.4-r0) ( 91/209) Purging gettext-asprintf (1.0-r0) ( 92/209) Purging gettext (1.0-r0) ( 93/209) Purging gettext-envsubst (1.0-r0) ( 94/209) Purging libxml2-utils (2.13.9-r2) ( 95/209) Purging libxslt (1.1.43-r3) ( 96/209) Purging py3-packaging (26.2-r0) ( 97/209) Purging py3-parsing (3.3.3-r0) ( 98/209) Purging pcre2-dev (10.49-r0) ( 99/209) Purging libpcre2-16 (10.49-r0) (100/209) Purging libpcre2-32 (10.49-r0) (101/209) Purging libedit-dev (20260512.3.1-r0) (102/209) Purging ncurses-dev (6.6_p20260822-r0) (103/209) Purging libncurses++ (6.6_p20260822-r0) (104/209) Purging bsd-compat-headers (0.7.2-r6) (105/209) Purging pango (1.58.2-r0) (106/209) Purging cairo (1.18.4-r1) (107/209) Purging dbus-dev (1.16.2-r4) (108/209) Purging dbus-libs (1.16.2-r4) (109/209) Purging expat-dev (2.9.0-r0) (110/209) Purging expat (2.9.0-r0) (111/209) Purging libxft (2.3.9-r0) (112/209) Purging fontconfig (2.18.1-r0) (113/209) Purging harfbuzz (14.2.1-r0) (114/209) Purging freetype (2.14.3-r0) (115/209) Purging fribidi-dev (1.0.16-r3) (116/209) Purging fribidi (1.0.16-r3) (117/209) Purging gettext-libs (1.0-r0) (118/209) Purging shared-mime-info (2.4-r7) Executing shared-mime-info-2.4-r7.post-deinstall (119/209) Purging libatk-1.0 (2.62.0-r0) (120/209) Purging glib (2.90.0-r0) (121/209) Purging gnutls (3.8.13-r0) (122/209) Purging graphite2 (1.3.15-r0) (123/209) Purging libdrm-dev (2.4.134-r0) (124/209) Purging libpciaccess-dev (0.19-r0) (125/209) Purging mesa (26.2.4-r1) (126/209) Purging libdrm (2.4.134-r0) (127/209) Purging libpciaccess (0.19-r0) (128/209) Purging hwdata-pci (0.412-r0) (129/209) Purging icu-dev (78.1-r0) (130/209) Purging icu (78.1-r0) (131/209) Purging icu-libs (78.1-r0) (132/209) Purging icu-data-en (78.1-r0) (133/209) Purging util-linux-dev (2.42.4-r3) (134/209) Purging libfdisk (2.42.4-r3) (135/209) Purging liblastlog2 (2.42.4-r3) (136/209) Purging libmount (2.42.4-r3) (137/209) Purging libsmartcols (2.42.4-r3) (138/209) Purging libuuid (2.42.4-r3) (139/209) Purging libblkid (2.42.4-r3) (140/209) Purging libxxf86vm-dev (1.1.7-r0) (141/209) Purging libxxf86vm (1.1.7-r0) (142/209) Purging libxrender-dev (0.9.13-r0) (143/209) Purging libxtst-dev (1.2.6-r0) (144/209) Purging libxtst (1.2.6-r0) (145/209) Purging libxi-dev (1.8.4-r0) (146/209) Purging libxi (1.8.4-r0) (147/209) Purging libxfixes-dev (6.0.2-r0) (148/209) Purging libxext-dev (1.3.7-r0) (149/209) Purging libx11-dev (1.8.14-r0) (150/209) Purging xtrans (1.6.0-r0) (151/209) Purging libxcb-dev (1.17.0-r2) (152/209) Purging xcb-proto (1.17.0-r1) (153/209) Purging python3 (3.14.8-r0) (154/209) Purging libxdmcp-dev (1.1.5-r1) (155/209) Purging libxrandr (1.5.5-r0) (156/209) Purging libxinerama (1.1.6-r0) (157/209) Purging libxext (1.3.7-r0) (158/209) Purging libxcursor (1.2.3-r0) (159/209) Purging libxdamage (1.1.7-r0) (160/209) Purging libxrender (0.9.13-r0) (161/209) Purging libxcomposite (0.4.7-r0) (162/209) Purging libxfixes (6.0.2-r0) (163/209) Purging libx11 (1.8.14-r0) (164/209) Purging libxcb (1.17.0-r2) (165/209) Purging libxdmcp (1.1.5-r1) (166/209) Purging libbsd (0.12.2-r0) (167/209) Purging libbz2 (1.0.8-r6) (168/209) Purging libdav1d (1.5.4-r0) (169/209) Purging libeconf (0.8.4-r0) (170/209) Purging libelf (0.195-r0) (171/209) Purging libepoxy (1.5.10-r1) (172/209) Purging libffi-dev (3.8.0-r0) (173/209) Purging llvm23-libs (23.1.3-r0) (174/209) Purging wayland-libs-cursor (1.26.0-r0) (175/209) Purging wayland-libs-client (1.26.0-r0) (176/209) Purging p11-kit (0.26.2-r1) (177/209) Purging libffi (3.8.0-r0) (178/209) Purging libformw (6.6_p20260822-r0) (179/209) Purging libintl (1.0-r0) (180/209) Purging libmd (1.3.0-r0) (181/209) Purging libmenuw (6.6_p20260822-r0) (182/209) Purging libpanelw (6.6_p20260822-r0) (183/209) Purging libpng-dev (1.6.59-r0) (184/209) Purging libpng (1.6.59-r0) (185/209) Purging libseccomp-dev (2.6.1-r0) (186/209) Purging linux-headers (7.2.1-r0) (187/209) Purging libseccomp (2.6.1-r0) (188/209) Purging libtasn1 (4.21.0-r0) (189/209) Purging libxau-dev (1.0.12-r0) (190/209) Purging libxau (1.0.12-r0) (191/209) Purging libxkbcommon (1.13.2-r0) (192/209) Purging xkeyboard-config (2.48-r0) (193/209) Purging libxml2 (2.13.9-r2) (194/209) Purging libxshmfence (1.3.3-r0) (195/209) Purging linux-pam (1.7.1-r4) (196/209) Purging mpdecimal (4.0.1-r0) (197/209) Purging nettle (3.10.2-r0) (198/209) Purging pixman-dev (0.46.4-r0) (199/209) Purging pixman (0.46.4-r0) (200/209) Purging sqlite-dev (3.54.1-r0) (201/209) Purging sqlite-libs (3.54.1-r0) (202/209) Purging sqlite (3.54.1-r0) (203/209) Purging readline (8.3.3-r1) (204/209) Purging utmps-libs (0.1.3.4-r0) (205/209) Purging skalibs-libs (2.15.1.0-r0) (206/209) Purging wayland-libs-egl (1.26.0-r0) (207/209) Purging xorgproto (2025.1-r0) (208/209) Purging xz-libs (5.8.4-r0) (209/209) Purging zlib-dev (1.3.2-r1) Executing busybox-1.38.0-r7.trigger OK: 288.7 MiB in 100 packages >>> rocq: Updating the community/ppc64le repository index... >>> rocq: Signing the index...