==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: rocq 9.1.0-4 (Sun Nov 16 18:24:05 2025)
==> Retrieving sources...
-> Found rocq-9.1.0.tar.gz
-> Found rocqide.desktop
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with b2sums...
rocq-9.1.0.tar.gz ... Passed
rocqide.desktop ... Passed
==> Making package: rocq 9.1.0-4 (Sun Nov 16 23:24:13 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
Packages (98) adwaita-cursors-49.0-1 adwaita-fonts-49.0-2 adwaita-icon-theme-49.0-1 adwaita-icon-theme-legacy-46.2-3 at-spi2-core-2.58.1-2 avahi-1:0.9rc2-1 bubblewrap-0.11.0-1 dav1d-1.5.2-1 dconf-0.49.0-1 default-cursors-3-1 desktop-file-utils-0.28-1 duktape-2.7.0-7 enchant-2.8.12-2 fribidi-1.0.16-2 giflib-5.2.2-2 glib-networking-1:2.80.1-1 glycin-2.0.7-1 gperftools-2.17.2-1 graphite-1:1.3.14-5 gsettings-desktop-schemas-49.1-1 gsettings-system-schemas-49.1-1 gtest-1.17.0-1 gtk-update-icon-cache-1:4.20.2-3 gtkspell3-3.0.10-3 harfbuzz-12.2.0-2 hicolor-icon-theme-0.18-1 highway-1.3.0-1 iso-codes-4.19.0-1 jbigkit-2.1-8 json-glib-1.10.8-1 lcms2-2.17-1 libcloudproviders-0.3.6-2 libcolord-1.4.8-1 libcups-2:2.4.14-1 libdaemon-0.14-6 libdatrie-0.2.13-4 libdeflate-1.24-1 libdrm-2.4.128-1 libedit-20250104_3.1-1 libepoxy-1.5.10-3 libglvnd-1.7.0-3 libjpeg-turbo-3.1.2-1 libjxl-0.11.1-5 libpciaccess-0.18.1-2 libpng-1.6.50-1 libproxy-0.5.11-1 librsvg-2:2.61.3-1 libsoup3-3.6.5-1 libstemmer-3.0.1-1 libthai-0.1.29-3 libtiff-4.7.1-1 libunwind-1.8.2-1 libwebp-1.6.0-2 libx11-1.8.12-1 libxau-1.0.12-1 libxcb-1.17.0-1 libxcomposite-0.4.6-2 libxcursor-1.2.3-1 libxdamage-1.1.6-2 libxdmcp-1.1.5-1.1 libxext-1.3.6-1 libxfixes-6.0.2-1 libxft-2.3.9-1 libxi-1.8.2-1 libxinerama-1.1.5-2 libxkbcommon-1.13.0-1 libxrandr-1.5.4-1 libxrender-0.9.12-1 libxshmfence-1.3.3-1 libxtst-1.2.5-1 libxxf86vm-1.1.6-1 llvm-libs-21.1.5-1 lm_sensors-1:3.6.2-1 lzo-2.10-5 mesa-1:25.2.7-1 ocaml-cairo-0.6.5-4 ocaml-compiler-libs-5.4.0-1 pixman-0.46.4-1.1 shared-mime-info-2.4-2 spirv-tools-1:1.4.328.1-1 tinysparql-3.10.1-2 wayland-1.24.0-1 xcb-proto-1.17.0-3 xkeyboard-config-2.46-1 xorg-xprop-1.2.8-1 xorgproto-2024.1-2 cairo-1.18.4-1 dune-3.20.2-2 fontconfig-2:2.17.1-1 freetype2-2.14.1-1 gdk-pixbuf2-2.44.4-1 gtk3-1:3.24.51-1 gtksourceview3-1:3.24.11+r30+gd880929f-1 lablgtk3-3.1.4-5 ocaml-5.4.0-1 ocaml-findlib-1.9.8-5 ocaml-zarith-1.14-7 pango-1:1.57.0-2
Total Download Size: 197.46 MiB
Total Installed Size: 781.15 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
ocaml-compiler-libs-5.4.0-1-aarch64 downloading...
ocaml-5.4.0-1-aarch64 downloading...
llvm-libs-21.1.5-1-aarch64 downloading...
dune-3.20.2-2-aarch64 downloading...
lablgtk3-3.1.4-5-aarch64 downloading...
gtk3-1:3.24.51-1-aarch64 downloading...
mesa-1:25.2.7-1-aarch64 downloading...
glycin-2.0.7-1-aarch64 downloading...
iso-codes-4.19.0-1-any downloading...
adwaita-icon-theme-legacy-46.2-3-any downloading...
libx11-1.8.12-1-aarch64 downloading...
adwaita-fonts-49.0-2-any downloading...
librsvg-2:2.61.3-1-aarch64 downloading...
spirv-tools-1:1.4.328.1-1-aarch64 downloading...
libjxl-0.11.1-5-aarch64 downloading...
harfbuzz-12.2.0-2-aarch64 downloading...
libxcb-1.17.0-1-aarch64 downloading...
tinysparql-3.10.1-2-aarch64 downloading...
highway-1.3.0-1-aarch64 downloading...
ocaml-findlib-1.9.8-5-aarch64 downloading...
xkeyboard-config-2.46-1-any downloading...
gsettings-desktop-schemas-49.1-1-any downloading...
cairo-1.18.4-1-aarch64 downloading...
gtksourceview3-1:3.24.11+r30+gd880929f-1-aarch64 downloading...
shared-mime-info-2.4-2-aarch64 downloading...
at-spi2-core-2.58.1-2-aarch64 downloading...
freetype2-2.14.1-1-aarch64 downloading...
gperftools-2.17.2-1-aarch64 downloading...
libjpeg-turbo-3.1.2-1-aarch64 downloading...
gdk-pixbuf2-2.44.4-1-aarch64 downloading...
ocaml-cairo-0.6.5-4-aarch64 downloading...
pango-1:1.57.0-2-aarch64 downloading...
avahi-1:0.9rc2-1-aarch64 downloading...
libsoup3-3.6.5-1-aarch64 downloading...
libdrm-2.4.128-1-aarch64 downloading...
fontconfig-2:2.17.1-1-aarch64 downloading...
gtest-1.17.0-1-aarch64 downloading...
libtiff-4.7.1-1-aarch64 downloading...
dav1d-1.5.2-1-aarch64 downloading...
libglvnd-1.7.0-3-aarch64 downloading...
libepoxy-1.5.10-3-aarch64 downloading...
adwaita-cursors-49.0-1-any downloading...
libxkbcommon-1.13.0-1-aarch64 downloading...
libcups-2:2.4.14-1-aarch64 downloading...
libthai-0.1.29-3-aarch64 downloading...
libwebp-1.6.0-2-aarch64 downloading...
libpng-1.6.50-1-aarch64 downloading...
xorgproto-2024.1-2-any downloading...
ocaml-zarith-1.14-7-aarch64 downloading...
lcms2-2.17-1-aarch64 downloading...
adwaita-icon-theme-49.0-1-any downloading...
pixman-0.46.4-1.1-aarch64 downloading...
libcolord-1.4.8-1-aarch64 downloading...
duktape-2.7.0-7-aarch64 downloading...
json-glib-1.10.8-1-aarch64 downloading...
libxi-1.8.2-1-aarch64 downloading...
wayland-1.24.0-1-aarch64 downloading...
libunwind-1.8.2-1-aarch64 downloading...
glib-networking-1:2.80.1-1-aarch64 downloading...
xcb-proto-1.17.0-3-any downloading...
lm_sensors-1:3.6.2-1-aarch64 downloading...
libstemmer-3.0.1-1-aarch64 downloading...
libdatrie-0.2.13-4-aarch64 downloading...
libedit-20250104_3.1-1-aarch64 downloading...
dconf-0.49.0-1-aarch64 downloading...
libxext-1.3.6-1-aarch64 downloading...
graphite-1:1.3.14-5-aarch64 downloading...
lzo-2.10-5-aarch64 downloading...
fribidi-1.0.16-2-aarch64 downloading...
enchant-2.8.12-2-aarch64 downloading...
libcloudproviders-0.3.6-2-aarch64 downloading...
giflib-5.2.2-2-aarch64 downloading...
libxft-2.3.9-1-aarch64 downloading...
libdeflate-1.24-1-aarch64 downloading...
jbigkit-2.1-8-aarch64 downloading...
gtkspell3-3.0.10-3-aarch64 downloading...
desktop-file-utils-0.28-1-aarch64 downloading...
bubblewrap-0.11.0-1-aarch64 downloading...
libxcursor-1.2.3-1-aarch64 downloading...
libxtst-1.2.5-1-aarch64 downloading...
libproxy-0.5.11-1-aarch64 downloading...
libxrender-0.9.12-1-aarch64 downloading...
libxdmcp-1.1.5-1.1-aarch64 downloading...
xorg-xprop-1.2.8-1-aarch64 downloading...
libxrandr-1.5.4-1-aarch64 downloading...
libpciaccess-0.18.1-2-aarch64 downloading...
libdaemon-0.14-6-aarch64 downloading...
gtk-update-icon-cache-1:4.20.2-3-aarch64 downloading...
libxxf86vm-1.1.6-1-aarch64 downloading...
libxfixes-6.0.2-1-aarch64 downloading...
hicolor-icon-theme-0.18-1-any downloading...
libxau-1.0.12-1-aarch64 downloading...
libxcomposite-0.4.6-2-aarch64 downloading...
libxinerama-1.1.5-2-aarch64 downloading...
libxdamage-1.1.6-2-aarch64 downloading...
libxshmfence-1.3.3-1-aarch64 downloading...
gsettings-system-schemas-49.1-1-any downloading...
default-cursors-3-1-any downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: 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...
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
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/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) Arming ConditionNeedsUpdate...
( 5/13) Updating the MIME type database...
( 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.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()...
You have OCaml 5.4.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.4.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()...
==> 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"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Starting package_rocqide()...
install: creating directory '/build/rocq/pkg/rocqide/usr/share/applications'
'../rocqide.desktop' -> '/build/rocq/pkg/rocqide/usr/share/applications/rocqide.desktop'
install: creating directory '/build/rocq/pkg/rocqide/usr/share/pixmaps'
'ide/rocqide/coq.png' -> '/build/rocq/pkg/rocqide/usr/share/pixmaps/rocqide.png'
==> 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 "rocqide"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: rocq 9.1.0-4 (Sun Nov 16 23:28:45 2025)
==> Cleaning up...
[?12l[?25h