elpi 1.14.3

Error log

The package failed to build. The error log from opam follows.

[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 26 packages
  - install astring             0.8.5
  - install bos                 0.2.1
  - install camlp-streams       5.0.1
  - install camlp5              8.03.01
  - install camlp5-buildscripts 0.04
  - install conf-m4             1
  - install conf-perl           2
  - install conf-which          1
  - install cppo                1.8.0
  - install elpi                1.14.3
  - install fmt                 0.9.0
  - install fpath               0.7.3
  - install logs                0.7.0
  - install not-ocamlfind       0.13
  - install ocaml-compiler-libs v0.12.4
  - install ocamlbuild          0.15.0
  - install ocamlgraph          2.1.0
  - install ppx_derivers        1.2.1
  - install ppx_deriving        6.0.3
  - install ppxlib              0.35.0
  - install re                  1.12.0
  - install rresult             0.7.0
  - install seq                 base
  - install sexplib0            v0.16.0
  - install stdlib-shims        0.3.0
  - install topkg               1.0.7

The following system packages will first need to be installed:
    m4 xdot

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "m4" "xdot"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libargon2-1:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18745 files and directories currently installed.)
- Preparing to unpack .../00-libargon2-1_0~20171227-0.3+deb12u1_amd64.deb ...
- Unpacking libargon2-1:amd64 (0~20171227-0.3+deb12u1) ...
- Selecting previously unselected package dmsetup.
- Preparing to unpack .../01-dmsetup_2%3a1.02.185-2_amd64.deb ...
- Unpacking dmsetup (2:1.02.185-2) ...
- Selecting previously unselected package libdevmapper1.02.1:amd64.
- Preparing to unpack .../02-libdevmapper1.02.1_2%3a1.02.185-2_amd64.deb ...
- Unpacking libdevmapper1.02.1:amd64 (2:1.02.185-2) ...
- Selecting previously unselected package libjson-c5:amd64.
- Preparing to unpack .../03-libjson-c5_0.16-2_amd64.deb ...
- Unpacking libjson-c5:amd64 (0.16-2) ...
- Selecting previously unselected package libcryptsetup12:amd64.
- Preparing to unpack .../04-libcryptsetup12_2%3a2.6.1-4~deb12u2_amd64.deb ...
- Unpacking libcryptsetup12:amd64 (2:2.6.1-4~deb12u2) ...
- Selecting previously unselected package libfdisk1:amd64.
- Preparing to unpack .../05-libfdisk1_2.38.1-5+deb12u3_amd64.deb ...
- Unpacking libfdisk1:amd64 (2.38.1-5+deb12u3) ...
- Selecting previously unselected package libkmod2:amd64.
- Preparing to unpack .../06-libkmod2_30+20221128-1_amd64.deb ...
- Unpacking libkmod2:amd64 (30+20221128-1) ...
- Selecting previously unselected package libapparmor1:amd64.
- Preparing to unpack .../07-libapparmor1_3.0.8-3_amd64.deb ...
- Unpacking libapparmor1:amd64 (3.0.8-3) ...
- Selecting previously unselected package libip4tc2:amd64.
- Preparing to unpack .../08-libip4tc2_1.8.9-2_amd64.deb ...
- Unpacking libip4tc2:amd64 (1.8.9-2) ...
- Selecting previously unselected package libsystemd-shared:amd64.
- Preparing to unpack .../09-libsystemd-shared_252.33-1~deb12u1_amd64.deb ...
- Unpacking libsystemd-shared:amd64 (252.33-1~deb12u1) ...
- Selecting previously unselected package systemd.
- Preparing to unpack .../10-systemd_252.33-1~deb12u1_amd64.deb ...
- Unpacking systemd (252.33-1~deb12u1) ...
- Setting up libargon2-1:amd64 (0~20171227-0.3+deb12u1) ...
- Setting up libjson-c5:amd64 (0.16-2) ...
- Setting up libfdisk1:amd64 (2.38.1-5+deb12u3) ...
- Setting up libkmod2:amd64 (30+20221128-1) ...
- Setting up libapparmor1:amd64 (3.0.8-3) ...
- Setting up libip4tc2:amd64 (1.8.9-2) ...
- Setting up libsystemd-shared:amd64 (252.33-1~deb12u1) ...
- Setting up libdevmapper1.02.1:amd64 (2:1.02.185-2) ...
- Setting up libcryptsetup12:amd64 (2:2.6.1-4~deb12u2) ...
- Setting up systemd (252.33-1~deb12u1) ...
- Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /lib/systemd/system/getty@.service.

- Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /lib/systemd/system/remote-fs.target.

- Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service → /lib/systemd/system/systemd-pstore.service.

- Initializing machine ID from random generator.

- Creating group 'systemd-journal' with GID 999.

- Creating group 'systemd-network' with GID 998.

- Creating user 'systemd-network' (systemd Network Management) with UID 998 and GID 998.

