==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_54df9d09-14e2-48e7-9c53-e258e959070b]...done ==> Making package: rocq 9.1.1-2.1 (Tue Jun 23 05:29:51 2026) ==> Retrieving sources... -> Downloading rocq-9.1.1.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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 3.55M 0 3.55M 0 0 3.09M 0 00:01 3.55M 100 6.09M 0 6.09M 0 0 4.08M 0 00:01 3.55M 100 6.09M 0 6.09M 0 0 4.08M 0 00:01 3.55M 100 6.09M 0 6.09M 0 0 4.08M 0 00:01 3.55M -> Found rocqide.desktop ==> Validating source files with b2sums... rocq-9.1.1.tar.gz ... Passed rocqide.desktop ... Passed ==> Making package: rocq 9.1.1-2.1 (Tue Jun 23 03:29:56 2026) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Package (102) New Version Net Change extra/adwaita-cursors 50.0-1 11.41 MiB extra/adwaita-fonts 50.0-1 7.29 MiB extra/adwaita-icon-theme 50.0-1 1.19 MiB extra/adwaita-icon-theme-legacy 46.2-3 2.23 MiB extra/at-spi2-core 2.60.4-1 4.04 MiB extra/avahi 1:0.9rc4-1 2.00 MiB extra/bubblewrap 0.11.2-1 0.09 MiB extra/dav1d 1.5.3-1 1.78 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.15-2 0.27 MiB extra/fribidi 1.0.16-2 0.24 MiB extra/giflib 6.1.3-1 0.33 MiB extra/glib-networking 1:2.80.1-1 0.65 MiB extra/glycin 2.1.1-1 17.50 MiB extra/gperftools 2.18.1-1 2.01 MiB extra/graphite 1:1.3.15-1 0.20 MiB extra/gsettings-desktop-schemas 50.1-1 6.08 MiB extra/gsettings-system-schemas 50.1-1 0.02 MiB extra/gtest 1.17.0-2 1.63 MiB extra/gtk-update-icon-cache 1:4.22.4-1 0.04 MiB extra/gtkspell3 3.0.10-4 0.20 MiB extra/harfbuzz 14.2.1-1 4.77 MiB extra/hicolor-icon-theme 0.18-1 0.05 MiB extra/highway 1.4.0-1 10.04 MiB extra/iso-codes 4.20.1-1 22.30 MiB extra/jbigkit 2.1-8 0.16 MiB extra/json-glib 1.10.8-1 1.01 MiB extra/lcms2 2.19.1-1 0.69 MiB extra/libcloudproviders 0.4.0-1 0.32 MiB extra/libcolord 1.4.8-1 1.24 MiB extra/libcups 2:2.4.19-1 0.77 MiB extra/libdaemon 0.14-6 0.06 MiB extra/libdatrie 0.2.14-1 0.49 MiB extra/libdeflate 1.25-1 0.14 MiB extra/libdrm 2.4.134-1 1.28 MiB core/libedit 20260512_3.1-1 0.27 MiB extra/libepoxy 1.5.10-3 2.64 MiB extra/libglvnd 1.7.0-3 3.34 MiB extra/libjpeg-turbo 3.1.4.1-1 2.43 MiB extra/libjxl 0.11.2-2 9.65 MiB extra/libpciaccess 0.19-1 0.06 MiB extra/libpng 1.6.58-1 0.58 MiB extra/libproxy 0.5.12-1 0.10 MiB extra/librsvg 2:2.62.3-1 10.26 MiB extra/libsoup3 3.6.6-2 1.96 MiB extra/libstemmer 3.1.1-1 0.64 MiB extra/libthai 0.1.30-1 1.24 MiB extra/libtiff 4.7.1-2 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.13-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.7-1 0.02 MiB extra/libxcursor 1.2.3-1 0.07 MiB extra/libxdamage 1.1.7-1 0.02 MiB extra/libxdmcp 1.1.5-2 0.13 MiB extra/libxext 1.3.7-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.3-1 0.49 MiB extra/libxinerama 1.1.6-1 0.02 MiB extra/libxkbcommon 1.13.2-1 1.05 MiB extra/libxrandr 1.5.5-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.7-1 0.03 MiB extra/llvm-libs 22.1.6-1 163.72 MiB extra/lm_sensors 1:3.6.2-1 0.48 MiB core/lzo 2.10-5 0.38 MiB extra/mesa 1:26.1.3-2 52.59 MiB extra/ocaml-cairo 0.6.5-6 1.10 MiB extra/ocaml-compiler-libs 5.5.0-1 80.76 MiB extra/ocaml-csexp 1.5.2-10 0.24 MiB extra/ocaml-pp 2.0.0-6 0.25 MiB extra/ocaml-re 1.14.0-3 3.82 MiB extra/ocaml-result 1.5-17 0.04 MiB extra/pixman 0.46.4-1 0.74 MiB extra/shared-mime-info 2.4-3 4.58 MiB extra/spirv-tools 1:1.4.350.1-1 7.94 MiB extra/tinysparql 3.11.1-1 3.88 MiB extra/wayland 1.25.0-1 0.84 MiB extra/xcb-proto 1.17.0-4 1.03 MiB extra/xkeyboard-config 2.48-1 10.24 MiB extra/xorg-xprop 1.2.8-1 0.05 MiB extra/xorgproto 2025.1-1 1.47 MiB extra/cairo 1.18.4-1 1.59 MiB extra/dune 3.23.1-2 38.27 MiB extra/fontconfig 2:2.18.1-1 1.20 MiB extra/freetype2 2.14.3-1 1.66 MiB extra/gdk-pixbuf2 2.44.6-2 2.96 MiB extra/gtk3 1:3.24.52-1 52.96 MiB extra/gtksourceview3 1:3.24.11+r30+gd880929f-1 3.91 MiB extra/lablgtk3 3.1.5-2 28.78 MiB extra/ocaml 5.5.0-1 146.82 MiB extra/ocaml-findlib 1.9.8-7 4.64 MiB extra/ocaml-zarith 1.14-9 1.47 MiB extra/pango 1:1.57.1-1 2.33 MiB Total Installed Size: 776.68 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 ocaml... Optional dependencies for ocaml ncurses: advanced ncurses features [installed] tk: advanced tk features installing ocaml-compiler-libs... installing ocaml-findlib... installing ocaml-result... installing ocaml-csexp... installing ocaml-pp... installing ocaml-re... installing dune... installing bubblewrap... installing libjpeg-turbo... Optional dependencies for libjpeg-turbo java-runtime>11: for TurboJPEG Java wrapper installing jbigkit... installing libdeflate... 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 [installed] installing highway... installing libjxl... Optional dependencies for libjxl 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-cairo... installing lablgtk3... Optional dependencies for lablgtk3 ocaml: for using the tools [installed] installing ocaml-zarith... :: Running post-transaction hooks... ( 1/13) Creating system user accounts... Creating group 'avahi' with GID 969. Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 969 and GID 969. ( 2/13) Reloading system manager configuration... Skipped: Current root is not booted. ( 3/13) Reloading user manager configuration... Skipped: Current root is not booted. ( 4/13) Updating the MIME type database... ( 5/13) Arming ConditionNeedsUpdate... ( 6/13) Updating fontconfig configuration... ( 7/13) Reloading system bus configuration... Skipped: Current root is not booted. ( 8/13) Updating fontconfig cache... ( 9/13) Updating GIO module cache... (10/13) Compiling GSettings XML schema files... (11/13) Probing GTK3 input method modules... (12/13) Updating icon theme caches... (13/13) Updating the desktop file MIME type cache... ==> Retrieving sources... -> Found rocq-9.1.1.tar.gz -> Found rocqide.desktop ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Extracting rocq-9.1.1.tar.gz with bsdtar ==> Starting build()... ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf You have OCaml 5.5.0. Good! You have OCamlfind 1.9.8. Good! You have native-code compilation. Good! You have the Zarith library 1.14 installed. Good! Architecture : Linux Sys.os_type : Unix OCaml version : 5.5.0 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 && /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_54df9d09-14e2-48e7-9c53-e258e959070b/build