==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: rocq-stdlib 9.1.0-1 (Sat Feb 14 22:09:09 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-1 (Sat Feb 14 22:09:19 2026)
==> Checking runtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (4) ocaml-5.4.0-1  ocaml-compiler-libs-5.4.0-1  ocaml-findlib-1.9.8-5  rocq-9.1.1-1

Total Download Size:   229.30 MiB
Total Installed Size:  653.56 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 rocq-9.1.1-1-aarch64 downloading...
 ocaml-compiler-libs-5.4.0-1-aarch64 downloading...
 ocaml-5.4.0-1-aarch64 downloading...
 ocaml-findlib-1.9.8-5-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 (23) cairo-1.18.4-1  fontconfig-2:2.17.1-1  freetype2-2.14.1-1  fribidi-1.0.16-2  graphite-1:1.3.14-5  harfbuzz-12.3.2-1  libdatrie-0.2.14-1  libpng-1.6.55-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-1.1  libxext-1.3.7-1  libxft-2.3.9-1  libxrender-0.9.12-1  lzo-2.10-5  pixman-0.46.4-1.1  xcb-proto-1.17.0-4  xorgproto-2025.1-1  dune-3.21.1-1  ocaml-zarith-1.14-7  pango-1:1.57.0-2

Total Download Size:   13.01 MiB
Total Installed Size:  77.32 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 dune-3.21.1-1-aarch64 downloading...
 ocaml-zarith-1.14-7-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
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()...
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))
==> 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-1 (Sat Feb 14 22:20:10 2026)
==> Cleaning up...
[?12l[?25h