sbuild (Debian sbuild) 0.91.10 (27 June 2026) on cil.up7.fr +==============================================================================+ | elpi 3.7.2-2+ocaml1 (amd64) Mon, 07 Sep 2026 18:02:23 +0000 | +==============================================================================+ Package: elpi Version: 3.7.2-2+ocaml1 Source Version: 3.7.2-2+ocaml1 Distribution: unstable-ocaml Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/srv/ocaml.debian.net/transitions/20260907/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.u6tcIq5bsn... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... +------------------------------------------------------------------------------+ | Chroot Setup Commands Mon, 07 Sep 2026 18:02:43 +0000 | +------------------------------------------------------------------------------+ /repo/conf/mk-release.sh ------------------------ dpkg-scanpackages: info: Wrote 1159 entries to output Packages file. I: Finished running '/repo/conf/mk-release.sh'. Finished processing commands. -------------------------------------------------------------------------------- I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Mon, 07 Sep 2026 18:03:12 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/repo rebuilt InRelease Get:2 file:/repo rebuilt Release [1506 B] Get:2 file:/repo rebuilt Release [1506 B] Ign:3 file:/repo rebuilt Release.gpg Get:4 file:/repo rebuilt/main amd64 Packages [1102 kB] Get:5 http://localhost:9999/debian unstable InRelease [193 kB] Get:6 http://localhost:9999/debian unstable/non-free amd64 Packages [132 kB] Get:7 http://localhost:9999/debian unstable/contrib amd64 Packages [64.4 kB] Get:8 http://localhost:9999/debian unstable/main amd64 Packages [10.8 MB] Get:9 http://localhost:9999/debian unstable/non-free-firmware amd64 Packages [10.8 kB] Fetched 11.2 MB in 2s (6558 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files Mon, 07 Sep 2026 18:03:16 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.gXPg8XSN1e/elpi_3.7.2-2+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.gXPg8XSN1e; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Mon, 07 Sep 2026 18:03:19 +0000 | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), git, gnuplot-nox, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libfileutils-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev (>= 0.36.0), libppx-optcomp-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-native-compilers, ocaml-dune, time, yojson-tools, build-essential Filtered Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), git, gnuplot-nox, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libfileutils-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev (>= 0.36.0), libppx-optcomp-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-native-compilers, ocaml-dune, time, yojson-tools, build-essential dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/build/reproducible-path/resolver-kt44Mf/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ Sources [1012 B] Get:5 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ Packages [1019 B] Fetched 2646 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following additional packages will be installed: aglfn atdts autoconf automake autopoint autotools-dev bsdextrautils camlp5 debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gettext gettext-base git git-man gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20260526 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbase-ocaml libbase-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcom-err2 libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl4-gnutls libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 liberror-perl libexpat1 libffi8 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfmt-ocaml libfmt-ocaml-dev libfontconfig1 libfreetype6 libfribidi0 libgav1-2 libgd3 libglib2.0-0t64 libgnutls30t64 libgraphite2-3 libgssapi-krb5-2 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libidn2-0 libimagequant0 libjbig0 libjpeg62-turbo libjson-perl libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 liblerc4 liblua5.4-0 libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-gnutls8 libocaml-compiler-libs-ocaml-dev libocaml-intrinsics-kernel-ocaml libocaml-intrinsics-kernel-ocaml-dev libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-ocaml libpcre2-ocaml-dev libpcre2-posix3 libpipeline1 libpixman-1-0 libpng16-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppx-optcomp-ocaml libppx-optcomp-ocaml-dev libppxlib-ocaml-dev libpsl5t64 librav1e0.8 libre-ocaml-dev libreadline8t64 libsasl2-2 libsasl2-modules-db libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libssh2-1t64 libstdio-ocaml libstdio-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc4 libtasn1-6 libthai-data libthai0 libtiff6 libtool libuchardet0 libunistring5 libwebp7 libwebpmux3 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2-16 libxpm4 libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 libzstd-dev lua5.1 m4 man-db menhir ocaml ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf quickjs readline-common sensible-utils time yojson-tools Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n git-doc git-email git-gui gitk gitweb git-cvs git-svn gnuplot-doc groff libgd-tools low-memory-monitor gnutls-bin krb5-doc krb5-user libheif-plugin-ffmpegdec libheif-plugin-jpegdec libheif-plugin-jpegenc libheif-plugin-j2kdec libheif-plugin-j2kenc libheif-plugin-kvazaar libheif-plugin-rav1e libheif-plugin-svtenc ncurses-doc libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser menhir-doc ocaml-doc elpa-tuareg camlp4 libmail-box-perl readline-doc Recommended packages: curl | wget | lynx python3:any ca-certificates less ssh-client fonts-liberation groff libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libheif-plugin-x265 libheif-plugin-aomenc libjson-xs-perl krb5-locales libldap-common libgpm2 publicsuffix libsasl2-modules ocaml-man libltdl-dev libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: aglfn atdts autoconf automake autopoint autotools-dev bsdextrautils camlp5 debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gettext gettext-base git git-man gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20260526 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbase-ocaml libbase-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcom-err2 libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl4-gnutls libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 liberror-perl libexpat1 libffi8 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfmt-ocaml libfmt-ocaml-dev libfontconfig1 libfreetype6 libfribidi0 libgav1-2 libgd3 libglib2.0-0t64 libgnutls30t64 libgraphite2-3 libgssapi-krb5-2 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libidn2-0 libimagequant0 libjbig0 libjpeg62-turbo libjson-perl libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 liblerc4 liblua5.4-0 libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-gnutls8 libocaml-compiler-libs-ocaml-dev libocaml-intrinsics-kernel-ocaml libocaml-intrinsics-kernel-ocaml-dev libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-ocaml libpcre2-ocaml-dev libpcre2-posix3 libpipeline1 libpixman-1-0 libpng16-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppx-optcomp-ocaml libppx-optcomp-ocaml-dev libppxlib-ocaml-dev libpsl5t64 librav1e0.8 libre-ocaml-dev libreadline8t64 libsasl2-2 libsasl2-modules-db libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libssh2-1t64 libstdio-ocaml libstdio-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc4 libtasn1-6 libthai-data libthai0 libtiff6 libtool libuchardet0 libunistring5 libwebp7 libwebpmux3 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2-16 libxpm4 libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 libzstd-dev lua5.1 m4 man-db menhir ocaml ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf quickjs readline-common sbuild-build-depends-main-dummy sensible-utils time yojson-tools 0 upgraded, 177 newly installed, 0 to remove and 0 not upgraded. Need to get 51.9 MB/198 MB of archives. After this operation, 923 MB of additional disk space will be used. Get:1 file:/repo rebuilt/main amd64 atdts amd64 4.2.0-2+ocaml1 [854 kB] Get:2 copy:/build/reproducible-path/resolver-kt44Mf/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [1020 B] Get:3 file:/repo rebuilt/main amd64 libstdlib-ocaml amd64 5.5.1-1~exp1+ocaml1 [432 kB] Get:4 file:/repo rebuilt/main amd64 libstdlib-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [7115 kB] Get:5 file:/repo rebuilt/main amd64 libcompiler-libs-ocaml-dev amd64 5.5.1-1~exp1+ocaml1 [41.7 MB] Get:6 http://localhost:9999/debian unstable/main amd64 libexpat1 amd64 2.8.4-1 [130 kB] Get:7 http://localhost:9999/debian unstable/main amd64 readline-common all 8.3-4 [74.8 kB] Get:8 http://localhost:9999/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:9 http://localhost:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.47-4 [345 kB] Get:10 http://localhost:9999/debian unstable/main amd64 libmagic1t64 amd64 1:5.47-4 [111 kB] Get:11 http://localhost:9999/debian unstable/main amd64 file amd64 1:5.47-4 [43.0 kB] Get:12 http://localhost:9999/debian unstable/main amd64 gettext-base amd64 1.0-3 [332 kB] Get:13 http://localhost:9999/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2+b2 [69.0 kB] Get:14 http://localhost:9999/debian unstable/main amd64 groff-base amd64 1.24.1-1 [1336 kB] Get:15 http://localhost:9999/debian unstable/main amd64 bsdextrautils amd64 2.42.3-1 [102 kB] Get:16 http://localhost:9999/debian unstable/main amd64 libpipeline1 amd64 1.5.8-3 [49.2 kB] Get:17 http://localhost:9999/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:18 http://localhost:9999/debian unstable/main amd64 aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get:19 http://localhost:9999/debian unstable/main amd64 m4 amd64 1.4.21-1 [332 kB] Get:20 http://localhost:9999/debian unstable/main amd64 autoconf all 2.73-2 [516 kB] Get:21 http://localhost:9999/debian unstable/main amd64 autotools-dev all 20240727.1+nmu1 [60.0 kB] Get:22 http://localhost:9999/debian unstable/main amd64 automake all 1:1.18.1-4 [877 kB] Get:23 http://localhost:9999/debian unstable/main amd64 autopoint all 1.0-3 [820 kB] Get:24 http://localhost:9999/debian unstable/main amd64 libncurses6 amd64 6.6+20260608-2 [107 kB] Get:25 http://localhost:9999/debian unstable/main amd64 libncursesw6 amd64 6.6+20260608-2 [137 kB] Get:26 http://localhost:9999/debian unstable/main amd64 libncurses-dev amd64 6.6+20260608-2 [356 kB] Get:27 http://localhost:9999/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-4 [371 kB] Get:28 http://localhost:9999/debian unstable/main amd64 libpcre2-16-0 amd64 10.48-2 [295 kB] Get:29 http://localhost:9999/debian unstable/main amd64 libpcre2-32-0 amd64 10.48-2 [281 kB] Get:30 http://localhost:9999/debian unstable/main amd64 libpcre2-posix3 amd64 10.48-2 [67.1 kB] Get:31 http://localhost:9999/debian unstable/main amd64 libpcre2-dev amd64 10.48-2 [880 kB] Get:32 http://localhost:9999/debian unstable/main amd64 libdebhelper-perl all 14.3 [77.3 kB] Get:33 http://localhost:9999/debian unstable/main amd64 libtool all 2.6.2-2 [553 kB] Get:34 http://localhost:9999/debian unstable/main amd64 dh-autoreconf all 22 [12.2 kB] Get:35 http://localhost:9999/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:36 http://localhost:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.1-1 [17.1 kB] Get:37 http://localhost:9999/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.1-1 [6020 B] Get:38 http://localhost:9999/debian unstable/main amd64 libelf1t64 amd64 0.196-1 [61.2 kB] Get:39 http://localhost:9999/debian unstable/main amd64 dwz amd64 0.17-1 [109 kB] Get:40 http://localhost:9999/debian unstable/main amd64 libunistring5 amd64 1.4.2-1 [480 kB] Get:41 http://localhost:9999/debian unstable/main amd64 libxml2-16 amd64 2.15.4+dfsg-1 [683 kB] Get:42 http://localhost:9999/debian unstable/main amd64 gettext amd64 1.0-3 [2658 kB] Get:43 http://localhost:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:44 http://localhost:9999/debian unstable/main amd64 po-debconf all 1.0.22 [216 kB] Get:45 http://localhost:9999/debian unstable/main amd64 debhelper all 14.3 [934 kB] Get:46 http://localhost:9999/debian unstable/main amd64 quickjs amd64 2025.04.26-1+b2 [443 kB] Get:47 http://localhost:9999/debian unstable/main amd64 libjson-perl all 4.10000-1 [87.5 kB] Get:48 http://localhost:9999/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:49 http://localhost:9999/debian unstable/main amd64 libbrotli1 amd64 1.2.0-4+b1 [312 kB] Get:50 http://localhost:9999/debian unstable/main amd64 libpng16-16t64 amd64 1.6.58-1 [289 kB] Get:51 http://localhost:9999/debian unstable/main amd64 libfreetype6 amd64 2.14.3+dfsg-2 [492 kB] Get:52 http://localhost:9999/debian unstable/main amd64 fonts-dejavu-mono all 2.37-9 [488 kB] Get:53 http://localhost:9999/debian unstable/main amd64 fonts-dejavu-core all 2.37-9 [840 kB] Get:54 http://localhost:9999/debian unstable/main amd64 fontconfig-config amd64 2.17.1-5 [56.1 kB] Get:55 http://localhost:9999/debian unstable/main amd64 libfontconfig1 amd64 2.17.1-5 [132 kB] Get:56 http://localhost:9999/debian unstable/main amd64 fontconfig amd64 2.17.1-5 [191 kB] Get:57 http://localhost:9999/debian unstable/main amd64 libnghttp3-9 amd64 1.17.0-1 [68.1 kB] Get:58 http://localhost:9999/debian unstable/main amd64 libngtcp2-16 amd64 1.24.0-1 [145 kB] Get:59 http://localhost:9999/debian unstable/main amd64 libidn2-0 amd64 2.3.8-5 [109 kB] Get:60 http://localhost:9999/debian unstable/main amd64 libffi8 amd64 3.8.0-2 [32.5 kB] Get:61 file:/repo rebuilt/main amd64 ocaml-base amd64 5.5.1-1~exp1+ocaml1 [553 kB] Get:62 http://localhost:9999/debian unstable/main amd64 libp11-kit0 amd64 0.26.5-1 [482 kB] Get:63 file:/repo rebuilt/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+ocaml1 [44.2 kB] Get:64 http://localhost:9999/debian unstable/main amd64 libtasn1-6 amd64 4.21.0-2+b1 [49.3 kB] Get:65 http://localhost:9999/debian unstable/main amd64 libgnutls30t64 amd64 3.8.13-1 [1546 kB] Get:66 file:/repo rebuilt/main amd64 ocaml-interp amd64 5.5.1-1~exp1+ocaml1 [8223 kB] Get:67 http://localhost:9999/debian unstable/main amd64 libkrb5support0 amd64 1.22.1-3 [31.1 kB] Get:68 http://localhost:9999/debian unstable/main amd64 libcom-err2 amd64 1.47.4-1+b1 [19.5 kB] Get:69 http://localhost:9999/debian unstable/main amd64 libk5crypto3 amd64 1.22.1-3 [79.0 kB] Get:70 http://localhost:9999/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6+b2 [9348 B] Get:71 http://localhost:9999/debian unstable/main amd64 libkrb5-3 amd64 1.22.1-3 [335 kB] Get:72 http://localhost:9999/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.22.1-3 [137 kB] Get:73 http://localhost:9999/debian unstable/main amd64 libsasl2-modules-db amd64 2.1.28+dfsg1-11 [17.2 kB] Get:74 http://localhost:9999/debian unstable/main amd64 libsasl2-2 amd64 2.1.28+dfsg1-11 [55.2 kB] Get:75 http://localhost:9999/debian unstable/main amd64 libldap2 amd64 2.6.14+dfsg-2 [200 kB] Get:76 http://localhost:9999/debian unstable/main amd64 libnghttp2-14 amd64 1.70.0-1 [92.7 kB] Get:77 http://localhost:9999/debian unstable/main amd64 libngtcp2-crypto-gnutls8 amd64 1.24.0-1 [23.9 kB] Get:78 http://localhost:9999/debian unstable/main amd64 libpsl5t64 amd64 0.23.3-1 [61.7 kB] Get:79 http://localhost:9999/debian unstable/main amd64 libssh2-1t64 amd64 1.11.1-6 [253 kB] Get:80 http://localhost:9999/debian unstable/main amd64 libcurl4-gnutls amd64 8.22.0-1 [457 kB] Get:81 file:/repo rebuilt/main amd64 ocaml amd64 5.5.1-1~exp1+ocaml1 [19.7 MB] Get:82 http://localhost:9999/debian unstable/main amd64 liberror-perl all 0.17030-1 [26.9 kB] Get:83 http://localhost:9999/debian unstable/main amd64 git-man all 1:2.55.0-1 [2381 kB] Get:84 http://localhost:9999/debian unstable/main amd64 git amd64 1:2.55.0-1 [9658 kB] Get:85 file:/repo rebuilt/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+ocaml1 [106 kB] Get:86 file:/repo rebuilt/main amd64 libcmdliner-ocaml-dev amd64 2.1.1-2+ocaml1 [1787 kB] Get:87 http://localhost:9999/debian unstable/main amd64 gnuplot-data all 6.0.3+dfsg1-1 [73.0 kB] Get:88 http://localhost:9999/debian unstable/main amd64 libpixman-1-0 amd64 0.46.4-1+b2 [259 kB] Get:89 http://localhost:9999/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1+b2 [20.7 kB] Get:90 http://localhost:9999/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-2+b1 [28.2 kB] Get:91 http://localhost:9999/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b2 [144 kB] Get:92 http://localhost:9999/debian unstable/main amd64 libx11-data all 2:1.8.13-1 [346 kB] Get:93 file:/repo rebuilt/main amd64 libfmt-ocaml amd64 0.11.0-1+ocaml1 [136 kB] Get:94 file:/repo rebuilt/main amd64 libfmt-ocaml-dev amd64 0.11.0-1+ocaml1 [285 kB] Get:95 file:/repo rebuilt/main amd64 libfindlib-ocaml amd64 1.9.8-1+ocaml1 [203 kB] Get:96 http://localhost:9999/debian unstable/main amd64 libx11-6 amd64 2:1.8.13-1 [829 kB] Get:97 file:/repo rebuilt/main amd64 ocaml-findlib amd64 1.9.8-1+ocaml1 [625 kB] Get:98 file:/repo rebuilt/main amd64 libpcre2-ocaml amd64 8.0.4-1+ocaml1 [109 kB] Get:99 file:/repo rebuilt/main amd64 libpcre2-ocaml-dev amd64 8.0.4-1+ocaml1 [239 kB] Get:100 http://localhost:9999/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b2 [115 kB] Get:101 http://localhost:9999/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b2 [105 kB] Get:102 file:/repo rebuilt/main amd64 camlp5 amd64 8.05.02-1+ocaml1 [12.0 MB] Get:103 http://localhost:9999/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b4 [50.7 kB] Get:104 http://localhost:9999/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1+b2 [27.7 kB] Get:105 http://localhost:9999/debian unstable/main amd64 libcairo2 amd64 1.18.4-3+b1 [543 kB] Get:106 http://localhost:9999/debian unstable/main amd64 libbsd0 amd64 0.12.2-3 [132 kB] Get:107 http://localhost:9999/debian unstable/main amd64 libedit2 amd64 3.1-20260512-1 [93.6 kB] Get:108 http://localhost:9999/debian unstable/main amd64 libaom3 amd64 3.14.1-1 [1923 kB] Get:109 http://localhost:9999/debian unstable/main amd64 libdav1d7 amd64 1.5.4-1 [583 kB] Get:110 http://localhost:9999/debian unstable/main amd64 libabsl20260526 amd64 20260526.0-2 [563 kB] Get:111 http://localhost:9999/debian unstable/main amd64 libgav1-2 amd64 0.20.0-2+b2 [372 kB] Get:112 http://localhost:9999/debian unstable/main amd64 librav1e0.8 amd64 0.8.1-11 [966 kB] Get:113 http://localhost:9999/debian unstable/main amd64 libsvtav1enc4 amd64 4.1.0+dfsg-1 [2414 kB] Get:114 file:/repo rebuilt/main amd64 dh-ocaml all 3.8+ocaml1 [202 kB] Get:115 file:/repo rebuilt/main amd64 libansi-terminal-ocaml amd64 0.8.5-5+ocaml1 [27.4 kB] Get:116 file:/repo rebuilt/main amd64 libansi-terminal-ocaml-dev amd64 0.8.5-5+ocaml1 [65.4 kB] Get:117 file:/repo rebuilt/main amd64 libeasy-format-ocaml amd64 1.3.4-3+ocaml1 [47.8 kB] Get:118 file:/repo rebuilt/main amd64 libbiniou-ocaml amd64 1.2.2-4+ocaml1 [130 kB] Get:119 file:/repo rebuilt/main amd64 libyojson-ocaml amd64 3.0.0-2+ocaml1 [371 kB] Get:120 file:/repo rebuilt/main amd64 libatdgen-ocaml amd64 4.2.0-2+ocaml1 [149 kB] Get:121 file:/repo rebuilt/main amd64 libeasy-format-ocaml-dev amd64 1.3.4-3+ocaml1 [107 kB] Get:122 file:/repo rebuilt/main amd64 libbiniou-ocaml-dev amd64 1.2.2-4+ocaml1 [767 kB] Get:123 file:/repo rebuilt/main amd64 libyojson-ocaml-dev amd64 3.0.0-2+ocaml1 [830 kB] Get:124 http://localhost:9999/debian unstable/main amd64 libjpeg62-turbo amd64 1:3.1.3-4 [213 kB] Get:125 http://localhost:9999/debian unstable/main amd64 libyuv0 amd64 0.0.1971.20260904-1 [187 kB] Get:126 http://localhost:9999/debian unstable/main amd64 libavif16 amd64 1.4.2-1 [147 kB] Get:127 file:/repo rebuilt/main amd64 libatdgen-ocaml-dev amd64 4.2.0-2+ocaml1 [1719 kB] Get:128 http://localhost:9999/debian unstable/main amd64 libsharpyuv0 amd64 1.5.0-0.1+b2 [115 kB] Get:129 http://localhost:9999/debian unstable/main amd64 libde265-0 amd64 1.1.2-1 [213 kB] Get:130 http://localhost:9999/debian unstable/main amd64 libheif-plugin-libde265 amd64 1.23.3-1 [18.3 kB] Get:131 http://localhost:9999/debian unstable/main amd64 libheif-plugin-dav1d amd64 1.23.3-1 [20.8 kB] Get:132 file:/repo rebuilt/main amd64 libocaml-intrinsics-kernel-ocaml amd64 0.17.2-1+ocaml1 [33.6 kB] Get:133 http://localhost:9999/debian unstable/main amd64 libheif1 amd64 1.23.3-1 [857 kB] Get:134 file:/repo rebuilt/main amd64 libsexplib0-ocaml amd64 0.17.0-1+ocaml1 [120 kB] Get:135 file:/repo rebuilt/main amd64 libbase-ocaml amd64 0.17.3-2+ocaml1 [2859 kB] Get:136 http://localhost:9999/debian unstable/main amd64 libimagequant0 amd64 4.4.1-1+b2 [255 kB] Get:137 http://localhost:9999/debian unstable/main amd64 libdeflate0 amd64 1.25-1 [48.0 kB] Get:138 http://localhost:9999/debian unstable/main amd64 libjbig0 amd64 2.1-6.1+b3 [32.2 kB] Get:139 file:/repo rebuilt/main amd64 libocaml-intrinsics-kernel-ocaml-dev amd64 0.17.2-1+ocaml1 [62.1 kB] Get:140 file:/repo rebuilt/main amd64 libsexplib0-ocaml-dev amd64 0.17.0-1+ocaml1 [279 kB] Get:141 http://localhost:9999/debian unstable/main amd64 liblerc4 amd64 4.2.0+ds-1 [203 kB] Get:142 http://localhost:9999/debian unstable/main amd64 libwebp7 amd64 1.5.0-0.1+b2 [335 kB] Get:143 file:/repo rebuilt/main amd64 libbase-ocaml-dev amd64 0.17.3-2+ocaml1 [7760 kB] Get:144 http://localhost:9999/debian unstable/main amd64 libtiff6 amd64 4.7.2-1 [383 kB] Get:145 http://localhost:9999/debian unstable/main amd64 libxpm4 amd64 1:3.5.19-1 [58.9 kB] Get:146 http://localhost:9999/debian unstable/main amd64 libgd3 amd64 2.3.3-14 [126 kB] Get:147 http://localhost:9999/debian unstable/main amd64 libglib2.0-0t64 amd64 2.89.4-2+b1 [1617 kB] Get:148 http://localhost:9999/debian unstable/main amd64 liblua5.4-0 amd64 5.4.9-1 [152 kB] Get:149 http://localhost:9999/debian unstable/main amd64 libfribidi0 amd64 1.0.16-5+b1 [26.2 kB] Get:150 http://localhost:9999/debian unstable/main amd64 libgraphite2-3 amd64 1.3.15-2 [75.8 kB] Get:151 http://localhost:9999/debian unstable/main amd64 libharfbuzz0b amd64 12.3.2-2+b2 [513 kB] Get:152 http://localhost:9999/debian unstable/main amd64 libthai-data all 0.1.30-3 [172 kB] Get:153 http://localhost:9999/debian unstable/main amd64 libdatrie1 amd64 0.2.14-2 [39.1 kB] Get:154 http://localhost:9999/debian unstable/main amd64 libthai0 amd64 0.1.30-3 [51.7 kB] Get:155 http://localhost:9999/debian unstable/main amd64 libpango-1.0-0 amd64 1.58.0-1 [225 kB] Get:156 file:/repo rebuilt/main amd64 libfileutils-ocaml-dev amd64 0.6.6-1+ocaml1 [646 kB] Get:157 http://localhost:9999/debian unstable/main amd64 libpangoft2-1.0-0 amd64 1.58.0-1 [53.1 kB] Get:158 http://localhost:9999/debian unstable/main amd64 libpangocairo-1.0-0 amd64 1.58.0-1 [34.2 kB] Get:159 http://localhost:9999/debian unstable/main amd64 libwebpmux3 amd64 1.5.0-0.1+b2 [126 kB] Get:160 http://localhost:9999/debian unstable/main amd64 gnuplot-nox amd64 6.0.3+dfsg1-1 [928 kB] Get:161 file:/repo rebuilt/main amd64 libmenhir-ocaml-dev amd64 20260209+ds-3+ocaml1 [1036 kB] Get:162 http://localhost:9999/debian unstable/main amd64 libreadline8t64 amd64 8.3-4 [181 kB] Get:163 http://localhost:9999/debian unstable/main amd64 lua5.1 amd64 5.1.5-12 [104 kB] Get:164 http://localhost:9999/debian unstable/main amd64 time amd64 1.10-0.1 [58.4 kB] Get:165 file:/repo rebuilt/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.17.0-2+ocaml1 [95.1 kB] Get:166 file:/repo rebuilt/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+ocaml1 [16.9 kB] Get:167 file:/repo rebuilt/main amd64 libppx-deriving-ocaml amd64 6.1.3-1+ocaml1 [405 kB] Get:168 file:/repo rebuilt/main amd64 libppxlib-ocaml-dev amd64 0.38.0-1+ocaml1 [19.7 MB] Get:169 file:/repo rebuilt/main amd64 libppx-deriving-ocaml-dev amd64 6.1.3-1+ocaml1 [5170 kB] Get:170 file:/repo rebuilt/main amd64 libstdio-ocaml amd64 0.17.0-1+ocaml1 [31.6 kB] Get:171 file:/repo rebuilt/main amd64 libppx-optcomp-ocaml amd64 1:0.17.1-1+ocaml1 [127 kB] Get:172 file:/repo rebuilt/main amd64 libstdio-ocaml-dev amd64 0.17.0-1+ocaml1 [70.9 kB] Get:173 file:/repo rebuilt/main amd64 libppx-optcomp-ocaml-dev amd64 1:0.17.1-1+ocaml1 [266 kB] Get:174 file:/repo rebuilt/main amd64 libre-ocaml-dev amd64 1.14.0-2+ocaml1 [1399 kB] Get:175 file:/repo rebuilt/main amd64 menhir amd64 20260209+ds-3+ocaml1 [1523 kB] Get:176 file:/repo rebuilt/main amd64 ocaml-dune amd64 3.24.1-4+ocaml1 [5605 kB] Get:177 file:/repo rebuilt/main amd64 yojson-tools amd64 3.0.0-2+ocaml1 [446 kB] Preconfiguring packages ... Fetched 51.9 MB in 1s (70.1 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 12060 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.8.4-1_amd64.deb ... Unpacking libexpat1:amd64 (2.8.4-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../001-readline-common_8.3-4_all.deb ... Unpacking readline-common (8.3-4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../002-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.47-4_amd64.deb ... Unpacking libmagic-mgc (1:5.47-4) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../004-libmagic1t64_1%3a5.47-4_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.47-4) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.47-4_amd64.deb ... Unpacking file (1:5.47-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../006-gettext-base_1.0-3_amd64.deb ... Unpacking gettext-base (1.0-3) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../007-libuchardet0_0.0.8-2+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../008-groff-base_1.24.1-1_amd64.deb ... Unpacking groff-base (1.24.1-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../009-bsdextrautils_2.42.3-1_amd64.deb ... Unpacking bsdextrautils (2.42.3-1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../010-libpipeline1_1.5.8-3_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-3) ... Selecting previously unselected package man-db. Preparing to unpack .../011-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package aglfn. Preparing to unpack .../012-aglfn_1.7+git20191031.4036a9c-2_all.deb ... Unpacking aglfn (1.7+git20191031.4036a9c-2) ... Selecting previously unselected package atdts. Preparing to unpack .../013-atdts_4.2.0-2+ocaml1_amd64.deb ... Unpacking atdts (4.2.0-2+ocaml1) ... Selecting previously unselected package m4. Preparing to unpack .../014-m4_1.4.21-1_amd64.deb ... Unpacking m4 (1.4.21-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../015-autoconf_2.73-2_all.deb ... Unpacking autoconf (2.73-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../016-autotools-dev_20240727.1+nmu1_all.deb ... Unpacking autotools-dev (20240727.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../017-automake_1%3a1.18.1-4_all.deb ... Unpacking automake (1:1.18.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../018-autopoint_1.0-3_all.deb ... Unpacking autopoint (1.0-3) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../019-libstdlib-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../020-libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../021-libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../022-ocaml-base_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../023-libcamlp-streams-ocaml_5.0.1-3+ocaml1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../024-ocaml-interp_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../025-libncurses6_6.6+20260608-2_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../026-libncursesw6_6.6+20260608-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20260608-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../027-libncurses-dev_6.6+20260608-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20260608-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../028-libzstd-dev_1.5.7+dfsg-4_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-4) ... Selecting previously unselected package ocaml. Preparing to unpack .../029-ocaml_5.5.1-1~exp1+ocaml1_amd64.deb ... Unpacking ocaml (5.5.1-1~exp1+ocaml1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../030-libcamlp-streams-ocaml-dev_5.0.1-3+ocaml1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+ocaml1) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../031-libcmdliner-ocaml-dev_2.1.1-2+ocaml1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (2.1.1-2+ocaml1) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../032-libfmt-ocaml_0.11.0-1+ocaml1_amd64.deb ... Unpacking libfmt-ocaml (0.11.0-1+ocaml1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../033-libfmt-ocaml-dev_0.11.0-1+ocaml1_amd64.deb ... Unpacking libfmt-ocaml-dev (0.11.0-1+ocaml1) ... Selecting previously unselected package libpcre2-16-0:amd64. Preparing to unpack .../034-libpcre2-16-0_10.48-2_amd64.deb ... Unpacking libpcre2-16-0:amd64 (10.48-2) ... Selecting previously unselected package libpcre2-32-0:amd64. Preparing to unpack .../035-libpcre2-32-0_10.48-2_amd64.deb ... Unpacking libpcre2-32-0:amd64 (10.48-2) ... Selecting previously unselected package libpcre2-posix3:amd64. Preparing to unpack .../036-libpcre2-posix3_10.48-2_amd64.deb ... Unpacking libpcre2-posix3:amd64 (10.48-2) ... Selecting previously unselected package libpcre2-dev:amd64. Preparing to unpack .../037-libpcre2-dev_10.48-2_amd64.deb ... Unpacking libpcre2-dev:amd64 (10.48-2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../038-libfindlib-ocaml_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../039-ocaml-findlib_1.9.8-1+ocaml1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml1) ... Selecting previously unselected package libpcre2-ocaml. Preparing to unpack .../040-libpcre2-ocaml_8.0.4-1+ocaml1_amd64.deb ... Unpacking libpcre2-ocaml (8.0.4-1+ocaml1) ... Selecting previously unselected package libpcre2-ocaml-dev. Preparing to unpack .../041-libpcre2-ocaml-dev_8.0.4-1+ocaml1_amd64.deb ... Unpacking libpcre2-ocaml-dev (8.0.4-1+ocaml1) ... Selecting previously unselected package camlp5. Preparing to unpack .../042-camlp5_8.05.02-1+ocaml1_amd64.deb ... Unpacking camlp5 (8.05.02-1+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../043-libdebhelper-perl_14.3_all.deb ... Unpacking libdebhelper-perl (14.3) ... Selecting previously unselected package libtool. Preparing to unpack .../044-libtool_2.6.2-2_all.deb ... Unpacking libtool (2.6.2-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../045-dh-autoreconf_22_all.deb ... Unpacking dh-autoreconf (22) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../046-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../047-libfile-stripnondeterminism-perl_1.15.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../048-dh-strip-nondeterminism_1.15.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.1-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../049-libelf1t64_0.196-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.196-1) ... Selecting previously unselected package dwz. Preparing to unpack .../050-dwz_0.17-1_amd64.deb ... Unpacking dwz (0.17-1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../051-libunistring5_1.4.2-1_amd64.deb ... Unpacking libunistring5:amd64 (1.4.2-1) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../052-libxml2-16_2.15.4+dfsg-1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.4+dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../053-gettext_1.0-3_amd64.deb ... Unpacking gettext (1.0-3) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../054-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../055-po-debconf_1.0.22_all.deb ... Unpacking po-debconf (1.0.22) ... Selecting previously unselected package debhelper. Preparing to unpack .../056-debhelper_14.3_all.deb ... Unpacking debhelper (14.3) ... Selecting previously unselected package quickjs. Preparing to unpack .../057-quickjs_2025.04.26-1+b2_amd64.deb ... Unpacking quickjs (2025.04.26-1+b2) ... Selecting previously unselected package libjson-perl. Preparing to unpack .../058-libjson-perl_4.10000-1_all.deb ... Unpacking libjson-perl (4.10000-1) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../059-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../060-dh-ocaml_3.8+ocaml1_all.deb ... Unpacking dh-ocaml (3.8+ocaml1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../061-libbrotli1_1.2.0-4+b1_amd64.deb ... Unpacking libbrotli1:amd64 (1.2.0-4+b1) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../062-libpng16-16t64_1.6.58-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.58-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../063-libfreetype6_2.14.3+dfsg-2_amd64.deb ... Unpacking libfreetype6:amd64 (2.14.3+dfsg-2) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../064-fonts-dejavu-mono_2.37-9_all.deb ... Unpacking fonts-dejavu-mono (2.37-9) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../065-fonts-dejavu-core_2.37-9_all.deb ... Unpacking fonts-dejavu-core (2.37-9) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../066-fontconfig-config_2.17.1-5_amd64.deb ... Unpacking fontconfig-config (2.17.1-5) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../067-libfontconfig1_2.17.1-5_amd64.deb ... Unpacking libfontconfig1:amd64 (2.17.1-5) ... Selecting previously unselected package fontconfig. Preparing to unpack .../068-fontconfig_2.17.1-5_amd64.deb ... Unpacking fontconfig (2.17.1-5) ... Selecting previously unselected package libnghttp3-9:amd64. Preparing to unpack .../069-libnghttp3-9_1.17.0-1_amd64.deb ... Unpacking libnghttp3-9:amd64 (1.17.0-1) ... Selecting previously unselected package libngtcp2-16:amd64. Preparing to unpack .../070-libngtcp2-16_1.24.0-1_amd64.deb ... Unpacking libngtcp2-16:amd64 (1.24.0-1) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../071-libidn2-0_2.3.8-5_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-5) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../072-libffi8_3.8.0-2_amd64.deb ... Unpacking libffi8:amd64 (3.8.0-2) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../073-libp11-kit0_0.26.5-1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.26.5-1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../074-libtasn1-6_4.21.0-2+b1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.21.0-2+b1) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../075-libgnutls30t64_3.8.13-1_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.13-1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../076-libkrb5support0_1.22.1-3_amd64.deb ... Unpacking libkrb5support0:amd64 (1.22.1-3) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../077-libcom-err2_1.47.4-1+b1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.4-1+b1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../078-libk5crypto3_1.22.1-3_amd64.deb ... Unpacking libk5crypto3:amd64 (1.22.1-3) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../079-libkeyutils1_1.6.3-6+b2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6+b2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../080-libkrb5-3_1.22.1-3_amd64.deb ... Unpacking libkrb5-3:amd64 (1.22.1-3) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../081-libgssapi-krb5-2_1.22.1-3_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.22.1-3) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../082-libsasl2-modules-db_2.1.28+dfsg1-11_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.28+dfsg1-11) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../083-libsasl2-2_2.1.28+dfsg1-11_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.28+dfsg1-11) ... Selecting previously unselected package libldap2:amd64. Preparing to unpack .../084-libldap2_2.6.14+dfsg-2_amd64.deb ... Unpacking libldap2:amd64 (2.6.14+dfsg-2) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../085-libnghttp2-14_1.70.0-1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.70.0-1) ... Selecting previously unselected package libngtcp2-crypto-gnutls8:amd64. Preparing to unpack .../086-libngtcp2-crypto-gnutls8_1.24.0-1_amd64.deb ... Unpacking libngtcp2-crypto-gnutls8:amd64 (1.24.0-1) ... Selecting previously unselected package libpsl5t64:amd64. Preparing to unpack .../087-libpsl5t64_0.23.3-1_amd64.deb ... Unpacking libpsl5t64:amd64 (0.23.3-1) ... Selecting previously unselected package libssh2-1t64:amd64. Preparing to unpack .../088-libssh2-1t64_1.11.1-6_amd64.deb ... Unpacking libssh2-1t64:amd64 (1.11.1-6) ... Selecting previously unselected package libcurl4-gnutls:amd64. Preparing to unpack .../089-libcurl4-gnutls_8.22.0-1_amd64.deb ... Unpacking libcurl4-gnutls:amd64 (8.22.0-1) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../090-liberror-perl_0.17030-1_all.deb ... Unpacking liberror-perl (0.17030-1) ... Selecting previously unselected package git-man. Preparing to unpack .../091-git-man_1%3a2.55.0-1_all.deb ... Unpacking git-man (1:2.55.0-1) ... Selecting previously unselected package git. Preparing to unpack .../092-git_1%3a2.55.0-1_amd64.deb ... Unpacking git (1:2.55.0-1) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../093-gnuplot-data_6.0.3+dfsg1-1_all.deb ... Unpacking gnuplot-data (6.0.3+dfsg1-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../094-libpixman-1-0_0.46.4-1+b2_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.46.4-1+b2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../095-libxau6_1%3a1.0.11-1+b2_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1+b2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../096-libxdmcp6_1%3a1.1.5-2+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-2+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../097-libxcb1_1.17.0-2+b2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../098-libx11-data_2%3a1.8.13-1_all.deb ... Unpacking libx11-data (2:1.8.13-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../099-libx11-6_2%3a1.8.13-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.13-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../100-libxcb-render0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../101-libxcb-shm0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../102-libxext6_2%3a1.3.4-1+b4_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b4) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../103-libxrender1_1%3a0.9.12-1+b2_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1+b2) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../104-libcairo2_1.18.4-3+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-3+b1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../105-libbsd0_0.12.2-3_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-3) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../106-libedit2_3.1-20260512-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20260512-1) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../107-libaom3_3.14.1-1_amd64.deb ... Unpacking libaom3:amd64 (3.14.1-1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../108-libdav1d7_1.5.4-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.5.4-1) ... Selecting previously unselected package libabsl20260526:amd64. Preparing to unpack .../109-libabsl20260526_20260526.0-2_amd64.deb ... Unpacking libabsl20260526:amd64 (20260526.0-2) ... Selecting previously unselected package libgav1-2:amd64. Preparing to unpack .../110-libgav1-2_0.20.0-2+b2_amd64.deb ... Unpacking libgav1-2:amd64 (0.20.0-2+b2) ... Selecting previously unselected package librav1e0.8:amd64. Preparing to unpack .../111-librav1e0.8_0.8.1-11_amd64.deb ... Unpacking librav1e0.8:amd64 (0.8.1-11) ... Selecting previously unselected package libsvtav1enc4:amd64. Preparing to unpack .../112-libsvtav1enc4_4.1.0+dfsg-1_amd64.deb ... Unpacking libsvtav1enc4:amd64 (4.1.0+dfsg-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../113-libjpeg62-turbo_1%3a3.1.3-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:3.1.3-4) ... Selecting previously unselected package libyuv0:amd64. Preparing to unpack .../114-libyuv0_0.0.1971.20260904-1_amd64.deb ... Unpacking libyuv0:amd64 (0.0.1971.20260904-1) ... Selecting previously unselected package libavif16:amd64. Preparing to unpack .../115-libavif16_1.4.2-1_amd64.deb ... Unpacking libavif16:amd64 (1.4.2-1) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../116-libsharpyuv0_1.5.0-0.1+b2_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.5.0-0.1+b2) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../117-libde265-0_1.1.2-1_amd64.deb ... Unpacking libde265-0:amd64 (1.1.2-1) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../118-libheif-plugin-libde265_1.23.3-1_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.23.3-1) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../119-libheif-plugin-dav1d_1.23.3-1_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.23.3-1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../120-libheif1_1.23.3-1_amd64.deb ... Unpacking libheif1:amd64 (1.23.3-1) ... Selecting previously unselected package libimagequant0:amd64. Preparing to unpack .../121-libimagequant0_4.4.1-1+b2_amd64.deb ... Unpacking libimagequant0:amd64 (4.4.1-1+b2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../122-libdeflate0_1.25-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.25-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../123-libjbig0_2.1-6.1+b3_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b3) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../124-liblerc4_4.2.0+ds-1_amd64.deb ... Unpacking liblerc4:amd64 (4.2.0+ds-1) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../125-libwebp7_1.5.0-0.1+b2_amd64.deb ... Unpacking libwebp7:amd64 (1.5.0-0.1+b2) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../126-libtiff6_4.7.2-1_amd64.deb ... Unpacking libtiff6:amd64 (4.7.2-1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../127-libxpm4_1%3a3.5.19-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.19-1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../128-libgd3_2.3.3-14_amd64.deb ... Unpacking libgd3:amd64 (2.3.3-14) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../129-libglib2.0-0t64_2.89.4-2+b1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.89.4-2+b1) ... Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../130-liblua5.4-0_5.4.9-1_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.9-1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../131-libfribidi0_1.0.16-5+b1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.16-5+b1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../132-libgraphite2-3_1.3.15-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.15-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../133-libharfbuzz0b_12.3.2-2+b2_amd64.deb ... Unpacking libharfbuzz0b:amd64 (12.3.2-2+b2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../134-libthai-data_0.1.30-3_all.deb ... Unpacking libthai-data (0.1.30-3) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../135-libdatrie1_0.2.14-2_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.14-2) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../136-libthai0_0.1.30-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.30-3) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../137-libpango-1.0-0_1.58.0-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.58.0-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../138-libpangoft2-1.0-0_1.58.0-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.58.0-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../139-libpangocairo-1.0-0_1.58.0-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.58.0-1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../140-libwebpmux3_1.5.0-0.1+b2_amd64.deb ... Unpacking libwebpmux3:amd64 (1.5.0-0.1+b2) ... Selecting previously unselected package gnuplot-nox. Preparing to unpack .../141-gnuplot-nox_6.0.3+dfsg1-1_amd64.deb ... Unpacking gnuplot-nox (6.0.3+dfsg1-1) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../142-libansi-terminal-ocaml_0.8.5-5+ocaml1_amd64.deb ... Unpacking libansi-terminal-ocaml (0.8.5-5+ocaml1) ... Selecting previously unselected package libansi-terminal-ocaml-dev. Preparing to unpack .../143-libansi-terminal-ocaml-dev_0.8.5-5+ocaml1_amd64.deb ... Unpacking libansi-terminal-ocaml-dev (0.8.5-5+ocaml1) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../144-libeasy-format-ocaml_1.3.4-3+ocaml1_amd64.deb ... Unpacking libeasy-format-ocaml (1.3.4-3+ocaml1) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../145-libbiniou-ocaml_1.2.2-4+ocaml1_amd64.deb ... Unpacking libbiniou-ocaml (1.2.2-4+ocaml1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../146-libyojson-ocaml_3.0.0-2+ocaml1_amd64.deb ... Unpacking libyojson-ocaml (3.0.0-2+ocaml1) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../147-libatdgen-ocaml_4.2.0-2+ocaml1_amd64.deb ... Unpacking libatdgen-ocaml (4.2.0-2+ocaml1) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../148-libeasy-format-ocaml-dev_1.3.4-3+ocaml1_amd64.deb ... Unpacking libeasy-format-ocaml-dev (1.3.4-3+ocaml1) ... Selecting previously unselected package libbiniou-ocaml-dev. Preparing to unpack .../149-libbiniou-ocaml-dev_1.2.2-4+ocaml1_amd64.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-4+ocaml1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../150-libyojson-ocaml-dev_3.0.0-2+ocaml1_amd64.deb ... Unpacking libyojson-ocaml-dev (3.0.0-2+ocaml1) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../151-libatdgen-ocaml-dev_4.2.0-2+ocaml1_amd64.deb ... Unpacking libatdgen-ocaml-dev (4.2.0-2+ocaml1) ... Selecting previously unselected package libocaml-intrinsics-kernel-ocaml. Preparing to unpack .../152-libocaml-intrinsics-kernel-ocaml_0.17.2-1+ocaml1_amd64.deb ... Unpacking libocaml-intrinsics-kernel-ocaml (0.17.2-1+ocaml1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../153-libsexplib0-ocaml_0.17.0-1+ocaml1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+ocaml1) ... Selecting previously unselected package libbase-ocaml. Preparing to unpack .../154-libbase-ocaml_0.17.3-2+ocaml1_amd64.deb ... Unpacking libbase-ocaml (0.17.3-2+ocaml1) ... Selecting previously unselected package libocaml-intrinsics-kernel-ocaml-dev. Preparing to unpack .../155-libocaml-intrinsics-kernel-ocaml-dev_0.17.2-1+ocaml1_amd64.deb ... Unpacking libocaml-intrinsics-kernel-ocaml-dev (0.17.2-1+ocaml1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../156-libsexplib0-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ... Selecting previously unselected package libbase-ocaml-dev. Preparing to unpack .../157-libbase-ocaml-dev_0.17.3-2+ocaml1_amd64.deb ... Unpacking libbase-ocaml-dev (0.17.3-2+ocaml1) ... Selecting previously unselected package libfileutils-ocaml-dev. Preparing to unpack .../158-libfileutils-ocaml-dev_0.6.6-1+ocaml1_amd64.deb ... Unpacking libfileutils-ocaml-dev (0.6.6-1+ocaml1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../159-libmenhir-ocaml-dev_20260209+ds-3+ocaml1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20260209+ds-3+ocaml1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../160-libocaml-compiler-libs-ocaml-dev_0.17.0-2+ocaml1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-2+ocaml1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../161-libppx-derivers-ocaml-dev_1.2.1-4+ocaml1_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../162-libppx-deriving-ocaml_6.1.3-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.1.3-1+ocaml1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../163-libppxlib-ocaml-dev_0.38.0-1+ocaml1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.38.0-1+ocaml1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../164-libppx-deriving-ocaml-dev_6.1.3-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.1.3-1+ocaml1) ... Selecting previously unselected package libstdio-ocaml. Preparing to unpack .../165-libstdio-ocaml_0.17.0-1+ocaml1_amd64.deb ... Unpacking libstdio-ocaml (0.17.0-1+ocaml1) ... Selecting previously unselected package libppx-optcomp-ocaml. Preparing to unpack .../166-libppx-optcomp-ocaml_0.17.1-1+ocaml1_amd64.deb ... Unpacking libppx-optcomp-ocaml (1:0.17.1-1+ocaml1) ... Selecting previously unselected package libstdio-ocaml-dev. Preparing to unpack .../167-libstdio-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ... Unpacking libstdio-ocaml-dev (0.17.0-1+ocaml1) ... Selecting previously unselected package libppx-optcomp-ocaml-dev. Preparing to unpack .../168-libppx-optcomp-ocaml-dev_0.17.1-1+ocaml1_amd64.deb ... Unpacking libppx-optcomp-ocaml-dev (1:0.17.1-1+ocaml1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../169-libre-ocaml-dev_1.14.0-2+ocaml1_amd64.deb ... Unpacking libre-ocaml-dev (1.14.0-2+ocaml1) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../170-libreadline8t64_8.3-4_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-4) ... Selecting previously unselected package lua5.1. Preparing to unpack .../171-lua5.1_5.1.5-12_amd64.deb ... Unpacking lua5.1 (5.1.5-12) ... Selecting previously unselected package menhir. Preparing to unpack .../172-menhir_20260209+ds-3+ocaml1_amd64.deb ... Unpacking menhir (20260209+ds-3+ocaml1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../173-ocaml-dune_3.24.1-4+ocaml1_amd64.deb ... Unpacking ocaml-dune (3.24.1-4+ocaml1) ... Selecting previously unselected package time. Preparing to unpack .../174-time_1.10-0.1_amd64.deb ... Unpacking time (1.10-0.1) ... Selecting previously unselected package yojson-tools. Preparing to unpack .../175-yojson-tools_3.0.0-2+ocaml1_amd64.deb ... Unpacking yojson-tools (3.0.0-2+ocaml1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../176-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libexpat1:amd64 (2.8.4-1) ... Setting up libpipeline1:amd64 (1.5.8-3) ... Setting up libgraphite2-3:amd64 (1.3.15-2) ... Setting up libpixman-1-0:amd64 (0.46.4-1+b2) ... Setting up libsharpyuv0:amd64 (1.5.0-0.1+b2) ... Setting up libaom3:amd64 (3.14.1-1) ... Setting up libxau6:amd64 (1:1.0.11-1+b2) ... Setting up libxdmcp6:amd64 (1:1.1.5-2+b1) ... Setting up time (1.10-0.1) ... Setting up libkeyutils1:amd64 (1.6.3-6+b2) ... Setting up libxcb1:amd64 (1.17.0-2+b2) ... Setting up liblerc4:amd64 (4.2.0+ds-1) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-4) ... Setting up bsdextrautils (2.42.3-1) ... Setting up libdatrie1:amd64 (0.2.14-2) ... Setting up libmagic-mgc (1:5.47-4) ... Setting up libxcb-render0:amd64 (1.17.0-2+b2) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.4+dfsg-1) ... Setting up libdebhelper-perl (14.3) ... Setting up libbrotli1:amd64 (1.2.0-4+b1) ... Setting up yojson-tools (3.0.0-2+ocaml1) ... Setting up libmagic1t64:amd64 (1:5.47-4) ... Setting up libnghttp2-14:amd64 (1.70.0-1) ... Setting up libdeflate0:amd64 (1.25-1) ... Setting up gettext-base (1.0-3) ... Setting up m4 (1.4.21-1) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b2) ... Setting up libcom-err2:amd64 (1.47.4-1+b1) ... Setting up file (1:5.47-4) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up atdts (4.2.0-2+ocaml1) ... Setting up libjbig0:amd64 (2.1-6.1+b3) ... Setting up libpcre2-16-0:amd64 (10.48-2) ... Setting up libelf1t64:amd64 (0.196-1) ... Setting up quickjs (2025.04.26-1+b2) ... Setting up libkrb5support0:amd64 (1.22.1-3) ... Setting up ocaml-dune (3.24.1-4+ocaml1) ... Setting up librav1e0.8:amd64 (0.8.1-11) ... Setting up libsasl2-modules-db:amd64 (2.1.28+dfsg1-11) ... Setting up liberror-perl (0.17030-1) ... Setting up autotools-dev (20240727.1+nmu1) ... Setting up libpcre2-32-0:amd64 (10.48-2) ... Setting up libabsl20260526:amd64 (20260526.0-2) ... Setting up libjpeg62-turbo:amd64 (1:3.1.3-4) ... Setting up libx11-data (2:1.8.13-1) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libncurses6:amd64 (6.6+20260608-2) ... Setting up libfribidi0:amd64 (1.0.16-5+b1) ... Setting up libimagequant0:amd64 (4.4.1-1+b2) ... Setting up libstdlib-ocaml (5.5.1-1~exp1+ocaml1) ... Setting up libunistring5:amd64 (1.4.2-1) ... Setting up fonts-dejavu-mono (2.37-9) ... Setting up libpng16-16t64:amd64 (1.6.58-1) ... Setting up autopoint (1.0-3) ... Setting up ocaml-base (5.5.1-1~exp1+ocaml1) ... Setting up fonts-dejavu-core (2.37-9) ... Setting up libncursesw6:amd64 (6.6+20260608-2) ... Setting up libk5crypto3:amd64 (1.22.1-3) ... Setting up libsvtav1enc4:amd64 (4.1.0+dfsg-1) ... Setting up libsasl2-2:amd64 (2.1.28+dfsg1-11) ... Setting up autoconf (2.73-2) ... Setting up libnghttp3-9:amd64 (1.17.0-1) ... Setting up libwebp7:amd64 (1.5.0-0.1+b2) ... Setting up libgav1-2:amd64 (0.20.0-2+b2) ... Setting up libffi8:amd64 (3.8.0-2) ... Setting up libpcre2-posix3:amd64 (10.48-2) ... Setting up libsexplib0-ocaml (0.17.0-1+ocaml1) ... Setting up dwz (0.17-1) ... Setting up libocaml-intrinsics-kernel-ocaml (0.17.2-1+ocaml1) ... Setting up libdav1d7:amd64 (1.5.4-1) ... Setting up sensible-utils (0.0.26) ... Setting up libtiff6:amd64 (4.7.2-1) ... Setting up libuchardet0:amd64 (0.0.8-2+b2) ... Setting up libjson-perl (4.10000-1) ... Setting up libfmt-ocaml (0.11.0-1+ocaml1) ... Setting up libtasn1-6:amd64 (4.21.0-2+b1) ... Setting up liblua5.4-0:amd64 (5.4.9-1) ... Setting up git-man (1:2.55.0-1) ... Setting up libx11-6:amd64 (2:1.8.13-1) ... Setting up libthai-data (0.1.30-3) ... Setting up libngtcp2-16:amd64 (1.24.0-1) ... Setting up libkrb5-3:amd64 (1.22.1-3) ... Setting up libssh2-1t64:amd64 (1.11.1-6) ... Setting up libde265-0:amd64 (1.1.2-1) ... Setting up libwebpmux3:amd64 (1.5.0-0.1+b2) ... Setting up libbsd0:amd64 (0.12.2-3) ... Setting up libyuv0:amd64 (0.0.1971.20260904-1) ... Setting up readline-common (8.3-4) ... Setting up libldap2:amd64 (2.6.14+dfsg-2) ... Setting up menhir (20260209+ds-3+ocaml1) ... Setting up automake (1:1.18.1-4) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.1-1) ... Setting up gnuplot-data (6.0.3+dfsg1-1) ... Setting up libeasy-format-ocaml (1.3.4-3+ocaml1) ... Setting up libppx-deriving-ocaml (6.1.3-1+ocaml1) ... Setting up libavif16:amd64 (1.4.2-1) ... Setting up libncurses-dev:amd64 (6.6+20260608-2) ... Setting up gettext (1.0-3) ... Setting up libxpm4:amd64 (1:3.5.19-1) ... Setting up libpcre2-dev:amd64 (10.48-2) ... Setting up libxrender1:amd64 (1:0.9.12-1+b2) ... Setting up libtool (2.6.2-2) ... Setting up libstdlib-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Setting up libyojson-ocaml (3.0.0-2+ocaml1) ... Setting up libcamlp-streams-ocaml (5.0.1-3+ocaml1) ... Setting up fontconfig-config (2.17.1-5) ... Setting up libedit2:amd64 (3.1-20260512-1) ... Setting up dh-ocaml (3.8+ocaml1) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ... Setting up libxext6:amd64 (2:1.3.4-1+b4) ... Setting up libidn2-0:amd64 (2.3.8-5) ... Setting up libbiniou-ocaml (1.2.2-4+ocaml1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (22) ... Setting up libthai0:amd64 (0.1.30-3) ... Setting up libcompiler-libs-ocaml-dev (5.5.1-1~exp1+ocaml1) ... Setting up libpcre2-ocaml (8.0.4-1+ocaml1) ... Setting up libglib2.0-0t64:amd64 (2.89.4-2+b1) ... No schema files found: doing nothing. Setting up ocaml-interp (5.5.1-1~exp1+ocaml1) ... Setting up libfreetype6:amd64 (2.14.3+dfsg-2) ... Setting up libbase-ocaml (0.17.3-2+ocaml1) ... Setting up libansi-terminal-ocaml (0.8.5-5+ocaml1) ... Setting up libp11-kit0:amd64 (0.26.5-1) ... Setting up ocaml-findlib (1.9.8-1+ocaml1) ... Setting up libgssapi-krb5-2:amd64 (1.22.1-3) ... Setting up libreadline8t64:amd64 (8.3-4) ... Setting up libatdgen-ocaml (4.2.0-2+ocaml1) ... Setting up dh-strip-nondeterminism (1.15.1-1) ... Setting up groff-base (1.24.1-1) ... Setting up libharfbuzz0b:amd64 (12.3.2-2+b2) ... Setting up libfontconfig1:amd64 (2.17.1-5) ... Setting up libgnutls30t64:amd64 (3.8.13-1) ... Setting up libstdio-ocaml (0.17.0-1+ocaml1) ... Setting up fontconfig (2.17.1-5) ... Regenerating fonts cache... done. Setting up po-debconf (1.0.22) ... Setting up libpango-1.0-0:amd64 (1.58.0-1) ... Setting up libpsl5t64:amd64 (0.23.3-1) ... Setting up ocaml (5.5.1-1~exp1+ocaml1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up lua5.1 (5.1.5-12) ... update-alternatives: using /usr/bin/lua5.1 to provide /usr/bin/lua (lua-interpreter) in auto mode update-alternatives: using /usr/bin/luac5.1 to provide /usr/bin/luac (lua-compiler) in auto mode Setting up libcairo2:amd64 (1.18.4-3+b1) ... Setting up libfileutils-ocaml-dev (0.6.6-1+ocaml1) ... Setting up libre-ocaml-dev (1.14.0-2+ocaml1) ... Setting up libmenhir-ocaml-dev (20260209+ds-3+ocaml1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-2+ocaml1) ... Setting up libyojson-ocaml-dev (3.0.0-2+ocaml1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+ocaml1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ... Setting up libpangoft2-1.0-0:amd64 (1.58.0-1) ... Setting up libcmdliner-ocaml-dev (2.1.1-2+ocaml1) ... Setting up libngtcp2-crypto-gnutls8:amd64 (1.24.0-1) ... Setting up libppx-optcomp-ocaml (1:0.17.1-1+ocaml1) ... Setting up libpangocairo-1.0-0:amd64 (1.58.0-1) ... Setting up libcurl4-gnutls:amd64 (8.22.0-1) ... Setting up libeasy-format-ocaml-dev (1.3.4-3+ocaml1) ... Setting up libocaml-intrinsics-kernel-ocaml-dev (0.17.2-1+ocaml1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ... Setting up libpcre2-ocaml-dev (8.0.4-1+ocaml1) ... Setting up libansi-terminal-ocaml-dev (0.8.5-5+ocaml1) ... Setting up libppxlib-ocaml-dev (0.38.0-1+ocaml1) ... Setting up debhelper (14.3) ... Setting up libbase-ocaml-dev (0.17.3-2+ocaml1) ... Setting up libbiniou-ocaml-dev (1.2.2-4+ocaml1) ... Setting up git (1:2.55.0-1) ... Setting up libfmt-ocaml-dev (0.11.0-1+ocaml1) ... Setting up libppx-deriving-ocaml-dev (6.1.3-1+ocaml1) ... Setting up libatdgen-ocaml-dev (4.2.0-2+ocaml1) ... Setting up libstdio-ocaml-dev (0.17.0-1+ocaml1) ... Setting up camlp5 (8.05.02-1+ocaml1) ... Setting up libppx-optcomp-ocaml-dev (1:0.17.1-1+ocaml1) ... Setting up libheif-plugin-libde265:amd64 (1.23.3-1) ... Setting up libheif-plugin-dav1d:amd64 (1.23.3-1) ... Setting up libheif1:amd64 (1.23.3-1) ... Setting up libgd3:amd64 (2.3.3-14) ... Setting up gnuplot-nox (6.0.3+dfsg1-1) ... update-alternatives: using /usr/bin/gnuplot-nox to provide /usr/bin/gnuplot (gnuplot) in auto mode Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.43-5) ... +------------------------------------------------------------------------------+ | Check architectures Mon, 07 Sep 2026 18:04:11 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Mon, 07 Sep 2026 18:04:12 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 7.1.8+deb14.1-amd64 #1 SMP PREEMPT_DYNAMIC Debian 7.1.8-2 (2026-08-15) amd64 (x86_64) Toolchain package versions: binutils_2.47-4 dpkg-dev_1.23.7 g++-16_16.2.0-2 gcc-16_16.2.0-2 libc6-dev_2.43-5 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 linux-libc-dev_7.1.13-1 Package versions: aglfn_1.7+git20191031.4036a9c-2 apt_3.3.3 apt-utils_3.3.3 atdts_4.2.0-2+ocaml1 autoconf_2.73-2 automake_1:1.18.1-4 autopoint_1.0-3 autotools-dev_20240727.1+nmu1 base-files_14.2 base-passwd_3.6.8 bash_5.3-4 binutils_2.47-4 binutils-common_2.47-4 binutils-x86-64-linux-gnu_2.47-4 bsdextrautils_2.42.3-1 build-essential_12.12 bzip2_1.0.8-6+b2 camlp5_8.05.02-1+ocaml1 coreutils_9.10-1 cpp_4:16.1.0-3 cpp-16_16.2.0-2 cpp-16-x86-64-linux-gnu_16.2.0-2 cpp-x86-64-linux-gnu_4:16.1.0-3 dash_0.5.12-12 debconf_1.5.92 debhelper_14.3 debian-archive-keyring_2025.1 debianutils_5.24 dh-autoreconf_22 dh-ocaml_3.8+ocaml1 dh-strip-nondeterminism_1.15.1-1 diffutils_1:3.12-1 dpkg_1.23.7 dpkg-dev_1.23.7 dwz_0.17-1 file_1:5.47-4 findutils_4.11.0-2 fontconfig_2.17.1-5 fontconfig-config_2.17.1-5 fonts-dejavu-core_2.37-9 fonts-dejavu-mono_2.37-9 g++_4:16.1.0-3 g++-16_16.2.0-2 g++-16-x86-64-linux-gnu_16.2.0-2 g++-x86-64-linux-gnu_4:16.1.0-3 gcc_4:16.1.0-3 gcc-16_16.2.0-2 gcc-16-base_16.2.0-2 gcc-16-x86-64-linux-gnu_16.2.0-2 gcc-x86-64-linux-gnu_4:16.1.0-3 gettext_1.0-3 gettext-base_1.0-3 git_1:2.55.0-1 git-man_1:2.55.0-1 gnuplot-data_6.0.3+dfsg1-1 gnuplot-nox_6.0.3+dfsg1-1 grep_3.12-1 groff-base_1.24.1-1 gzip_1.14-1 hostname_3.25 init-system-helpers_1.69+nmu1 intltool-debian_0.35.0+20060710.6 libabsl20260526_20260526.0-2 libacl1_2.4.0-1 libansi-terminal-ocaml_0.8.5-5+ocaml1 libansi-terminal-ocaml-dev_0.8.5-5+ocaml1 libaom3_3.14.1-1 libapt-pkg7.0_3.3.3 libarchive-zip-perl_1.68-1 libasan8_16.2.0-2 libatdgen-ocaml_4.2.0-2+ocaml1 libatdgen-ocaml-dev_4.2.0-2+ocaml1 libatomic1_16.2.0-2 libattr1_1:2.6.0-1 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1+b2 libavif16_1.4.2-1 libbase-ocaml_0.17.3-2+ocaml1 libbase-ocaml-dev_0.17.3-2+ocaml1 libbiniou-ocaml_1.2.2-4+ocaml1 libbiniou-ocaml-dev_1.2.2-4+ocaml1 libbinutils_2.47-4 libblkid1_2.42.3-1 libbrotli1_1.2.0-4+b1 libbsd0_0.12.2-3 libbz2-1.0_1.0.8-6+b2 libc-bin_2.43-5 libc-dev-bin_2.43-5 libc-gconv-modules-extra_2.43-5 libc6_2.43-5 libc6-dev_2.43-5 libcairo2_1.18.4-3+b1 libcamlp-streams-ocaml_5.0.1-3+ocaml1 libcamlp-streams-ocaml-dev_5.0.1-3+ocaml1 libcap-ng0_0.9.5-2 libcc1-0_16.2.0-2 libcmdliner-ocaml-dev_2.1.1-2+ocaml1 libcom-err2_1.47.4-1+b1 libcompiler-libs-ocaml-dev_5.5.1-1~exp1+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt1_1:4.5.2+20251210-1 libctf-nobfd0_2.47-4 libctf0_2.47-4 libcurl4-gnutls_8.22.0-1 libdatrie1_0.2.14-2 libdav1d7_1.5.4-1 libdb5.3t64_5.3.28+dfsg2-11+b1 libde265-0_1.1.2-1 libdebconfclient0_0.283 libdebhelper-perl_14.3 libdeflate0_1.25-1 libdpkg-perl_1.23.7 libeasy-format-ocaml_1.3.4-3+ocaml1 libeasy-format-ocaml-dev_1.3.4-3+ocaml1 libedit2_3.1-20260512-1 libelf1t64_0.196-1 liberror-perl_0.17030-1 libexpat1_2.8.4-1 libffi8_3.8.0-2 libfile-stripnondeterminism-perl_1.15.1-1 libfileutils-ocaml-dev_0.6.6-1+ocaml1 libfindlib-ocaml_1.9.8-1+ocaml1 libfmt-ocaml_0.11.0-1+ocaml1 libfmt-ocaml-dev_0.11.0-1+ocaml1 libfontconfig1_2.17.1-5 libfreetype6_2.14.3+dfsg-2 libfribidi0_1.0.16-5+b1 libgav1-2_0.20.0-2+b2 libgcc-16-dev_16.2.0-2 libgcc-s1_16.2.0-2 libgd3_2.3.3-14 libgdbm-compat4t64_1.26-1+b2 libgdbm6t64_1.26-1+b2 libglib2.0-0t64_2.89.4-2+b1 libgmp10_2:6.3.0+dfsg-5+b2 libgnutls30t64_3.8.13-1 libgomp1_16.2.0-2 libgprofng0_2.47-4 libgraphite2-3_1.3.15-2 libgssapi-krb5-2_1.22.1-3 libharfbuzz0b_12.3.2-2+b2 libheif-plugin-dav1d_1.23.3-1 libheif-plugin-libde265_1.23.3-1 libheif1_1.23.3-1 libhogweed6t64_3.10.2-1+b1 libhwasan0_16.2.0-2 libidn2-0_2.3.8-5 libimagequant0_4.4.1-1+b2 libisl23_0.28-1 libitm1_16.2.0-2 libjansson4_2.15.1-1 libjbig0_2.1-6.1+b3 libjpeg62-turbo_1:3.1.3-4 libjson-perl_4.10000-1 libk5crypto3_1.22.1-3 libkeyutils1_1.6.3-6+b2 libkrb5-3_1.22.1-3 libkrb5support0_1.22.1-3 libldap2_2.6.14+dfsg-2 liblerc4_4.2.0+ds-1 liblsan0_16.2.0-2 liblua5.4-0_5.4.9-1 liblz4-1_1.10.0-10 liblzma5_5.8.3-1 libmagic-mgc_1:5.47-4 libmagic1t64_1:5.47-4 libmd0_1.2.0-2 libmenhir-ocaml-dev_20260209+ds-3+ocaml1 libmount1_2.42.3-1 libmpc3_1.3.1-3 libmpfr6_4.2.2-3 libncurses-dev_6.6+20260608-2 libncurses6_6.6+20260608-2 libncursesw6_6.6+20260608-2 libnettle8t64_3.10.2-1+b1 libnghttp2-14_1.70.0-1 libnghttp3-9_1.17.0-1 libngtcp2-16_1.24.0-1 libngtcp2-crypto-gnutls8_1.24.0-1 libocaml-compiler-libs-ocaml-dev_0.17.0-2+ocaml1 libocaml-intrinsics-kernel-ocaml_0.17.2-1+ocaml1 libocaml-intrinsics-kernel-ocaml-dev_0.17.2-1+ocaml1 libp11-kit0_0.26.5-1 libpam-modules_1.7.0-8 libpam-modules-bin_1.7.0-8 libpam-runtime_1.7.0-8 libpam0g_1.7.0-8 libpango-1.0-0_1.58.0-1 libpangocairo-1.0-0_1.58.0-1 libpangoft2-1.0-0_1.58.0-1 libpcre2-16-0_10.48-2 libpcre2-32-0_10.48-2 libpcre2-8-0_10.48-2 libpcre2-dev_10.48-2 libpcre2-ocaml_8.0.4-1+ocaml1 libpcre2-ocaml-dev_8.0.4-1+ocaml1 libpcre2-posix3_10.48-2 libperl5.42_5.42.3-1 libpipeline1_1.5.8-3 libpixman-1-0_0.46.4-1+b2 libpng16-16t64_1.6.58-1 libppx-derivers-ocaml-dev_1.2.1-4+ocaml1 libppx-deriving-ocaml_6.1.3-1+ocaml1 libppx-deriving-ocaml-dev_6.1.3-1+ocaml1 libppx-optcomp-ocaml_1:0.17.1-1+ocaml1 libppx-optcomp-ocaml-dev_1:0.17.1-1+ocaml1 libppxlib-ocaml-dev_0.38.0-1+ocaml1 libpsl5t64_0.23.3-1 libquadmath0_16.2.0-2 librav1e0.8_0.8.1-11 libre-ocaml-dev_1.14.0-2+ocaml1 libreadline8t64_8.3-4 libsasl2-2_2.1.28+dfsg1-11 libsasl2-modules-db_2.1.28+dfsg1-11 libseccomp2_2.6.1-1+b1 libselinux1_3.11-2 libsexplib0-ocaml_0.17.0-1+ocaml1 libsexplib0-ocaml-dev_0.17.0-1+ocaml1 libsframe3_2.47-4 libsharpyuv0_1.5.0-0.1+b2 libsmartcols1_2.42.3-1 libssh2-1t64_1.11.1-6 libssl3t64_3.6.4-1 libstdc++-16-dev_16.2.0-2 libstdc++6_16.2.0-2 libstdio-ocaml_0.17.0-1+ocaml1 libstdio-ocaml-dev_0.17.0-1+ocaml1 libstdlib-ocaml_5.5.1-1~exp1+ocaml1 libstdlib-ocaml-dev_5.5.1-1~exp1+ocaml1 libsvtav1enc4_4.1.0+dfsg-1 libsystemd0_262~rc1-2 libtasn1-6_4.21.0-2+b1 libthai-data_0.1.30-3 libthai0_0.1.30-3 libtiff6_4.7.2-1 libtinfo6_6.6+20260608-2 libtool_2.6.2-2 libtsan2_16.2.0-2 libubsan1_16.2.0-2 libuchardet0_0.0.8-2+b2 libudev1_262~rc1-2 libunistring5_1.4.2-1 libuuid1_2.42.3-1 libwebp7_1.5.0-0.1+b2 libwebpmux3_1.5.0-0.1+b2 libx11-6_2:1.8.13-1 libx11-data_2:1.8.13-1 libxau6_1:1.0.11-1+b2 libxcb-render0_1.17.0-2+b2 libxcb-shm0_1.17.0-2+b2 libxcb1_1.17.0-2+b2 libxdmcp6_1:1.1.5-2+b1 libxext6_2:1.3.4-1+b4 libxml2-16_2.15.4+dfsg-1 libxpm4_1:3.5.19-1 libxrender1_1:0.9.12-1+b2 libxxhash0_0.8.3-2+b2 libyojson-ocaml_3.0.0-2+ocaml1 libyojson-ocaml-dev_3.0.0-2+ocaml1 libyuv0_0.0.1971.20260904-1 libzstd-dev_1.5.7+dfsg-4 libzstd1_1.5.7+dfsg-4 linux-libc-dev_7.1.13-1 lua5.1_5.1.5-12 m4_1.4.21-1 make_4.4.1-3 man-db_2.13.1-1 mawk_1.3.4.20260302-1 menhir_20260209+ds-3+ocaml1 ncurses-base_6.6+20260608-2 ncurses-bin_6.6+20260608-2 ocaml_5.5.1-1~exp1+ocaml1 ocaml-base_5.5.1-1~exp1+ocaml1 ocaml-dune_3.24.1-4+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.5.1-1~exp1+ocaml1 openssl-provider-legacy_3.6.4-1 patch_2.8-2 perl_5.42.3-1 perl-base_5.42.3-1 perl-modules-5.42_5.42.3-1 po-debconf_1.0.22 quickjs_2025.04.26-1+b2 readline-common_8.3-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-3 sensible-utils_0.0.26 sqv_1.5.0-1 sysvinit-utils_3.18-1 tar_1.35+dfsg-5 time_1.10-0.1 util-linux_2.42.3-1 xz-utils_5.8.3-1 yojson-tools_3.0.0-2+ocaml1 zlib1g_1:1.3.dfsg+really1.3.2-3 +------------------------------------------------------------------------------+ | Build Mon, 07 Sep 2026 18:04:12 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 3.7.2-2+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.7.4 Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Testsuite: autopkgtest Testsuite-Triggers: ocaml-dune Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), git, gnuplot-nox, libansi-terminal-ocaml-dev , libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev , libfileutils-ocaml-dev , libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev (>= 0.36.0), libppx-optcomp-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-native-compilers, ocaml-dune, time, yojson-tools Package-List: elpi deb ocaml optional arch=any libelpi-ocaml deb ocaml optional arch=any libelpi-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: b9307c996d531cf75b8f7c4b666723bef164609f 2707427 elpi_3.7.2.orig.tar.gz 94b2e6495c9e19082a3447933a403b62bf385684 6232 elpi_3.7.2-2+ocaml1.debian.tar.xz Checksums-Sha256: 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz 9ae886bae7960f76ec2feef7e1e4777c8fa9f4e6e2f32faa4438655a5fb57152 6232 elpi_3.7.2-2+ocaml1.debian.tar.xz Files: 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 elpi_3.7.2.orig.tar.gz 8e0300f878db4a8214fd3e17575ebb38 6232 elpi_3.7.2-2+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (elpi_3.7.2-2+ocaml1.dsc) dpkg-source: info: extracting elpi in /build/reproducible-path/elpi-3.7.2 dpkg-source: info: unpacking elpi_3.7.2.orig.tar.gz dpkg-source: info: unpacking elpi_3.7.2-2+ocaml1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying cmdliner2.patch clean up apt cache ------------------ Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=2 HOME=/sbuild-nonexistent LANG=fr_FR.UTF-8 LC_ALL=C.UTF-8 LOGNAME=sbuild MAKEFLAGS= PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SHELL=/bin/sh USER=sbuild dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -sa dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 3.7.2-2+ocaml1 dpkg-buildpackage: info: source distribution unstable-ocaml dpkg-buildpackage: info: source changed by Anonymous Builder dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml --buildsystem ocaml_dune dh_auto_clean -O--buildsystem=ocaml_dune dune clean debian/rules execute_after_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/elpi-3.7.2' rm -rf _log/ tests/test.exe data.csv* if test -f src/trace_atd.ts.orig; then \ mv src/trace_atd.ts.orig src/trace_atd.ts; \ fi if test -f .false_git; then \ rm -rf .false_git .git; \ fi make[1]: Leaving directory '/build/reproducible-path/elpi-3.7.2' dh_autoreconf_clean -O--buildsystem=ocaml_dune dh_ocamlclean -O--buildsystem=ocaml_dune dh_clean -O--buildsystem=ocaml_dune dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building elpi using existing ../elpi_3.7.2.orig.tar.gz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: building elpi in ../elpi_3.7.2-2+ocaml1.debian.tar.xz dpkg-source: info: building elpi in ../elpi_3.7.2-2+ocaml1.dsc debian/rules binary dh binary --with ocaml --buildsystem ocaml_dune dh_update_autotools_config -O--buildsystem=ocaml_dune dh_autoreconf -O--buildsystem=ocaml_dune dh_ocamlinit -O--buildsystem=ocaml_dune dh_auto_configure -O--buildsystem=ocaml_dune debian/rules execute_before_dh_auto_build make[1]: Entering directory '/build/reproducible-path/elpi-3.7.2' cp src/trace_atd.ts src/trace_atd.ts.orig if test -e .git; then \ echo "Found .git, ok"; \ else \ touch .false_git; \ git init --initial-branch=main; \ git config user.email "foo@bar.baz"; \ git config user.name "Foo Bar"; \ git add dune; \ git commit -m foo; \ git tag -a v3.7.2 -m foo; \ fi Initialized empty Git repository in /build/reproducible-path/elpi-3.7.2/.git/ [main (root-commit) 7dd4ac4] foo 1 file changed, 18 insertions(+) create mode 100644 dune make[1]: Leaving directory '/build/reproducible-path/elpi-3.7.2' dh_auto_build -O--buildsystem=ocaml_dune dune build -j 2 -p elpi (cd _build/default/src/parser && /usr/bin/menhir ./tokens.mly ./grammar.mly ./token_precedence.mly --base grammar --compile-errors ./error_messages.txt) > _build/default/src/parser/error_messages.ml Warning: one state has shift/reduce conflicts. Warning: 17 shift/reduce conflicts were arbitrarily resolved. Read 384 sample input sentences and 41 error messages. (cd _build/default/src && /usr/bin/atdgen -o trace_atd -j-std ./trace.atd) Warning: option "-j-std" is deprecated. (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/native/trace_ppx_runtime__Runtime.cmx -c -impl trace/runtime/runtime.ml) File "trace/runtime/runtime.ml", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I trace/runtime/.trace_ppx_runtime.objs/byte -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmo -c -impl trace/runtime/runtime.ml) File "trace/runtime/runtime.ml", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). (cd _build/default && /usr/bin/menhir --external-tokens Elpi_lexer_config.Tokens --table src/parser/grammar.mly src/parser/token_precedence.mly src/parser/tokens.mly --base src/parser/grammar --infer-read-reply src/parser/grammar__mock.mli.inferred) Warning: one state has shift/reduce conflicts. Warning: 17 shift/reduce conflicts were arbitrarily resolved. (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/parser/.elpi_parser.objs/byte -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/menhirLib -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ppx_deriving/runtime -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re/str -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/stdlib-shims -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/unix -I src/parser/.elpi_lexer_config.objs/byte -I src/utils/.elpi_util.objs/byte -cmi-file src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmi -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmo -c -impl src/parser/grammar.ml) File "src/parser/grammar.ml", line 1059, characters 14-18: 1059 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1106, characters 14-18: 1106 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1143, characters 14-18: 1143 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1511, characters 14-15: 1511 | let v : unit = Obj.magic v in ^ Warning 26 [unused-var]: unused variable v. File "src/parser/grammar.ml", line 1641, characters 14-16: 1641 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 1686, characters 14-16: 1686 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 4045, characters 14-15: 4045 | let a : unit = Obj.magic a in ^ Warning 26 [unused-var]: unused variable a. File "src/parser/grammar.ml", line 4166, characters 14-15: 4166 | let l : unit = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5284, characters 14-15: 5284 | let l : (Ast.Func.t list) = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5360, characters 14-15: 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in ^ Warning 26 [unused-var]: unused variable f. File "src/parser/grammar.ml", line 7990, characters 14-15: 7990 | let x : unit = Obj.magic x in ^ Warning 26 [unused-var]: unused variable x. File "src/parser/grammar.ml", line 8157, characters 14-15: 8157 | let r : unit = Obj.magic r in ^ Warning 26 [unused-var]: unused variable r. File "src/parser/grammar.ml", line 10436, characters 14-16: 10436 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 10481, characters 14-16: 10481 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12833, characters 14-16: 12833 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12878, characters 14-16: 12878 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/menhirLib -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ppx_deriving/runtime -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/re/str -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/stdlib-shims -I /usr/lib/x86_64-linux-gnu/ocaml/5.5.1/unix -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -cmi-file src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmi -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/native/elpi_parser__Grammar.cmx -c -impl src/parser/grammar.ml) File "src/parser/grammar.ml", line 1059, characters 14-18: 1059 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1106, characters 14-18: 1106 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1143, characters 14-18: 1143 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1511, characters 14-15: 1511 | let v : unit = Obj.magic v in ^ Warning 26 [unused-var]: unused variable v. File "src/parser/grammar.ml", line 1641, characters 14-16: 1641 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 1686, characters 14-16: 1686 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 4045, characters 14-15: 4045 | let a : unit = Obj.magic a in ^ Warning 26 [unused-var]: unused variable a. File "src/parser/grammar.ml", line 4166, characters 14-15: 4166 | let l : unit = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5284, characters 14-15: 5284 | let l : (Ast.Func.t list) = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5360, characters 14-15: 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in ^ Warning 26 [unused-var]: unused variable f. File "src/parser/grammar.ml", line 7990, characters 14-15: 7990 | let x : unit = Obj.magic x in ^ Warning 26 [unused-var]: unused variable x. File "src/parser/grammar.ml", line 8157, characters 14-15: 8157 | let r : unit = Obj.magic r in ^ Warning 26 [unused-var]: unused variable r. File "src/parser/grammar.ml", line 10436, characters 14-16: 10436 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 10481, characters 14-16: 10481 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12833, characters 14-16: 12833 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12878, characters 14-16: 12878 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/elpi-3.7.2' make tests STACK=11141120 make[2]: Entering directory '/build/reproducible-path/elpi-3.7.2' make build make[3]: Entering directory '/build/reproducible-path/elpi-3.7.2' dune build @all Warning: Cache directories could not be created: Permission denied; disabling cache Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be created File "trace/runtime/runtime.ml", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "trace/runtime/runtime.ml", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "src/parser/grammar.ml", line 1059, characters 14-18: 1059 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1106, characters 14-18: 1106 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1143, characters 14-18: 1143 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1511, characters 14-15: 1511 | let v : unit = Obj.magic v in ^ Warning 26 [unused-var]: unused variable v. File "src/parser/grammar.ml", line 1641, characters 14-16: 1641 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 1686, characters 14-16: 1686 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 4045, characters 14-15: 4045 | let a : unit = Obj.magic a in ^ Warning 26 [unused-var]: unused variable a. File "src/parser/grammar.ml", line 4166, characters 14-15: 4166 | let l : unit = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5284, characters 14-15: 5284 | let l : (Ast.Func.t list) = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5360, characters 14-15: 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in ^ Warning 26 [unused-var]: unused variable f. File "src/parser/grammar.ml", line 7990, characters 14-15: 7990 | let x : unit = Obj.magic x in ^ Warning 26 [unused-var]: unused variable x. File "src/parser/grammar.ml", line 8157, characters 14-15: 8157 | let r : unit = Obj.magic r in ^ Warning 26 [unused-var]: unused variable r. File "src/parser/grammar.ml", line 10436, characters 14-16: 10436 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 10481, characters 14-16: 10481 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12833, characters 14-16: 12833 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12878, characters 14-16: 12878 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 1059, characters 14-18: 1059 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1106, characters 14-18: 1106 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1143, characters 14-18: 1143 | let bind : unit = Obj.magic bind in ^^^^ Warning 26 [unused-var]: unused variable bind. File "src/parser/grammar.ml", line 1511, characters 14-15: 1511 | let v : unit = Obj.magic v in ^ Warning 26 [unused-var]: unused variable v. File "src/parser/grammar.ml", line 1641, characters 14-16: 1641 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 1686, characters 14-16: 1686 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 4045, characters 14-15: 4045 | let a : unit = Obj.magic a in ^ Warning 26 [unused-var]: unused variable a. File "src/parser/grammar.ml", line 4166, characters 14-15: 4166 | let l : unit = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5284, characters 14-15: 5284 | let l : (Ast.Func.t list) = Obj.magic l in ^ Warning 26 [unused-var]: unused variable l. File "src/parser/grammar.ml", line 5360, characters 14-15: 5360 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in ^ Warning 26 [unused-var]: unused variable f. File "src/parser/grammar.ml", line 7990, characters 14-15: 7990 | let x : unit = Obj.magic x in ^ Warning 26 [unused-var]: unused variable x. File "src/parser/grammar.ml", line 8157, characters 14-15: 8157 | let r : unit = Obj.magic r in ^ Warning 26 [unused-var]: unused variable r. File "src/parser/grammar.ml", line 10436, characters 14-16: 10436 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 10481, characters 14-16: 10481 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12833, characters 14-16: 12833 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. File "src/parser/grammar.ml", line 12878, characters 14-16: 12878 | let hd : unit = Obj.magic hd in ^^ Warning 26 [unused-var]: unused variable hd. make[3]: Leaving directory '/build/reproducible-path/elpi-3.7.2' dune runtest Warning: Cache directories could not be created: Permission denied; disabling cache Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be created -> Running test 1 <- Retrived clause number is 3 -> Running test 2 <- Retrived clause number is 1 -> Running test 3 <- Retrived clause number is 3 -> Running test 4 <- Retrived clause number is 2 Test remove 1 Test remove 2 Test remove 3 Test remove 4 The type of the variable X is (pred) -> (pred -> (pred)) build: bl=1.831480 l=1.658547 ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ tests/test.exe \ --seed $RANDOM \ --promote false \ --ln_nb=-1 \ --timeout 90.0 \ --stop-on-first-error=false \ --time /usr/bin/time \ --sources=/build/reproducible-path/elpi-3.7.2/tests/sources/ \ --plot=/build/reproducible-path/elpi-3.7.2/tests/plot \ \ \ --runner /build/reproducible-path/elpi-3.7.2/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-3.7.2/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: /build/reproducible-path/elpi-3.7.2/_build/install/default/bin/elpi /build/reproducible-path/elpi-3.7.2/_build/install/default/bin/elpi-trace-elaborator Random seed: 12327 Timeout: 90.00 seconds Fiber stack: 11141120 status test time typchk wall mem runner ------------------------------------------------------------------ RUNNING CHR_no_clique (CHR rule on a non constraint) elpi OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.04 0.09 14.2M elpi RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.00 0.00 0.0M elpi RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.03 0.00 0.0M elpi RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.03 0.07 14.2M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.04 0.09 14.2M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.03 0.07 14.2M elpi RUNNING bad_index (bad indexing directive) elpi OK bad_index 0.00 0.00 0.00 0.0M elpi RUNNING beta (beta reduction) elpi OK beta 0.00 0.03 0.07 14.6M elpi RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi RUNNING bug-256 (move/unif) elpi OK bug-256 0.00 0.03 0.07 14.4M elpi RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.02 0.04 14.3M elpi RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.03 0.06 14.1M elpi RUNNING cbn (reduction) elpi OK cbn 0.35 0.02 0.39 16.6M elpi RUNNING cbv (reduction) elpi OK cbv 1.74 0.03 1.80 14.6M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.03 0.08 14.3M elpi RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.03 0.07 14.3M elpi RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.03 0.07 14.5M elpi RUNNING chr-scope-change-err (chr-relocation) elpi OK chr-scope-change-err 0.00 0.02 0.00 0.0M elpi RUNNING chr_cut (cut not allowed) elpi OK chr_cut 0.00 0.00 0.00 0.0M elpi RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.03 0.09 14.2M elpi RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.04 0.09 14.4M elpi RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.03 0.08 14.4M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.04 0.10 14.2M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.04 0.10 14.4M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.03 0.08 14.5M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.03 0.08 14.7M elpi RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.03 0.08 14.3M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.01 0.04 14.1M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 5.01 0.03 5.08 38.8M elpi RUNNING cut1 (what else) elpi OK cut1 0.00 0.03 0.07 14.2M elpi RUNNING cut2 (what else) elpi OK cut2 0.00 0.02 0.04 14.4M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 0.03 0.07 14.2M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.03 0.06 14.1M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 0.01 0.04 14.4M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 0.02 0.06 14.3M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.03 0.07 14.3M elpi RUNNING discard (_) elpi OK discard 0.00 0.02 0.05 14.4M elpi RUNNING dt (discrimination_tree indexing) elpi OK dt 2.18 0.03 2.25 14.6M elpi RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 3.96 0.02 4.01 14.4M elpi RUNNING dt_bug272 (dt list truncation heuristic) elpi OK dt_bug272 0.02 0.02 0.08 14.4M elpi RUNNING dt_bug323 (dt on_all_children) elpi OK dt_bug323 0.00 0.03 0.07 14.2M elpi RUNNING dt_empty_list (discrimination_tree empty_list) elpi OK dt_empty_list 0.00 0.03 0.09 14.3M elpi RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.03 0.08 14.2M elpi RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.98 0.03 1.06 18.5M elpi RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.94 0.02 0.99 18.4M elpi RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multiparam3 0.00 0.03 0.00 0.0M elpi RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multivar 0.00 0.02 0.07 14.3M elpi RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 25.09 0.02 25.14 14.4M elpi RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.03 0.09 14.4M elpi RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.04 0.10 14.3M elpi RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.04 0.09 14.3M elpi RUNNING dt_var3 (discrimination_tree indexing flex) elpi OK dt_var3 0.00 0.03 0.08 14.2M elpi RUNNING dupta (duplicate type abbreviation) elpi OK dupta 0.00 0.00 0.00 0.0M elpi RUNNING dupta2 (duplicate type abbreviation namespace) elpi OK dupta2 0.00 0.00 0.00 0.0M elpi RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.00 0.00 0.0M elpi RUNNING errmsg_arity (missing argument) elpi OK errmsg_arity 0.00 0.00 0.00 0.0M elpi RUNNING errmsg_unknown (unknown type constructor) elpi OK errmsg_unknown 0.00 0.00 0.00 0.0M elpi RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.03 0.08 14.1M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.04 0.09 14.6M elpi RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.03 0.08 14.5M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 2.98 0.04 3.07 15.0M elpi RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.03 0.07 14.6M elpi RUNNING findall_csts (stash across backtrack) elpi OK findall_csts 0.00 0.02 0.04 14.2M elpi RUNNING functionality1 (functionality1) elpi OK functionality1 0.00 0.00 0.00 0.0M elpi RUNNING functionality10 (functionality10) elpi OK functionality10 0.00 0.00 0.00 0.0M elpi RUNNING functionality100 (functionality100) elpi OK functionality100 0.00 0.03 0.08 14.2M elpi RUNNING functionality101 (functionality101) elpi OK functionality101 0.00 0.03 0.08 14.3M elpi RUNNING functionality102 (functionality102) elpi OK functionality102 0.00 0.00 0.00 0.0M elpi RUNNING functionality103 (functionality103) elpi OK functionality103 0.00 0.00 0.00 0.0M elpi RUNNING functionality104 (functionality104) elpi OK functionality104 0.00 0.02 0.05 14.2M elpi RUNNING functionality105 (functionality105) elpi OK functionality105 0.00 0.03 0.07 14.1M elpi RUNNING functionality106 (functionality106) elpi OK functionality106 0.00 0.03 0.07 14.1M elpi RUNNING functionality107 (functionality107) elpi OK functionality107 0.00 0.00 0.00 0.0M elpi RUNNING functionality108 (functionality108) elpi OK functionality108 0.00 0.00 0.00 0.0M elpi RUNNING functionality109 (functionality109) elpi OK functionality109 0.00 0.00 0.00 0.0M elpi RUNNING functionality11 (functionality11) elpi OK functionality11 0.00 0.00 0.00 0.0M elpi RUNNING functionality110 (functionality110) elpi OK functionality110 0.00 0.03 0.07 14.2M elpi RUNNING functionality111 (functionality111) elpi OK functionality111 0.00 0.00 0.00 0.0M elpi RUNNING functionality112 (functionality112) elpi OK functionality112 0.00 0.02 0.05 14.4M elpi RUNNING functionality113 (functionality113) elpi OK functionality113 0.00 0.00 0.00 0.0M elpi RUNNING functionality114 (functionality114) elpi OK functionality114 0.00 0.02 0.04 14.4M elpi RUNNING functionality115 (functionality115) elpi OK functionality115 0.00 0.00 0.00 0.0M elpi RUNNING functionality116 (functionality116) elpi OK functionality116 0.00 0.02 0.04 14.5M elpi RUNNING functionality117 (functionality117) elpi OK functionality117 0.00 0.00 0.00 0.0M elpi RUNNING functionality118 (functionality118) elpi OK functionality118 0.00 0.00 0.00 0.0M elpi RUNNING functionality119 (functionality119) elpi OK functionality119 0.00 0.03 0.07 14.2M elpi RUNNING functionality12 (functionality12) elpi OK functionality12 0.00 0.02 0.05 14.3M elpi RUNNING functionality13 (functionality13) elpi OK functionality13 0.00 0.00 0.00 0.0M elpi RUNNING functionality14 (functionality14) elpi OK functionality14 0.00 0.00 0.00 0.0M elpi RUNNING functionality15 (functionality15) elpi OK functionality15 0.00 0.02 0.06 14.1M elpi RUNNING functionality16 (functionality16) elpi OK functionality16 0.00 0.00 0.00 0.0M elpi RUNNING functionality17 (functionality17) elpi OK functionality17 0.00 0.02 0.06 14.2M elpi RUNNING functionality18 (functionality18) elpi OK functionality18 0.00 0.00 0.00 0.0M elpi RUNNING functionality19 (functionality19) elpi OK functionality19 0.00 0.00 0.00 0.0M elpi RUNNING functionality2 (functionality2) elpi OK functionality2 0.00 0.03 0.07 14.4M elpi RUNNING functionality20 (functionality20) elpi OK functionality20 0.00 0.02 0.06 14.0M elpi RUNNING functionality21 (functionality21) elpi OK functionality21 0.00 0.00 0.00 0.0M elpi RUNNING functionality22 (functionality22) elpi OK functionality22 0.00 0.03 0.07 14.1M elpi RUNNING functionality23 (functionality23) elpi OK functionality23 0.00 0.00 0.00 0.0M elpi RUNNING functionality24 (functionality24) elpi OK functionality24 0.00 0.02 0.05 14.5M elpi RUNNING functionality25 (functionality25) elpi OK functionality25 0.00 0.00 0.00 0.0M elpi RUNNING functionality26 (functionality26) elpi OK functionality26 0.00 0.00 0.00 0.0M elpi RUNNING functionality27 (functionality27) elpi OK functionality27 0.00 0.00 0.00 0.0M elpi RUNNING functionality28 (functionality28) elpi OK functionality28 0.00 0.01 0.04 14.5M elpi RUNNING functionality29 (functionality29) elpi OK functionality29 0.00 0.02 0.06 14.4M elpi RUNNING functionality3 (functionality3) elpi OK functionality3 0.00 0.00 0.00 0.0M elpi RUNNING functionality30 (functionality30) elpi OK functionality30 0.00 0.00 0.00 0.0M elpi RUNNING functionality31 (functionality31) elpi OK functionality31 0.00 0.00 0.00 0.0M elpi RUNNING functionality32 (functionality32) elpi OK functionality32 0.00 0.03 0.06 14.3M elpi RUNNING functionality33 (functionality33) elpi OK functionality33 0.00 0.00 0.00 0.0M elpi RUNNING functionality34 (functionality34) elpi OK functionality34 0.00 0.00 0.00 0.0M elpi RUNNING functionality35 (functionality35) elpi OK functionality35 0.00 0.00 0.00 0.0M elpi RUNNING functionality36 (functionality36) elpi OK functionality36 0.00 0.03 0.07 14.2M elpi RUNNING functionality37 (functionality37) elpi OK functionality37 0.00 0.00 0.00 0.0M elpi RUNNING functionality38 (functionality38) elpi OK functionality38 0.00 0.00 0.00 0.0M elpi RUNNING functionality39 (functionality39) elpi OK functionality39 0.00 0.02 0.05 14.3M elpi RUNNING functionality4 (functionality4) elpi OK functionality4 0.00 0.00 0.00 0.0M elpi RUNNING functionality40 (functionality40) elpi OK functionality40 0.00 0.03 0.07 14.4M elpi RUNNING functionality41 (functionality41) elpi OK functionality41 0.00 0.00 0.00 0.0M elpi RUNNING functionality42 (functionality42) elpi OK functionality42 0.00 0.02 0.06 14.3M elpi RUNNING functionality43 (functionality43) elpi OK functionality43 0.00 0.00 0.00 0.0M elpi RUNNING functionality44 (functionality44) elpi OK functionality44 0.00 0.03 0.08 14.3M elpi RUNNING functionality45 (functionality45) elpi OK functionality45 0.00 0.00 0.00 0.0M elpi RUNNING functionality46 (functionality46) elpi OK functionality46 0.00 0.02 0.06 14.4M elpi RUNNING functionality47 (functionality47) elpi OK functionality47 0.00 0.02 0.05 14.4M elpi RUNNING functionality48 (functionality48) elpi OK functionality48 0.00 0.02 0.05 14.3M elpi RUNNING functionality49 (functionality49) elpi OK functionality49 0.00 0.02 0.05 14.2M elpi RUNNING functionality5 (functionality5) elpi OK functionality5 0.00 0.00 0.00 0.0M elpi RUNNING functionality50 (functionality50) elpi OK functionality50 0.00 0.00 0.00 0.0M elpi RUNNING functionality51 (functionality51) elpi OK functionality51 0.00 0.02 0.06 14.1M elpi RUNNING functionality52 (functionality52) elpi OK functionality52 0.00 0.00 0.00 0.0M elpi RUNNING functionality53 (functionality53) elpi OK functionality53 0.00 0.03 0.07 14.5M elpi RUNNING functionality54 (functionality54) elpi OK functionality54 0.00 0.00 0.00 0.0M elpi RUNNING functionality55 (functionality55) elpi OK functionality55 0.00 0.02 0.06 14.5M elpi RUNNING functionality56 (functionality56) elpi OK functionality56 0.00 0.00 0.00 0.0M elpi RUNNING functionality57 (functionality57) elpi OK functionality57 0.00 0.00 0.00 0.0M elpi RUNNING functionality58 (functionality58) elpi OK functionality58 0.00 0.00 0.00 0.0M elpi RUNNING functionality59 (functionality59) elpi OK functionality59 0.00 0.02 0.06 14.3M elpi RUNNING functionality6 (functionality6) elpi OK functionality6 0.00 0.00 0.00 0.0M elpi RUNNING functionality60 (functionality60) elpi OK functionality60 0.00 0.03 0.08 14.4M elpi RUNNING functionality61 (functionality61) elpi OK functionality61 0.00 0.00 0.00 0.0M elpi RUNNING functionality62 (functionality62) elpi OK functionality62 0.00 0.03 0.08 14.6M elpi RUNNING functionality63 (functionality63) elpi OK functionality63 0.00 0.02 0.06 14.1M elpi RUNNING functionality64 (functionality64) elpi OK functionality64 0.00 0.02 0.05 14.3M elpi RUNNING functionality65 (functionality65) elpi OK functionality65 0.00 0.00 0.00 0.0M elpi RUNNING functionality66 (functionality66) elpi OK functionality66 0.00 0.03 0.08 14.0M elpi RUNNING functionality67 (functionality67) elpi OK functionality67 0.00 0.00 0.00 0.0M elpi RUNNING functionality68 (functionality68) elpi OK functionality68 0.00 0.00 0.00 0.0M elpi RUNNING functionality69 (functionality69) elpi OK functionality69 0.00 0.00 0.00 0.0M elpi RUNNING functionality7 (functionality7) elpi OK functionality7 0.00 0.00 0.00 0.0M elpi RUNNING functionality70 (functionality70) elpi OK functionality70 0.00 0.00 0.00 0.0M elpi RUNNING functionality71 (functionality71) elpi OK functionality71 0.00 0.03 0.07 14.2M elpi RUNNING functionality72 (functionality72) elpi OK functionality72 0.00 0.03 0.08 14.4M elpi RUNNING functionality73 (functionality73) elpi OK functionality73 0.00 0.00 0.00 0.0M elpi RUNNING functionality74 (functionality74) elpi OK functionality74 0.00 0.00 0.00 0.0M elpi RUNNING functionality75 (functionality75) elpi OK functionality75 0.00 0.00 0.00 0.0M elpi RUNNING functionality76 (functionality76) elpi OK functionality76 0.00 0.03 0.08 14.5M elpi RUNNING functionality77 (functionality77) elpi OK functionality77 0.00 0.02 0.06 14.5M elpi RUNNING functionality78 (functionality78) elpi OK functionality78 0.00 0.00 0.00 0.0M elpi RUNNING functionality79 (functionality79) elpi OK functionality79 0.00 0.03 0.07 14.3M elpi RUNNING functionality8 (functionality8) elpi OK functionality8 0.00 0.00 0.00 0.0M elpi RUNNING functionality80 (functionality80) elpi OK functionality80 0.00 0.02 0.06 14.4M elpi RUNNING functionality81 (functionality81) elpi OK functionality81 0.00 0.00 0.00 0.0M elpi RUNNING functionality82 (functionality82) elpi OK functionality82 0.00 0.03 0.08 14.4M elpi RUNNING functionality83 (functionality83) elpi OK functionality83 0.00 0.00 0.00 0.0M elpi RUNNING functionality84 (functionality84) elpi OK functionality84 0.00 0.03 0.08 14.4M elpi RUNNING functionality85 (functionality85) elpi OK functionality85 0.00 0.00 0.00 0.0M elpi RUNNING functionality86 (functionality86) elpi OK functionality86 0.00 0.03 0.08 14.2M elpi RUNNING functionality87 (functionality87) elpi OK functionality87 0.00 0.03 0.08 14.2M elpi RUNNING functionality88 (functionality88) elpi OK functionality88 0.00 0.03 0.08 14.3M elpi RUNNING functionality89 (functionality89) elpi OK functionality89 0.00 0.03 0.08 14.3M elpi RUNNING functionality9 (functionality9) elpi OK functionality9 0.00 0.00 0.00 0.0M elpi RUNNING functionality90 (functionality90) elpi OK functionality90 0.00 0.03 0.07 14.4M elpi RUNNING functionality91 (functionality91) elpi OK functionality91 0.00 0.00 0.00 0.0M elpi RUNNING functionality92 (functionality92) elpi OK functionality92 0.00 0.03 0.08 14.2M elpi RUNNING functionality93 (functionality93) elpi OK functionality93 0.00 0.03 0.08 14.2M elpi RUNNING functionality94 (functionality94) elpi OK functionality94 0.00 0.00 0.00 0.0M elpi RUNNING functionality95 (functionality95) elpi OK functionality95 0.00 0.00 0.00 0.0M elpi RUNNING functionality96 (functionality96) elpi OK functionality96 0.00 0.00 0.00 0.0M elpi RUNNING functionality97 (functionality97) elpi OK functionality97 0.00 0.00 0.00 0.0M elpi RUNNING functionality98 (functionality98) elpi OK functionality98 0.00 0.00 0.00 0.0M elpi RUNNING functionality99 (functionality99) elpi OK functionality99 0.00 0.02 0.05 14.0M elpi RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.02 0.06 14.2M elpi RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi OK graft_before_same 0.00 0.02 0.05 14.5M elpi RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.02 0.07 14.2M elpi RUNNING graft_replace_err (replacing a clase) elpi OK graft_replace_err 0.00 0.00 0.00 0.0M elpi RUNNING graft_replace_ok (replacing a clase) elpi OK graft_replace_ok 0.00 0.02 0.06 14.2M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 31.57 2.27 38.67 2611.3M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.04 0.12 14.4M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.03 0.11 14.5M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.03 0.09 14.6M elpi RUNNING heap_discard3 (heapification of _) elpi OK heap_discard3 0.00 0.03 0.09 14.3M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.04 0.10 14.6M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.03 0.13 14.4M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 0.04 0.15 14.4M elpi RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi RUNNING holp (HOL programming) elpi OK holp 0.00 0.04 0.12 15.3M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.04 0.10 14.2M elpi RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.04 0.12 14.4M elpi RUNNING impl (implication) elpi OK impl 0.00 0.03 0.09 14.3M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 0.03 0.09 14.3M elpi RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.04 0.08 14.5M elpi RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.03 0.08 14.2M elpi RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.03 0.07 14.4M elpi RUNNING implbang (tail cut =!=>) elpi OK implbang 0.00 0.03 0.08 14.2M elpi RUNNING index2 (indexing the second argument) elpi OK index2 3.87 0.03 3.96 14.8M elpi RUNNING is (calc) elpi OK is 0.00 0.03 0.08 14.1M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.75 0.04 0.83 14.5M elpi RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.03 0.09 14.2M elpi RUNNING lambda5 (simple type checker) elpi OK lambda5 0.00 0.00 0.00 0.0M elpi RUNNING lambda6 (simple type checker) elpi OK lambda6 0.00 0.00 0.00 0.0M elpi RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.03 0.09 14.2M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.03 0.08 14.5M elpi RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.04 0.11 15.4M elpi RUNNING linear (linear variable check) elpi OK linear 0.00 0.03 0.08 14.4M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.03 0.07 14.5M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.03 0.08 14.2M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.03 0.09 14.7M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.03 0.09 14.4M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.04 0.09 14.1M elpi RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.03 0.09 14.3M elpi RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.04 0.10 14.3M elpi RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.03 0.09 14.5M elpi RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.03 0.09 14.5M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 11.34 5.89 26.81 853.3M elpi RUNNING macro_type (polymorphic macro) elpi OK macro_type 0.00 0.03 0.08 14.1M elpi RUNNING macro_type_err_pos (polymorphic macro) elpi OK macro_type_err_pos 0.00 0.00 0.00 0.0M elpi RUNNING macro_uv (refreshing of macro body) elpi OK macro_uv 0.00 0.03 0.07 14.4M elpi RUNNING map (stdlib map) elpi OK map 5.22 0.03 5.28 15.1M elpi RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 20.53 0.03 20.61 14.2M elpi RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 23.72 0.03 23.80 15.1M elpi RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.03 0.08 14.0M elpi RUNNING map_nooc (stdlib fast map) elpi OK map_nooc 2.39 0.03 2.47 15.4M elpi RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.03 0.08 14.1M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 4.11 0.03 4.19 14.7M elpi RUNNING name (name builtin) elpi OK name 0.00 0.03 0.08 14.5M elpi RUNNING named_clauses00 (clause grafting using names) elpi OK named_clauses00 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses01 (clause grafting using names) elpi OK named_clauses01 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.03 0.08 14.4M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.03 0.08 14.4M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.03 0.08 14.2M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.04 0.10 14.3M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.04 0.12 14.4M elpi RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.03 0.08 14.3M elpi RUNNING notation (extensible syntax) elpi OK notation 0.00 0.03 0.08 14.4M elpi RUNNING notation_error (infix declaration error) elpi OK notation_error 0.00 0.00 0.00 0.0M elpi RUNNING oc_eta (eta expansion and occur check) elpi OK oc_eta 0.00 0.03 0.00 0.0M elpi RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.03 0.08 14.4M elpi RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.03 0.09 14.2M elpi RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.06 0.14 15.9M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 0.02 0.06 14.3M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.03 0.07 14.2M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.02 0.06 14.4M elpi RUNNING pm (pattern matching builtin) elpi OK pm 0.00 0.03 0.08 14.0M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.03 0.07 14.2M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.03 0.06 14.5M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.03 0.08 14.4M elpi RUNNING progs (progs) elpi OK progs 0.00 0.03 0.09 15.7M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 1.95 0.03 2.04 131.6M elpi RUNNING random (random numbers) elpi OK random 0.00 0.02 0.05 14.4M elpi RUNNING rb (red black trees) elpi OK rb 24.07 0.03 24.97 16.9M elpi RUNNING rb_nooc (red black trees no occur check) elpi OK rb_nooc 2.17 0.03 2.24 17.0M elpi RUNNING rb_nooc_safe (red black trees no occur check with ground check) elpi OK rb_nooc_safe 1.79 0.03 1.87 16.6M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.01 0.00 0.0M elpi RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.01 0.03 14.4M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.01 0.04 14.2M elpi RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.02 0.05 14.1M elpi RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.03 0.07 14.3M elpi RUNNING rev (list reversal) elpi OK rev 0.28 0.03 0.35 45.4M elpi RUNNING rev14 (list reversal) elpi OK rev14 0.31 0.02 0.38 45.6M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.03 0.08 14.2M elpi RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.03 0.08 14.5M elpi RUNNING set (stdlib set) elpi OK set 2.92 0.04 3.01 14.7M elpi RUNNING set_ho (stdlib set HO) elpi OK set_ho 1.08 0.03 1.15 50.6M elpi RUNNING set_nooc (stdlib fast set) elpi OK set_nooc 1.42 0.03 1.51 14.3M elpi RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.02 0.05 14.1M elpi RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.01 0.04 14.3M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.02 0.05 14.2M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.02 0.05 14.1M elpi RUNNING sigma_toplevel (sigma elimination) elpi OK sigma_toplevel 0.00 0.01 0.04 14.3M elpi RUNNING spill-var (spilling a var) elpi OK spill-var 0.00 0.01 0.04 13.9M elpi RUNNING spill2 (spilling 2 arguments) elpi OK spill2 0.00 0.03 0.06 14.2M elpi RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.03 0.06 14.1M elpi RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.01 0.04 14.3M elpi RUNNING spill_sigma (spilling under sigma) elpi OK spill_sigma 0.00 0.02 0.04 14.2M elpi RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.02 0.05 14.1M elpi RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.02 0.04 14.5M elpi RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.01 0.04 14.2M elpi RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.01 0.04 14.5M elpi RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.01 0.04 14.3M elpi RUNNING tc_ambiguous (tc_ambiguous) elpi OK tc_ambiguous 0.00 0.00 0.00 0.0M elpi RUNNING tc_overload (hard overloading resolution) elpi OK tc_overload 0.00 0.01 0.05 14.5M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.03 0.09 14.4M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.01 0.03 0.10 14.2M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.01 0.03 0.12 14.4M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.01 7.2M elpi-trace-elaborator RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.19 29.3M elpi-trace-elaborator RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.00 7.0M elpi-trace-elaborator RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 6.8M elpi-trace-elaborator RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 6.3M elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.03 0.07 14.1M elpi RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.02 0.03 0.10 15.0M elpi RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.02 7.9M elpi-trace-elaborator RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.02 0.06 14.3M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 5.4M elpi-trace-elaborator RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.03 0.07 14.5M elpi RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 6.8M elpi-trace-elaborator RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.03 0.10 14.3M elpi RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 6.8M elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.03 0.08 14.2M elpi RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.03 0.07 14.3M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.03 0.08 14.3M elpi RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv13 (type abbreviations) elpi OK typeabbrv13 0.00 0.03 0.09 14.2M elpi RUNNING typeabbrv15 (type abbreviations) elpi OK typeabbrv15 0.00 0.03 0.09 14.2M elpi RUNNING typeabbrv2 (type abbreviations) elpi OK typeabbrv2 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.03 0.07 14.4M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.03 0.09 14.2M elpi RUNNING typeabbrv5 (type abbreviations) elpi OK typeabbrv5 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv6 (type abbreviations) elpi OK typeabbrv6 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.03 0.08 14.3M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.03 0.07 14.5M elpi RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.04 0.12 14.1M elpi RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.03 0.12 14.3M elpi RUNNING unix (unix APIs) elpi OK unix 0.01 0.03 0.09 14.5M elpi RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.04 0.09 14.4M elpi RUNNING var (var API) elpi OK var 0.00 0.04 0.13 14.4M elpi RUNNING variadic (variadic) elpi OK variadic 0.00 0.03 0.07 14.4M elpi RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.02 0.06 14.1M elpi RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.01 0.04 14.7M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot OK zebra 1.32 0.02 1.37 14.6M elpi ------------------------------------------------------------------ Tests: 335 Passed: 335 Failed: 0 make[2]: Leaving directory '/build/reproducible-path/elpi-3.7.2' make[1]: Leaving directory '/build/reproducible-path/elpi-3.7.2' create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune dh_auto_install -O--buildsystem=ocaml_dune dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu/ocaml/5.5.1 elpi debian/rules execute_after_dh_auto_install make[1]: Entering directory '/build/reproducible-path/elpi-3.7.2' # drop excess LICENSE files rm -f debian/tmp/usr/doc/elpi/LICENSE # don't declare the documentation files as part of the package find debian/tmp -name dune-package | xargs sed -i -e "s|(doc[^()]*([^()]*))||g" find debian/tmp -name dune-package | xargs sed -i -e "s|(doc[^()]*)||g" # we detect what to ship find debian/tmp -regextype posix-awk \ -regex '.*\.(cma|cmxs)$' \ >> debian/libelpi-ocaml.install find debian/tmp -regextype posix-awk \ -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$' \ >> debian/libelpi-ocaml-dev.install make[1]: Leaving directory '/build/reproducible-path/elpi-3.7.2' dh_ocamllibinstall -O--buildsystem=ocaml_dune dh_install -O--buildsystem=ocaml_dune dh_ocamldoc -O--buildsystem=ocaml_dune dh_installdocs -O--buildsystem=ocaml_dune dh_installchangelogs -O--buildsystem=ocaml_dune dh_installman -O--buildsystem=ocaml_dune dh_installsystemduser -O--buildsystem=ocaml_dune dh_lintian -O--buildsystem=ocaml_dune dh_perl -O--buildsystem=ocaml_dune dh_link -O--buildsystem=ocaml_dune dh_strip_nondeterminism -O--buildsystem=ocaml_dune dh_compress -O--buildsystem=ocaml_dune dh_fixperms -O--buildsystem=ocaml_dune dh_missing -O--buildsystem=ocaml_dune dh_dwz -a -O--buildsystem=ocaml_dune dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmxs: DWARF compression not beneficial - old size 1533 new size 1533 dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmxs: DWARF compression not beneficial - old size 3001 new size 3001 dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmxs: DWARF compression not beneficial - old size 4790 new size 4790 dh_strip -a -O--buildsystem=ocaml_dune dh_makeshlibs -a -O--buildsystem=ocaml_dune dh_shlibdeps -a -O--buildsystem=ocaml_dune dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib64/ld-linux-x86-64.so.2 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib64/ld-linux-x86-64.so.2.usr-is-merged dh_installdeb -O--buildsystem=ocaml_dune dh_ocaml -O--buildsystem=ocaml_dune dh_gencontrol -O--buildsystem=ocaml_dune dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -O--buildsystem=ocaml_dune dh_builddeb -O--buildsystem=ocaml_dune dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_3.7.2-2+ocaml1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../elpi_3.7.2-2+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../elpi_3.7.2-2+ocaml1_amd64.changes dpkg-genchanges: info: including full source code in upload dpkg-source --after-build . dpkg-buildpackage: info: full upload (original source is included) -------------------------------------------------------------------------------- Build finished at 2026-09-07T18:09:33Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Mon, 07 Sep 2026 18:09:34 +0000 | +------------------------------------------------------------------------------+ elpi_3.7.2-2+ocaml1_amd64.changes: ---------------------------------- Format: 1.8 Date: Mon, 07 Sep 2026 20:02:21 +0200 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.7.2-2+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: elpi - embeddable lambda-Prolog interpreter (tool) libelpi-ocaml - embeddable lambda-Prolog interpreter (runtime files) libelpi-ocaml-dev - embeddable lambda-Prolog interpreter (dev files) Changes: elpi (3.7.2-2+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.1 Checksums-Sha1: 0cae8085860422aecd463f7f5b1decd8b5019a51 1592 elpi_3.7.2-2+ocaml1.dsc b9307c996d531cf75b8f7c4b666723bef164609f 2707427 elpi_3.7.2.orig.tar.gz e4070be8397e841a4903371ca021a780fed87e87 6232 elpi_3.7.2-2+ocaml1.debian.tar.xz db17eff8610e0214dd3737e9fa2b82baf9e07cfe 10161 elpi_3.7.2-2+ocaml1_amd64.buildinfo 1b0370395f9e924cec6cfa6a40c2542625aaad9a 1894004 elpi_3.7.2-2+ocaml1_amd64.deb fba078f6341ef53b5a8047389cdcaaffa9657d86 12434680 libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb 3ee7f6216446e6ae5f54d8436ace81b28c26c696 3556124 libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb Checksums-Sha256: 0b3b44b285ffb057850d2fa98ef307e49d7e447dfad4f1ead271199fc57691c4 1592 elpi_3.7.2-2+ocaml1.dsc 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz 60ae22f116ebd2fd03bed8046d0424a8b11d2b1a8e55a6824dff3bd03ed1b6b2 6232 elpi_3.7.2-2+ocaml1.debian.tar.xz cf13e02ecb205185ef34ddb18bc2cb5cdf381681399b6162f790922f9aff73aa 10161 elpi_3.7.2-2+ocaml1_amd64.buildinfo 127cbfa404d8eb06407882c1a09a20149c716796d6a423265a23ef6bf01bdd5e 1894004 elpi_3.7.2-2+ocaml1_amd64.deb 39328c7b55b8ff621c91df2ce7201a5ff60926c6ac4839ef8ed7c44f47a5a1e2 12434680 libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb 6d0404c11dec6a3aa287369c861446a3771f7faf559febd3672d3ce6cb8cb88c 3556124 libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb Files: a6af0cf75b513e8d1760aa3fa6ce5bbd 1592 ocaml optional elpi_3.7.2-2+ocaml1.dsc 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 ocaml optional elpi_3.7.2.orig.tar.gz 05e51cfc5e4e13e4e55b177c23f062d7 6232 ocaml optional elpi_3.7.2-2+ocaml1.debian.tar.xz 7bf710bc4e43075ec92489bac728f670 10161 ocaml optional elpi_3.7.2-2+ocaml1_amd64.buildinfo fa4659f2dccfabcbbfe8772fc3a642fe 1894004 ocaml optional elpi_3.7.2-2+ocaml1_amd64.deb 9781a077d1b83a28b1ba79b2a4d37682 12434680 ocaml optional libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb a73b504df53d6be5de9cad0f23ddce39 3556124 ocaml optional libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Mon, 07 Sep 2026 18:09:35 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: amd64 source Version: 3.7.2-2+ocaml1 Checksums-Md5: a6af0cf75b513e8d1760aa3fa6ce5bbd 1592 elpi_3.7.2-2+ocaml1.dsc fa4659f2dccfabcbbfe8772fc3a642fe 1894004 elpi_3.7.2-2+ocaml1_amd64.deb 9781a077d1b83a28b1ba79b2a4d37682 12434680 libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb a73b504df53d6be5de9cad0f23ddce39 3556124 libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb Checksums-Sha1: 0cae8085860422aecd463f7f5b1decd8b5019a51 1592 elpi_3.7.2-2+ocaml1.dsc 1b0370395f9e924cec6cfa6a40c2542625aaad9a 1894004 elpi_3.7.2-2+ocaml1_amd64.deb fba078f6341ef53b5a8047389cdcaaffa9657d86 12434680 libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb 3ee7f6216446e6ae5f54d8436ace81b28c26c696 3556124 libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb Checksums-Sha256: 0b3b44b285ffb057850d2fa98ef307e49d7e447dfad4f1ead271199fc57691c4 1592 elpi_3.7.2-2+ocaml1.dsc 127cbfa404d8eb06407882c1a09a20149c716796d6a423265a23ef6bf01bdd5e 1894004 elpi_3.7.2-2+ocaml1_amd64.deb 39328c7b55b8ff621c91df2ce7201a5ff60926c6ac4839ef8ed7c44f47a5a1e2 12434680 libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb 6d0404c11dec6a3aa287369c861446a3771f7faf559febd3672d3ce6cb8cb88c 3556124 libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Mon, 07 Sep 2026 18:09:32 +0000 Build-Path: /build/reproducible-path/elpi-3.7.2 Installed-Build-Depends: aglfn (= 1.7+git20191031.4036a9c-2), atdts (= 4.2.0-2+ocaml1), autoconf (= 2.73-2), automake (= 1:1.18.1-4), autopoint (= 1.0-3), autotools-dev (= 20240727.1+nmu1), base-files (= 14.2), base-passwd (= 3.6.8), bash (= 5.3-4), binutils (= 2.47-4), binutils-common (= 2.47-4), binutils-x86-64-linux-gnu (= 2.47-4), bsdextrautils (= 2.42.3-1), build-essential (= 12.12), bzip2 (= 1.0.8-6+b2), camlp5 (= 8.05.02-1+ocaml1), coreutils (= 9.10-1), cpp (= 4:16.1.0-3), cpp-16 (= 16.2.0-2), cpp-16-x86-64-linux-gnu (= 16.2.0-2), cpp-x86-64-linux-gnu (= 4:16.1.0-3), dash (= 0.5.12-12), debconf (= 1.5.92), debhelper (= 14.3), debianutils (= 5.24), dh-autoreconf (= 22), dh-ocaml (= 3.8+ocaml1), dh-strip-nondeterminism (= 1.15.1-1), diffutils (= 1:3.12-1), dpkg (= 1.23.7), dpkg-dev (= 1.23.7), dwz (= 0.17-1), file (= 1:5.47-4), findutils (= 4.11.0-2), fontconfig (= 2.17.1-5), fontconfig-config (= 2.17.1-5), fonts-dejavu-core (= 2.37-9), fonts-dejavu-mono (= 2.37-9), g++ (= 4:16.1.0-3), g++-16 (= 16.2.0-2), g++-16-x86-64-linux-gnu (= 16.2.0-2), g++-x86-64-linux-gnu (= 4:16.1.0-3), gcc (= 4:16.1.0-3), gcc-16 (= 16.2.0-2), gcc-16-base (= 16.2.0-2), gcc-16-x86-64-linux-gnu (= 16.2.0-2), gcc-x86-64-linux-gnu (= 4:16.1.0-3), gettext (= 1.0-3), gettext-base (= 1.0-3), git (= 1:2.55.0-1), git-man (= 1:2.55.0-1), gnuplot-data (= 6.0.3+dfsg1-1), gnuplot-nox (= 6.0.3+dfsg1-1), grep (= 3.12-1), groff-base (= 1.24.1-1), gzip (= 1.14-1), hostname (= 3.25), init-system-helpers (= 1.69+nmu1), intltool-debian (= 0.35.0+20060710.6), libabsl20260526 (= 20260526.0-2), libacl1 (= 2.4.0-1), libansi-terminal-ocaml (= 0.8.5-5+ocaml1), libansi-terminal-ocaml-dev (= 0.8.5-5+ocaml1), libaom3 (= 3.14.1-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 16.2.0-2), libatdgen-ocaml (= 4.2.0-2+ocaml1), libatdgen-ocaml-dev (= 4.2.0-2+ocaml1), libatomic1 (= 16.2.0-2), libattr1 (= 1:2.6.0-1), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1+b2), libavif16 (= 1.4.2-1), libbase-ocaml (= 0.17.3-2+ocaml1), libbase-ocaml-dev (= 0.17.3-2+ocaml1), libbiniou-ocaml (= 1.2.2-4+ocaml1), libbiniou-ocaml-dev (= 1.2.2-4+ocaml1), libbinutils (= 2.47-4), libblkid1 (= 2.42.3-1), libbrotli1 (= 1.2.0-4+b1), libbsd0 (= 0.12.2-3), libbz2-1.0 (= 1.0.8-6+b2), libc-bin (= 2.43-5), libc-dev-bin (= 2.43-5), libc-gconv-modules-extra (= 2.43-5), libc6 (= 2.43-5), libc6-dev (= 2.43-5), libcairo2 (= 1.18.4-3+b1), libcamlp-streams-ocaml (= 5.0.1-3+ocaml1), libcamlp-streams-ocaml-dev (= 5.0.1-3+ocaml1), libcap-ng0 (= 0.9.5-2), libcc1-0 (= 16.2.0-2), libcmdliner-ocaml-dev (= 2.1.1-2+ocaml1), libcom-err2 (= 1.47.4-1+b1), libcompiler-libs-ocaml-dev (= 5.5.1-1~exp1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcrypt1 (= 1:4.5.2+20251210-1), libctf-nobfd0 (= 2.47-4), libctf0 (= 2.47-4), libcurl4-gnutls (= 8.22.0-1), libdatrie1 (= 0.2.14-2), libdav1d7 (= 1.5.4-1), libdb5.3t64 (= 5.3.28+dfsg2-11+b1), libde265-0 (= 1.1.2-1), libdebconfclient0 (= 0.283), libdebhelper-perl (= 14.3), libdeflate0 (= 1.25-1), libdpkg-perl (= 1.23.7), libeasy-format-ocaml (= 1.3.4-3+ocaml1), libeasy-format-ocaml-dev (= 1.3.4-3+ocaml1), libedit2 (= 3.1-20260512-1), libelf1t64 (= 0.196-1), liberror-perl (= 0.17030-1), libexpat1 (= 2.8.4-1), libffi8 (= 3.8.0-2), libfile-stripnondeterminism-perl (= 1.15.1-1), libfileutils-ocaml-dev (= 0.6.6-1+ocaml1), libfindlib-ocaml (= 1.9.8-1+ocaml1), libfmt-ocaml (= 0.11.0-1+ocaml1), libfmt-ocaml-dev (= 0.11.0-1+ocaml1), libfontconfig1 (= 2.17.1-5), libfreetype6 (= 2.14.3+dfsg-2), libfribidi0 (= 1.0.16-5+b1), libgav1-2 (= 0.20.0-2+b2), libgcc-16-dev (= 16.2.0-2), libgcc-s1 (= 16.2.0-2), libgd3 (= 2.3.3-14), libgdbm-compat4t64 (= 1.26-1+b2), libgdbm6t64 (= 1.26-1+b2), libglib2.0-0t64 (= 2.89.4-2+b1), libgmp10 (= 2:6.3.0+dfsg-5+b2), libgnutls30t64 (= 3.8.13-1), libgomp1 (= 16.2.0-2), libgprofng0 (= 2.47-4), libgraphite2-3 (= 1.3.15-2), libgssapi-krb5-2 (= 1.22.1-3), libharfbuzz0b (= 12.3.2-2+b2), libheif-plugin-dav1d (= 1.23.3-1), libheif-plugin-libde265 (= 1.23.3-1), libheif1 (= 1.23.3-1), libhogweed6t64 (= 3.10.2-1+b1), libhwasan0 (= 16.2.0-2), libidn2-0 (= 2.3.8-5), libimagequant0 (= 4.4.1-1+b2), libisl23 (= 0.28-1), libitm1 (= 16.2.0-2), libjansson4 (= 2.15.1-1), libjbig0 (= 2.1-6.1+b3), libjpeg62-turbo (= 1:3.1.3-4), libjson-perl (= 4.10000-1), libk5crypto3 (= 1.22.1-3), libkeyutils1 (= 1.6.3-6+b2), libkrb5-3 (= 1.22.1-3), libkrb5support0 (= 1.22.1-3), libldap2 (= 2.6.14+dfsg-2), liblerc4 (= 4.2.0+ds-1), liblsan0 (= 16.2.0-2), liblua5.4-0 (= 5.4.9-1), liblzma5 (= 5.8.3-1), libmagic-mgc (= 1:5.47-4), libmagic1t64 (= 1:5.47-4), libmd0 (= 1.2.0-2), libmenhir-ocaml-dev (= 20260209+ds-3+ocaml1), libmount1 (= 2.42.3-1), libmpc3 (= 1.3.1-3), libmpfr6 (= 4.2.2-3), libncurses-dev (= 6.6+20260608-2), libncurses6 (= 6.6+20260608-2), libncursesw6 (= 6.6+20260608-2), libnettle8t64 (= 3.10.2-1+b1), libnghttp2-14 (= 1.70.0-1), libnghttp3-9 (= 1.17.0-1), libngtcp2-16 (= 1.24.0-1), libngtcp2-crypto-gnutls8 (= 1.24.0-1), libocaml-compiler-libs-ocaml-dev (= 0.17.0-2+ocaml1), libocaml-intrinsics-kernel-ocaml (= 0.17.2-1+ocaml1), libocaml-intrinsics-kernel-ocaml-dev (= 0.17.2-1+ocaml1), libp11-kit0 (= 0.26.5-1), libpam-modules (= 1.7.0-8), libpam-modules-bin (= 1.7.0-8), libpam-runtime (= 1.7.0-8), libpam0g (= 1.7.0-8), libpango-1.0-0 (= 1.58.0-1), libpangocairo-1.0-0 (= 1.58.0-1), libpangoft2-1.0-0 (= 1.58.0-1), libpcre2-16-0 (= 10.48-2), libpcre2-32-0 (= 10.48-2), libpcre2-8-0 (= 10.48-2), libpcre2-dev (= 10.48-2), libpcre2-ocaml (= 8.0.4-1+ocaml1), libpcre2-ocaml-dev (= 8.0.4-1+ocaml1), libpcre2-posix3 (= 10.48-2), libperl5.42 (= 5.42.3-1), libpipeline1 (= 1.5.8-3), libpixman-1-0 (= 0.46.4-1+b2), libpng16-16t64 (= 1.6.58-1), libppx-derivers-ocaml-dev (= 1.2.1-4+ocaml1), libppx-deriving-ocaml (= 6.1.3-1+ocaml1), libppx-deriving-ocaml-dev (= 6.1.3-1+ocaml1), libppx-optcomp-ocaml (= 1:0.17.1-1+ocaml1), libppx-optcomp-ocaml-dev (= 1:0.17.1-1+ocaml1), libppxlib-ocaml-dev (= 0.38.0-1+ocaml1), libpsl5t64 (= 0.23.3-1), libquadmath0 (= 16.2.0-2), librav1e0.8 (= 0.8.1-11), libre-ocaml-dev (= 1.14.0-2+ocaml1), libreadline8t64 (= 8.3-4), libsasl2-2 (= 2.1.28+dfsg1-11), libsasl2-modules-db (= 2.1.28+dfsg1-11), libseccomp2 (= 2.6.1-1+b1), libselinux1 (= 3.11-2), libsexplib0-ocaml (= 0.17.0-1+ocaml1), libsexplib0-ocaml-dev (= 0.17.0-1+ocaml1), libsframe3 (= 2.47-4), libsharpyuv0 (= 1.5.0-0.1+b2), libsmartcols1 (= 2.42.3-1), libssh2-1t64 (= 1.11.1-6), libssl3t64 (= 3.6.4-1), libstdc++-16-dev (= 16.2.0-2), libstdc++6 (= 16.2.0-2), libstdio-ocaml (= 0.17.0-1+ocaml1), libstdio-ocaml-dev (= 0.17.0-1+ocaml1), libstdlib-ocaml (= 5.5.1-1~exp1+ocaml1), libstdlib-ocaml-dev (= 5.5.1-1~exp1+ocaml1), libsvtav1enc4 (= 4.1.0+dfsg-1), libsystemd0 (= 262~rc1-2), libtasn1-6 (= 4.21.0-2+b1), libthai-data (= 0.1.30-3), libthai0 (= 0.1.30-3), libtiff6 (= 4.7.2-1), libtinfo6 (= 6.6+20260608-2), libtool (= 2.6.2-2), libtsan2 (= 16.2.0-2), libubsan1 (= 16.2.0-2), libuchardet0 (= 0.0.8-2+b2), libudev1 (= 262~rc1-2), libunistring5 (= 1.4.2-1), libuuid1 (= 2.42.3-1), libwebp7 (= 1.5.0-0.1+b2), libwebpmux3 (= 1.5.0-0.1+b2), libx11-6 (= 2:1.8.13-1), libx11-data (= 2:1.8.13-1), libxau6 (= 1:1.0.11-1+b2), libxcb-render0 (= 1.17.0-2+b2), libxcb-shm0 (= 1.17.0-2+b2), libxcb1 (= 1.17.0-2+b2), libxdmcp6 (= 1:1.1.5-2+b1), libxext6 (= 2:1.3.4-1+b4), libxml2-16 (= 2.15.4+dfsg-1), libxpm4 (= 1:3.5.19-1), libxrender1 (= 1:0.9.12-1+b2), libyojson-ocaml (= 3.0.0-2+ocaml1), libyojson-ocaml-dev (= 3.0.0-2+ocaml1), libyuv0 (= 0.0.1971.20260904-1), libzstd-dev (= 1.5.7+dfsg-4), libzstd1 (= 1.5.7+dfsg-4), linux-libc-dev (= 7.1.13-1), lua5.1 (= 5.1.5-12), m4 (= 1.4.21-1), make (= 4.4.1-3), man-db (= 2.13.1-1), mawk (= 1.3.4.20260302-1), menhir (= 20260209+ds-3+ocaml1), ncurses-base (= 6.6+20260608-2), ncurses-bin (= 6.6+20260608-2), ocaml (= 5.5.1-1~exp1+ocaml1), ocaml-base (= 5.5.1-1~exp1+ocaml1), ocaml-dune (= 3.24.1-4+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.5.1-1~exp1+ocaml1), openssl-provider-legacy (= 3.6.4-1), patch (= 2.8-2), perl (= 5.42.3-1), perl-base (= 5.42.3-1), perl-modules-5.42 (= 5.42.3-1), po-debconf (= 1.0.22), quickjs (= 2025.04.26-1+b2), readline-common (= 8.3-4), sed (= 4.9-3), sensible-utils (= 0.0.26), sysvinit-utils (= 3.18-1), tar (= 1.35+dfsg-5), time (= 1.10-0.1), util-linux (= 2.42.3-1), xz-utils (= 5.8.3-1), yojson-tools (= 3.0.0-2+ocaml1), zlib1g (= 1:1.3.dfsg+really1.3.2-3) Environment: DEB_BUILD_OPTIONS="parallel=2" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1788804141" +------------------------------------------------------------------------------+ | Package contents Mon, 07 Sep 2026 18:09:35 +0000 | +------------------------------------------------------------------------------+ elpi_3.7.2-2+ocaml1_amd64.deb ----------------------------- new Debian package, version 2.0. size 1894004 bytes: control archive=848 bytes. 555 bytes, 15 lines control 443 bytes, 7 lines md5sums Package: elpi Version: 3.7.2-2+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 9021 Depends: libelpi-ocaml (= 3.7.2-2+ocaml1), libc6 (>= 2.42) Section: ocaml Priority: optional Homepage: https://github.com/LPCIC/elpi Description: embeddable lambda-Prolog interpreter (tool) ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml. . This package provides the command-line tool. drwxr-xr-x root/root 0 2026-09-07 18:02 ./ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/bin/ -rwxr-xr-x root/root 6559680 2026-09-07 18:02 ./usr/bin/elpi -rwxr-xr-x root/root 2642880 2026-09-07 18:02 ./usr/bin/elpi-trace-elaborator drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/elpi/ -rw-r--r-- root/root 1195 2026-09-07 18:02 ./usr/share/doc/elpi/changelog.Debian.gz -rw-r--r-- root/root 16930 2026-07-08 22:24 ./usr/share/doc/elpi/changelog.gz -rw-r--r-- root/root 1190 2026-07-21 07:56 ./usr/share/doc/elpi/copyright drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/lintian/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 96 2026-07-21 07:56 ./usr/share/lintian/overrides/elpi drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/man/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/man/man1/ -rw-r--r-- root/root 1020 2026-09-07 18:02 ./usr/share/man/man1/elpi.1.gz libelpi-ocaml-dev_3.7.2-2+ocaml1_amd64.deb ------------------------------------------ new Debian package, version 2.0. size 12434680 bytes: control archive=5620 bytes. 879 bytes, 18 lines control 21271 bytes, 206 lines md5sums Package: libelpi-ocaml-dev Source: elpi Version: 3.7.2-2+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 60013 Depends: libcompiler-libs-ocaml-dev-92263, libelpi-ocaml-n1ek5, libmenhir-ocaml-dev-1m467, libocaml-compiler-libs-ocaml-dev-116j0, libppx-deriving-ocaml-dev-d0sw6, libppxlib-ocaml-dev-4vl28, libre-ocaml-dev-djl39, libsexplib0-ocaml-dev-1f4x2, libstdlib-ocaml-dev-h47z8, ocaml-5.5.1, libc6 (>= 2.38) Recommends: ocaml-findlib Provides: libelpi-ocaml-dev-n1ek5 Section: ocaml Priority: optional Homepage: https://github.com/LPCIC/elpi Description: embeddable lambda-Prolog interpreter (dev files) ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml. . This package provides the dev files. drwxr-xr-x root/root 0 2026-09-07 18:02 ./ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/ -rw-r--r-- root/root 308 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_map.cmi -rw-r--r-- root/root 12048 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_map.cmt -rw-r--r-- root/root 308 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_set.cmi -rw-r--r-- root/root 11464 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_set.cmt -rw-r--r-- root/root 317 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_stdlib.cmi -rw-r--r-- root/root 13980 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/.private/elpi__Builtin_stdlib.cmt -rw-r--r-- root/root 55089 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/API.ml -rw-r--r-- root/root 52982 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/API.mli -rw-r--r-- root/root 54608 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin.elpi -rw-r--r-- root/root 47499 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin.ml -rw-r--r-- root/root 2812 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin.mli -rw-r--r-- root/root 8408 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin_map.ml -rw-r--r-- root/root 7824 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin_set.ml -rw-r--r-- root/root 10322 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/builtin_stdlib.ml drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/ -rw-r--r-- root/root 125876 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/compiler.ml -rw-r--r-- root/root 4778 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/compiler.mli -rw-r--r-- root/root 49934 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/compiler_data.ml -rw-r--r-- root/root 43528 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/determinacy_checker.ml -rw-r--r-- root/root 688 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/determinacy_checker.mli -rw-r--r-- root/root 2142402 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.a -rw-r--r-- root/root 715 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cmi -rw-r--r-- root/root 5338 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cmt -rw-r--r-- root/root 273 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cmx -rw-r--r-- root/root 12115 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cmxa -rw-r--r-- root/root 504 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.ml -rw-r--r-- root/root 13956 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler.cmi -rw-r--r-- root/root 3180841 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler.cmt -rw-r--r-- root/root 61820 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler.cmti -rw-r--r-- root/root 3419 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler.cmx -rw-r--r-- root/root 93142 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler_data.cmi -rw-r--r-- root/root 2273497 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler_data.cmt -rw-r--r-- root/root 2084 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Compiler_data.cmx -rw-r--r-- root/root 2773 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmi -rw-r--r-- root/root 1054412 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmt -rw-r--r-- root/root 11010 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmti -rw-r--r-- root/root 2197 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmx -rw-r--r-- root/root 2244 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Spilling.cmi -rw-r--r-- root/root 261693 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Spilling.cmt -rw-r--r-- root/root 8898 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Spilling.cmti -rw-r--r-- root/root 2110 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Spilling.cmx -rw-r--r-- root/root 7280 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Type_checker.cmi -rw-r--r-- root/root 1122573 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Type_checker.cmt -rw-r--r-- root/root 33243 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Type_checker.cmti -rw-r--r-- root/root 2165 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler__Type_checker.cmx -rw-r--r-- root/root 15171 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/spilling.ml -rw-r--r-- root/root 402 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/spilling.mli -rw-r--r-- root/root 48902 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/type_checker.ml -rw-r--r-- root/root 1944 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/type_checker.mli -rw-r--r-- root/root 16751 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/dune-package -rw-r--r-- root/root 724096 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.a -rw-r--r-- root/root 538 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cmi -rw-r--r-- root/root 4900 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cmt -rw-r--r-- root/root 195 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cmx -rw-r--r-- root/root 6502 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cmxa -rw-r--r-- root/root 372 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.ml -rw-r--r-- root/root 181104 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__API.cmi -rw-r--r-- root/root 1415025 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__API.cmt -rw-r--r-- root/root 737907 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__API.cmti -rw-r--r-- root/root 3071 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__API.cmx -rw-r--r-- root/root 5104 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin.cmi -rw-r--r-- root/root 879973 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin.cmt -rw-r--r-- root/root 27041 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin.cmti -rw-r--r-- root/root 2700 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin.cmx -rw-r--r-- root/root 222 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin_map.cmx -rw-r--r-- root/root 222 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin_set.cmx -rw-r--r-- root/root 228 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi__Builtin_stdlib.cmx drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/ -rw-r--r-- root/root 47940 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.a -rw-r--r-- root/root 388 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmi -rw-r--r-- root/root 3726 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmt -rw-r--r-- root/root 189 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmx -rw-r--r-- root/root 945 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmxa -rw-r--r-- root/root 214 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.ml -rw-r--r-- root/root 3330 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi -rw-r--r-- root/root 67564 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt -rw-r--r-- root/root 556 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx -rw-r--r-- root/root 5261 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmi -rw-r--r-- root/root 15726 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmt -rw-r--r-- root/root 19401 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmti -rw-r--r-- root/root 251 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmx -rw-r--r-- root/root 4194 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/lexer_config.ml -rw-r--r-- root/root 1360 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/tokens.ml -rw-r--r-- root/root 1387 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/tokens.mli -rw-r--r-- root/root 3668 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/opam drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/ -rw-r--r-- root/root 12552 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/ast.ml -rw-r--r-- root/root 6855 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/ast.mli -rw-r--r-- root/root 1253026 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.a -rw-r--r-- root/root 713 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cmi -rw-r--r-- root/root 5618 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cmt -rw-r--r-- root/root 262 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cmx -rw-r--r-- root/root 9419 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cmxa -rw-r--r-- root/root 501 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.ml -rw-r--r-- root/root 67598 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Ast.cmi -rw-r--r-- root/root 1943506 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Ast.cmt -rw-r--r-- root/root 287421 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Ast.cmti -rw-r--r-- root/root 1012 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Ast.cmx -rw-r--r-- root/root 399 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Error_messages.cmi -rw-r--r-- root/root 39167 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Error_messages.cmt -rw-r--r-- root/root 276 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Error_messages.cmx -rw-r--r-- root/root 11278 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Grammar.cmi -rw-r--r-- root/root 5019723 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Grammar.cmt -rw-r--r-- root/root 38965 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Grammar.cmti -rw-r--r-- root/root 2530 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Grammar.cmx -rw-r--r-- root/root 7048 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Lexer.cmi -rw-r--r-- root/root 316116 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Lexer.cmt -rw-r--r-- root/root 1085 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Lexer.cmx -rw-r--r-- root/root 3753 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parse.cmi -rw-r--r-- root/root 95966 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parse.cmt -rw-r--r-- root/root 17645 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parse.cmti -rw-r--r-- root/root 2595 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parse.cmx -rw-r--r-- root/root 4171 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parser_config.cmi -rw-r--r-- root/root 116936 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parser_config.cmt -rw-r--r-- root/root 1821 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser__Parser_config.cmx -rw-r--r-- root/root 6970 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/error_messages.ml -rw-r--r-- root/root 814351 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/grammar.ml -rw-r--r-- root/root 1600 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/grammar.mli -rw-r--r-- root/root 466980 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/lexer.ml -rw-r--r-- root/root 5563 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/parse.ml -rw-r--r-- root/root 1145 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/parse.mli -rw-r--r-- root/root 6328 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/parser_config.ml drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/ -rw-r--r-- root/root 5615 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/bl.ml -rw-r--r-- root/root 917 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/bl.mli -rw-r--r-- root/root 62687 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/data.ml -rw-r--r-- root/root 17539 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/discrimination_tree.ml -rw-r--r-- root/root 4545 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/discrimination_tree.mli -rw-r--r-- root/root 2689682 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.a -rw-r--r-- root/root 749 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cmi -rw-r--r-- root/root 5703 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cmt -rw-r--r-- root/root 278 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cmx -rw-r--r-- root/root 10768 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cmxa -rw-r--r-- root/root 534 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.ml -rw-r--r-- root/root 2870 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Bl.cmi -rw-r--r-- root/root 179590 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Bl.cmt -rw-r--r-- root/root 16397 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Bl.cmti -rw-r--r-- root/root 818 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Bl.cmx -rw-r--r-- root/root 125533 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Data.cmi -rw-r--r-- root/root 2891464 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Data.cmt -rw-r--r-- root/root 2142 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Data.cmx -rw-r--r-- root/root 7540 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmi -rw-r--r-- root/root 281165 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmt -rw-r--r-- root/root 41134 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmti -rw-r--r-- root/root 1403 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmx -rw-r--r-- root/root 9420 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Ptmap.cmi -rw-r--r-- root/root 186942 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Ptmap.cmt -rw-r--r-- root/root 44657 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Ptmap.cmti -rw-r--r-- root/root 1010 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Ptmap.cmx -rw-r--r-- root/root 12074 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime.cmi -rw-r--r-- root/root 4199902 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime.cmt -rw-r--r-- root/root 51322 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime.cmti -rw-r--r-- root/root 2690 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime.cmx -rw-r--r-- root/root 12105 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi -rw-r--r-- root/root 3287008 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt -rw-r--r-- root/root 51396 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti -rw-r--r-- root/root 2589 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx -rw-r--r-- root/root 11537 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/ptmap.ml -rw-r--r-- root/root 4177 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/ptmap.mli -rw-r--r-- root/root 188110 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/runtime.ml -rw-r--r-- root/root 3572 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/runtime.mli -rw-r--r-- root/root 188110 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/runtime_trace_off.ml -rw-r--r-- root/root 3572 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/runtime_trace_off.mli -rw-r--r-- root/root 4835 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace.atd drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/ -rwxr-xr-x root/root 18037616 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/ppx.exe -rw-r--r-- root/root 107744 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.a -rw-r--r-- root/root 10629 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmi -rw-r--r-- root/root 421234 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmt -rw-r--r-- root/root 4445 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmx -rw-r--r-- root/root 4452 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmxa -rw-r--r-- root/root 13950 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.ml drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/ -rw-r--r-- root/root 16563 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/runtime.ml -rw-r--r-- root/root 1150 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/runtime.mli -rw-r--r-- root/root 125140 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.a -rw-r--r-- root/root 275 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmi -rw-r--r-- root/root 3154 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmt -rw-r--r-- root/root 155 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmx -rw-r--r-- root/root 2015 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmxa -rw-r--r-- root/root 113 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.ml -rw-r--r-- root/root 3121 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi -rw-r--r-- root/root 332440 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt -rw-r--r-- root/root 14129 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti -rw-r--r-- root/root 1881 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx -rw-r--r-- root/root 38491 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace_atd.ts drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/ -rw-r--r-- root/root 237584 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.a -rw-r--r-- root/root 318 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cmi -rw-r--r-- root/root 3541 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cmt -rw-r--r-- root/root 153 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cmx -rw-r--r-- root/root 3164 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cmxa -rw-r--r-- root/root 170 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.ml -rw-r--r-- root/root 17265 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Union_find.cmi -rw-r--r-- root/root 114857 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Union_find.cmt -rw-r--r-- root/root 44937 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Union_find.cmti -rw-r--r-- root/root 818 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Union_find.cmx -rw-r--r-- root/root 159575 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Util.cmi -rw-r--r-- root/root 817311 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Util.cmt -rw-r--r-- root/root 463252 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Util.cmti -rw-r--r-- root/root 2242 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util__Util.cmx -rw-r--r-- root/root 2368 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/union_find.ml -rw-r--r-- root/root 768 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/union_find.mli -rw-r--r-- root/root 22769 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/util.ml -rw-r--r-- root/root 9741 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/util.mli drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml-dev/ -rw-r--r-- root/root 3399 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml-dev/README.md.gz -rw-r--r-- root/root 1203 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 16930 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml-dev/changelog.gz -rw-r--r-- root/root 1190 2026-07-21 07:56 ./usr/share/doc/libelpi-ocaml-dev/copyright drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/lintian/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 101 2026-07-21 07:56 ./usr/share/lintian/overrides/libelpi-ocaml-dev drwxr-xr-x root/root 0 2026-09-07 18:02 ./var/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./var/lib/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 2971 2026-09-07 18:02 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi -rw-r--r-- root/root 1280 2026-09-07 18:02 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.info drwxr-xr-x root/root 0 2026-09-07 18:02 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 7458 2026-09-07 18:02 ./var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums libelpi-ocaml_3.7.2-2+ocaml1_amd64.deb -------------------------------------- new Debian package, version 2.0. size 3556124 bytes: control archive=1272 bytes. 683 bytes, 18 lines control 1930 bytes, 20 lines md5sums Package: libelpi-ocaml Source: elpi Version: 3.7.2-2+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 14368 Depends: libppx-deriving-ocaml-d0sw6, libsexplib0-ocaml-1f4x2, libstdlib-ocaml-h47z8, ocaml-base-5.5.1 Recommends: ocaml-findlib Provides: libelpi-ocaml-n1ek5 Section: ocaml Priority: optional Homepage: https://github.com/LPCIC/elpi Description: embeddable lambda-Prolog interpreter (runtime files) ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml. . This package provides the runtime files. drwxr-xr-x root/root 0 2026-09-07 18:02 ./ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/ -rw-r--r-- root/root 2971 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/META drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/ -rw-r--r-- root/root 2565380 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cma -rw-r--r-- root/root 1320472 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/compiler/elpi_compiler.cmxs -rw-r--r-- root/root 840013 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cma -rw-r--r-- root/root 484544 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/elpi.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/ -rw-r--r-- root/root 32129 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cma -rw-r--r-- root/root 36664 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/lexer_config/elpi_lexer_config.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/ -rw-r--r-- root/root 2360261 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cma -rw-r--r-- root/root 838552 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/parser/elpi_parser.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/ -rw-r--r-- root/root 3509511 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cma -rw-r--r-- root/root 1664120 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/runtime/elpi_runtime.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/ -rw-r--r-- root/root 139117 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cma -rw-r--r-- root/root 96328 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/ppx/trace_ppx.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/ -rw-r--r-- root/root 120955 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cma -rw-r--r-- root/root 92416 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/trace/runtime/trace_ppx_runtime.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/ -rw-r--r-- root/root 394641 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cma -rw-r--r-- root/root 164720 2026-09-07 18:02 ./usr/lib/x86_64-linux-gnu/ocaml/5.5.1/elpi/util/elpi_util.cmxs drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml/ -rw-r--r-- root/root 1200 2026-09-07 18:02 ./usr/share/doc/libelpi-ocaml/changelog.Debian.gz -rw-r--r-- root/root 16930 2026-07-08 22:24 ./usr/share/doc/libelpi-ocaml/changelog.gz -rw-r--r-- root/root 1190 2026-07-21 07:56 ./usr/share/doc/libelpi-ocaml/copyright +------------------------------------------------------------------------------+ | Post Build Mon, 07 Sep 2026 18:09:39 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Mon, 07 Sep 2026 18:09:39 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Mon, 07 Sep 2026 18:09:42 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 790792 Build-Time: 319 Distribution: unstable-ocaml Host Architecture: amd64 Install-Time: 52 Job: /tmp/tmp.ben.transition-scripts.gXPg8XSN1e/elpi_3.7.2-2+ocaml1.dsc Machine Architecture: amd64 Package: elpi Package-Time: 430 Source-Version: 3.7.2-2+ocaml1 Space: 790792 Status: successful Version: 3.7.2-2+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-09-07T18:09:33Z Build needed 00:07:10, 790792k disk space