==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_6ebb7b4c-0407-4bc2-bebb-636e0249bf07]...done ==> Making package: rocq 9.1.0-1.1 (Wed Oct 15 11:01:36 2025) ==> Retrieving sources... -> Downloading rocq-9.1.0.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 8 6245k 8 521k 0 0 889k 0 0:00:07 --:--:-- 0:00:07 889k 98 6245k 98 6165k 0 0 3949k 0 0:00:01 0:00:01 --:--:-- 5783k 100 6245k 100 6245k 0 0 3939k 0 0:00:01 0:00:01 --:--:-- 5723k -> Found rocqide.desktop ==> Validating source files with b2sums... rocq-9.1.0.tar.gz ... Passed rocqide.desktop ... Passed ==> Making package: rocq 9.1.0-1.1 (Wed Oct 15 09:01:40 2025) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: librsvg will be installed before its gdk-pixbuf2 dependency warning: dependency cycle detected: warning: mesa will be installed before its libglvnd dependency Package (98) New Version Net Change extra/adwaita-cursors 49.0-1 11.41 MiB extra/adwaita-fonts 49.0-2 7.22 MiB extra/adwaita-icon-theme 49.0-1 1.17 MiB extra/adwaita-icon-theme-legacy 46.2-3 2.23 MiB extra/at-spi2-core 2.58.1-1 3.98 MiB extra/avahi 1:0.9rc2-1 1.94 MiB extra/bubblewrap 0.11.0-1 0.09 MiB extra/dav1d 1.5.1-1 1.77 MiB extra/dconf 0.49.0-1 0.45 MiB extra/default-cursors 3-1 0.00 MiB extra/desktop-file-utils 0.28-1 0.18 MiB extra/duktape 2.7.0-7 0.78 MiB extra/enchant 2.8.12-1 0.27 MiB extra/fribidi 1.0.16-2 0.24 MiB extra/giflib 5.2.2-2 0.27 MiB extra/glib-networking 1:2.80.1-1 0.65 MiB extra/glycin 2.0.3-1 19.59 MiB extra/gperftools 2.17.2-1 2.01 MiB extra/graphite 1:1.3.14-5 0.20 MiB extra/gsettings-desktop-schemas 49.1-1 5.69 MiB extra/gsettings-system-schemas 49.1-1 0.01 MiB extra/gtest 1.17.0-1 1.63 MiB extra/gtk-update-icon-cache 1:4.20.2-3 0.04 MiB extra/gtkspell3 3.0.10-3 0.20 MiB extra/harfbuzz 12.1.0-1 4.38 MiB extra/hicolor-icon-theme 0.18-1 0.05 MiB extra/highway 1.3.0-1 9.87 MiB extra/iso-codes 4.18.0-1 21.40 MiB extra/jbigkit 2.1-8 0.16 MiB extra/json-glib 1.10.8-1 1.01 MiB extra/lcms2 2.17-1 0.67 MiB extra/libcloudproviders 0.3.6-2 0.47 MiB extra/libcolord 1.4.8-1 1.24 MiB extra/libcups 2:2.4.14-1 0.77 MiB extra/libdaemon 0.14-6 0.06 MiB extra/libdatrie 0.2.13-4 0.48 MiB extra/libdeflate 1.24-1 0.14 MiB extra/libdrm 2.4.126-1 1.26 MiB core/libedit 20250104_3.1-1 0.26 MiB extra/libepoxy 1.5.10-3 2.64 MiB extra/libglvnd 1.7.0-3 3.34 MiB extra/libjpeg-turbo 3.1.2-1 2.42 MiB extra/libjxl 0.11.1-4 9.33 MiB extra/libpciaccess 0.18.1-2 0.06 MiB extra/libpng 1.6.50-1 0.57 MiB extra/libproxy 0.5.11-1 0.10 MiB extra/librsvg 2:2.61.1-1 10.84 MiB extra/libsoup3 3.6.5-1 1.95 MiB extra/libstemmer 3.0.1-1 0.60 MiB extra/libthai 0.1.29-3 1.22 MiB extra/libtiff 4.7.1-1 1.26 MiB extra/libunwind 1.8.2-1 0.29 MiB extra/libwebp 1.6.0-2 1.04 MiB extra/libx11 1.8.12-1 9.78 MiB extra/libxau 1.0.12-1 0.02 MiB extra/libxcb 1.17.0-1 3.87 MiB extra/libxcomposite 0.4.6-2 0.02 MiB extra/libxcursor 1.2.3-1 0.07 MiB extra/libxdamage 1.1.6-2 0.02 MiB extra/libxdmcp 1.1.5-1 0.13 MiB extra/libxext 1.3.6-1 0.30 MiB extra/libxfixes 6.0.2-1 0.04 MiB extra/libxft 2.3.9-1 0.13 MiB extra/libxi 1.8.2-1 0.48 MiB extra/libxinerama 1.1.5-2 0.02 MiB extra/libxkbcommon 1.11.0-1 1.01 MiB extra/libxrandr 1.5.4-1 0.07 MiB extra/libxrender 0.9.12-1 0.09 MiB extra/libxshmfence 1.3.3-1 0.02 MiB extra/libxtst 1.2.5-1 0.11 MiB extra/libxxf86vm 1.1.6-1 0.03 MiB extra/llvm-libs 20.1.8-1 150.01 MiB extra/lm_sensors 1:3.6.2-1 0.48 MiB core/lzo 2.10-5 0.38 MiB extra/mesa 1:25.2.4-2 44.44 MiB extra/ocaml-cairo 0.6.5-3 1.09 MiB extra/ocaml-compiler-libs 5.3.0-1 73.57 MiB extra/pixman 0.46.4-1 0.74 MiB extra/shared-mime-info 2.4-2 4.57 MiB extra/spirv-tools 1:1.4.328.1-1 7.43 MiB extra/tinysparql 3.10.1-1 3.85 MiB extra/wayland 1.24.0-1 0.82 MiB extra/xcb-proto 1.17.0-3 1.02 MiB extra/xkeyboard-config 2.46-1 10.21 MiB extra/xorg-xprop 1.2.8-1 0.05 MiB extra/xorgproto 2024.1-2 1.46 MiB extra/cairo 1.18.4-1 1.59 MiB extra/dune 3.20.2-1 35.34 MiB extra/fontconfig 2:2.17.1-1 1.12 MiB extra/freetype2 2.14.1-1 1.66 MiB extra/gdk-pixbuf2 2.44.3-1 2.94 MiB extra/gtk3 1:3.24.51-1 52.56 MiB extra/gtksourceview3 1:3.24.11+r30+gd880929f-1 3.91 MiB extra/lablgtk3 3.1.4-4 27.68 MiB extra/ocaml 5.3.0-1 134.52 MiB extra/ocaml-findlib 1.9.8-4 4.39 MiB extra/ocaml-zarith 1.14-6 1.44 MiB extra/pango 1:1.57.0-2 2.33 MiB Total Installed Size: 725.70 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... 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 dune... Optional dependencies for dune ocaml: Dune standard library [pending] installing bubblewrap... installing jbigkit... installing libdeflate... installing libjpeg-turbo... Optional dependencies for libjpeg-turbo java-runtime>11: for TurboJPEG Java wrapper installing libwebp... Optional dependencies for libwebp libwebp-utils: WebP conversion and inspection tools installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing lcms2... installing giflib... installing libunwind... installing gperftools... installing gtest... Optional dependencies for gtest python: gmock generator installing highway... installing libjxl... Optional dependencies for libjxl gdk-pixbuf2: for gdk-pixbuf loader [pending] java-runtime: for JNI bindings installing dav1d... Optional dependencies for dav1d dav1d-doc: HTML documentation installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing fribidi... installing libdatrie... installing libthai... installing libxft... installing pango... installing librsvg... installing glycin... Optional dependencies for glycin libheif: Load .avif, .heic and .heif installing shared-mime-info... installing gdk-pixbuf2... Optional dependencies for gdk-pixbuf2 libheif: Load .avif, .heic and .heif libopenraw: Load .arw, .cr2, .crw, .dng, .erf, .mrw, .nef, .orf, .pef and .raf libwmf: Load .apm and .wmf installing adwaita-fonts... installing hicolor-icon-theme... installing adwaita-icon-theme-legacy... installing adwaita-cursors... installing adwaita-icon-theme... installing dconf... installing gsettings-system-schemas... installing gsettings-desktop-schemas... installing libxfixes... installing libxi... installing libxtst... installing xorg-xprop... installing at-spi2-core... installing desktop-file-utils... installing iso-codes... installing libcloudproviders... installing libcolord... installing libdaemon... installing avahi... Optional dependencies for avahi gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending] libevent: libevent bindings [installed] nss-mdns: NSS support for mDNS python-dbus: avahi-bookmarks, avahi-discover python-gobject: avahi-bookmarks, avahi-discover python-twisted: avahi-bookmarks installing libcups... installing libpciaccess... installing libdrm... Optional dependencies for libdrm cairo: needed for modetest tool [installed] installing libxshmfence... installing libxxf86vm... installing libedit... installing llvm-libs... installing lm_sensors... Optional dependencies for lm_sensors rrdtool: for logging with sensord perl: for sensor detection and configuration convert [installed] installing spirv-tools... installing default-cursors... Optional dependencies for default-cursors adwaita-cursors: default cursor theme [installed] installing wayland... installing mesa... Optional dependencies for mesa opengl-man-pages: for the OpenGL API man pages installing libglvnd... installing libepoxy... installing libxcomposite... installing libxcursor... installing libxdamage... installing libxinerama... installing xkeyboard-config... installing libxkbcommon... Optional dependencies for libxkbcommon libxkbcommon-x11: xkbcli interactive-x11 wayland: xkbcli interactive-wayland [installed] installing libxrandr... installing json-glib... installing duktape... installing libproxy... installing glib-networking... installing libsoup3... Optional dependencies for libsoup3 samba: Windows Domain SSO installing libstemmer... installing tinysparql... installing gtk-update-icon-cache... installing gtk3... Optional dependencies for gtk3 evince: Default print preview command installing gtksourceview3... installing enchant... Optional dependencies for enchant aspell: for aspell based spell checking support hspell: for hspell based spell checking support hunspell: for hunspell based spell checking support libvoikko: for libvoikko based spell checking support nuspell: for nuspell based spell checking support installing gtkspell3... installing ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-cairo... installing lablgtk3... Optional dependencies for lablgtk3 ocaml: for using the tools [installed] installing ocaml-compiler-libs... installing ocaml-findlib... installing ocaml-zarith... :: Running post-transaction hooks... ( 1/14) Creating system user accounts... Creating group 'avahi' with GID 970. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 970 and GID 970. ( 2/14) Reloading system manager configuration... Skipped: Current root is not booted. ( 3/14) Reloading user manager configuration... Skipped: Current root is not booted. ( 4/14) Arming ConditionNeedsUpdate... ( 5/14) Updating the MIME type database... ( 6/14) Updating fontconfig configuration... ( 7/14) Reloading system bus configuration... Skipped: Current root is not booted. ( 8/14) Updating fontconfig cache... ( 9/14) Probing GDK-Pixbuf loader modules... (10/14) Updating GIO module cache... (11/14) Compiling GSettings XML schema files... (12/14) Probing GTK3 input method modules... (13/14) Updating icon theme caches... (14/14) Updating the desktop file MIME type cache... ==> Retrieving sources... -> Found rocq-9.1.0.tar.gz -> Found rocqide.desktop ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Extracting rocq-9.1.0.tar.gz with bsdtar ==> Starting build()... 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 && /usr/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision skipping make_git_revision: git not found ==> Entering fakeroot environment... ==> Starting package_rocq()... Error: Program git not found in the tree or in PATH Hint: Git is required for version information in 'dune subst', build info, and package management. Install git or add it to your PATH. ==> ERROR: A failure occurred in package_rocq(). Aborting... ==> ERROR: Build failed, check /home/alhp/workspace/chroot/build_6ebb7b4c-0407-4bc2-bebb-636e0249bf07/build