- Setting up dmsetup (2:1.02.185-2) ...
- Selecting previously unselected package systemd-sysv.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19660 files and directories currently installed.)
- Preparing to unpack .../0-systemd-sysv_252.33-1~deb12u1_amd64.deb ...
- Unpacking systemd-sysv (252.33-1~deb12u1) ...
- Selecting previously unselected package libdbus-1-3:amd64.
- Preparing to unpack .../1-libdbus-1-3_1.14.10-1~deb12u1_amd64.deb ...
- Unpacking libdbus-1-3:amd64 (1.14.10-1~deb12u1) ...
- Selecting previously unselected package dbus-bin.
- Preparing to unpack .../2-dbus-bin_1.14.10-1~deb12u1_amd64.deb ...
- Unpacking dbus-bin (1.14.10-1~deb12u1) ...
- Selecting previously unselected package dbus-session-bus-common.
- Preparing to unpack .../3-dbus-session-bus-common_1.14.10-1~deb12u1_all.deb ...
- Unpacking dbus-session-bus-common (1.14.10-1~deb12u1) ...
- Selecting previously unselected package dbus-daemon.
- Preparing to unpack .../4-dbus-daemon_1.14.10-1~deb12u1_amd64.deb ...
- Unpacking dbus-daemon (1.14.10-1~deb12u1) ...
- Selecting previously unselected package dbus-system-bus-common.
- Preparing to unpack .../5-dbus-system-bus-common_1.14.10-1~deb12u1_all.deb ...
- Unpacking dbus-system-bus-common (1.14.10-1~deb12u1) ...
- Selecting previously unselected package dbus.
- Preparing to unpack .../6-dbus_1.14.10-1~deb12u1_amd64.deb ...
- Unpacking dbus (1.14.10-1~deb12u1) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../7-libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../8-python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u5) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20058 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20468 files and directories currently installed.)
- Preparing to unpack .../000-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package libnss-systemd:amd64.
- Preparing to unpack .../001-libnss-systemd_252.33-1~deb12u1_amd64.deb ...
- Unpacking libnss-systemd:amd64 (252.33-1~deb12u1) ...
- Selecting previously unselected package libpam-systemd:amd64.
- Preparing to unpack .../002-libpam-systemd_252.33-1~deb12u1_amd64.deb ...
- Unpacking libpam-systemd:amd64 (252.33-1~deb12u1) ...
- Selecting previously unselected package systemd-timesyncd.
- Preparing to unpack .../003-systemd-timesyncd_252.33-1~deb12u1_amd64.deb ...
- Unpacking systemd-timesyncd (252.33-1~deb12u1) ...
- Selecting previously unselected package hicolor-icon-theme.
- Preparing to unpack .../004-hicolor-icon-theme_0.17-2_all.deb ...
- Unpacking hicolor-icon-theme (0.17-2) ...
- Selecting previously unselected package libgdk-pixbuf2.0-common.
- Preparing to unpack .../005-libgdk-pixbuf2.0-common_2.42.10+dfsg-1+deb12u1_all.deb ...
- Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-1+deb12u1) ...
- Selecting previously unselected package libglib2.0-0:amd64.
- Preparing to unpack .../006-libglib2.0-0_2.74.6-2+deb12u5_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.74.6-2+deb12u5) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../007-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../008-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../009-shared-mime-info_2.2-1_amd64.deb ...
- Unpacking shared-mime-info (2.2-1) ...
- Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64.
- Preparing to unpack .../010-libgdk-pixbuf-2.0-0_2.42.10+dfsg-1+deb12u1_amd64.deb ...
- Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.10+dfsg-1+deb12u1) ...
- Selecting previously unselected package gtk-update-icon-cache.
- Preparing to unpack .../011-gtk-update-icon-cache_3.24.38-2~deb12u3_amd64.deb ...
- Unpacking gtk-update-icon-cache (3.24.38-2~deb12u3) ...
- Selecting previously unselected package adwaita-icon-theme.
- Preparing to unpack .../012-adwaita-icon-theme_43-1_all.deb ...
- Unpacking adwaita-icon-theme (43-1) ...
- Selecting previously unselected package at-spi2-common.
- Preparing to unpack .../013-at-spi2-common_2.46.0-5_all.deb ...
- Unpacking at-spi2-common (2.46.0-5) ...
- Selecting previously unselected package libxi6:amd64.
- Preparing to unpack .../014-libxi6_2%3a1.8-1+b1_amd64.deb ...
- Unpacking libxi6:amd64 (2:1.8-1+b1) ...
- Selecting previously unselected package libatspi2.0-0:amd64.
- Preparing to unpack .../015-libatspi2.0-0_2.46.0-5_amd64.deb ...
- Unpacking libatspi2.0-0:amd64 (2.46.0-5) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../016-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libxtst6:amd64.
- Preparing to unpack .../017-libxtst6_2%3a1.2.3-1.1_amd64.deb ...
- Unpacking libxtst6:amd64 (2:1.2.3-1.1) ...
- Selecting previously unselected package dbus-user-session.
- Preparing to unpack .../018-dbus-user-session_1.14.10-1~deb12u1_amd64.deb ...
- Unpacking dbus-user-session (1.14.10-1~deb12u1) ...
- Selecting previously unselected package libdconf1:amd64.
- Preparing to unpack .../019-libdconf1_0.40.0-4_amd64.deb ...
- Unpacking libdconf1:amd64 (0.40.0-4) ...
- Selecting previously unselected package dconf-service.
- Preparing to unpack .../020-dconf-service_0.40.0-4_amd64.deb ...
- Unpacking dconf-service (0.40.0-4) ...
- Selecting previously unselected package dconf-gsettings-backend:amd64.
- Preparing to unpack .../021-dconf-gsettings-backend_0.40.0-4_amd64.deb ...
- Unpacking dconf-gsettings-backend:amd64 (0.40.0-4) ...
- Selecting previously unselected package gsettings-desktop-schemas.
- Preparing to unpack .../022-gsettings-desktop-schemas_43.0-1_all.deb ...
- Unpacking gsettings-desktop-schemas (43.0-1) ...
- Selecting previously unselected package at-spi2-core.
- Preparing to unpack .../023-at-spi2-core_2.46.0-5_amd64.deb ...
- Unpacking at-spi2-core (2.46.0-5) ...
- Selecting previously unselected package fontconfig.
- Preparing to unpack .../024-fontconfig_2.14.1-4_amd64.deb ...
- Unpacking fontconfig (2.14.1-4) ...
- Selecting previously unselected package fonts-liberation2.
- Preparing to unpack .../025-fonts-liberation2_2.1.5-1_all.deb ...
- Unpacking fonts-liberation2 (2.1.5-1) ...
- Selecting previously unselected package libgirepository-1.0-1:amd64.
- Preparing to unpack .../026-libgirepository-1.0-1_1.74.0-3_amd64.deb ...
- Unpacking libgirepository-1.0-1:amd64 (1.74.0-3) ...
- Selecting previously unselected package gir1.2-glib-2.0:amd64.
- Preparing to unpack .../027-gir1.2-glib-2.0_1.74.0-3_amd64.deb ...
- Unpacking gir1.2-glib-2.0:amd64 (1.74.0-3) ...
- Selecting previously unselected package libatk1.0-0:amd64.
- Preparing to unpack .../028-libatk1.0-0_2.46.0-5_amd64.deb ...
- Unpacking libatk1.0-0:amd64 (2.46.0-5) ...
- Selecting previously unselected package gir1.2-atk-1.0:amd64.
- Preparing to unpack .../029-gir1.2-atk-1.0_2.46.0-5_amd64.deb ...
- Unpacking gir1.2-atk-1.0:amd64 (2.46.0-5) ...
- Selecting previously unselected package gir1.2-freedesktop:amd64.
- Preparing to unpack .../030-gir1.2-freedesktop_1.74.0-3_amd64.deb ...
- Unpacking gir1.2-freedesktop:amd64 (1.74.0-3) ...
- Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64.
- Preparing to unpack .../031-gir1.2-gdkpixbuf-2.0_2.42.10+dfsg-1+deb12u1_amd64.deb ...
- Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.42.10+dfsg-1+deb12u1) ...
- Selecting previously unselected package gir1.2-harfbuzz-0.0:amd64.
- Preparing to unpack .../032-gir1.2-harfbuzz-0.0_6.0.0+dfsg-3_amd64.deb ...
- Unpacking gir1.2-harfbuzz-0.0:amd64 (6.0.0+dfsg-3) ...
- Selecting previously unselected package libfribidi0:amd64.
- Preparing to unpack .../033-libfribidi0_1.0.8-2.1_amd64.deb ...
- Unpacking libfribidi0:amd64 (1.0.8-2.1) ...
- Selecting previously unselected package libgraphite2-3:amd64.
- Preparing to unpack .../034-libgraphite2-3_1.3.14-1_amd64.deb ...
- Unpacking libgraphite2-3:amd64 (1.3.14-1) ...
- Selecting previously unselected package libharfbuzz0b:amd64.
- Preparing to unpack .../035-libharfbuzz0b_6.0.0+dfsg-3_amd64.deb ...
- Unpacking libharfbuzz0b:amd64 (6.0.0+dfsg-3) ...
- Selecting previously unselected package libthai-data.
- Preparing to unpack .../036-libthai-data_0.1.29-1_all.deb ...
- Unpacking libthai-data (0.1.29-1) ...
- Selecting previously unselected package libdatrie1:amd64.
- Preparing to unpack .../037-libdatrie1_0.2.13-2+b1_amd64.deb ...
- Unpacking libdatrie1:amd64 (0.2.13-2+b1) ...
- Selecting previously unselected package libthai0:amd64.
- Preparing to unpack .../038-libthai0_0.1.29-1_amd64.deb ...
- Unpacking libthai0:amd64 (0.1.29-1) ...
- Selecting previously unselected package libpango-1.0-0:amd64.
- Preparing to unpack .../039-libpango-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpango-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libpixman-1-0:amd64.
- Preparing to unpack .../040-libpixman-1-0_0.42.2-1_amd64.deb ...
- Unpacking libpixman-1-0:amd64 (0.42.2-1) ...
- Selecting previously unselected package libxcb-render0:amd64.
- Preparing to unpack .../041-libxcb-render0_1.15-1_amd64.deb ...
- Unpacking libxcb-render0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-shm0:amd64.
- Preparing to unpack .../042-libxcb-shm0_1.15-1_amd64.deb ...
- Unpacking libxcb-shm0:amd64 (1.15-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../043-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libcairo2:amd64.
- Preparing to unpack .../044-libcairo2_1.16.0-7_amd64.deb ...
- Unpacking libcairo2:amd64 (1.16.0-7) ...
- Selecting previously unselected package libpangoft2-1.0-0:amd64.
- Preparing to unpack .../045-libpangoft2-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libpangocairo-1.0-0:amd64.
- Preparing to unpack .../046-libpangocairo-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../047-libxft2_2.3.6-1_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1) ...
- Selecting previously unselected package libpangoxft-1.0-0:amd64.
- Preparing to unpack .../048-libpangoxft-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpangoxft-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package gir1.2-pango-1.0:amd64.
- Preparing to unpack .../049-gir1.2-pango-1.0_1.50.12+ds-1_amd64.deb ...
- Unpacking gir1.2-pango-1.0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libatk-bridge2.0-0:amd64.
- Preparing to unpack .../050-libatk-bridge2.0-0_2.46.0-5_amd64.deb ...
- Unpacking libatk-bridge2.0-0:amd64 (2.46.0-5) ...
- Selecting previously unselected package libcairo-gobject2:amd64.
- Preparing to unpack .../051-libcairo-gobject2_1.16.0-7_amd64.deb ...
- Unpacking libcairo-gobject2:amd64 (1.16.0-7) ...
- Selecting previously unselected package liblcms2-2:amd64.
- Preparing to unpack .../052-liblcms2-2_2.14-2_amd64.deb ...
- Unpacking liblcms2-2:amd64 (2.14-2) ...
- Selecting previously unselected package libcolord2:amd64.
- Preparing to unpack .../053-libcolord2_1.4.6-2.2_amd64.deb ...
- Unpacking libcolord2:amd64 (1.4.6-2.2) ...
- Selecting previously unselected package libavahi-common-data:amd64.
- Preparing to unpack .../054-libavahi-common-data_0.8-10+deb12u1_amd64.deb ...
- Unpacking libavahi-common-data:amd64 (0.8-10+deb12u1) ...
- Selecting previously unselected package libavahi-common3:amd64.
- Preparing to unpack .../055-libavahi-common3_0.8-10+deb12u1_amd64.deb ...
- Unpacking libavahi-common3:amd64 (0.8-10+deb12u1) ...
- Selecting previously unselected package libavahi-client3:amd64.
- Preparing to unpack .../056-libavahi-client3_0.8-10+deb12u1_amd64.deb ...
- Unpacking libavahi-client3:amd64 (0.8-10+deb12u1) ...
- Selecting previously unselected package libcups2:amd64.
- Preparing to unpack .../057-libcups2_2.4.2-3+deb12u8_amd64.deb ...
- Unpacking libcups2:amd64 (2.4.2-3+deb12u8) ...
- Selecting previously unselected package libepoxy0:amd64.
- Preparing to unpack .../058-libepoxy0_1.5.10-1_amd64.deb ...
- Unpacking libepoxy0:amd64 (1.5.10-1) ...
- Selecting previously unselected package libwayland-client0:amd64.
- Preparing to unpack .../059-libwayland-client0_1.21.0-1_amd64.deb ...
- Unpacking libwayland-client0:amd64 (1.21.0-1) ...
- Selecting previously unselected package libwayland-cursor0:amd64.
- Preparing to unpack .../060-libwayland-cursor0_1.21.0-1_amd64.deb ...
- Unpacking libwayland-cursor0:amd64 (1.21.0-1) ...
- Selecting previously unselected package libwayland-egl1:amd64.
- Preparing to unpack .../061-libwayland-egl1_1.21.0-1_amd64.deb ...
- Unpacking libwayland-egl1:amd64 (1.21.0-1) ...
- Selecting previously unselected package libxcomposite1:amd64.
- Preparing to unpack .../062-libxcomposite1_1%3a0.4.5-1_amd64.deb ...
- Unpacking libxcomposite1:amd64 (1:0.4.5-1) ...
- Selecting previously unselected package libxfixes3:amd64.
- Preparing to unpack .../063-libxfixes3_1%3a6.0.0-2_amd64.deb ...
- Unpacking libxfixes3:amd64 (1:6.0.0-2) ...
- Selecting previously unselected package libxcursor1:amd64.
- Preparing to unpack .../064-libxcursor1_1%3a1.2.1-1_amd64.deb ...
- Unpacking libxcursor1:amd64 (1:1.2.1-1) ...
- Selecting previously unselected package libxdamage1:amd64.
- Preparing to unpack .../065-libxdamage1_1%3a1.1.6-1_amd64.deb ...
- Unpacking libxdamage1:amd64 (1:1.1.6-1) ...
- Selecting previously unselected package libxinerama1:amd64.
- Preparing to unpack .../066-libxinerama1_2%3a1.1.4-3_amd64.deb ...
- Unpacking libxinerama1:amd64 (2:1.1.4-3) ...
- Selecting previously unselected package xkb-data.
- Preparing to unpack .../067-xkb-data_2.35.1-1_all.deb ...
- Unpacking xkb-data (2.35.1-1) ...
- Selecting previously unselected package libxkbcommon0:amd64.
- Preparing to unpack .../068-libxkbcommon0_1.5.0-1_amd64.deb ...
- Unpacking libxkbcommon0:amd64 (1.5.0-1) ...
- Selecting previously unselected package libxrandr2:amd64.
- Preparing to unpack .../069-libxrandr2_2%3a1.5.2-2+b1_amd64.deb ...
- Unpacking libxrandr2:amd64 (2:1.5.2-2+b1) ...
- Selecting previously unselected package libgtk-3-common.
- Preparing to unpack .../070-libgtk-3-common_3.24.38-2~deb12u3_all.deb ...
- Unpacking libgtk-3-common (3.24.38-2~deb12u3) ...
- Selecting previously unselected package libgtk-3-0:amd64.
- Preparing to unpack .../071-libgtk-3-0_3.24.38-2~deb12u3_amd64.deb ...
- Unpacking libgtk-3-0:amd64 (3.24.38-2~deb12u3) ...
- Selecting previously unselected package gir1.2-gtk-3.0:amd64.
- Preparing to unpack .../072-gir1.2-gtk-3.0_3.24.38-2~deb12u3_amd64.deb ...
- Unpacking gir1.2-gtk-3.0:amd64 (3.24.38-2~deb12u3) ...
- Selecting previously unselected package libann0.
- Preparing to unpack .../073-libann0_1.1.2+doc-9+b1_amd64.deb ...
- Unpacking libann0 (1.1.2+doc-9+b1) ...
- Selecting previously unselected package libcdt5:amd64.
- Preparing to unpack .../074-libcdt5_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libcdt5:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libcgraph6:amd64.
- Preparing to unpack .../075-libcgraph6_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libcgraph6:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libgts-0.7-5:amd64.
- Preparing to unpack .../076-libgts-0.7-5_0.7.6+darcs121130-5+b1_amd64.deb ...
- Unpacking libgts-0.7-5:amd64 (0.7.6+darcs121130-5+b1) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../077-libltdl7_2.4.7-7~deb12u1_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Selecting previously unselected package libpathplan4:amd64.
- Preparing to unpack .../078-libpathplan4_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libpathplan4:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libgvc6.
- Preparing to unpack .../079-libgvc6_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libgvc6 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libgvpr2:amd64.
- Preparing to unpack .../080-libgvpr2_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libgvpr2:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package liblab-gamut1:amd64.
- Preparing to unpack .../081-liblab-gamut1_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking liblab-gamut1:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../082-libice6_2%3a1.0.10-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.0.10-1) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../083-libsm6_2%3a1.2.3-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.3-1) ...
- Selecting previously unselected package libxt6:amd64.
- Preparing to unpack .../084-libxt6_1%3a1.2.1-1.1_amd64.deb ...
- Unpacking libxt6:amd64 (1:1.2.1-1.1) ...
- Selecting previously unselected package libxmu6:amd64.
- Preparing to unpack .../085-libxmu6_2%3a1.1.3-3_amd64.deb ...
- Unpacking libxmu6:amd64 (2:1.1.3-3) ...
- Selecting previously unselected package libxaw7:amd64.
- Preparing to unpack .../086-libxaw7_2%3a1.0.14-1_amd64.deb ...
- Unpacking libxaw7:amd64 (2:1.0.14-1) ...
- Selecting previously unselected package graphviz.
- Preparing to unpack .../087-graphviz_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking graphviz (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libblas3:amd64.
- Preparing to unpack .../088-libblas3_3.11.0-2_amd64.deb ...
- Unpacking libblas3:amd64 (3.11.0-2) ...
- Selecting previously unselected package libgdk-pixbuf2.0-bin.
- Preparing to unpack .../089-libgdk-pixbuf2.0-bin_2.42.10+dfsg-1+deb12u1_amd64.deb ...
- Unpacking libgdk-pixbuf2.0-bin (2.42.10+dfsg-1+deb12u1) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../090-libgfortran5_12.2.0-14_amd64.deb ...
- Unpacking libgfortran5:amd64 (12.2.0-14) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../091-libglib2.0-data_2.74.6-2+deb12u5_all.deb ...
- Unpacking libglib2.0-data (2.74.6-2+deb12u5) ...
- Selecting previously unselected package libgtk-3-bin.
- Preparing to unpack .../092-libgtk-3-bin_3.24.38-2~deb12u3_amd64.deb ...
- Unpacking libgtk-3-bin (3.24.38-2~deb12u3) ...
- Selecting previously unselected package libgts-bin.
- Preparing to unpack .../093-libgts-bin_0.7.6+darcs121130-5+b1_amd64.deb ...
- Unpacking libgts-bin (0.7.6+darcs121130-5+b1) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../094-liblapack3_3.11.0-2_amd64.deb ...
- Unpacking liblapack3:amd64 (3.11.0-2) ...
- Selecting previously unselected package librsvg2-2:amd64.
- Preparing to unpack .../095-librsvg2-2_2.54.7+dfsg-1~deb12u1_amd64.deb ...
- Unpacking librsvg2-2:amd64 (2.54.7+dfsg-1~deb12u1) ...
- Selecting previously unselected package librsvg2-common:amd64.
- Preparing to unpack .../096-librsvg2-common_2.54.7+dfsg-1~deb12u1_amd64.deb ...
- Unpacking librsvg2-common:amd64 (2.54.7+dfsg-1~deb12u1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../097-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package python3-cairo:amd64.
- Preparing to unpack .../098-python3-cairo_1.20.1-5+b1_amd64.deb ...
- Unpacking python3-cairo:amd64 (1.20.1-5+b1) ...
- Selecting previously unselected package python3-gi.
- Preparing to unpack .../099-python3-gi_3.42.2-3+b1_amd64.deb ...
- Unpacking python3-gi (3.42.2-3+b1) ...
- Selecting previously unselected package python3-gi-cairo.
- Preparing to unpack .../100-python3-gi-cairo_3.42.2-3+b1_amd64.deb ...
- Unpacking python3-gi-cairo (3.42.2-3+b1) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../101-python3-pkg-resources_66.1.1-1+deb12u1_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1+deb12u1) ...
- Selecting previously unselected package python3-numpy.
- Preparing to unpack .../102-python3-numpy_1%3a1.24.2-1+deb12u1_amd64.deb ...
- Unpacking python3-numpy (1:1.24.2-1+deb12u1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../103-xdg-user-dirs_0.18-1_amd64.deb ...
- Unpacking xdg-user-dirs (0.18-1) ...
- Selecting previously unselected package xdot.
- Preparing to unpack .../104-xdot_1.2-3_all.deb ...
- Unpacking xdot (1.2-3) ...
- Setting up media-types (10.0.0) ...
- Setting up libgraphite2-3:amd64 (1.3.14-1) ...
- Setting up liblcms2-2:amd64 (2.14-2) ...
- Setting up libpixman-1-0:amd64 (0.42.2-1) ...
- Setting up fontconfig (2.14.1-4) ...
- Regenerating fonts cache... 
- done.
- Setting up systemd-sysv (252.33-1~deb12u1) ...
- Setting up libxdamage1:amd64 (1:1.1.6-1) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up hicolor-icon-theme (0.17-2) ...
- Setting up libxi6:amd64 (2:1.8-1+b1) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libdatrie1:amd64 (0.2.13-2+b1) ...
- Setting up xdg-user-dirs (0.18-1) ...
- Setting up libxcb-render0:amd64 (1.15-1) ...
- Setting up libglib2.0-0:amd64 (2.74.6-2+deb12u5) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Setting up liblab-gamut1:amd64 (2.42.2-7+deb12u1) ...
- Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-1+deb12u1) ...
- Setting up x11-common (1:7.7+23) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up m4 (1.4.19-3) ...
- Setting up libnss-systemd:amd64 (252.33-1~deb12u1) ...
- Setting up xkb-data (2.35.1-1) ...
- Setting up libxcb-shm0:amd64 (1.15-1) ...
- Setting up libcairo2:amd64 (1.16.0-7) ...
- Setting up libcolord2:amd64 (1.4.6-2.2) ...
- Setting up libdconf1:amd64 (0.40.0-4) ...
- Setting up libgts-0.7-5:amd64 (0.7.6+darcs121130-5+b1) ...
- Setting up libblas3:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/blas/libblas.so.3 to provide /usr/lib/x86_64-linux-gnu/libblas.so.3 (libblas.so.3-x86_64-linux-gnu) in auto mode
- Setting up libglib2.0-data (2.74.6-2+deb12u5) ...
- Setting up libepoxy0:amd64 (1.5.10-1) ...
- Setting up libxfixes3:amd64 (1:6.0.0-2) ...
- Setting up fonts-liberation2 (2.1.5-1) ...
- Setting up libpathplan4:amd64 (2.42.2-7+deb12u1) ...
- Setting up libavahi-common-data:amd64 (0.8-10+deb12u1) ...
- Setting up libann0 (1.1.2+doc-9+b1) ...
- Setting up libdbus-1-3:amd64 (1.14.10-1~deb12u1) ...
- Setting up libfribidi0:amd64 (1.0.8-2.1) ...
- Setting up libxinerama1:amd64 (2:1.1.4-3) ...
- Setting up systemd-timesyncd (252.33-1~deb12u1) ...
- Creating group 'systemd-timesync' with GID 997.

- Creating user 'systemd-timesync' (systemd Time Synchronization) with UID 997 and GID 997.

- Created symlink /etc/systemd/system/dbus-org.freedesktop.timesync1.service → /lib/systemd/system/systemd-timesyncd.service.

- Created symlink /etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service → /lib/systemd/system/systemd-timesyncd.service.

- Setting up libxrandr2:amd64 (2:1.5.2-2+b1) ...
- Setting up libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Setting up libgfortran5:amd64 (12.2.0-14) ...
- Setting up at-spi2-common (2.46.0-5) ...
- Setting up dbus-session-bus-common (1.14.10-1~deb12u1) ...
- Setting up libharfbuzz0b:amd64 (6.0.0+dfsg-3) ...
- Setting up libthai-data (0.1.29-1) ...
- Setting up libgirepository-1.0-1:amd64 (1.74.0-3) ...
- Setting up libcairo-gobject2:amd64 (1.16.0-7) ...
- Setting up libcdt5:amd64 (2.42.2-7+deb12u1) ...
- Setting up libatk1.0-0:amd64 (2.46.0-5) ...
- Setting up libcgraph6:amd64 (2.42.2-7+deb12u1) ...
- Setting up libwayland-egl1:amd64 (1.21.0-1) ...
- Setting up dbus-system-bus-common (1.14.10-1~deb12u1) ...
- Setting up libxcomposite1:amd64 (1:0.4.5-1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up dbus-bin (1.14.10-1~deb12u1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libxkbcommon0:amd64 (1.5.0-1) ...
- Setting up libwayland-client0:amd64 (1.21.0-1) ...
- Setting up libgts-bin (0.7.6+darcs121130-5+b1) ...
- Setting up python3.11 (3.11.2-6+deb12u5) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up liblapack3:amd64 (3.11.0-2) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/lapack/liblapack.so.3 to provide /usr/lib/x86_64-linux-gnu/liblapack.so.3 (liblapack.so.3-x86_64-linux-gnu) in auto mode
- Setting up libxft2:amd64 (2.3.6-1) ...
- Setting up libxtst6:amd64 (2:1.2.3-1.1) ...
- Setting up libxcursor1:amd64 (1:1.2.1-1) ...
- Setting up libavahi-common3:amd64 (0.8-10+deb12u1) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up dbus-daemon (1.14.10-1~deb12u1) ...
- Setting up libatspi2.0-0:amd64 (2.46.0-5) ...
- Setting up libatk-bridge2.0-0:amd64 (2.46.0-5) ...
- Setting up libthai0:amd64 (0.1.29-1) ...
- Setting up dbus (1.14.10-1~deb12u1) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up shared-mime-info (2.2-1) ...
- Setting up gir1.2-glib-2.0:amd64 (1.74.0-3) ...
- Setting up libgvpr2:amd64 (2.42.2-7+deb12u1) ...
- Setting up libwayland-cursor0:amd64 (1.21.0-1) ...
- Setting up libpam-systemd:amd64 (252.33-1~deb12u1) ...
- Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.10+dfsg-1+deb12u1) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up libavahi-client3:amd64 (0.8-10+deb12u1) ...
- Setting up python3-pkg-resources (66.1.1-1+deb12u1) ...
- Setting up gtk-update-icon-cache (3.24.38-2~deb12u3) ...
- Setting up gir1.2-freedesktop:amd64 (1.74.0-3) ...
- Setting up python3-cairo:amd64 (1.20.1-5+b1) ...
- Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.42.10+dfsg-1+deb12u1) ...
- Setting up gir1.2-atk-1.0:amd64 (2.46.0-5) ...
- Setting up libpango-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up gir1.2-harfbuzz-0.0:amd64 (6.0.0+dfsg-3) ...
- Setting up dbus-user-session (1.14.10-1~deb12u1) ...
- Setting up adwaita-icon-theme (43-1) ...
- update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
- Setting up python3-gi (3.42.2-3+b1) ...
- Setting up libxt6:amd64 (1:1.2.1-1.1) ...
- Setting up python3-numpy (1:1.24.2-1+deb12u1) ...
- Setting up libcups2:amd64 (2.4.2-3+deb12u8) ...
- Setting up libgdk-pixbuf2.0-bin (2.42.10+dfsg-1+deb12u1) ...
- Setting up libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up python3-gi-cairo (3.42.2-3+b1) ...
- Setting up libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up libxmu6:amd64 (2:1.1.3-3) ...
- Setting up libpangoxft-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up dconf-service (0.40.0-4) ...
- Setting up libxaw7:amd64 (2:1.0.14-1) ...
- Setting up librsvg2-2:amd64 (2.54.7+dfsg-1~deb12u1) ...
- Setting up gir1.2-pango-1.0:amd64 (1.50.12+ds-1) ...
- Setting up libgvc6 (2.42.2-7+deb12u1) ...
- Setting up librsvg2-common:amd64 (2.54.7+dfsg-1~deb12u1) ...
- Setting up graphviz (2.42.2-7+deb12u1) ...
- Setting up dconf-gsettings-backend:amd64 (0.40.0-4) ...
- Setting up libgtk-3-common (3.24.38-2~deb12u3) ...
- Setting up gsettings-desktop-schemas (43.0-1) ...
- Setting up libgtk-3-0:amd64 (3.24.38-2~deb12u3) ...
- Setting up gir1.2-gtk-3.0:amd64 (3.24.38-2~deb12u3) ...
- Setting up libgtk-3-bin (3.24.38-2~deb12u3) ...
- Setting up at-spi2-core (2.46.0-5) ...
- Setting up xdot (1.2-3) ...
- Processing triggers for systemd (252.33-1~deb12u1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
- Processing triggers for libgdk-pixbuf-2.0-0:amd64 (2.42.10+dfsg-1+deb12u1) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved camlp5-buildscripts.0.04  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved camlp5.8.03.01  (cached)
-> installed camlp-streams.5.0.1
-> installed conf-m4.1
-> installed conf-perl.2
-> installed conf-which.1
-> retrieved fmt.0.9.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved not-ocamlfind.0.13  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlgraph.2.1.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.0.3  (cached)
-> retrieved elpi.1.14.3  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> installed ppx_derivers.1.2.1
-> retrieved re.1.12.0  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved sexplib0.v0.16.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> installed cppo.1.8.0
-> installed stdlib-shims.0.3.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed sexplib0.v0.16.0
-> installed re.1.12.0
-> installed ocamlgraph.2.1.0
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed fpath.0.7.3
-> installed not-ocamlfind.0.13
-> installed ppxlib.0.35.0
-> installed bos.0.2.1
-> installed camlp5-buildscripts.0.04
-> installed ppx_deriving.6.0.3
-> installed camlp5.8.03.01
[ERROR] The compilation of elpi.1.14.3 failed at "make build DUNE_OPTS=-p elpi -j 255".

#=== ERROR while compiling elpi.1.14.3 ========================================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.4.13.1 | file:///src
# path                 ~/.opam/4.13/.opam-switch/build/elpi.1.14.3
# command              /usr/bin/make build DUNE_OPTS=-p elpi -j 255
# exit-code            2
# env-file             ~/.opam/log/elpi-113-e94ca3.env
# output-file          ~/.opam/log/elpi-113-e94ca3.out
### output ###
# dune build -p elpi -j 255 @all
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Parser.cmo -c -impl src/parser.pp.ml)
# File "src/parser.ml", lines 422-434, characters 10-1:
# 422 | ..........{
# 423 |   tok_func = lex_fun;
# 424 |   tok_using =
# 425 |    (fun x,y ->
# 426 |       if x = "SYMBOL" && y <> "" then begin
# ...
# 431 |   tok_match = tok_match;
# 432 |   tok_text = (function (s,y) -> s ^ " " ^ y);
# 433 |   tok_comm = None;
# 434 | }
# Error: Some record fields are undefined: kwds
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Ast.cmo -c -impl src/ast.pp.ml)
# File "src/ast.ml", line 245, characters 19-37:
# 245 |     data_compare = Pervasives.compare (*Float.compare*);
#                          ^^^^^^^^^^^^^^^^^^
# Alert deprecated: module Stdlib.Pervasives
# Use Stdlib instead.
# 
# If you need to stay compatible with OCaml < 4.07, you can use the 
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Ast.cmx -c -impl src/ast.pp.ml)
# File "src/ast.ml", line 245, characters 19-37:
# 245 |     data_compare = Pervasives.compare (*Float.compare*);
#                          ^^^^^^^^^^^^^^^^^^
# Alert deprecated: module Stdlib.Pervasives
# Use Stdlib instead.
# 
# If you need to stay compatible with OCaml < 4.07, you can use the 
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Data.cmo -c -impl src/data.pp.ml)
# File "src/data.ml", line 647, characters 14-28:
# 647 |         (Obj.(extension_name (extension_constructor x)))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 647, characters 30-51:
# 647 |         (Obj.(extension_name (extension_constructor x)))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# File "src/data.ml", line 648, characters 14-28:
# 648 |         (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 648, characters 30-51:
# 648 |         (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# File "src/data.ml", line 649, characters 14-28:
# 649 |         (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 649, characters 30-51:
# 649 |         (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Parser.cmx -c -impl src/parser.pp.ml)
# File "src/parser.ml", lines 422-434, characters 10-1:
# 422 | ..........{
# 423 |   tok_func = lex_fun;
# 424 |   tok_using =
# 425 |    (fun x,y ->
# 426 |       if x = "SYMBOL" && y <> "" then begin
# ...
# 431 |   tok_match = tok_match;
# 432 |   tok_text = (function (s,y) -> s ^ " " ^ y);
# 433 |   tok_comm = None;
# 434 | }
# Error: Some record fields are undefined: kwds
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Data.cmx -c -impl src/data.pp.ml)
# File "src/data.ml", line 647, characters 14-28:
# 647 |         (Obj.(extension_name (extension_constructor x)))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 647, characters 30-51:
# 647 |         (Obj.(extension_name (extension_constructor x)))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# File "src/data.ml", line 648, characters 14-28:
# 648 |         (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 648, characters 30-51:
# 648 |         (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# File "src/data.ml", line 649, characters 14-28:
# 649 |         (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
#                     ^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_name
# use Obj.Extension_constructor.name
# File "src/data.ml", line 649, characters 30-51:
# 649 |         (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
#                                     ^^^^^^^^^^^^^^^^^^^^^
# Alert deprecated: Stdlib.Obj.extension_constructor
# use Obj.Extension_constructor.of_val
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml)
# File "src/API.ml", line 355, characters 80-98:
# 355 |   let float  = snd @@ RawOpaqueData.conversion_of_cdata ~name:"float"  ~compare:Pervasives.compare (*Float.compare*)      ~pp:(fun fmt x -> Util.CData.pp fmt (ED.C.float.Util.CData.cin x)) ED.C.float
#                                                                                       ^^^^^^^^^^^^^^^^^^
# Alert deprecated: module Stdlib.Pervasives
# Use Stdlib instead.
# 
# If you need to stay compatible with OCaml < 4.07, you can use the 
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# File "src/API.ml", line 400, characters 8-20:
# 400 |         R.Pp.uppterm d [] d ED.empty_env fmt t);
#               ^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/API.ml", line 458, characters 8-20:
# 458 |         R.Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
#               ^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/API.ml", line 1087, characters 4-16:
# 1087 |     R.Pp.uppterm depth [] 0 ED.empty_env fmt t
#            ^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/API.ml", line 1098, characters 6-17:
# 1098 |       R.Pp.ppterm depth [] 0 ED.empty_env fmt t
#              ^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml)
# File "src/runtime_trace_off.ml", line 1708, characters 14-31:
# 1708 |         match eta_contract_flex depth adepth bdepth e a with
#                      ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1728, characters 14-31:
# 1728 |         match eta_contract_flex depth bdepth bdepth e b with
#                      ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1774, characters 15-22:
# 1774 |          match is_flex (adepth+depth) other with
#                       ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1790, characters 28-35:
# 1790 |        let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
#                                    ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1803, characters 15-22:
# 1803 |          match is_flex (adepth+depth) other with
#                       ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1846, characters 8-25:
# 1846 |   match eta_contract_flex depth adepth adepth e a with
#                ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 1856, characters 8-25:
# 1856 |   match eta_contract_flex depth bdepth adepth e b with
#                ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 3495, characters 21-32:
# 3495 |        let clauses = get_clauses depth k g p in
#                             ^^^^^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 3499, characters 21-32:
# 3499 |        let clauses = get_clauses depth k g p in
#                             ^^^^^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime_trace_off.ml", line 3538, characters 19-25:
# 3538 |         | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
#                           ^^^^^^
# Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
# (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/camlp5 -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml)
# File "src/runtime.ml", line 1708, characters 14-31:
# 1708 |         match eta_contract_flex depth adepth bdepth e a with
#                      ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime.ml", line 1728, characters 14-31:
# 1728 |         match eta_contract_flex depth bdepth bdepth e b with
#                      ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime.ml", line 1774, characters 15-22:
# 1774 |          match is_flex (adepth+depth) other with
#                       ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime.ml", line 1790, characters 28-35:
# 1790 |        let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
#                                    ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime.ml", line 1803, characters 15-22:
# 1803 |          match is_flex (adepth+depth) other with
#                       ^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime.ml", line 1846, characters 8-25:
# 1846 |   match eta_contract_flex depth adepth adepth e a with
#                ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime.ml", line 1856, characters 8-25:
# 1856 |   match eta_contract_flex depth bdepth adepth e b with
#                ^^^^^^^^^^^^^^^^^
# Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
# File "src/runtime.ml", line 3495, characters 21-32:
# 3495 |        let clauses = get_clauses depth k g p in
#                             ^^^^^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime.ml", line 3499, characters 21-32:
# 3499 |        let clauses = get_clauses depth k g p in
#                             ^^^^^^^^^^^
# Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
# File "src/runtime.ml", line 3538, characters 19-25:
# 3538 |         | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
#                           ^^^^^^
# Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
# make: *** [Makefile:31: build] Error 1



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build elpi 1.14.3
+- 
+- The following changes have been performed
| - install astring             0.8.5
| - install bos                 0.2.1
| - install camlp-streams       5.0.1
| - install camlp5              8.03.01
| - install camlp5-buildscripts 0.04
| - install conf-m4             1
| - install conf-perl           2
| - install conf-which          1
| - install cppo                1.8.0
| - install fmt                 0.9.0
| - install fpath               0.7.3
| - install logs                0.7.0
| - install not-ocamlfind       0.13
| - install ocaml-compiler-libs v0.12.4
| - install ocamlbuild          0.15.0
| - install ocamlgraph          2.1.0
| - install ppx_derivers        1.2.1
| - install ppx_deriving        6.0.3
| - install ppxlib              0.35.0
| - install re                  1.12.0
| - install rresult             0.7.0
| - install seq                 base
| - install sexplib0            v0.16.0
| - install stdlib-shims        0.3.0
| - install topkg               1.0.7
+- 
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.13/.opam-switch/backup/state-20250206032303.export"