==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: rocq-stdlib 9.1.0-2 (Mon Jun 22 20:54:08 2026)
==> Retrieving sources...
  -> Found rocq-stdlib-9.1.0.tar.gz
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with b2sums...
    rocq-stdlib-9.1.0.tar.gz ... Passed
==> Making package: rocq-stdlib 9.1.0-2 (Tue Jun 23 02:54:11 2026)
==> Checking runtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (4) ocaml-5.5.0-1  ocaml-compiler-libs-5.5.0-1  ocaml-findlib-1.9.8-7  rocq-9.1.1-2

Total Download Size:   151.69 MiB
Total Installed Size:  685.09 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 rocq-9.1.1-2-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing ocaml...
Optional dependencies for ocaml
    ncurses: advanced ncurses features [installed]
    tk: advanced tk features
installing ocaml-compiler-libs...
installing ocaml-findlib...
installing rocq...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (27) cairo-1.18.4-1  fontconfig-2:2.18.1-1  freetype2-2.14.3-1  fribidi-1.0.16-2  graphite-1:1.3.15-1  harfbuzz-14.2.1-1  libdatrie-0.2.14-1  libpng-1.6.58-1  libthai-0.1.30-1  libx11-1.8.13-1  libxau-1.0.12-1  libxcb-1.17.0-1  libxdmcp-1.1.5-2  libxext-1.3.7-1  libxft-2.3.9-1  libxrender-0.9.12-1  lzo-2.10-5  ocaml-csexp-1.5.2-10  ocaml-pp-2.0.0-6  ocaml-re-1.14.0-3  ocaml-result-1.5-17  pixman-0.46.4-1.1  xcb-proto-1.17.0-4  xorgproto-2025.1-1  dune-3.23.1-2  ocaml-zarith-1.14-9  pango-1:1.57.1-1

Total Download Size:    0.23 MiB
Total Installed Size:  87.56 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 ocaml-zarith-1.14-9-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing ocaml-result...
installing ocaml-csexp...
installing ocaml-pp...
installing ocaml-re...
installing dune...
installing ocaml-zarith...
installing libpng...
installing freetype2...
Optional dependencies for freetype2
    harfbuzz: Improved autohinting [pending]
installing fontconfig...
Creating fontconfig configuration...
Rebuilding fontconfig cache...
installing xcb-proto...
installing xorgproto...
installing libxdmcp...
installing libxau...
installing libxcb...
installing libx11...
installing libxext...
installing libxrender...
installing lzo...
installing pixman...
installing cairo...
installing fribidi...
installing graphite...
Optional dependencies for graphite
    graphite-docs: Documentation
installing harfbuzz...
Optional dependencies for harfbuzz
    harfbuzz-utils: utilities
installing libdatrie...
installing libthai...
installing libxft...
installing pango...
:: Running post-transaction hooks...
(1/3) Arming ConditionNeedsUpdate...
(2/3) Updating fontconfig configuration...
(3/3) Updating fontconfig cache...
==> Retrieving sources...
  -> Found rocq-stdlib-9.1.0.tar.gz
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
  -> Extracting rocq-stdlib-9.1.0.tar.gz with bsdtar
==> Starting build()...
==> Entering fakeroot environment...
==> Starting package()...
==> Tidying install...
  -> Removing libtool files...
  -> Purging unwanted files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "rocq-stdlib"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: rocq-stdlib 9.1.0-2 (Tue Jun 23 03:03:59 2026)
==> Cleaning up...
[?12l[?25h