sbuild (Debian sbuild) 0.91.5 (17 December 2025) on cil.up7.fr +==============================================================================+ | elpi 2.0.7-3+ocaml1 (amd64) Tue, 06 Jan 2026 07:06:41 +0000 | +==============================================================================+ Package: elpi Version: 2.0.7-3+ocaml1 Source Version: 2.0.7-3+ocaml1 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: Unpacking /home/steph/ocaml-backports/20260106/ben/rootfs.tar.zst to /var/cache/pbuilder/tmp/tmp.sbuild.oNBfofU0mS... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Tue, 06 Jan 2026 07:06:47 +0000 | +------------------------------------------------------------------------------+ Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1358 B] Get:2 file:/rebuilt ./ Release [1358 B] Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [1018 kB] Get:5 http://localhost:9999/debian trixie InRelease [140 kB] Get:6 http://localhost:9999/debian trixie/non-free amd64 Packages [100 kB] Get:7 http://localhost:9999/debian trixie/non-free-firmware amd64 Packages [6888 B] Get:8 http://localhost:9999/debian trixie/main amd64 Packages [9670 kB] Get:9 http://localhost:9999/debian trixie/contrib amd64 Packages [53.8 kB] Fetched 9971 kB in 1s (8389 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 Tue, 06 Jan 2026 07:06:51 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.2DF711LYRf/elpi_2.0.7-3+ocaml1.dsc exists in /tmp/tmp.ben.transition-scripts.2DF711LYRf; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Tue, 06 Jan 2026 07:06:52 +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), 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), 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-Ksuh5H/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ Sources [986 B] Get:5 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ Packages [993 B] Fetched 2588 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... 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 libabsl20240722 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli-dev libbrotli1 libbsd0 libbz2-dev libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcom-err2 libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl3t64-gnutls libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 liberror-perl libev-dev libev4t64 libexpat1 libexpat1-dev libffi8 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfontconfig-dev libfontconfig1 libfontconfig1-dev libfpath-ocaml libfpath-ocaml-dev libfreetype-dev libfreetype6 libfribidi0 libgav1-1 libgd3 libgen-ocaml libgen-ocaml-dev libglib2.0-0t64 libgnutls30t64 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libgssapi-krb5-2 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libidn2-0 libimagequant0 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-gnutls8 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-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 libpkgconf3 libpng-dev libpng16-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpsl5t64 librav1e0.7 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8t64 librresult-ocaml librresult-ocaml-dev librtmp1 libsasl2-2 libsasl2-modules-db libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libssh2-1t64 libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc2 libtasn1-6 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libunistring5 libuutf-ocaml libuutf-ocaml-dev libwebp7 libwebpmux3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext6 libxft-dev libxft2 libxml2 libxpm4 libxrender-dev libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 libzstd-dev lua5.1 m4 man-db menhir ocaml ocaml-base ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp pkgconf pkgconf-bin po-debconf readline-common sensible-utils time uuid-dev x11proto-dev xorg-sgml-doctools xtrans-dev yojson-tools zlib1g-dev 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-mediawiki git-svn gnuplot-doc groff freetype2-doc 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 liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libuutf-ocaml-doc libx11-doc libxcb-doc m4-doc apparmor less www-browser menhir-doc ocaml-doc elpa-tuareg camlp4 libmail-box-perl readline-doc Recommended packages: curl | wget | lynx ca-certificates less ssh-client fonts-liberation groff bzip2-doc libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libheif-plugin-x265 libheif-plugin-aomenc krb5-locales libldap-common liblwt-ocaml-doc libgpm2 libpng-tools publicsuffix libsasl2-modules ocaml-man libltdl-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 libabsl20240722 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli-dev libbrotli1 libbsd0 libbz2-dev libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcom-err2 libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl3t64-gnutls libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 liberror-perl libev-dev libev4t64 libexpat1 libexpat1-dev libffi8 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfontconfig-dev libfontconfig1 libfontconfig1-dev libfpath-ocaml libfpath-ocaml-dev libfreetype-dev libfreetype6 libfribidi0 libgav1-1 libgd3 libgen-ocaml libgen-ocaml-dev libglib2.0-0t64 libgnutls30t64 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libgssapi-krb5-2 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libidn2-0 libimagequant0 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap2 liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnghttp3-9 libngtcp2-16 libngtcp2-crypto-gnutls8 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-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 libpkgconf3 libpng-dev libpng16-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpsl5t64 librav1e0.7 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8t64 librresult-ocaml librresult-ocaml-dev librtmp1 libsasl2-2 libsasl2-modules-db libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libssh2-1t64 libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc2 libtasn1-6 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libunistring5 libuutf-ocaml libuutf-ocaml-dev libwebp7 libwebpmux3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext6 libxft-dev libxft2 libxml2 libxpm4 libxrender-dev libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 libzstd-dev lua5.1 m4 man-db menhir ocaml ocaml-base ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp pkgconf pkgconf-bin po-debconf readline-common sbuild-build-depends-main-dummy sensible-utils time uuid-dev x11proto-dev xorg-sgml-doctools xtrans-dev yojson-tools zlib1g-dev 0 upgraded, 226 newly installed, 0 to remove and 0 not upgraded. Need to get 54.1 MB/225 MB of archives. After this operation, 1059 MB of additional disk space will be used. Get:1 file:/rebuilt ./ atdts 3.0.1-1+ocaml1 [783 kB] Get:2 copy:/build/reproducible-path/resolver-Ksuh5H/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [1012 B] Get:3 file:/rebuilt ./ libstdlib-ocaml 5.4.0-1+ocaml1 [604 kB] Get:4 file:/rebuilt ./ libstdlib-ocaml-dev 5.4.0-1+ocaml1 [6474 kB] Get:5 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.4.0-1+ocaml1 [39.3 MB] Get:6 http://localhost:9999/debian trixie/main amd64 libexpat1 amd64 2.7.1-2 [108 kB] Get:7 http://localhost:9999/debian trixie/main amd64 readline-common all 8.2-6 [69.4 kB] Get:8 http://localhost:9999/debian trixie/main amd64 sensible-utils all 0.0.25 [25.0 kB] Get:9 http://localhost:9999/debian trixie/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get:10 http://localhost:9999/debian trixie/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get:11 http://localhost:9999/debian trixie/main amd64 file amd64 1:5.46-5 [43.6 kB] Get:12 http://localhost:9999/debian trixie/main amd64 gettext-base amd64 0.23.1-2 [243 kB] Get:13 http://localhost:9999/debian trixie/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB] Get:14 http://localhost:9999/debian trixie/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get:15 http://localhost:9999/debian trixie/main amd64 bsdextrautils amd64 2.41-5 [94.6 kB] Get:16 http://localhost:9999/debian trixie/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:17 http://localhost:9999/debian trixie/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:18 http://localhost:9999/debian trixie/main amd64 aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get:19 http://localhost:9999/debian trixie/main amd64 m4 amd64 1.4.19-8 [294 kB] Get:20 http://localhost:9999/debian trixie/main amd64 autoconf all 2.72-3.1 [494 kB] Get:21 http://localhost:9999/debian trixie/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get:22 http://localhost:9999/debian trixie/main amd64 automake all 1:1.17-4 [862 kB] Get:23 http://localhost:9999/debian trixie/main amd64 autopoint all 0.23.1-2 [770 kB] Get:24 http://localhost:9999/debian trixie/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get:25 http://localhost:9999/debian trixie/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB] Get:26 http://localhost:9999/debian trixie/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get:27 http://localhost:9999/debian trixie/main amd64 libzstd-dev amd64 1.5.7+dfsg-1 [371 kB] Get:28 http://localhost:9999/debian trixie/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get:29 http://localhost:9999/debian trixie/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get:30 http://localhost:9999/debian trixie/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get:31 http://localhost:9999/debian trixie/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get:32 http://localhost:9999/debian trixie/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get:33 http://localhost:9999/debian trixie/main amd64 libbrotli1 amd64 1.1.0-2+b7 [307 kB] Get:34 http://localhost:9999/debian trixie/main amd64 libpng16-16t64 amd64 1.6.48-1 [282 kB] Get:35 http://localhost:9999/debian trixie/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get:36 http://localhost:9999/debian trixie/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:37 http://localhost:9999/debian trixie/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get:38 http://localhost:9999/debian trixie/main amd64 fontconfig-config amd64 2.15.0-2.3 [318 kB] Get:39 http://localhost:9999/debian trixie/main amd64 libfontconfig1 amd64 2.15.0-2.3 [392 kB] Get:40 http://localhost:9999/debian trixie/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB] Get:41 http://localhost:9999/debian trixie/main amd64 libxft2 amd64 2.3.6-1+b4 [54.5 kB] Get:42 http://localhost:9999/debian trixie/main amd64 libev4t64 amd64 1:4.33-2.1+b1 [42.4 kB] Get:43 http://localhost:9999/debian trixie/main amd64 xorg-sgml-doctools all 1:1.11-1.1 [22.1 kB] Get:44 http://localhost:9999/debian trixie/main amd64 x11proto-dev all 2024.1-1 [603 kB] Get:45 http://localhost:9999/debian trixie/main amd64 libxau-dev amd64 1:1.0.11-1 [23.6 kB] Get:46 http://localhost:9999/debian trixie/main amd64 libxdmcp-dev amd64 1:1.1.5-1 [44.3 kB] Get:47 http://localhost:9999/debian trixie/main amd64 xtrans-dev all 1.4.0-1 [98.7 kB] Get:48 http://localhost:9999/debian trixie/main amd64 libxcb1-dev amd64 1.17.0-2+b1 [181 kB] Get:49 http://localhost:9999/debian trixie/main amd64 libx11-dev amd64 2:1.8.12-1 [894 kB] Get:50 http://localhost:9999/debian trixie/main amd64 libexpat1-dev amd64 2.7.1-2 [161 kB] Get:51 http://localhost:9999/debian trixie/main amd64 libbrotli-dev amd64 1.1.0-2+b7 [316 kB] Get:52 http://localhost:9999/debian trixie/main amd64 libbz2-dev amd64 1.0.8-6 [31.4 kB] Get:53 http://localhost:9999/debian trixie/main amd64 zlib1g-dev amd64 1:1.3.dfsg+really1.3.1-1+b1 [920 kB] Get:54 http://localhost:9999/debian trixie/main amd64 libpng-dev amd64 1.6.48-1 [366 kB] Get:55 http://localhost:9999/debian trixie/main amd64 libfreetype-dev amd64 2.13.3+dfsg-1 [622 kB] Get:56 http://localhost:9999/debian trixie/main amd64 uuid-dev amd64 2.41-5 [48.8 kB] Get:57 http://localhost:9999/debian trixie/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB] Get:58 http://localhost:9999/debian trixie/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB] Get:59 http://localhost:9999/debian trixie/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB] Get:60 http://localhost:9999/debian trixie/main amd64 libfontconfig-dev amd64 2.15.0-2.3 [414 kB] Get:61 http://localhost:9999/debian trixie/main amd64 libfontconfig1-dev amd64 2.15.0-2.3 [269 kB] Get:62 http://localhost:9999/debian trixie/main amd64 libxrender-dev amd64 1:0.9.12-1 [39.0 kB] Get:63 http://localhost:9999/debian trixie/main amd64 libxft-dev amd64 2.3.6-1+b4 [73.2 kB] Get:64 http://localhost:9999/debian trixie/main amd64 libev-dev amd64 1:4.33-2.1+b1 [135 kB] Get:65 http://localhost:9999/debian trixie/main amd64 libpcre2-16-0 amd64 10.46-1~deb13u1 [281 kB] Get:66 http://localhost:9999/debian trixie/main amd64 libpcre2-32-0 amd64 10.46-1~deb13u1 [268 kB] Get:67 http://localhost:9999/debian trixie/main amd64 libpcre2-posix3 amd64 10.46-1~deb13u1 [63.9 kB] Get:68 http://localhost:9999/debian trixie/main amd64 libpcre2-dev amd64 10.46-1~deb13u1 [853 kB] Get:69 http://localhost:9999/debian trixie/main amd64 libdebhelper-perl all 13.24.2 [90.9 kB] Get:70 http://localhost:9999/debian trixie/main amd64 libtool all 2.5.4-4 [539 kB] Get:71 http://localhost:9999/debian trixie/main amd64 dh-autoreconf all 20 [17.1 kB] Get:72 http://localhost:9999/debian trixie/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:73 http://localhost:9999/debian trixie/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB] Get:74 http://localhost:9999/debian trixie/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B] Get:75 http://localhost:9999/debian trixie/main amd64 libelf1t64 amd64 0.192-4 [189 kB] Get:76 http://localhost:9999/debian trixie/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:77 http://localhost:9999/debian trixie/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get:78 http://localhost:9999/debian trixie/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-2.1+deb13u2 [698 kB] Get:79 http://localhost:9999/debian trixie/main amd64 gettext amd64 0.23.1-2 [1680 kB] Get:80 file:/rebuilt ./ ocaml-compiler-libs 5.4.0-1+ocaml1 [220 kB] Get:81 http://localhost:9999/debian trixie/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:82 http://localhost:9999/debian trixie/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:83 file:/rebuilt ./ ocaml-base 5.4.0-1+ocaml1 [503 kB] Get:84 http://localhost:9999/debian trixie/main amd64 debhelper all 13.24.2 [919 kB] Get:85 file:/rebuilt ./ libastring-ocaml 0.8.5-3+ocaml1 [173 kB] Get:86 file:/rebuilt ./ ocaml-interp 5.4.0-1+ocaml1 [7461 kB] Get:87 http://localhost:9999/debian trixie/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get:88 http://localhost:9999/debian trixie/main amd64 fontconfig amd64 2.15.0-2.3 [463 kB] Get:89 http://localhost:9999/debian trixie/main amd64 libidn2-0 amd64 2.3.8-2 [109 kB] Get:90 http://localhost:9999/debian trixie/main amd64 libffi8 amd64 3.4.8-2 [24.1 kB] Get:91 http://localhost:9999/debian trixie/main amd64 libp11-kit0 amd64 0.25.5-3 [425 kB] Get:92 http://localhost:9999/debian trixie/main amd64 libtasn1-6 amd64 4.20.0-2 [49.9 kB] Get:93 http://localhost:9999/debian trixie/main amd64 libgnutls30t64 amd64 3.8.9-3 [1465 kB] Get:94 http://localhost:9999/debian trixie/main amd64 libkrb5support0 amd64 1.21.3-5 [33.0 kB] Get:95 http://localhost:9999/debian trixie/main amd64 libcom-err2 amd64 1.47.2-3+b3 [25.0 kB] Get:96 http://localhost:9999/debian trixie/main amd64 libk5crypto3 amd64 1.21.3-5 [81.5 kB] Get:97 http://localhost:9999/debian trixie/main amd64 libkeyutils1 amd64 1.6.3-6 [9456 B] Get:98 http://localhost:9999/debian trixie/main amd64 libkrb5-3 amd64 1.21.3-5 [326 kB] Get:99 http://localhost:9999/debian trixie/main amd64 libgssapi-krb5-2 amd64 1.21.3-5 [138 kB] Get:100 http://localhost:9999/debian trixie/main amd64 libsasl2-modules-db amd64 2.1.28+dfsg1-9 [19.8 kB] Get:101 http://localhost:9999/debian trixie/main amd64 libsasl2-2 amd64 2.1.28+dfsg1-9 [57.5 kB] Get:102 http://localhost:9999/debian trixie/main amd64 libldap2 amd64 2.6.10+dfsg-1 [194 kB] Get:103 file:/rebuilt ./ ocaml 5.4.0-1+ocaml1 [18.8 MB] Get:104 http://localhost:9999/debian trixie/main amd64 libnghttp2-14 amd64 1.64.0-1.1 [76.0 kB] Get:105 http://localhost:9999/debian trixie/main amd64 libnghttp3-9 amd64 1.8.0-1 [67.7 kB] Get:106 http://localhost:9999/debian trixie/main amd64 libngtcp2-16 amd64 1.11.0-1 [131 kB] Get:107 http://localhost:9999/debian trixie/main amd64 libngtcp2-crypto-gnutls8 amd64 1.11.0-1 [29.3 kB] Get:108 http://localhost:9999/debian trixie/main amd64 libpsl5t64 amd64 0.21.2-1.1+b1 [57.2 kB] Get:109 http://localhost:9999/debian trixie/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-2+b5 [58.8 kB] Get:110 http://localhost:9999/debian trixie/main amd64 libssh2-1t64 amd64 1.11.1-1 [245 kB] Get:111 http://localhost:9999/debian trixie/main amd64 libcurl3t64-gnutls amd64 8.14.1-2+deb13u2 [383 kB] Get:112 http://localhost:9999/debian trixie/main amd64 liberror-perl all 0.17030-1 [26.9 kB] Get:113 http://localhost:9999/debian trixie/main amd64 git-man all 1:2.47.3-0+deb13u1 [2205 kB] Get:114 http://localhost:9999/debian trixie/main amd64 git amd64 1:2.47.3-0+deb13u1 [8862 kB] Get:115 file:/rebuilt ./ libastring-ocaml-dev 0.8.5-3+ocaml1 [423 kB] Get:116 file:/rebuilt ./ libfmt-ocaml 0.11.0-1+ocaml1 [130 kB] Get:117 file:/rebuilt ./ libfpath-ocaml 0.7.3-4+ocaml1 [92.7 kB] Get:118 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml1 [194 kB] Get:119 file:/rebuilt ./ libgen-ocaml 1.1-1+ocaml1 [194 kB] Get:120 file:/rebuilt ./ libgraphics-ocaml 5.2.0-2+ocaml1 [50.0 kB] Get:121 file:/rebuilt ./ libocplib-endian-ocaml 1.2-4+ocaml1 [72.9 kB] Get:122 file:/rebuilt ./ libreact-ocaml 1.2.2-2+ocaml1 [185 kB] Get:123 file:/rebuilt ./ libsexplib0-ocaml 0.17.0-1+ocaml1 [115 kB] Get:124 file:/rebuilt ./ liblwt-ocaml 5.9.2-2+ocaml1 [896 kB] Get:125 file:/rebuilt ./ liblwt-log-ocaml 1.1.2-4+ocaml1 [84.3 kB] Get:126 file:/rebuilt ./ libreactivedata-ocaml 0.3-4+ocaml1 [84.9 kB] Get:127 file:/rebuilt ./ libsedlex-ocaml 3.7-1+ocaml1 [268 kB] Get:128 file:/rebuilt ./ libuutf-ocaml 1.0.4-2+ocaml1 [71.5 kB] Get:129 file:/rebuilt ./ libtyxml-ocaml 4.6.0-1+ocaml1 [492 kB] Get:130 file:/rebuilt ./ libyojson-ocaml 3.0.0-2+ocaml1 [357 kB] Get:131 file:/rebuilt ./ libjs-of-ocaml 6.2.0-2+ocaml1 [6797 kB] Get:132 file:/rebuilt ./ liblogs-ocaml 0.10.0-1+ocaml1 [81.1 kB] Get:133 file:/rebuilt ./ librresult-ocaml 0.7.0-2+ocaml1 [27.1 kB] Get:134 file:/rebuilt ./ libbos-ocaml 0.2.1-2+ocaml1 [298 kB] Get:135 file:/rebuilt ./ libcmdliner-ocaml-dev 1.3.0-2+ocaml1 [491 kB] Get:136 file:/rebuilt ./ libfmt-ocaml-dev 0.11.0-1+ocaml1 [277 kB] Get:137 file:/rebuilt ./ libfpath-ocaml-dev 0.7.3-4+ocaml1 [199 kB] Get:138 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml1 [176 kB] Get:139 file:/rebuilt ./ libgen-ocaml-dev 1.1-1+ocaml1 [422 kB] Get:140 file:/rebuilt ./ libgraphics-ocaml-dev 5.2.0-2+ocaml1 [97.8 kB] Get:141 file:/rebuilt ./ libocaml-compiler-libs-ocaml-dev 0.17.0-1+ocaml1 [94.2 kB] Get:142 file:/rebuilt ./ libocplib-endian-ocaml-dev 1.2-4+ocaml1 [145 kB] Get:143 file:/rebuilt ./ libppx-derivers-ocaml-dev 1.2.1-4+ocaml1 [16.9 kB] Get:144 file:/rebuilt ./ libsexplib0-ocaml-dev 0.17.0-1+ocaml1 [274 kB] Get:145 file:/rebuilt ./ libppxlib-ocaml-dev 0.37.0-1+ocaml1 [17.8 MB] Get:146 http://localhost:9999/debian trixie/main amd64 gnuplot-data all 6.0.2+dfsg1-1 [72.4 kB] Get:147 http://localhost:9999/debian trixie/main amd64 libpixman-1-0 amd64 0.44.0-3 [248 kB] Get:148 http://localhost:9999/debian trixie/main amd64 libxcb-render0 amd64 1.17.0-2+b1 [115 kB] Get:149 http://localhost:9999/debian trixie/main amd64 libxcb-shm0 amd64 1.17.0-2+b1 [105 kB] Get:150 http://localhost:9999/debian trixie/main amd64 libxext6 amd64 2:1.3.4-1+b3 [50.4 kB] Get:151 http://localhost:9999/debian trixie/main amd64 libcairo2 amd64 1.18.4-1+b1 [538 kB] Get:152 http://localhost:9999/debian trixie/main amd64 libbsd0 amd64 0.12.2-2 [131 kB] Get:153 http://localhost:9999/debian trixie/main amd64 libedit2 amd64 3.1-20250104-1 [93.8 kB] Get:154 http://localhost:9999/debian trixie/main amd64 libaom3 amd64 3.12.1-1 [1871 kB] Get:155 http://localhost:9999/debian trixie/main amd64 libdav1d7 amd64 1.5.1-1 [559 kB] Get:156 file:/rebuilt ./ libreact-ocaml-dev 1.2.2-2+ocaml1 [377 kB] Get:157 file:/rebuilt ./ liblwt-ocaml-dev 5.9.2-2+ocaml1 [5973 kB] Get:158 http://localhost:9999/debian trixie/main amd64 libabsl20240722 amd64 20240722.0-4 [492 kB] Get:159 http://localhost:9999/debian trixie/main amd64 libgav1-1 amd64 0.19.0-3+b1 [353 kB] Get:160 http://localhost:9999/debian trixie/main amd64 librav1e0.7 amd64 0.7.1-9+b2 [946 kB] Get:161 http://localhost:9999/debian trixie/main amd64 libsvtav1enc2 amd64 2.3.0+dfsg-1 [2489 kB] Get:162 file:/rebuilt ./ liblwt-log-ocaml-dev 1.1.2-4+ocaml1 [190 kB] Get:163 file:/rebuilt ./ libmenhir-ocaml-dev 20250912+ds-1+ocaml1 [665 kB] Get:164 http://localhost:9999/debian trixie/main amd64 libjpeg62-turbo amd64 1:2.1.5-4 [168 kB] Get:165 http://localhost:9999/debian trixie/main amd64 libyuv0 amd64 0.0.1904.20250204-1 [174 kB] Get:166 http://localhost:9999/debian trixie/main amd64 libavif16 amd64 1.2.1-1.2 [133 kB] Get:167 http://localhost:9999/debian trixie/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [116 kB] Get:168 file:/rebuilt ./ libreactivedata-ocaml-dev 0.3-4+ocaml1 [181 kB] Get:169 http://localhost:9999/debian trixie/main amd64 libheif-plugin-dav1d amd64 1.19.8-1 [11.7 kB] Get:170 http://localhost:9999/debian trixie/main amd64 libde265-0 amd64 1.0.15-1+b3 [189 kB] Get:171 file:/rebuilt ./ libsedlex-ocaml-dev 3.7-1+ocaml1 [4916 kB] Get:172 http://localhost:9999/debian trixie/main amd64 libheif-plugin-libde265 amd64 1.19.8-1 [15.3 kB] Get:173 http://localhost:9999/debian trixie/main amd64 libheif1 amd64 1.19.8-1 [520 kB] Get:174 http://localhost:9999/debian trixie/main amd64 libimagequant0 amd64 2.18.0-1+b2 [35.2 kB] Get:175 http://localhost:9999/debian trixie/main amd64 libdeflate0 amd64 1.23-2 [47.3 kB] Get:176 http://localhost:9999/debian trixie/main amd64 libjbig0 amd64 2.1-6.1+b2 [32.1 kB] Get:177 http://localhost:9999/debian trixie/main amd64 liblerc4 amd64 4.0.0+ds-5 [183 kB] Get:178 http://localhost:9999/debian trixie/main amd64 libwebp7 amd64 1.5.0-0.1 [318 kB] Get:179 http://localhost:9999/debian trixie/main amd64 libtiff6 amd64 4.7.0-3+deb13u1 [346 kB] Get:180 http://localhost:9999/debian trixie/main amd64 libxpm4 amd64 1:3.5.17-1+b3 [56.2 kB] Get:181 http://localhost:9999/debian trixie/main amd64 libgd3 amd64 2.3.3-13 [126 kB] Get:182 http://localhost:9999/debian trixie/main amd64 libglib2.0-0t64 amd64 2.84.4-3~deb13u1 [1519 kB] Get:183 file:/rebuilt ./ libre-ocaml-dev 1.14.0-1+ocaml1 [1356 kB] Get:184 file:/rebuilt ./ libuutf-ocaml-dev 1.0.4-2+ocaml1 [720 kB] Get:185 http://localhost:9999/debian trixie/main amd64 liblua5.4-0 amd64 5.4.7-1+b2 [147 kB] Get:186 http://localhost:9999/debian trixie/main amd64 libfribidi0 amd64 1.0.16-1 [26.5 kB] Get:187 http://localhost:9999/debian trixie/main amd64 libgraphite2-3 amd64 1.3.14-2+b1 [75.4 kB] Get:188 file:/rebuilt ./ libtyxml-ocaml-dev 4.6.0-1+ocaml1 [2110 kB] Get:189 http://localhost:9999/debian trixie/main amd64 libharfbuzz0b amd64 10.2.0-1+b1 [479 kB] Get:190 http://localhost:9999/debian trixie/main amd64 libthai-data all 0.1.29-2 [168 kB] Get:191 http://localhost:9999/debian trixie/main amd64 libdatrie1 amd64 0.2.13-3+b1 [38.1 kB] Get:192 http://localhost:9999/debian trixie/main amd64 libthai0 amd64 0.1.29-2+b1 [49.4 kB] Get:193 http://localhost:9999/debian trixie/main amd64 libpango-1.0-0 amd64 1.56.3-1 [226 kB] Get:194 http://localhost:9999/debian trixie/main amd64 libpangoft2-1.0-0 amd64 1.56.3-1 [55.6 kB] Get:195 http://localhost:9999/debian trixie/main amd64 libpangocairo-1.0-0 amd64 1.56.3-1 [35.7 kB] Get:196 http://localhost:9999/debian trixie/main amd64 libwebpmux3 amd64 1.5.0-0.1 [126 kB] Get:197 file:/rebuilt ./ libyojson-ocaml-dev 3.0.0-2+ocaml1 [812 kB] Get:198 file:/rebuilt ./ libjs-of-ocaml-dev 6.2.0-2+ocaml1 [26.5 MB] Get:199 http://localhost:9999/debian trixie/main amd64 gnuplot-nox amd64 6.0.2+dfsg1-1 [922 kB] Get:200 file:/rebuilt ./ liblogs-ocaml-dev 0.10.0-1+ocaml1 [170 kB] Get:201 file:/rebuilt ./ librresult-ocaml-dev 0.7.0-2+ocaml1 [59.2 kB] Get:202 file:/rebuilt ./ libbos-ocaml-dev 0.2.1-2+ocaml1 [683 kB] Get:203 file:/rebuilt ./ libcamlp-streams-ocaml 5.0.1-3+ocaml1 [42.9 kB] Get:204 file:/rebuilt ./ libcamlp-streams-ocaml-dev 5.0.1-3+ocaml1 [104 kB] Get:205 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml1 [595 kB] Get:206 file:/rebuilt ./ libpcre2-ocaml 8.0.4-1+ocaml1 [106 kB] Get:207 file:/rebuilt ./ libpcre2-ocaml-dev 8.0.4-1+ocaml1 [235 kB] Get:208 file:/rebuilt ./ camlp5 8.04.00-1+ocaml1 [4600 kB] Get:209 file:/rebuilt ./ dh-ocaml 2.5+ocaml1 [63.0 kB] Get:210 file:/rebuilt ./ libansi-terminal-ocaml 0.8.5-5+ocaml1 [27.0 kB] Get:211 file:/rebuilt ./ libansi-terminal-ocaml-dev 0.8.5-5+ocaml1 [64.7 kB] Get:212 file:/rebuilt ./ libeasy-format-ocaml 1.3.4-3+ocaml1 [46.2 kB] Get:213 file:/rebuilt ./ libbiniou-ocaml 1.2.2-4+ocaml1 [126 kB] Get:214 file:/rebuilt ./ libatdgen-ocaml 3.0.1-1+ocaml1 [140 kB] Get:215 file:/rebuilt ./ libeasy-format-ocaml-dev 1.3.4-3+ocaml1 [105 kB] Get:216 file:/rebuilt ./ libbiniou-ocaml-dev 1.2.2-4+ocaml1 [727 kB] Get:217 file:/rebuilt ./ libatdgen-ocaml-dev 3.0.1-1+ocaml1 [1601 kB] Get:218 file:/rebuilt ./ libfileutils-ocaml-dev 0.6.6-1+ocaml1 [631 kB] Get:219 file:/rebuilt ./ libppx-deriving-ocaml 6.1.1-1+ocaml1 [4287 kB] Get:220 file:/rebuilt ./ libppx-deriving-ocaml-dev 6.1.1-1+ocaml1 [1014 kB] Get:221 file:/rebuilt ./ menhir 20250912+ds-1+ocaml1 [1418 kB] Get:222 file:/rebuilt ./ ocaml-dune 3.20.2-3+ocaml1 [4942 kB] Get:223 file:/rebuilt ./ yojson-tools 3.0.0-2+ocaml1 [420 kB] Get:224 http://localhost:9999/debian trixie/main amd64 libreadline8t64 amd64 8.2-6 [169 kB] Get:225 http://localhost:9999/debian trixie/main amd64 lua5.1 amd64 5.1.5-11 [103 kB] Get:226 http://localhost:9999/debian trixie/main amd64 time amd64 1.9-0.2 [50.8 kB] Preconfiguring packages ... Fetched 54.1 MB in 1s (70.6 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 11791 files and directories currently installed.) Preparing to unpack .../000-libexpat1_2.7.1-2_amd64.deb ... Unpacking libexpat1:amd64 (2.7.1-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../001-readline-common_8.2-6_all.deb ... Unpacking readline-common (8.2-6) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../002-sensible-utils_0.0.25_all.deb ... Unpacking sensible-utils (0.0.25) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../004-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../006-gettext-base_0.23.1-2_amd64.deb ... Unpacking gettext-base (0.23.1-2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../007-libuchardet0_0.0.8-1+b2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../008-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../009-bsdextrautils_2.41-5_amd64.deb ... Unpacking bsdextrautils (2.41-5) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../010-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... 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_3.0.1-1+ocaml1_amd64.deb ... Unpacking atdts (3.0.1-1+ocaml1) ... Selecting previously unselected package m4. Preparing to unpack .../014-m4_1.4.19-8_amd64.deb ... Unpacking m4 (1.4.19-8) ... Selecting previously unselected package autoconf. Preparing to unpack .../015-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../016-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../017-automake_1%3a1.17-4_all.deb ... Unpacking automake (1:1.17-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../018-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../019-libstdlib-ocaml_5.4.0-1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml (5.4.0-1+ocaml1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../020-libstdlib-ocaml-dev_5.4.0-1+ocaml1_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.0-1+ocaml1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../021-libcompiler-libs-ocaml-dev_5.4.0-1+ocaml1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.0-1+ocaml1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../022-ocaml-compiler-libs_5.4.0-1+ocaml1_all.deb ... Unpacking ocaml-compiler-libs (5.4.0-1+ocaml1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../023-ocaml-base_5.4.0-1+ocaml1_amd64.deb ... Unpacking ocaml-base (5.4.0-1+ocaml1) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../024-libastring-ocaml_0.8.5-3+ocaml1_amd64.deb ... Unpacking libastring-ocaml (0.8.5-3+ocaml1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../025-ocaml-interp_5.4.0-1+ocaml1_amd64.deb ... Unpacking ocaml-interp (5.4.0-1+ocaml1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../026-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../027-libncursesw6_6.5+20250216-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../028-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../029-libzstd-dev_1.5.7+dfsg-1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../030-ocaml_5.4.0-1+ocaml1_amd64.deb ... Unpacking ocaml (5.4.0-1+ocaml1) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../031-libastring-ocaml-dev_0.8.5-3+ocaml1_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-3+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 libfpath-ocaml. Preparing to unpack .../033-libfpath-ocaml_0.7.3-4+ocaml1_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-4+ocaml1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../034-libfindlib-ocaml_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml1) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../035-libgen-ocaml_1.1-1+ocaml1_amd64.deb ... Unpacking libgen-ocaml (1.1-1+ocaml1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../036-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../037-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../038-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../039-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../040-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../041-libbrotli1_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../042-libpng16-16t64_1.6.48-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.48-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../043-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../044-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../045-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../046-fontconfig-config_2.15.0-2.3_amd64.deb ... Unpacking fontconfig-config (2.15.0-2.3) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../047-libfontconfig1_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-2.3) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../048-libxrender1_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../049-libxft2_2.3.6-1+b4_amd64.deb ... Unpacking libxft2:amd64 (2.3.6-1+b4) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../050-libgraphics-ocaml_5.2.0-2+ocaml1_amd64.deb ... Unpacking libgraphics-ocaml (5.2.0-2+ocaml1) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../051-libocplib-endian-ocaml_1.2-4+ocaml1_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4+ocaml1) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../052-libreact-ocaml_1.2.2-2+ocaml1_amd64.deb ... Unpacking libreact-ocaml (1.2.2-2+ocaml1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../053-libsexplib0-ocaml_0.17.0-1+ocaml1_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+ocaml1) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../054-libev4t64_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev4t64:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../055-liblwt-ocaml_5.9.2-2+ocaml1_amd64.deb ... Unpacking liblwt-ocaml (5.9.2-2+ocaml1) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../056-liblwt-log-ocaml_1.1.2-4+ocaml1_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+ocaml1) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../057-libreactivedata-ocaml_0.3-4+ocaml1_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+ocaml1) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../058-libsedlex-ocaml_3.7-1+ocaml1_amd64.deb ... Unpacking libsedlex-ocaml (3.7-1+ocaml1) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../059-libuutf-ocaml_1.0.4-2+ocaml1_amd64.deb ... Unpacking libuutf-ocaml (1.0.4-2+ocaml1) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../060-libtyxml-ocaml_4.6.0-1+ocaml1_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+ocaml1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../061-libyojson-ocaml_3.0.0-2+ocaml1_amd64.deb ... Unpacking libyojson-ocaml (3.0.0-2+ocaml1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../062-libjs-of-ocaml_6.2.0-2+ocaml1_amd64.deb ... Unpacking libjs-of-ocaml (6.2.0-2+ocaml1) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../063-liblogs-ocaml_0.10.0-1+ocaml1_amd64.deb ... Unpacking liblogs-ocaml (0.10.0-1+ocaml1) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../064-librresult-ocaml_0.7.0-2+ocaml1_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+ocaml1) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../065-libbos-ocaml_0.2.1-2+ocaml1_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+ocaml1) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../066-libcmdliner-ocaml-dev_1.3.0-2+ocaml1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-2+ocaml1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../067-libfmt-ocaml-dev_0.11.0-1+ocaml1_amd64.deb ... Unpacking libfmt-ocaml-dev (0.11.0-1+ocaml1) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../068-libfpath-ocaml-dev_0.7.3-4+ocaml1_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-4+ocaml1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../069-libfindlib-ocaml-dev_1.9.8-1+ocaml1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../070-libgen-ocaml-dev_1.1-1+ocaml1_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+ocaml1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../071-xorg-sgml-doctools_1%3a1.11-1.1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1.1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../072-x11proto-dev_2024.1-1_all.deb ... Unpacking x11proto-dev (2024.1-1) ... Selecting previously unselected package libxau-dev:amd64. Preparing to unpack .../073-libxau-dev_1%3a1.0.11-1_amd64.deb ... Unpacking libxau-dev:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp-dev:amd64. Preparing to unpack .../074-libxdmcp-dev_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp-dev:amd64 (1:1.1.5-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../075-xtrans-dev_1.4.0-1_all.deb ... Unpacking xtrans-dev (1.4.0-1) ... Selecting previously unselected package libxcb1-dev:amd64. Preparing to unpack .../076-libxcb1-dev_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1-dev:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-dev:amd64. Preparing to unpack .../077-libx11-dev_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-dev:amd64 (2:1.8.12-1) ... Selecting previously unselected package libexpat1-dev:amd64. Preparing to unpack .../078-libexpat1-dev_2.7.1-2_amd64.deb ... Unpacking libexpat1-dev:amd64 (2.7.1-2) ... Selecting previously unselected package libbrotli-dev:amd64. Preparing to unpack .../079-libbrotli-dev_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli-dev:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libbz2-dev:amd64. Preparing to unpack .../080-libbz2-dev_1.0.8-6_amd64.deb ... Unpacking libbz2-dev:amd64 (1.0.8-6) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../081-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../082-libpng-dev_1.6.48-1_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.48-1) ... Selecting previously unselected package libfreetype-dev:amd64. Preparing to unpack .../083-libfreetype-dev_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype-dev:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../084-uuid-dev_2.41-5_amd64.deb ... Unpacking uuid-dev:amd64 (2.41-5) ... Selecting previously unselected package libpkgconf3:amd64. Preparing to unpack .../085-libpkgconf3_1.8.1-4_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-4) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../086-pkgconf-bin_1.8.1-4_amd64.deb ... Unpacking pkgconf-bin (1.8.1-4) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../087-pkgconf_1.8.1-4_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-4) ... Selecting previously unselected package libfontconfig-dev:amd64. Preparing to unpack .../088-libfontconfig-dev_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig-dev:amd64 (2.15.0-2.3) ... Selecting previously unselected package libfontconfig1-dev:amd64. Preparing to unpack .../089-libfontconfig1-dev_2.15.0-2.3_amd64.deb ... Unpacking libfontconfig1-dev:amd64 (2.15.0-2.3) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../090-libxrender-dev_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.12-1) ... Selecting previously unselected package libxft-dev:amd64. Preparing to unpack .../091-libxft-dev_2.3.6-1+b4_amd64.deb ... Unpacking libxft-dev:amd64 (2.3.6-1+b4) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../092-libgraphics-ocaml-dev_5.2.0-2+ocaml1_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.2.0-2+ocaml1) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../093-libev-dev_1%3a4.33-2.1+b1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2.1+b1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../094-libocaml-compiler-libs-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../095-libocplib-endian-ocaml-dev_1.2-4+ocaml1_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4+ocaml1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../096-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 libsexplib0-ocaml-dev. Preparing to unpack .../097-libsexplib0-ocaml-dev_0.17.0-1+ocaml1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../098-libppxlib-ocaml-dev_0.37.0-1+ocaml1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.37.0-1+ocaml1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../099-libreact-ocaml-dev_1.2.2-2+ocaml1_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-2+ocaml1) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../100-liblwt-ocaml-dev_5.9.2-2+ocaml1_amd64.deb ... Unpacking liblwt-ocaml-dev (5.9.2-2+ocaml1) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../101-liblwt-log-ocaml-dev_1.1.2-4+ocaml1_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+ocaml1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../102-libmenhir-ocaml-dev_20250912+ds-1+ocaml1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20250912+ds-1+ocaml1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../103-libreactivedata-ocaml-dev_0.3-4+ocaml1_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+ocaml1) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../104-libsedlex-ocaml-dev_3.7-1+ocaml1_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.7-1+ocaml1) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../105-libre-ocaml-dev_1.14.0-1+ocaml1_amd64.deb ... Unpacking libre-ocaml-dev (1.14.0-1+ocaml1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../106-libuutf-ocaml-dev_1.0.4-2+ocaml1_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.4-2+ocaml1) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../107-libtyxml-ocaml-dev_4.6.0-1+ocaml1_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+ocaml1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../108-libyojson-ocaml-dev_3.0.0-2+ocaml1_amd64.deb ... Unpacking libyojson-ocaml-dev (3.0.0-2+ocaml1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../109-libjs-of-ocaml-dev_6.2.0-2+ocaml1_amd64.deb ... Unpacking libjs-of-ocaml-dev (6.2.0-2+ocaml1) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../110-liblogs-ocaml-dev_0.10.0-1+ocaml1_amd64.deb ... Unpacking liblogs-ocaml-dev (0.10.0-1+ocaml1) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../111-librresult-ocaml-dev_0.7.0-2+ocaml1_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+ocaml1) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../112-libbos-ocaml-dev_0.2.1-2+ocaml1_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+ocaml1) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../113-libcamlp-streams-ocaml_5.0.1-3+ocaml1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+ocaml1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../114-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 libpcre2-16-0:amd64. Preparing to unpack .../115-libpcre2-16-0_10.46-1~deb13u1_amd64.deb ... Unpacking libpcre2-16-0:amd64 (10.46-1~deb13u1) ... Selecting previously unselected package libpcre2-32-0:amd64. Preparing to unpack .../116-libpcre2-32-0_10.46-1~deb13u1_amd64.deb ... Unpacking libpcre2-32-0:amd64 (10.46-1~deb13u1) ... Selecting previously unselected package libpcre2-posix3:amd64. Preparing to unpack .../117-libpcre2-posix3_10.46-1~deb13u1_amd64.deb ... Unpacking libpcre2-posix3:amd64 (10.46-1~deb13u1) ... Selecting previously unselected package libpcre2-dev:amd64. Preparing to unpack .../118-libpcre2-dev_10.46-1~deb13u1_amd64.deb ... Unpacking libpcre2-dev:amd64 (10.46-1~deb13u1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../119-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 .../120-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 .../121-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 .../122-camlp5_8.04.00-1+ocaml1_amd64.deb ... Unpacking camlp5 (8.04.00-1+ocaml1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../123-libdebhelper-perl_13.24.2_all.deb ... Unpacking libdebhelper-perl (13.24.2) ... Selecting previously unselected package libtool. Preparing to unpack .../124-libtool_2.5.4-4_all.deb ... Unpacking libtool (2.5.4-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../125-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../126-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 .../127-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../128-dh-strip-nondeterminism_1.14.1-2_all.deb ... Unpacking dh-strip-nondeterminism (1.14.1-2) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../129-libelf1t64_0.192-4_amd64.deb ... Unpacking libelf1t64:amd64 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../130-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../131-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../132-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... Selecting previously unselected package gettext. Preparing to unpack .../133-gettext_0.23.1-2_amd64.deb ... Unpacking gettext (0.23.1-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../134-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 .../135-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../136-debhelper_13.24.2_all.deb ... Unpacking debhelper (13.24.2) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../137-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../138-dh-ocaml_2.5+ocaml1_all.deb ... Unpacking dh-ocaml (2.5+ocaml1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../139-fontconfig_2.15.0-2.3_amd64.deb ... Unpacking fontconfig (2.15.0-2.3) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../140-libidn2-0_2.3.8-2_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-2) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../141-libffi8_3.4.8-2_amd64.deb ... Unpacking libffi8:amd64 (3.4.8-2) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../142-libp11-kit0_0.25.5-3_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.5-3) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../143-libtasn1-6_4.20.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.20.0-2) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../144-libgnutls30t64_3.8.9-3_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.9-3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../145-libkrb5support0_1.21.3-5_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-5) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../146-libcom-err2_1.47.2-3+b3_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2-3+b3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../147-libk5crypto3_1.21.3-5_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../148-libkeyutils1_1.6.3-6_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../149-libkrb5-3_1.21.3-5_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../150-libgssapi-krb5-2_1.21.3-5_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-5) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../151-libsasl2-modules-db_2.1.28+dfsg1-9_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.28+dfsg1-9) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../152-libsasl2-2_2.1.28+dfsg1-9_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.28+dfsg1-9) ... Selecting previously unselected package libldap2:amd64. Preparing to unpack .../153-libldap2_2.6.10+dfsg-1_amd64.deb ... Unpacking libldap2:amd64 (2.6.10+dfsg-1) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../154-libnghttp2-14_1.64.0-1.1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.64.0-1.1) ... Selecting previously unselected package libnghttp3-9:amd64. Preparing to unpack .../155-libnghttp3-9_1.8.0-1_amd64.deb ... Unpacking libnghttp3-9:amd64 (1.8.0-1) ... Selecting previously unselected package libngtcp2-16:amd64. Preparing to unpack .../156-libngtcp2-16_1.11.0-1_amd64.deb ... Unpacking libngtcp2-16:amd64 (1.11.0-1) ... Selecting previously unselected package libngtcp2-crypto-gnutls8:amd64. Preparing to unpack .../157-libngtcp2-crypto-gnutls8_1.11.0-1_amd64.deb ... Unpacking libngtcp2-crypto-gnutls8:amd64 (1.11.0-1) ... Selecting previously unselected package libpsl5t64:amd64. Preparing to unpack .../158-libpsl5t64_0.21.2-1.1+b1_amd64.deb ... Unpacking libpsl5t64:amd64 (0.21.2-1.1+b1) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../159-librtmp1_2.4+20151223.gitfa8646d.1-2+b5_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b5) ... Selecting previously unselected package libssh2-1t64:amd64. Preparing to unpack .../160-libssh2-1t64_1.11.1-1_amd64.deb ... Unpacking libssh2-1t64:amd64 (1.11.1-1) ... Selecting previously unselected package libcurl3t64-gnutls:amd64. Preparing to unpack .../161-libcurl3t64-gnutls_8.14.1-2+deb13u2_amd64.deb ... Unpacking libcurl3t64-gnutls:amd64 (8.14.1-2+deb13u2) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../162-liberror-perl_0.17030-1_all.deb ... Unpacking liberror-perl (0.17030-1) ... Selecting previously unselected package git-man. Preparing to unpack .../163-git-man_1%3a2.47.3-0+deb13u1_all.deb ... Unpacking git-man (1:2.47.3-0+deb13u1) ... Selecting previously unselected package git. Preparing to unpack .../164-git_1%3a2.47.3-0+deb13u1_amd64.deb ... Unpacking git (1:2.47.3-0+deb13u1) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../165-gnuplot-data_6.0.2+dfsg1-1_all.deb ... Unpacking gnuplot-data (6.0.2+dfsg1-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../166-libpixman-1-0_0.44.0-3_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.44.0-3) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../167-libxcb-render0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../168-libxcb-shm0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../169-libxext6_2%3a1.3.4-1+b3_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b3) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../170-libcairo2_1.18.4-1+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-1+b1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../171-libbsd0_0.12.2-2_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../172-libedit2_3.1-20250104-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20250104-1) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../173-libaom3_3.12.1-1_amd64.deb ... Unpacking libaom3:amd64 (3.12.1-1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../174-libdav1d7_1.5.1-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.5.1-1) ... Selecting previously unselected package libabsl20240722:amd64. Preparing to unpack .../175-libabsl20240722_20240722.0-4_amd64.deb ... Unpacking libabsl20240722:amd64 (20240722.0-4) ... Selecting previously unselected package libgav1-1:amd64. Preparing to unpack .../176-libgav1-1_0.19.0-3+b1_amd64.deb ... Unpacking libgav1-1:amd64 (0.19.0-3+b1) ... Selecting previously unselected package librav1e0.7:amd64. Preparing to unpack .../177-librav1e0.7_0.7.1-9+b2_amd64.deb ... Unpacking librav1e0.7:amd64 (0.7.1-9+b2) ... Selecting previously unselected package libsvtav1enc2:amd64. Preparing to unpack .../178-libsvtav1enc2_2.3.0+dfsg-1_amd64.deb ... Unpacking libsvtav1enc2:amd64 (2.3.0+dfsg-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../179-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ... Selecting previously unselected package libyuv0:amd64. Preparing to unpack .../180-libyuv0_0.0.1904.20250204-1_amd64.deb ... Unpacking libyuv0:amd64 (0.0.1904.20250204-1) ... Selecting previously unselected package libavif16:amd64. Preparing to unpack .../181-libavif16_1.2.1-1.2_amd64.deb ... Unpacking libavif16:amd64 (1.2.1-1.2) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../182-libsharpyuv0_1.5.0-0.1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../183-libheif-plugin-dav1d_1.19.8-1_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.19.8-1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../184-libde265-0_1.0.15-1+b3_amd64.deb ... Unpacking libde265-0:amd64 (1.0.15-1+b3) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../185-libheif-plugin-libde265_1.19.8-1_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.19.8-1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../186-libheif1_1.19.8-1_amd64.deb ... Unpacking libheif1:amd64 (1.19.8-1) ... Selecting previously unselected package libimagequant0:amd64. Preparing to unpack .../187-libimagequant0_2.18.0-1+b2_amd64.deb ... Unpacking libimagequant0:amd64 (2.18.0-1+b2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../188-libdeflate0_1.23-2_amd64.deb ... Unpacking libdeflate0:amd64 (1.23-2) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../189-libjbig0_2.1-6.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b2) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../190-liblerc4_4.0.0+ds-5_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-5) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../191-libwebp7_1.5.0-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.5.0-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../192-libtiff6_4.7.0-3+deb13u1_amd64.deb ... Unpacking libtiff6:amd64 (4.7.0-3+deb13u1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../193-libxpm4_1%3a3.5.17-1+b3_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../194-libgd3_2.3.3-13_amd64.deb ... Unpacking libgd3:amd64 (2.3.3-13) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../195-libglib2.0-0t64_2.84.4-3~deb13u1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.84.4-3~deb13u1) ... Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../196-liblua5.4-0_5.4.7-1+b2_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.7-1+b2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../197-libfribidi0_1.0.16-1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.16-1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../198-libgraphite2-3_1.3.14-2+b1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-2+b1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../199-libharfbuzz0b_10.2.0-1+b1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (10.2.0-1+b1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../200-libthai-data_0.1.29-2_all.deb ... Unpacking libthai-data (0.1.29-2) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../201-libdatrie1_0.2.13-3+b1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-3+b1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../202-libthai0_0.1.29-2+b1_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-2+b1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../203-libpango-1.0-0_1.56.3-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.56.3-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../204-libpangoft2-1.0-0_1.56.3-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.56.3-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../205-libpangocairo-1.0-0_1.56.3-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.56.3-1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../206-libwebpmux3_1.5.0-0.1_amd64.deb ... Unpacking libwebpmux3:amd64 (1.5.0-0.1) ... Selecting previously unselected package gnuplot-nox. Preparing to unpack .../207-gnuplot-nox_6.0.2+dfsg1-1_amd64.deb ... Unpacking gnuplot-nox (6.0.2+dfsg1-1) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../208-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 .../209-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 .../210-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 .../211-libbiniou-ocaml_1.2.2-4+ocaml1_amd64.deb ... Unpacking libbiniou-ocaml (1.2.2-4+ocaml1) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../212-libatdgen-ocaml_3.0.1-1+ocaml1_amd64.deb ... Unpacking libatdgen-ocaml (3.0.1-1+ocaml1) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../213-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 .../214-libbiniou-ocaml-dev_1.2.2-4+ocaml1_amd64.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-4+ocaml1) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../215-libatdgen-ocaml-dev_3.0.1-1+ocaml1_amd64.deb ... Unpacking libatdgen-ocaml-dev (3.0.1-1+ocaml1) ... Selecting previously unselected package libfileutils-ocaml-dev. Preparing to unpack .../216-libfileutils-ocaml-dev_0.6.6-1+ocaml1_amd64.deb ... Unpacking libfileutils-ocaml-dev (0.6.6-1+ocaml1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../217-libppx-deriving-ocaml_6.1.1-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml (6.1.1-1+ocaml1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../218-libppx-deriving-ocaml-dev_6.1.1-1+ocaml1_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.1.1-1+ocaml1) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../219-libreadline8t64_8.2-6_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.2-6) ... Selecting previously unselected package lua5.1. Preparing to unpack .../220-lua5.1_5.1.5-11_amd64.deb ... Unpacking lua5.1 (5.1.5-11) ... Selecting previously unselected package menhir. Preparing to unpack .../221-menhir_20250912+ds-1+ocaml1_amd64.deb ... Unpacking menhir (20250912+ds-1+ocaml1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../222-ocaml-dune_3.20.2-3+ocaml1_amd64.deb ... Unpacking ocaml-dune (3.20.2-3+ocaml1) ... Selecting previously unselected package time. Preparing to unpack .../223-time_1.9-0.2_amd64.deb ... Unpacking time (1.9-0.2) ... Selecting previously unselected package yojson-tools. Preparing to unpack .../224-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 .../225-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libexpat1:amd64 (2.7.1-2) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libgraphite2-3:amd64 (1.3.14-2+b1) ... Setting up libpixman-1-0:amd64 (0.44.0-3) ... Setting up libev4t64:amd64 (1:4.33-2.1+b1) ... Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... Setting up libaom3:amd64 (3.12.1-1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up time (1.9-0.2) ... Setting up libkeyutils1:amd64 (1.6.3-6) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up liblerc4:amd64 (4.0.0+ds-5) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ... Setting up bsdextrautils (2.41-5) ... Setting up libdatrie1:amd64 (0.2.13-3+b1) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libxcb-render0:amd64 (1.17.0-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.24.2) ... Setting up libbrotli1:amd64 (1.1.0-2+b7) ... Setting up yojson-tools (3.0.0-2+ocaml1) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up libnghttp2-14:amd64 (1.64.0-1.1) ... Setting up libdeflate0:amd64 (1.23-2) ... Setting up gettext-base (0.23.1-2) ... Setting up m4 (1.4.19-8) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ... Setting up libcom-err2:amd64 (1.47.2-3+b3) ... Setting up file (1:5.46-5) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libabsl20240722:amd64 (20240722.0-4) ... Setting up atdts (3.0.1-1+ocaml1) ... Setting up libjbig0:amd64 (2.1-6.1+b2) ... Setting up libpcre2-16-0:amd64 (10.46-1~deb13u1) ... Setting up libelf1t64:amd64 (0.192-4) ... Setting up libkrb5support0:amd64 (1.21.3-5) ... Setting up ocaml-dune (3.20.2-3+ocaml1) ... Setting up libsasl2-modules-db:amd64 (2.1.28+dfsg1-9) ... Setting up liberror-perl (0.17030-1) ... Setting up xtrans-dev (1.4.0-1) ... Setting up autotools-dev (20240727.1) ... Setting up libpcre2-32-0:amd64 (10.46-1~deb13u1) ... Setting up libpkgconf3:amd64 (1.8.1-4) ... Setting up libexpat1-dev:amd64 (2.7.1-2) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libsvtav1enc2:amd64 (2.3.0+dfsg-1) ... Setting up uuid-dev:amd64 (2.41-5) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libfribidi0:amd64 (1.0.16-1) ... Setting up libimagequant0:amd64 (2.18.0-1+b2) ... Setting up libstdlib-ocaml (5.4.0-1+ocaml1) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.48-1) ... Setting up autopoint (0.23.1-2) ... Setting up ocaml-base (5.4.0-1+ocaml1) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libgav1-1:amd64 (0.19.0-3+b1) ... Setting up pkgconf-bin (1.8.1-4) ... Setting up libncursesw6:amd64 (6.5+20250216-2) ... Setting up libk5crypto3:amd64 (1.21.3-5) ... Setting up libsasl2-2:amd64 (2.1.28+dfsg1-9) ... Setting up autoconf (2.72-3.1) ... Setting up libnghttp3-9:amd64 (1.8.0-1) ... Setting up libwebp7:amd64 (1.5.0-0.1) ... Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ... Setting up libffi8:amd64 (3.4.8-2) ... Setting up libpcre2-posix3:amd64 (10.46-1~deb13u1) ... Setting up libsexplib0-ocaml (0.17.0-1+ocaml1) ... Setting up dwz (0.15-1+b1) ... Setting up libdav1d7:amd64 (1.5.1-1) ... Setting up sensible-utils (0.0.25) ... Setting up libtiff6:amd64 (4.7.0-3+deb13u1) ... Setting up librav1e0.7:amd64 (0.7.1-9+b2) ... Setting up libuchardet0:amd64 (0.0.8-1+b2) ... Setting up libfmt-ocaml (0.11.0-1+ocaml1) ... Setting up libtasn1-6:amd64 (4.20.0-2) ... Setting up liblua5.4-0:amd64 (5.4.7-1+b2) ... Setting up git-man (1:2.47.3-0+deb13u1) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up libthai-data (0.1.29-2) ... Setting up xorg-sgml-doctools (1:1.11-1.1) ... Setting up libngtcp2-16:amd64 (1.11.0-1) ... Setting up libreact-ocaml (1.2.2-2+ocaml1) ... Setting up libkrb5-3:amd64 (1.21.3-5) ... Setting up libev-dev:amd64 (1:4.33-2.1+b1) ... Setting up libssh2-1t64:amd64 (1.11.1-1) ... Setting up libde265-0:amd64 (1.0.15-1+b3) ... Setting up libwebpmux3:amd64 (1.5.0-0.1) ... Setting up libbsd0:amd64 (0.12.2-2) ... Setting up libyuv0:amd64 (0.0.1904.20250204-1) ... Setting up readline-common (8.2-6) ... Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ... Setting up libldap2:amd64 (2.6.10+dfsg-1) ... Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ... Setting up menhir (20250912+ds-1+ocaml1) ... Setting up libbz2-dev:amd64 (1.0.8-6) ... Setting up automake (1:1.17-4) ... update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode Setting up x11proto-dev (2024.1-1) ... Setting up libfile-stripnondeterminism-perl (1.14.1-2) ... Setting up libastring-ocaml (0.8.5-3+ocaml1) ... Setting up gnuplot-data (6.0.2+dfsg1-1) ... Setting up libeasy-format-ocaml (1.3.4-3+ocaml1) ... Setting up libppx-deriving-ocaml (6.1.1-1+ocaml1) ... Setting up libavif16:amd64 (1.2.1-1.2) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2) ... Setting up libgen-ocaml (1.1-1+ocaml1) ... Setting up libxau-dev:amd64 (1:1.0.11-1) ... Setting up libxpm4:amd64 (1:3.5.17-1+b3) ... Setting up libpcre2-dev:amd64 (10.46-1~deb13u1) ... Setting up libxrender1:amd64 (1:0.9.12-1) ... Setting up libtool (2.5.4-4) ... Setting up libstdlib-ocaml-dev (5.4.0-1+ocaml1) ... Setting up libyojson-ocaml (3.0.0-2+ocaml1) ... Setting up libcamlp-streams-ocaml (5.0.1-3+ocaml1) ... Setting up libfpath-ocaml (0.7.3-4+ocaml1) ... Setting up fontconfig-config (2.15.0-2.3) ... Setting up librresult-ocaml (0.7.0-2+ocaml1) ... Setting up libedit2:amd64 (3.1-20250104-1) ... Setting up libpng-dev:amd64 (1.6.48-1) ... Setting up libuutf-ocaml (1.0.4-2+ocaml1) ... Setting up dh-ocaml (2.5+ocaml1) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml1) ... Setting up libxext6:amd64 (2:1.3.4-1+b3) ... Setting up libidn2-0:amd64 (2.3.8-2) ... Setting up libbiniou-ocaml (1.2.2-4+ocaml1) ... Setting up pkgconf:amd64 (1.8.1-4) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-4+ocaml1) ... Setting up dh-autoreconf (20) ... Setting up libthai0:amd64 (0.1.29-2+b1) ... Setting up libcompiler-libs-ocaml-dev (5.4.0-1+ocaml1) ... Setting up libxdmcp-dev:amd64 (1:1.1.5-1) ... Setting up libpcre2-ocaml (8.0.4-1+ocaml1) ... Setting up libsedlex-ocaml (3.7-1+ocaml1) ... Setting up libglib2.0-0t64:amd64 (2.84.4-3~deb13u1) ... No schema files found: doing nothing. Setting up libreactivedata-ocaml (0.3-4+ocaml1) ... Setting up ocaml-interp (5.4.0-1+ocaml1) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up libansi-terminal-ocaml (0.8.5-5+ocaml1) ... Setting up libp11-kit0:amd64 (0.25.5-3) ... Setting up ocaml-findlib (1.9.8-1+ocaml1) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-5) ... Setting up libreadline8t64:amd64 (8.2-6) ... Setting up libatdgen-ocaml (3.0.1-1+ocaml1) ... Setting up dh-strip-nondeterminism (1.14.1-2) ... Setting up libtyxml-ocaml (4.6.0-1+ocaml1) ... Setting up groff-base (1.23.0-9) ... Setting up libharfbuzz0b:amd64 (10.2.0-1+b1) ... Setting up libfontconfig1:amd64 (2.15.0-2.3) ... Setting up libgnutls30t64:amd64 (3.8.9-3) ... Setting up fontconfig (2.15.0-2.3) ... Regenerating fonts cache... done. Setting up libxft2:amd64 (2.3.6-1+b4) ... Setting up libxcb1-dev:amd64 (1.17.0-2+b1) ... Setting up ocaml-compiler-libs (5.4.0-1+ocaml1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:amd64 (1.56.3-1) ... Setting up liblwt-ocaml (5.9.2-2+ocaml1) ... Setting up libpsl5t64:amd64 (0.21.2-1.1+b1) ... Setting up libx11-dev:amd64 (2:1.8.12-1) ... Setting up ocaml (5.4.0-1+ocaml1) ... Setting up libgen-ocaml-dev (1.1-1+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-11) ... 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-1+b1) ... Setting up libfileutils-ocaml-dev (0.6.6-1+ocaml1) ... Setting up libfreetype-dev:amd64 (2.13.3+dfsg-1) ... Setting up liblwt-log-ocaml (1.1.2-4+ocaml1) ... Setting up libre-ocaml-dev (1.14.0-1+ocaml1) ... Setting up libmenhir-ocaml-dev (20250912+ds-1+ocaml1) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b5) ... Setting up libreact-ocaml-dev (1.2.2-2+ocaml1) ... Setting up librresult-ocaml-dev (0.7.0-2+ocaml1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml1) ... Setting up libgraphics-ocaml (5.2.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 libfindlib-ocaml-dev (1.9.8-1+ocaml1) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+ocaml1) ... Setting up libpangoft2-1.0-0:amd64 (1.56.3-1) ... Setting up libxrender-dev:amd64 (1:0.9.12-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-2+ocaml1) ... Setting up libocplib-endian-ocaml-dev (1.2-4+ocaml1) ... Setting up libngtcp2-crypto-gnutls8:amd64 (1.11.0-1) ... Setting up libpangocairo-1.0-0:amd64 (1.56.3-1) ... Setting up libjs-of-ocaml (6.2.0-2+ocaml1) ... Setting up libeasy-format-ocaml-dev (1.3.4-3+ocaml1) ... Setting up libastring-ocaml-dev (0.8.5-3+ocaml1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+ocaml1) ... Setting up libpcre2-ocaml-dev (8.0.4-1+ocaml1) ... Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ... Setting up libreactivedata-ocaml-dev (0.3-4+ocaml1) ... Setting up libuutf-ocaml-dev (1.0.4-2+ocaml1) ... Setting up libansi-terminal-ocaml-dev (0.8.5-5+ocaml1) ... Setting up libcurl3t64-gnutls:amd64 (8.14.1-2+deb13u2) ... Setting up libppxlib-ocaml-dev (0.37.0-1+ocaml1) ... Setting up debhelper (13.24.2) ... Setting up libbiniou-ocaml-dev (1.2.2-4+ocaml1) ... Setting up liblogs-ocaml (0.10.0-1+ocaml1) ... Setting up git (1:2.47.3-0+deb13u1) ... Setting up libfmt-ocaml-dev (0.11.0-1+ocaml1) ... Setting up libtyxml-ocaml-dev (4.6.0-1+ocaml1) ... Setting up libppx-deriving-ocaml-dev (6.1.1-1+ocaml1) ... Setting up libfpath-ocaml-dev (0.7.3-4+ocaml1) ... Setting up libatdgen-ocaml-dev (3.0.1-1+ocaml1) ... Setting up libxft-dev:amd64 (2.3.6-1+b4) ... Setting up libfontconfig1-dev:amd64 (2.15.0-2.3) ... Setting up libsedlex-ocaml-dev (3.7-1+ocaml1) ... Setting up libgraphics-ocaml-dev (5.2.0-2+ocaml1) ... Setting up liblwt-ocaml-dev (5.9.2-2+ocaml1) ... Setting up libbos-ocaml (0.2.1-2+ocaml1) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+ocaml1) ... Setting up libjs-of-ocaml-dev (6.2.0-2+ocaml1) ... Setting up liblogs-ocaml-dev (0.10.0-1+ocaml1) ... Setting up libbos-ocaml-dev (0.2.1-2+ocaml1) ... Setting up camlp5 (8.04.00-1+ocaml1) ... Setting up libheif-plugin-dav1d:amd64 (1.19.8-1) ... Setting up libheif1:amd64 (1.19.8-1) ... Setting up libgd3:amd64 (2.3.3-13) ... Setting up gnuplot-nox (6.0.2+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) ... Setting up libheif-plugin-libde265:amd64 (1.19.8-1) ... Processing triggers for libc-bin (2.41-12) ... +------------------------------------------------------------------------------+ | Check architectures Tue, 06 Jan 2026 07:07:34 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Tue, 06 Jan 2026 07:07:35 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.17.13+deb14-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.17.13-1 (2025-12-20) amd64 (x86_64) Toolchain package versions: binutils_2.44-3 dpkg-dev_1.22.21 g++-14_14.2.0-19 gcc-14_14.2.0-19 libc6-dev_2.41-12 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 linux-libc-dev_6.12.57-1 Package versions: aglfn_1.7+git20191031.4036a9c-2 apt_3.0.3 atdts_3.0.1-1+ocaml1 autoconf_2.72-3.1 automake_1:1.17-4 autopoint_0.23.1-2 autotools-dev_20240727.1 base-files_13.8+deb13u2 base-passwd_3.6.7 bash_5.2.37-2+b5 binutils_2.44-3 binutils-common_2.44-3 binutils-x86-64-linux-gnu_2.44-3 bsdextrautils_2.41-5 bsdutils_1:2.41-5 build-essential_12.12 bzip2_1.0.8-6 camlp5_8.04.00-1+ocaml1 coreutils_9.7-3 cpp_4:14.2.0-1 cpp-14_14.2.0-19 cpp-14-x86-64-linux-gnu_14.2.0-19 cpp-x86-64-linux-gnu_4:14.2.0-1 dash_0.5.12-12 debconf_1.5.91 debhelper_13.24.2 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_20 dh-ocaml_2.5+ocaml1 dh-strip-nondeterminism_1.14.1-2 diffutils_1:3.10-4 dpkg_1.22.21 dpkg-dev_1.22.21 dwz_0.15-1+b1 file_1:5.46-5 findutils_4.10.0-3 fontconfig_2.15.0-2.3 fontconfig-config_2.15.0-2.3 fonts-dejavu-core_2.37-8 fonts-dejavu-mono_2.37-8 g++_4:14.2.0-1 g++-14_14.2.0-19 g++-14-x86-64-linux-gnu_14.2.0-19 g++-x86-64-linux-gnu_4:14.2.0-1 gcc_4:14.2.0-1 gcc-14_14.2.0-19 gcc-14-base_14.2.0-19 gcc-14-x86-64-linux-gnu_14.2.0-19 gcc-x86-64-linux-gnu_4:14.2.0-1 gettext_0.23.1-2 gettext-base_0.23.1-2 git_1:2.47.3-0+deb13u1 git-man_1:2.47.3-0+deb13u1 gnuplot-data_6.0.2+dfsg1-1 gnuplot-nox_6.0.2+dfsg1-1 grep_3.11-4 groff-base_1.23.0-9 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69~deb13u1 intltool-debian_0.35.0+20060710.6 libabsl20240722_20240722.0-4 libacl1_2.3.2-2+b1 libansi-terminal-ocaml_0.8.5-5+ocaml1 libansi-terminal-ocaml-dev_0.8.5-5+ocaml1 libaom3_3.12.1-1 libapt-pkg7.0_3.0.3 libarchive-zip-perl_1.68-1 libasan8_14.2.0-19 libastring-ocaml_0.8.5-3+ocaml1 libastring-ocaml-dev_0.8.5-3+ocaml1 libatdgen-ocaml_3.0.1-1+ocaml1 libatdgen-ocaml-dev_3.0.1-1+ocaml1 libatomic1_14.2.0-19 libattr1_1:2.5.2-3 libaudit-common_1:4.0.2-2 libaudit1_1:4.0.2-2+b2 libavif16_1.2.1-1.2 libbiniou-ocaml_1.2.2-4+ocaml1 libbiniou-ocaml-dev_1.2.2-4+ocaml1 libbinutils_2.44-3 libblkid1_2.41-5 libbos-ocaml_0.2.1-2+ocaml1 libbos-ocaml-dev_0.2.1-2+ocaml1 libbrotli-dev_1.1.0-2+b7 libbrotli1_1.1.0-2+b7 libbsd0_0.12.2-2 libbz2-1.0_1.0.8-6 libbz2-dev_1.0.8-6 libc-bin_2.41-12 libc-dev-bin_2.41-12 libc6_2.41-12 libc6-dev_2.41-12 libcairo2_1.18.4-1+b1 libcamlp-streams-ocaml_5.0.1-3+ocaml1 libcamlp-streams-ocaml-dev_5.0.1-3+ocaml1 libcap-ng0_0.8.5-4+b1 libcap2_1:2.75-10+b1 libcc1-0_14.2.0-19 libcmdliner-ocaml-dev_1.3.0-2+ocaml1 libcom-err2_1.47.2-3+b3 libcompiler-libs-ocaml-dev_5.4.0-1+ocaml1 libconfig-tiny-perl_2.30-1 libcrypt-dev_1:4.4.38-1 libcrypt1_1:4.4.38-1 libctf-nobfd0_2.44-3 libctf0_2.44-3 libcurl3t64-gnutls_8.14.1-2+deb13u2 libdatrie1_0.2.13-3+b1 libdav1d7_1.5.1-1 libdb5.3t64_5.3.28+dfsg2-9 libde265-0_1.0.15-1+b3 libdebconfclient0_0.280 libdebhelper-perl_13.24.2 libdeflate0_1.23-2 libdpkg-perl_1.22.21 libeasy-format-ocaml_1.3.4-3+ocaml1 libeasy-format-ocaml-dev_1.3.4-3+ocaml1 libedit2_3.1-20250104-1 libelf1t64_0.192-4 liberror-perl_0.17030-1 libev-dev_1:4.33-2.1+b1 libev4t64_1:4.33-2.1+b1 libexpat1_2.7.1-2 libexpat1-dev_2.7.1-2 libffi8_3.4.8-2 libfile-stripnondeterminism-perl_1.14.1-2 libfileutils-ocaml-dev_0.6.6-1+ocaml1 libfindlib-ocaml_1.9.8-1+ocaml1 libfindlib-ocaml-dev_1.9.8-1+ocaml1 libfmt-ocaml_0.11.0-1+ocaml1 libfmt-ocaml-dev_0.11.0-1+ocaml1 libfontconfig-dev_2.15.0-2.3 libfontconfig1_2.15.0-2.3 libfontconfig1-dev_2.15.0-2.3 libfpath-ocaml_0.7.3-4+ocaml1 libfpath-ocaml-dev_0.7.3-4+ocaml1 libfreetype-dev_2.13.3+dfsg-1 libfreetype6_2.13.3+dfsg-1 libfribidi0_1.0.16-1 libgav1-1_0.19.0-3+b1 libgcc-14-dev_14.2.0-19 libgcc-s1_14.2.0-19 libgd3_2.3.3-13 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgen-ocaml_1.1-1+ocaml1 libgen-ocaml-dev_1.1-1+ocaml1 libglib2.0-0t64_2.84.4-3~deb13u1 libgmp10_2:6.3.0+dfsg-3 libgnutls30t64_3.8.9-3 libgomp1_14.2.0-19 libgprofng0_2.44-3 libgraphics-ocaml_5.2.0-2+ocaml1 libgraphics-ocaml-dev_5.2.0-2+ocaml1 libgraphite2-3_1.3.14-2+b1 libgssapi-krb5-2_1.21.3-5 libharfbuzz0b_10.2.0-1+b1 libheif-plugin-dav1d_1.19.8-1 libheif-plugin-libde265_1.19.8-1 libheif1_1.19.8-1 libhogweed6t64_3.10.1-1 libhwasan0_14.2.0-19 libidn2-0_2.3.8-2 libimagequant0_2.18.0-1+b2 libisl23_0.27-1 libitm1_14.2.0-19 libjansson4_2.14-2+b3 libjbig0_2.1-6.1+b2 libjpeg62-turbo_1:2.1.5-4 libjs-of-ocaml_6.2.0-2+ocaml1 libjs-of-ocaml-dev_6.2.0-2+ocaml1 libk5crypto3_1.21.3-5 libkeyutils1_1.6.3-6 libkrb5-3_1.21.3-5 libkrb5support0_1.21.3-5 liblastlog2-2_2.41-5 libldap2_2.6.10+dfsg-1 liblerc4_4.0.0+ds-5 liblogs-ocaml_0.10.0-1+ocaml1 liblogs-ocaml-dev_0.10.0-1+ocaml1 liblsan0_14.2.0-19 liblua5.4-0_5.4.7-1+b2 liblwt-log-ocaml_1.1.2-4+ocaml1 liblwt-log-ocaml-dev_1.1.2-4+ocaml1 liblwt-ocaml_5.9.2-2+ocaml1 liblwt-ocaml-dev_5.9.2-2+ocaml1 liblz4-1_1.10.0-4 liblzma5_5.8.1-1 libmagic-mgc_1:5.46-5 libmagic1t64_1:5.46-5 libmd0_1.1.0-2+b1 libmenhir-ocaml-dev_20250912+ds-1+ocaml1 libmount1_2.41-5 libmpc3_1.3.1-1+b3 libmpfr6_4.2.2-1 libncurses-dev_6.5+20250216-2 libncurses6_6.5+20250216-2 libncursesw6_6.5+20250216-2 libnettle8t64_3.10.1-1 libnghttp2-14_1.64.0-1.1 libnghttp3-9_1.8.0-1 libngtcp2-16_1.11.0-1 libngtcp2-crypto-gnutls8_1.11.0-1 libocaml-compiler-libs-ocaml-dev_0.17.0-1+ocaml1 libocplib-endian-ocaml_1.2-4+ocaml1 libocplib-endian-ocaml-dev_1.2-4+ocaml1 libp11-kit0_0.25.5-3 libpam-modules_1.7.0-5 libpam-modules-bin_1.7.0-5 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5 libpango-1.0-0_1.56.3-1 libpangocairo-1.0-0_1.56.3-1 libpangoft2-1.0-0_1.56.3-1 libpcre2-16-0_10.46-1~deb13u1 libpcre2-32-0_10.46-1~deb13u1 libpcre2-8-0_10.46-1~deb13u1 libpcre2-dev_10.46-1~deb13u1 libpcre2-ocaml_8.0.4-1+ocaml1 libpcre2-ocaml-dev_8.0.4-1+ocaml1 libpcre2-posix3_10.46-1~deb13u1 libperl5.40_5.40.1-6 libpipeline1_1.5.8-1 libpixman-1-0_0.44.0-3 libpkgconf3_1.8.1-4 libpng-dev_1.6.48-1 libpng16-16t64_1.6.48-1 libppx-derivers-ocaml-dev_1.2.1-4+ocaml1 libppx-deriving-ocaml_6.1.1-1+ocaml1 libppx-deriving-ocaml-dev_6.1.1-1+ocaml1 libppxlib-ocaml-dev_0.37.0-1+ocaml1 libpsl5t64_0.21.2-1.1+b1 libquadmath0_14.2.0-19 librav1e0.7_0.7.1-9+b2 libre-ocaml-dev_1.14.0-1+ocaml1 libreact-ocaml_1.2.2-2+ocaml1 libreact-ocaml-dev_1.2.2-2+ocaml1 libreactivedata-ocaml_0.3-4+ocaml1 libreactivedata-ocaml-dev_0.3-4+ocaml1 libreadline8t64_8.2-6 librresult-ocaml_0.7.0-2+ocaml1 librresult-ocaml-dev_0.7.0-2+ocaml1 librtmp1_2.4+20151223.gitfa8646d.1-2+b5 libsasl2-2_2.1.28+dfsg1-9 libsasl2-modules-db_2.1.28+dfsg1-9 libseccomp2_2.6.0-2 libsedlex-ocaml_3.7-1+ocaml1 libsedlex-ocaml-dev_3.7-1+ocaml1 libselinux1_3.8.1-1 libsexplib0-ocaml_0.17.0-1+ocaml1 libsexplib0-ocaml-dev_0.17.0-1+ocaml1 libsframe1_2.44-3 libsharpyuv0_1.5.0-0.1 libsmartcols1_2.41-5 libsqlite3-0_3.46.1-7 libssh2-1t64_1.11.1-1 libssl3t64_3.5.4-1~deb13u1 libstdc++-14-dev_14.2.0-19 libstdc++6_14.2.0-19 libstdlib-ocaml_5.4.0-1+ocaml1 libstdlib-ocaml-dev_5.4.0-1+ocaml1 libsvtav1enc2_2.3.0+dfsg-1 libsystemd0_257.9-1~deb13u1 libtasn1-6_4.20.0-2 libthai-data_0.1.29-2 libthai0_0.1.29-2+b1 libtiff6_4.7.0-3+deb13u1 libtinfo6_6.5+20250216-2 libtool_2.5.4-4 libtsan2_14.2.0-19 libtyxml-ocaml_4.6.0-1+ocaml1 libtyxml-ocaml-dev_4.6.0-1+ocaml1 libubsan1_14.2.0-19 libuchardet0_0.0.8-1+b2 libudev1_257.9-1~deb13u1 libunistring5_1.3-2 libuuid1_2.41-5 libuutf-ocaml_1.0.4-2+ocaml1 libuutf-ocaml-dev_1.0.4-2+ocaml1 libwebp7_1.5.0-0.1 libwebpmux3_1.5.0-0.1 libx11-6_2:1.8.12-1 libx11-data_2:1.8.12-1 libx11-dev_2:1.8.12-1 libxau-dev_1:1.0.11-1 libxau6_1:1.0.11-1 libxcb-render0_1.17.0-2+b1 libxcb-shm0_1.17.0-2+b1 libxcb1_1.17.0-2+b1 libxcb1-dev_1.17.0-2+b1 libxdmcp-dev_1:1.1.5-1 libxdmcp6_1:1.1.5-1 libxext6_2:1.3.4-1+b3 libxft-dev_2.3.6-1+b4 libxft2_2.3.6-1+b4 libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2 libxpm4_1:3.5.17-1+b3 libxrender-dev_1:0.9.12-1 libxrender1_1:0.9.12-1 libxxhash0_0.8.3-2 libyojson-ocaml_3.0.0-2+ocaml1 libyojson-ocaml-dev_3.0.0-2+ocaml1 libyuv0_0.0.1904.20250204-1 libzstd-dev_1.5.7+dfsg-1 libzstd1_1.5.7+dfsg-1 linux-libc-dev_6.12.57-1 lua5.1_5.1.5-11 m4_1.4.19-8 make_4.4.1-2 man-db_2.13.1-1 mawk_1.3.4.20250131-1 menhir_20250912+ds-1+ocaml1 ncurses-base_6.5+20250216-2 ncurses-bin_6.5+20250216-2 ocaml_5.4.0-1+ocaml1 ocaml-base_5.4.0-1+ocaml1 ocaml-compiler-libs_5.4.0-1+ocaml1 ocaml-dune_3.20.2-3+ocaml1 ocaml-findlib_1.9.8-1+ocaml1 ocaml-interp_5.4.0-1+ocaml1 openssl-provider-legacy_3.5.4-1~deb13u1 patch_2.8-2 perl_5.40.1-6 perl-base_5.40.1-6 perl-modules-5.40_5.40.1-6 pkgconf_1.8.1-4 pkgconf-bin_1.8.1-4 po-debconf_1.0.21+nmu1 readline-common_8.2-6 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.25 sqv_1.3.0-3 sysvinit-utils_3.14-4 tar_1.35+dfsg-3.1 time_1.9-0.2 util-linux_2.41-5 uuid-dev_2.41-5 x11proto-dev_2024.1-1 xorg-sgml-doctools_1:1.11-1.1 xtrans-dev_1.4.0-1 xz-utils_5.8.1-1 yojson-tools_3.0.0-2+ocaml1 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 zlib1g-dev_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build Tue, 06 Jan 2026 07:07:35 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 2.0.7-3+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.7.0 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), 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: cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz 9f3f4edceede2b1e87e4bdcc964c1a48376cfd52 6268 elpi_2.0.7-3+ocaml1.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz 6c0612cfb11b6b8ead0558797df076982fa93ad50cabb99983793f0e738f01b3 6268 elpi_2.0.7-3+ocaml1.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz 33ba2cbdbad89ddd7f782a33b5707599 6268 elpi_2.0.7-3+ocaml1.debian.tar.xz dpkg-source: warning: extracting unsigned source package (elpi_2.0.7-3+ocaml1.dsc) dpkg-source: info: extracting elpi in /build/reproducible-path/elpi-2.0.7 dpkg-source: info: unpacking elpi_2.0.7.orig.tar.gz dpkg-source: info: unpacking elpi_2.0.7-3+ocaml1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0001-Fix-compilation-with-atdgen-2.16.patch dpkg-source: info: applying 0002-Fix-compilation-with-ppxlib-0.36.0.patch dpkg-source: info: applying 0003-Disable-trace-browser-elab-broken1-test.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=1 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 2.0.7-3+ocaml1 dpkg-buildpackage: info: source distribution trixie-backports-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-2.0.7' 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-2.0.7' 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_2.0.7.orig.tar.gz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: building elpi in elpi_2.0.7-3+ocaml1.debian.tar.xz dpkg-source: info: building elpi in elpi_2.0.7-3+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-2.0.7' 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 v2.0.7 -m foo; \ fi Initialized empty Git repository in /build/reproducible-path/elpi-2.0.7/.git/ [main (root-commit) 25ede44] foo 1 file changed, 14 insertions(+) create mode 100644 dune make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' dh_auto_build -O--buildsystem=ocaml_dune dune build -j 1 -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 Read 373 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.4.0/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 "_none_", 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.4.0/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 "_none_", 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). debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/elpi-2.0.7' make tests STACK=11141120 make[2]: Entering directory '/build/reproducible-path/elpi-2.0.7' make build make[3]: Entering directory '/build/reproducible-path/elpi-2.0.7' 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 "_none_", 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 "_none_", 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). make[3]: Leaving directory '/build/reproducible-path/elpi-2.0.7' 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 build: bl=0.635365 l=0.463461 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-2.0.7/tests/sources/ \ --plot=/build/reproducible-path/elpi-2.0.7/tests/plot \ \ \ --runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator Random seed: 27501 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.00 0.01 13.5M 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.00 0.00 0.0M elpi RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.00 0.02 13.6M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.00 0.01 13.5M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.00 0.02 13.5M 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.00 0.02 13.5M 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.00 0.02 13.6M elpi RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.00 0.02 13.7M elpi RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.00 0.01 13.5M elpi RUNNING cbn (reduction) elpi OK cbn 0.19 0.00 0.20 19.4M elpi RUNNING cbv (reduction) elpi OK cbv 0.85 0.00 0.88 16.4M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.00 0.01 13.6M elpi RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.00 0.02 13.5M elpi RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.00 0.02 13.5M elpi RUNNING chr-scope-change-err (chr-relocation) elpi OK chr-scope-change-err 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.00 0.01 13.5M elpi RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.00 0.01 13.6M elpi RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.00 0.01 13.7M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.00 0.01 13.6M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.00 0.02 13.6M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.00 0.02 13.5M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.00 0.02 13.5M elpi RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.00 0.01 13.5M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.00 0.02 13.8M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 2.65 0.00 2.66 49.2M elpi RUNNING cut1 (what else) elpi OK cut1 0.00 0.00 0.02 13.7M elpi RUNNING cut2 (what else) elpi OK cut2 0.00 0.00 0.02 13.5M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 0.00 0.02 13.6M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.00 0.01 13.4M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 0.00 0.02 13.5M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 0.00 0.02 13.7M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.00 0.02 13.6M elpi RUNNING discard (_) elpi OK discard 0.00 0.00 0.02 13.6M elpi RUNNING dt (discrimination_tree indexing) elpi OK dt 1.16 0.00 1.18 13.6M elpi RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 1.28 0.00 1.29 13.5M elpi RUNNING dt_bug_272 (dt list truncation heuristic) elpi OK dt_bug_272 0.01 0.00 0.02 13.7M elpi RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.00 0.01 13.7M elpi RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.44 0.00 0.46 18.9M elpi RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.46 0.00 0.48 18.8M elpi RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multiparam3 0.00 0.00 0.00 0.0M elpi RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multivar 0.00 0.00 0.02 13.7M elpi RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 8.39 0.00 8.40 13.5M elpi RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.00 0.02 13.6M elpi RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.00 0.02 13.8M elpi RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.02 13.7M 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 eta (test eta for rigid terms) elpi OK eta 0.00 0.00 0.01 13.3M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.02 13.6M elpi RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.00 0.01 13.7M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 0.99 0.00 1.00 16.5M elpi RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.00 0.02 13.5M elpi RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.00 0.02 13.4M elpi RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi OK graft_before_same 0.00 0.00 0.02 13.7M elpi RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.00 0.02 13.6M 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.00 0.02 13.5M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 17.22 1.26 20.45 2854.6M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.00 0.02 13.7M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.02 13.6M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.00 0.02 13.7M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.00 0.02 13.6M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.00 0.02 13.5M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 0.00 0.02 13.7M 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.00 0.02 13.7M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.00 0.02 13.6M elpi RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.00 0.02 13.6M elpi RUNNING impl (implication) elpi OK impl 0.00 0.00 0.02 13.7M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 0.00 0.02 13.6M elpi RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.00 0.02 13.6M elpi RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.00 0.02 13.6M elpi RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.00 0.02 13.6M elpi RUNNING index2 (indexing the second argument) elpi OK index2 1.94 0.00 1.96 13.7M elpi RUNNING is (calc) elpi OK is 0.00 0.00 0.02 13.6M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.34 0.00 0.36 14.1M elpi RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.00 0.02 13.7M 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.00 0.02 13.7M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.00 0.01 13.5M elpi RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.00 0.02 13.8M elpi RUNNING linear (linear variable check) elpi OK linear 0.00 0.00 0.02 13.7M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.00 0.02 13.6M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.00 0.01 13.6M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.00 0.02 13.6M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.00 0.01 13.7M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.00 0.01 13.7M elpi RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.00 0.01 13.6M elpi RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.00 0.01 13.7M elpi RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.00 0.01 13.6M elpi RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.00 0.02 13.6M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 4.16 0.40 6.50 711.4M elpi RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 5.53 0.00 5.54 16.9M elpi RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 5.68 0.00 5.69 18.3M elpi RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.00 0.01 13.4M elpi RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 1.31 0.00 1.32 17.2M elpi RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.00 0.01 13.4M elpi RUNNING mode_checking_fo (mode_checking_fo) elpi OK mode_checking_fo 0.00 0.00 0.01 13.7M elpi RUNNING mode_checking_ho (mode_checking_ho) elpi OK mode_checking_ho 0.00 0.00 0.01 13.5M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 1.21 0.00 1.22 15.0M elpi RUNNING name (name builtin) elpi OK name 0.00 0.00 0.02 13.6M 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.00 0.01 13.6M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.00 0.02 13.5M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.00 0.01 13.6M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.00 0.01 13.6M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.00 0.01 13.4M elpi RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.00 0.01 13.6M elpi RUNNING notation (extensible syntax) elpi OK notation 0.00 0.00 0.01 13.7M 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.00 0.00 0.0M elpi RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.00 0.01 13.6M elpi RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.00 0.01 13.5M elpi RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.00 0.01 14.1M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 0.00 0.02 13.7M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.00 0.01 13.6M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.00 0.01 13.8M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.00 0.02 13.5M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.00 0.01 13.5M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.02 13.6M elpi RUNNING progs (progs) elpi OK progs 0.00 0.00 0.01 13.7M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 0.82 0.00 0.84 130.6M elpi RUNNING random (random numbers) elpi OK random 0.00 0.00 0.01 13.6M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.00 0.00 0.0M elpi RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.00 0.01 13.5M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.00 0.01 13.6M elpi RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.00 0.01 13.7M elpi RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.00 0.01 13.4M elpi RUNNING rev (list reversal) elpi OK rev 0.09 0.00 0.10 47.2M elpi RUNNING rev14 (list reversal) elpi OK rev14 0.09 0.00 0.10 47.3M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.00 0.01 13.5M elpi RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.00 0.01 13.5M elpi RUNNING set (stdlib set) elpi OK set 1.06 0.00 1.07 15.4M elpi RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.29 0.00 0.30 61.7M elpi RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.00 0.01 13.4M elpi RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.00 0.01 13.6M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.00 0.02 13.5M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.00 0.01 13.3M elpi RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.00 0.01 13.6M elpi RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.00 0.02 13.6M elpi RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.00 0.01 13.5M elpi RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.00 0.01 13.4M elpi RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.00 0.01 13.7M elpi RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.00 0.02 13.5M elpi RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.00 0.01 13.4M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.01 13.4M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.02 14.0M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.01 13.6M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 7.2M 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.2M elpi-trace-elaborator RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 7.0M elpi-trace-elaborator RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 7.0M elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.02 13.8M elpi RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.01 0.00 0.02 13.7M elpi RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.00 7.8M elpi-trace-elaborator RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.01 13.8M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 6.9M elpi-trace-elaborator RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.00 0.02 13.8M elpi RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 7.0M elpi-trace-elaborator RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.00 0.02 13.8M elpi RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 7.2M elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.00 0.01 13.3M elpi RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.00 0.01 13.7M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.00 0.02 13.6M 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.00 0.02 13.5M 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.00 0.01 13.5M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.00 0.02 13.7M 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.00 0.01 13.4M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.00 0.02 13.6M elpi RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.00 0.01 13.6M elpi RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.00 0.01 13.4M elpi RUNNING unix (unix APIs) elpi OK unix 0.00 0.00 0.02 13.6M elpi RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.00 0.01 13.5M elpi RUNNING var (var API) elpi OK var 0.00 0.00 0.02 13.6M elpi RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.00 0.01 13.5M elpi RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.00 0.01 13.7M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot OK zebra 0.51 0.00 0.53 15.2M elpi ------------------------------------------------------------------ Tests: 189 Passed: 189 Failed: 0 make[2]: Leaving directory '/build/reproducible-path/elpi-2.0.7' make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' 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.4.0 elpi debian/rules execute_after_dh_auto_install make[1]: Entering directory '/build/reproducible-path/elpi-2.0.7' # 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-2.0.7' 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_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.4.0/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.4.0/elpi/trace/ppx/trace_ppx.cmxs: DWARF compression not beneficial - old size 3000 new size 3000 dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmxs: DWARF compression not beneficial - old size 4790 new size 4790 dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmxs: DWARF compression not beneficial - old size 9478 new size 9478 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 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_2.0.7-3+ocaml1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_2.0.7-3+ocaml1_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb'. dpkg-genbuildinfo -O../elpi_2.0.7-3+ocaml1_amd64.buildinfo dpkg-genchanges -sa -O../elpi_2.0.7-3+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-01-06T07:09:50Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Tue, 06 Jan 2026 07:09:51 +0000 | +------------------------------------------------------------------------------+ elpi_2.0.7-3+ocaml1_amd64.changes: ---------------------------------- Format: 1.8 Date: Tue, 06 Jan 2026 08:06:39 +0100 Source: elpi Binary: elpi elpi-dbgsym libelpi-ocaml libelpi-ocaml-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym Architecture: source amd64 Version: 2.0.7-3+ocaml1 Distribution: unstable 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 (2.0.7-3+ocaml1) trixie-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.0 Checksums-Sha1: afc526c81e5c3814db6aaffcdd44cc140c78b805 1566 elpi_2.0.7-3+ocaml1.dsc cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz 5b23d2f6e7756ab3e7c455583bf7b0dab927a104 6264 elpi_2.0.7-3+ocaml1.debian.tar.xz c76f57fcb0a2887a54c14cbb6a5451009520b71b 682340 elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb 30096732f9ac2fe56f20ec08939dd5ee363eb4e0 13020 elpi_2.0.7-3+ocaml1_amd64.buildinfo ccf7760d1bbef9c2535cbeb627ac13014f438920 1894456 elpi_2.0.7-3+ocaml1_amd64.deb 3d3d06a81aaf08383e2aea083d398204e7eeb1ac 275640 libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 3e4c4de769e7e5da82dafcee40303a7ad92d8f82 1393872 libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb d80f0d1cf8bcd42a4f22b72de2edc103d272c4e4 12985268 libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 3033350f7f433db2145bb457314a34ece938db37 3590536 libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb Checksums-Sha256: 6f793820d7792a392f7cb3ec01c18a444acc7ac5d03b2a3cf418784bfd405b38 1566 elpi_2.0.7-3+ocaml1.dsc 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz 0b117daf8fdf98f94959084e4a2e8c7ba03bc06784dbb53750086f166e9d3c3d 6264 elpi_2.0.7-3+ocaml1.debian.tar.xz 381905880f9141b0c1a1e267e23c5ecb83cbca83be71e1ec1316625425f77482 682340 elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb 06f25fbf05cded958d7f75eda94c358861ace7898e6fb5da43a499ccbb9b7ec7 13020 elpi_2.0.7-3+ocaml1_amd64.buildinfo baa0375e4acae5fde268bfc332fc4164b26cf9a489d68f6469313946594b962e 1894456 elpi_2.0.7-3+ocaml1_amd64.deb ee62c6c1650b7bf724c587c935b191a70680a80ce145bd87c80d0ed7500ca7a2 275640 libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 4869bab36a63cf86e7535c69f1501610841d75702b261bb0dd63b6d3e62f493d 1393872 libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb cb61d02edfd63a389f1ad789216e8944cfbdba01a4a0bda915b43a0bbbee0170 12985268 libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 2e4b8f645ee9be2988e4f4e3736285094e33bb35abc80d848f9f98133d816ffa 3590536 libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb Files: 7bae1ed7bdd82453b6fcdf803b73c2c1 1566 ocaml optional elpi_2.0.7-3+ocaml1.dsc af1ea7c67d8e5e5bd242d9fbfe733686 2642553 ocaml optional elpi_2.0.7.orig.tar.gz 87f4c5a8bab2eb99467f8ed8e28a31ea 6264 ocaml optional elpi_2.0.7-3+ocaml1.debian.tar.xz 2143011991e2ad84c056b981c8411be0 682340 debug optional elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb 199d61af4dd3cea766aca96ad0f76d9c 13020 ocaml optional elpi_2.0.7-3+ocaml1_amd64.buildinfo e63acd6bd57f906f0374d84d5ae463d3 1894456 ocaml optional elpi_2.0.7-3+ocaml1_amd64.deb d929bc82ff68c374784640985dda02c0 275640 debug optional libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 1a1e145e8ea05ae778430fde965ee4d1 1393872 debug optional libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb a50e4bdd3de9fad3515a69fb5bb73b17 12985268 ocaml optional libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 393b886ab563dd0142ca137c3754bcf2 3590536 ocaml optional libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Tue, 06 Jan 2026 07:09:51 +0000 | +------------------------------------------------------------------------------+ Format: 1.0 Source: elpi Binary: elpi elpi-dbgsym libelpi-ocaml libelpi-ocaml-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym Architecture: amd64 source Version: 2.0.7-3+ocaml1 Checksums-Md5: 7bae1ed7bdd82453b6fcdf803b73c2c1 1566 elpi_2.0.7-3+ocaml1.dsc 2143011991e2ad84c056b981c8411be0 682340 elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb e63acd6bd57f906f0374d84d5ae463d3 1894456 elpi_2.0.7-3+ocaml1_amd64.deb d929bc82ff68c374784640985dda02c0 275640 libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 1a1e145e8ea05ae778430fde965ee4d1 1393872 libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb a50e4bdd3de9fad3515a69fb5bb73b17 12985268 libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 393b886ab563dd0142ca137c3754bcf2 3590536 libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb Checksums-Sha1: afc526c81e5c3814db6aaffcdd44cc140c78b805 1566 elpi_2.0.7-3+ocaml1.dsc c76f57fcb0a2887a54c14cbb6a5451009520b71b 682340 elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb ccf7760d1bbef9c2535cbeb627ac13014f438920 1894456 elpi_2.0.7-3+ocaml1_amd64.deb 3d3d06a81aaf08383e2aea083d398204e7eeb1ac 275640 libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 3e4c4de769e7e5da82dafcee40303a7ad92d8f82 1393872 libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb d80f0d1cf8bcd42a4f22b72de2edc103d272c4e4 12985268 libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 3033350f7f433db2145bb457314a34ece938db37 3590536 libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb Checksums-Sha256: 6f793820d7792a392f7cb3ec01c18a444acc7ac5d03b2a3cf418784bfd405b38 1566 elpi_2.0.7-3+ocaml1.dsc 381905880f9141b0c1a1e267e23c5ecb83cbca83be71e1ec1316625425f77482 682340 elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb baa0375e4acae5fde268bfc332fc4164b26cf9a489d68f6469313946594b962e 1894456 elpi_2.0.7-3+ocaml1_amd64.deb ee62c6c1650b7bf724c587c935b191a70680a80ce145bd87c80d0ed7500ca7a2 275640 libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb 4869bab36a63cf86e7535c69f1501610841d75702b261bb0dd63b6d3e62f493d 1393872 libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb cb61d02edfd63a389f1ad789216e8944cfbdba01a4a0bda915b43a0bbbee0170 12985268 libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb 2e4b8f645ee9be2988e4f4e3736285094e33bb35abc80d848f9f98133d816ffa 3590536 libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Tue, 06 Jan 2026 07:09:50 +0000 Build-Path: /build/reproducible-path/elpi-2.0.7 Installed-Build-Depends: aglfn (= 1.7+git20191031.4036a9c-2), atdts (= 3.0.1-1+ocaml1), autoconf (= 2.72-3.1), automake (= 1:1.17-4), autopoint (= 0.23.1-2), autotools-dev (= 20240727.1), base-files (= 13.8+deb13u2), base-passwd (= 3.6.7), bash (= 5.2.37-2+b5), binutils (= 2.44-3), binutils-common (= 2.44-3), binutils-x86-64-linux-gnu (= 2.44-3), bsdextrautils (= 2.41-5), bsdutils (= 1:2.41-5), build-essential (= 12.12), bzip2 (= 1.0.8-6), camlp5 (= 8.04.00-1+ocaml1), coreutils (= 9.7-3), cpp (= 4:14.2.0-1), cpp-14 (= 14.2.0-19), cpp-14-x86-64-linux-gnu (= 14.2.0-19), cpp-x86-64-linux-gnu (= 4:14.2.0-1), dash (= 0.5.12-12), debconf (= 1.5.91), debhelper (= 13.24.2), debianutils (= 5.23.2), dh-autoreconf (= 20), dh-ocaml (= 2.5+ocaml1), dh-strip-nondeterminism (= 1.14.1-2), diffutils (= 1:3.10-4), dpkg (= 1.22.21), dpkg-dev (= 1.22.21), dwz (= 0.15-1+b1), file (= 1:5.46-5), findutils (= 4.10.0-3), fontconfig (= 2.15.0-2.3), fontconfig-config (= 2.15.0-2.3), fonts-dejavu-core (= 2.37-8), fonts-dejavu-mono (= 2.37-8), g++ (= 4:14.2.0-1), g++-14 (= 14.2.0-19), g++-14-x86-64-linux-gnu (= 14.2.0-19), g++-x86-64-linux-gnu (= 4:14.2.0-1), gcc (= 4:14.2.0-1), gcc-14 (= 14.2.0-19), gcc-14-base (= 14.2.0-19), gcc-14-x86-64-linux-gnu (= 14.2.0-19), gcc-x86-64-linux-gnu (= 4:14.2.0-1), gettext (= 0.23.1-2), gettext-base (= 0.23.1-2), git (= 1:2.47.3-0+deb13u1), git-man (= 1:2.47.3-0+deb13u1), gnuplot-data (= 6.0.2+dfsg1-1), gnuplot-nox (= 6.0.2+dfsg1-1), grep (= 3.11-4), groff-base (= 1.23.0-9), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69~deb13u1), intltool-debian (= 0.35.0+20060710.6), libabsl20240722 (= 20240722.0-4), libacl1 (= 2.3.2-2+b1), libansi-terminal-ocaml (= 0.8.5-5+ocaml1), libansi-terminal-ocaml-dev (= 0.8.5-5+ocaml1), libaom3 (= 3.12.1-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14.2.0-19), libastring-ocaml (= 0.8.5-3+ocaml1), libastring-ocaml-dev (= 0.8.5-3+ocaml1), libatdgen-ocaml (= 3.0.1-1+ocaml1), libatdgen-ocaml-dev (= 3.0.1-1+ocaml1), libatomic1 (= 14.2.0-19), libattr1 (= 1:2.5.2-3), libaudit-common (= 1:4.0.2-2), libaudit1 (= 1:4.0.2-2+b2), libavif16 (= 1.2.1-1.2), libbiniou-ocaml (= 1.2.2-4+ocaml1), libbiniou-ocaml-dev (= 1.2.2-4+ocaml1), libbinutils (= 2.44-3), libblkid1 (= 2.41-5), libbos-ocaml (= 0.2.1-2+ocaml1), libbos-ocaml-dev (= 0.2.1-2+ocaml1), libbrotli-dev (= 1.1.0-2+b7), libbrotli1 (= 1.1.0-2+b7), libbsd0 (= 0.12.2-2), libbz2-1.0 (= 1.0.8-6), libbz2-dev (= 1.0.8-6), libc-bin (= 2.41-12), libc-dev-bin (= 2.41-12), libc6 (= 2.41-12), libc6-dev (= 2.41-12), libcairo2 (= 1.18.4-1+b1), libcamlp-streams-ocaml (= 5.0.1-3+ocaml1), libcamlp-streams-ocaml-dev (= 5.0.1-3+ocaml1), libcap-ng0 (= 0.8.5-4+b1), libcap2 (= 1:2.75-10+b1), libcc1-0 (= 14.2.0-19), libcmdliner-ocaml-dev (= 1.3.0-2+ocaml1), libcom-err2 (= 1.47.2-3+b3), libcompiler-libs-ocaml-dev (= 5.4.0-1+ocaml1), libconfig-tiny-perl (= 2.30-1), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.44-3), libctf0 (= 2.44-3), libcurl3t64-gnutls (= 8.14.1-2+deb13u2), libdatrie1 (= 0.2.13-3+b1), libdav1d7 (= 1.5.1-1), libdb5.3t64 (= 5.3.28+dfsg2-9), libde265-0 (= 1.0.15-1+b3), libdebconfclient0 (= 0.280), libdebhelper-perl (= 13.24.2), libdeflate0 (= 1.23-2), libdpkg-perl (= 1.22.21), libeasy-format-ocaml (= 1.3.4-3+ocaml1), libeasy-format-ocaml-dev (= 1.3.4-3+ocaml1), libedit2 (= 3.1-20250104-1), libelf1t64 (= 0.192-4), liberror-perl (= 0.17030-1), libev-dev (= 1:4.33-2.1+b1), libev4t64 (= 1:4.33-2.1+b1), libexpat1 (= 2.7.1-2), libexpat1-dev (= 2.7.1-2), libffi8 (= 3.4.8-2), libfile-stripnondeterminism-perl (= 1.14.1-2), libfileutils-ocaml-dev (= 0.6.6-1+ocaml1), libfindlib-ocaml (= 1.9.8-1+ocaml1), libfindlib-ocaml-dev (= 1.9.8-1+ocaml1), libfmt-ocaml (= 0.11.0-1+ocaml1), libfmt-ocaml-dev (= 0.11.0-1+ocaml1), libfontconfig-dev (= 2.15.0-2.3), libfontconfig1 (= 2.15.0-2.3), libfontconfig1-dev (= 2.15.0-2.3), libfpath-ocaml (= 0.7.3-4+ocaml1), libfpath-ocaml-dev (= 0.7.3-4+ocaml1), libfreetype-dev (= 2.13.3+dfsg-1), libfreetype6 (= 2.13.3+dfsg-1), libfribidi0 (= 1.0.16-1), libgav1-1 (= 0.19.0-3+b1), libgcc-14-dev (= 14.2.0-19), libgcc-s1 (= 14.2.0-19), libgd3 (= 2.3.3-13), libgdbm-compat4t64 (= 1.24-2), libgdbm6t64 (= 1.24-2), libgen-ocaml (= 1.1-1+ocaml1), libgen-ocaml-dev (= 1.1-1+ocaml1), libglib2.0-0t64 (= 2.84.4-3~deb13u1), libgmp10 (= 2:6.3.0+dfsg-3), libgnutls30t64 (= 3.8.9-3), libgomp1 (= 14.2.0-19), libgprofng0 (= 2.44-3), libgraphics-ocaml (= 5.2.0-2+ocaml1), libgraphics-ocaml-dev (= 5.2.0-2+ocaml1), libgraphite2-3 (= 1.3.14-2+b1), libgssapi-krb5-2 (= 1.21.3-5), libharfbuzz0b (= 10.2.0-1+b1), libheif-plugin-dav1d (= 1.19.8-1), libheif-plugin-libde265 (= 1.19.8-1), libheif1 (= 1.19.8-1), libhogweed6t64 (= 3.10.1-1), libhwasan0 (= 14.2.0-19), libidn2-0 (= 2.3.8-2), libimagequant0 (= 2.18.0-1+b2), libisl23 (= 0.27-1), libitm1 (= 14.2.0-19), libjansson4 (= 2.14-2+b3), libjbig0 (= 2.1-6.1+b2), libjpeg62-turbo (= 1:2.1.5-4), libjs-of-ocaml (= 6.2.0-2+ocaml1), libjs-of-ocaml-dev (= 6.2.0-2+ocaml1), libk5crypto3 (= 1.21.3-5), libkeyutils1 (= 1.6.3-6), libkrb5-3 (= 1.21.3-5), libkrb5support0 (= 1.21.3-5), liblastlog2-2 (= 2.41-5), libldap2 (= 2.6.10+dfsg-1), liblerc4 (= 4.0.0+ds-5), liblogs-ocaml (= 0.10.0-1+ocaml1), liblogs-ocaml-dev (= 0.10.0-1+ocaml1), liblsan0 (= 14.2.0-19), liblua5.4-0 (= 5.4.7-1+b2), liblwt-log-ocaml (= 1.1.2-4+ocaml1), liblwt-log-ocaml-dev (= 1.1.2-4+ocaml1), liblwt-ocaml (= 5.9.2-2+ocaml1), liblwt-ocaml-dev (= 5.9.2-2+ocaml1), liblzma5 (= 5.8.1-1), libmagic-mgc (= 1:5.46-5), libmagic1t64 (= 1:5.46-5), libmd0 (= 1.1.0-2+b1), libmenhir-ocaml-dev (= 20250912+ds-1+ocaml1), libmount1 (= 2.41-5), libmpc3 (= 1.3.1-1+b3), libmpfr6 (= 4.2.2-1), libncurses-dev (= 6.5+20250216-2), libncurses6 (= 6.5+20250216-2), libncursesw6 (= 6.5+20250216-2), libnettle8t64 (= 3.10.1-1), libnghttp2-14 (= 1.64.0-1.1), libnghttp3-9 (= 1.8.0-1), libngtcp2-16 (= 1.11.0-1), libngtcp2-crypto-gnutls8 (= 1.11.0-1), libocaml-compiler-libs-ocaml-dev (= 0.17.0-1+ocaml1), libocplib-endian-ocaml (= 1.2-4+ocaml1), libocplib-endian-ocaml-dev (= 1.2-4+ocaml1), libp11-kit0 (= 0.25.5-3), libpam-modules (= 1.7.0-5), libpam-modules-bin (= 1.7.0-5), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5), libpango-1.0-0 (= 1.56.3-1), libpangocairo-1.0-0 (= 1.56.3-1), libpangoft2-1.0-0 (= 1.56.3-1), libpcre2-16-0 (= 10.46-1~deb13u1), libpcre2-32-0 (= 10.46-1~deb13u1), libpcre2-8-0 (= 10.46-1~deb13u1), libpcre2-dev (= 10.46-1~deb13u1), libpcre2-ocaml (= 8.0.4-1+ocaml1), libpcre2-ocaml-dev (= 8.0.4-1+ocaml1), libpcre2-posix3 (= 10.46-1~deb13u1), libperl5.40 (= 5.40.1-6), libpipeline1 (= 1.5.8-1), libpixman-1-0 (= 0.44.0-3), libpkgconf3 (= 1.8.1-4), libpng-dev (= 1.6.48-1), libpng16-16t64 (= 1.6.48-1), libppx-derivers-ocaml-dev (= 1.2.1-4+ocaml1), libppx-deriving-ocaml (= 6.1.1-1+ocaml1), libppx-deriving-ocaml-dev (= 6.1.1-1+ocaml1), libppxlib-ocaml-dev (= 0.37.0-1+ocaml1), libpsl5t64 (= 0.21.2-1.1+b1), libquadmath0 (= 14.2.0-19), librav1e0.7 (= 0.7.1-9+b2), libre-ocaml-dev (= 1.14.0-1+ocaml1), libreact-ocaml (= 1.2.2-2+ocaml1), libreact-ocaml-dev (= 1.2.2-2+ocaml1), libreactivedata-ocaml (= 0.3-4+ocaml1), libreactivedata-ocaml-dev (= 0.3-4+ocaml1), libreadline8t64 (= 8.2-6), librresult-ocaml (= 0.7.0-2+ocaml1), librresult-ocaml-dev (= 0.7.0-2+ocaml1), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b5), libsasl2-2 (= 2.1.28+dfsg1-9), libsasl2-modules-db (= 2.1.28+dfsg1-9), libseccomp2 (= 2.6.0-2), libsedlex-ocaml (= 3.7-1+ocaml1), libsedlex-ocaml-dev (= 3.7-1+ocaml1), libselinux1 (= 3.8.1-1), libsexplib0-ocaml (= 0.17.0-1+ocaml1), libsexplib0-ocaml-dev (= 0.17.0-1+ocaml1), libsframe1 (= 2.44-3), libsharpyuv0 (= 1.5.0-0.1), libsmartcols1 (= 2.41-5), libsqlite3-0 (= 3.46.1-7), libssh2-1t64 (= 1.11.1-1), libssl3t64 (= 3.5.4-1~deb13u1), libstdc++-14-dev (= 14.2.0-19), libstdc++6 (= 14.2.0-19), libstdlib-ocaml (= 5.4.0-1+ocaml1), libstdlib-ocaml-dev (= 5.4.0-1+ocaml1), libsvtav1enc2 (= 2.3.0+dfsg-1), libsystemd0 (= 257.9-1~deb13u1), libtasn1-6 (= 4.20.0-2), libthai-data (= 0.1.29-2), libthai0 (= 0.1.29-2+b1), libtiff6 (= 4.7.0-3+deb13u1), libtinfo6 (= 6.5+20250216-2), libtool (= 2.5.4-4), libtsan2 (= 14.2.0-19), libtyxml-ocaml (= 4.6.0-1+ocaml1), libtyxml-ocaml-dev (= 4.6.0-1+ocaml1), libubsan1 (= 14.2.0-19), libuchardet0 (= 0.0.8-1+b2), libudev1 (= 257.9-1~deb13u1), libunistring5 (= 1.3-2), libuuid1 (= 2.41-5), libuutf-ocaml (= 1.0.4-2+ocaml1), libuutf-ocaml-dev (= 1.0.4-2+ocaml1), libwebp7 (= 1.5.0-0.1), libwebpmux3 (= 1.5.0-0.1), libx11-6 (= 2:1.8.12-1), libx11-data (= 2:1.8.12-1), libx11-dev (= 2:1.8.12-1), libxau-dev (= 1:1.0.11-1), libxau6 (= 1:1.0.11-1), libxcb-render0 (= 1.17.0-2+b1), libxcb-shm0 (= 1.17.0-2+b1), libxcb1 (= 1.17.0-2+b1), libxcb1-dev (= 1.17.0-2+b1), libxdmcp-dev (= 1:1.1.5-1), libxdmcp6 (= 1:1.1.5-1), libxext6 (= 2:1.3.4-1+b3), libxft-dev (= 2.3.6-1+b4), libxft2 (= 2.3.6-1+b4), libxml2 (= 2.12.7+dfsg+really2.9.14-2.1+deb13u2), libxpm4 (= 1:3.5.17-1+b3), libxrender-dev (= 1:0.9.12-1), libxrender1 (= 1:0.9.12-1), libyojson-ocaml (= 3.0.0-2+ocaml1), libyojson-ocaml-dev (= 3.0.0-2+ocaml1), libyuv0 (= 0.0.1904.20250204-1), libzstd-dev (= 1.5.7+dfsg-1), libzstd1 (= 1.5.7+dfsg-1), linux-libc-dev (= 6.12.57-1), lua5.1 (= 5.1.5-11), m4 (= 1.4.19-8), make (= 4.4.1-2), man-db (= 2.13.1-1), mawk (= 1.3.4.20250131-1), menhir (= 20250912+ds-1+ocaml1), ncurses-base (= 6.5+20250216-2), ncurses-bin (= 6.5+20250216-2), ocaml (= 5.4.0-1+ocaml1), ocaml-base (= 5.4.0-1+ocaml1), ocaml-compiler-libs (= 5.4.0-1+ocaml1), ocaml-dune (= 3.20.2-3+ocaml1), ocaml-findlib (= 1.9.8-1+ocaml1), ocaml-interp (= 5.4.0-1+ocaml1), openssl-provider-legacy (= 3.5.4-1~deb13u1), patch (= 2.8-2), perl (= 5.40.1-6), perl-base (= 5.40.1-6), perl-modules-5.40 (= 5.40.1-6), pkgconf (= 1.8.1-4), pkgconf-bin (= 1.8.1-4), po-debconf (= 1.0.21+nmu1), readline-common (= 8.2-6), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.25), sysvinit-utils (= 3.14-4), tar (= 1.35+dfsg-3.1), time (= 1.9-0.2), util-linux (= 2.41-5), uuid-dev (= 2.41-5), x11proto-dev (= 2024.1-1), xorg-sgml-doctools (= 1:1.11-1.1), xtrans-dev (= 1.4.0-1), xz-utils (= 5.8.1-1), yojson-tools (= 3.0.0-2+ocaml1), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1), zlib1g-dev (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1767683199" +------------------------------------------------------------------------------+ | Package contents Tue, 06 Jan 2026 07:09:51 +0000 | +------------------------------------------------------------------------------+ elpi-dbgsym_2.0.7-3+ocaml1_amd64.deb ------------------------------------ new Debian package, version 2.0. size 682340 bytes: control archive=632 bytes. 404 bytes, 12 lines control 293 bytes, 3 lines md5sums Package: elpi-dbgsym Source: elpi Version: 2.0.7-3+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 3046 Depends: elpi (= 2.0.7-3+ocaml1) Section: debug Priority: optional Description: debug symbols for elpi Build-Ids: 87412377ab94bf04cf9701c7511c99795ba8e4ef da5ca304b4283a5d15b0727b10297149baaaddce drwxr-xr-x root/root 0 2026-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/87/ -rw-r--r-- root/root 2187720 2026-01-06 07:06 ./usr/lib/debug/.build-id/87/412377ab94bf04cf9701c7511c99795ba8e4ef.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/da/ -rw-r--r-- root/root 896872 2026-01-06 07:06 ./usr/lib/debug/.build-id/da/5ca304b4283a5d15b0727b10297149baaaddce.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 19592 2026-01-06 07:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/elpi.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-06 07:06 ./usr/share/doc/elpi-dbgsym -> elpi elpi_2.0.7-3+ocaml1_amd64.deb ----------------------------- new Debian package, version 2.0. size 1894456 bytes: control archive=808 bytes. 555 bytes, 15 lines control 376 bytes, 6 lines md5sums Package: elpi Version: 2.0.7-3+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 9374 Depends: libelpi-ocaml (= 2.0.7-3+ocaml1), libc6 (>= 2.38) 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-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/bin/ -rwxr-xr-x root/root 7019128 2026-01-06 07:06 ./usr/bin/elpi -rwxr-xr-x root/root 2549144 2026-01-06 07:06 ./usr/bin/elpi-trace-elaborator drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/elpi/ -rw-r--r-- root/root 1562 2026-01-06 07:06 ./usr/share/doc/elpi/changelog.Debian.gz -rw-r--r-- root/root 14715 2025-01-13 13:52 ./usr/share/doc/elpi/changelog.gz -rw-r--r-- root/root 1174 2025-12-28 03:45 ./usr/share/doc/elpi/copyright drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/man/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/man/man1/ -rw-r--r-- root/root 1020 2026-01-06 07:06 ./usr/share/man/man1/elpi.1.gz libelpi-ocaml-dbgsym_2.0.7-3+ocaml1_amd64.deb --------------------------------------------- new Debian package, version 2.0. size 275640 bytes: control archive=948 bytes. 677 bytes, 12 lines control 938 bytes, 9 lines md5sums Package: libelpi-ocaml-dbgsym Source: elpi Version: 2.0.7-3+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 1008 Depends: libelpi-ocaml (= 2.0.7-3+ocaml1) Section: debug Priority: optional Description: debug symbols for libelpi-ocaml Build-Ids: 098630c9b54fd7be097f584f949d775726e98169 2a8cf323412bc58275fb4fc2cd3a303108ecbc44 4cf4870f2da53307efc5bcf13bfbc4d16b70c3b8 58a94fefa49cf0eb5e7bb645d9d4ede1a968de4d 5f4bd6e9e6c72dbcc47d3034524aeb77a6bbd5eb 5fa99190eecf378c7772c60e5bb629796bf936f4 66bf62be9f1b0e269c3b4ab3c916b73415b4c228 b8e330ba5804a6b63e1f4be7c46278e6ded61207 drwxr-xr-x root/root 0 2026-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/09/ -rw-r--r-- root/root 18872 2026-01-06 07:06 ./usr/lib/debug/.build-id/09/8630c9b54fd7be097f584f949d775726e98169.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/2a/ -rw-r--r-- root/root 208752 2026-01-06 07:06 ./usr/lib/debug/.build-id/2a/8cf323412bc58275fb4fc2cd3a303108ecbc44.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/4c/ -rw-r--r-- root/root 229992 2026-01-06 07:06 ./usr/lib/debug/.build-id/4c/f4870f2da53307efc5bcf13bfbc4d16b70c3b8.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/58/ -rw-r--r-- root/root 337120 2026-01-06 07:06 ./usr/lib/debug/.build-id/58/a94fefa49cf0eb5e7bb645d9d4ede1a968de4d.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/5f/ -rw-r--r-- root/root 40032 2026-01-06 07:06 ./usr/lib/debug/.build-id/5f/4bd6e9e6c72dbcc47d3034524aeb77a6bbd5eb.debug -rw-r--r-- root/root 116408 2026-01-06 07:06 ./usr/lib/debug/.build-id/5f/a99190eecf378c7772c60e5bb629796bf936f4.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/66/ -rw-r--r-- root/root 24072 2026-01-06 07:06 ./usr/lib/debug/.build-id/66/bf62be9f1b0e269c3b4ab3c916b73415b4c228.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/b8/ -rw-r--r-- root/root 33136 2026-01-06 07:06 ./usr/lib/debug/.build-id/b8/e330ba5804a6b63e1f4be7c46278e6ded61207.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 432 2026-01-06 07:06 ./usr/lib/debug/.dwz/x86_64-linux-gnu/libelpi-ocaml.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dbgsym -> libelpi-ocaml libelpi-ocaml-dev-dbgsym_2.0.7-3+ocaml1_amd64.deb ------------------------------------------------- new Debian package, version 2.0. size 1393872 bytes: control archive=536 bytes. 402 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: libelpi-ocaml-dev-dbgsym Source: elpi Version: 2.0.7-3+ocaml1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 5275 Depends: libelpi-ocaml-dev (= 2.0.7-3+ocaml1) Section: debug Priority: optional Description: debug symbols for libelpi-ocaml-dev Build-Ids: 3025a42dd0b29507f74ae78e3bfbceb21142088a drwxr-xr-x root/root 0 2026-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/debug/.build-id/30/ -rw-r--r-- root/root 5390432 2026-01-06 07:06 ./usr/lib/debug/.build-id/30/25a42dd0b29507f74ae78e3bfbceb21142088a.debug drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ lrwxrwxrwx root/root 0 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dev-dbgsym -> libelpi-ocaml-dev libelpi-ocaml-dev_2.0.7-3+ocaml1_amd64.deb ------------------------------------------ new Debian package, version 2.0. size 12985268 bytes: control archive=5304 bytes. 879 bytes, 18 lines control 19923 bytes, 193 lines md5sums Package: libelpi-ocaml-dev Source: elpi Version: 2.0.7-3+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 66471 Depends: libcompiler-libs-ocaml-dev-wpbc6, libelpi-ocaml-z8gg6, libmenhir-ocaml-dev-zqk95, libocaml-compiler-libs-ocaml-dev-zo0o8, libppx-deriving-ocaml-dev-zr775, libppxlib-ocaml-dev-w6xi7, libre-ocaml-dev-f66b5, libsexplib0-ocaml-dev-brq84, libstdlib-ocaml-dev-kjuo1, ocaml-5.4.0, libc6 (>= 2.38) Recommends: ocaml-findlib Provides: libelpi-ocaml-dev-z8gg6 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-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/ -rw-r--r-- root/root 308 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_map.cmi -rw-r--r-- root/root 7793 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_map.cmt -rw-r--r-- root/root 308 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_set.cmi -rw-r--r-- root/root 7517 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_set.cmt -rw-r--r-- root/root 317 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_stdlib.cmi -rw-r--r-- root/root 13813 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/.private/elpi__Builtin_stdlib.cmt -rw-r--r-- root/root 50848 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/API.ml -rw-r--r-- root/root 50204 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/API.mli -rw-r--r-- root/root 45481 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.elpi -rw-r--r-- root/root 48601 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.ml -rw-r--r-- root/root 2812 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin.mli -rw-r--r-- root/root 4158 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_map.ml -rw-r--r-- root/root 3882 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_set.ml -rw-r--r-- root/root 10158 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/builtin_stdlib.ml drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/ -rw-r--r-- root/root 101859 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler.ml -rw-r--r-- root/root 2935 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler.mli -rw-r--r-- root/root 28365 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/compiler_data.ml -rw-r--r-- root/root 10126 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/determinacy_checker.ml -rw-r--r-- root/root 814 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/determinacy_checker.mli -rw-r--r-- root/root 1418830 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.a -rw-r--r-- root/root 616 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmi -rw-r--r-- root/root 4793 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmt -rw-r--r-- root/root 245 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmx -rw-r--r-- root/root 8077 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmxa -rw-r--r-- root/root 420 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.ml -rw-r--r-- root/root 7839 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmi -rw-r--r-- root/root 2677156 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmt -rw-r--r-- root/root 37508 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmti -rw-r--r-- root/root 2954 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler.cmx -rw-r--r-- root/root 57594 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmi -rw-r--r-- root/root 1451195 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmt -rw-r--r-- root/root 1426 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Compiler_data.cmx -rw-r--r-- root/root 4015 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmi -rw-r--r-- root/root 277044 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmt -rw-r--r-- root/root 21827 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmti -rw-r--r-- root/root 1533 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmx -rw-r--r-- root/root 3260 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmi -rw-r--r-- root/root 436354 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmt -rw-r--r-- root/root 15386 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmti -rw-r--r-- root/root 2025 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler__Type_checker.cmx -rw-r--r-- root/root 28644 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/type_checker.ml -rw-r--r-- root/root 1173 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/type_checker.mli -rw-r--r-- root/root 15955 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/dune-package -rw-r--r-- root/root 702632 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.a -rw-r--r-- root/root 538 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmi -rw-r--r-- root/root 4876 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmt -rw-r--r-- root/root 194 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmx -rw-r--r-- root/root 6426 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmxa -rw-r--r-- root/root 372 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.ml -rw-r--r-- root/root 147604 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmi -rw-r--r-- root/root 1222078 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmt -rw-r--r-- root/root 630989 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmti -rw-r--r-- root/root 3000 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__API.cmx -rw-r--r-- root/root 4904 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmi -rw-r--r-- root/root 853316 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmt -rw-r--r-- root/root 45742 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmti -rw-r--r-- root/root 2699 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin.cmx -rw-r--r-- root/root 221 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_map.cmx -rw-r--r-- root/root 221 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_set.cmx -rw-r--r-- root/root 227 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi__Builtin_stdlib.cmx drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/ -rw-r--r-- root/root 47324 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.a -rw-r--r-- root/root 388 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmi -rw-r--r-- root/root 3706 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmt -rw-r--r-- root/root 188 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmx -rw-r--r-- root/root 942 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmxa -rw-r--r-- root/root 214 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.ml -rw-r--r-- root/root 3165 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi -rw-r--r-- root/root 63713 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt -rw-r--r-- root/root 555 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx -rw-r--r-- root/root 5063 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmi -rw-r--r-- root/root 15219 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmt -rw-r--r-- root/root 18762 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmti -rw-r--r-- root/root 250 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmx -rw-r--r-- root/root 4106 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/lexer_config.ml -rw-r--r-- root/root 1315 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/tokens.ml -rw-r--r-- root/root 1342 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/tokens.mli -rw-r--r-- root/root 3581 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/opam drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ -rw-r--r-- root/root 11674 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ast.ml -rw-r--r-- root/root 6137 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ast.mli -rw-r--r-- root/root 3490730 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.a -rw-r--r-- root/root 713 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmi -rw-r--r-- root/root 5593 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmt -rw-r--r-- root/root 261 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmx -rw-r--r-- root/root 8735 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmxa -rw-r--r-- root/root 501 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.ml -rw-r--r-- root/root 51671 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmi -rw-r--r-- root/root 1694543 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmt -rw-r--r-- root/root 236842 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmti -rw-r--r-- root/root 1007 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Ast.cmx -rw-r--r-- root/root 388 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmi -rw-r--r-- root/root 37933 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmt -rw-r--r-- root/root 275 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Error_messages.cmx -rw-r--r-- root/root 2876 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmi -rw-r--r-- root/root 16441944 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmt -rw-r--r-- root/root 12740 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmti -rw-r--r-- root/root 1984 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Grammar.cmx -rw-r--r-- root/root 5647 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmi -rw-r--r-- root/root 297576 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmt -rw-r--r-- root/root 1082 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Lexer.cmx -rw-r--r-- root/root 3403 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmi -rw-r--r-- root/root 65513 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmt -rw-r--r-- root/root 16748 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmti -rw-r--r-- root/root 2468 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parse.cmx -rw-r--r-- root/root 4015 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmi -rw-r--r-- root/root 112195 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmt -rw-r--r-- root/root 1820 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser__Parser_config.cmx -rw-r--r-- root/root 6578 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/error_messages.ml -rw-r--r-- root/root 1824009 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/grammar.ml -rw-r--r-- root/root 669 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/grammar.mli -rw-r--r-- root/root 451173 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/lexer.ml -rw-r--r-- root/root 4481 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parse.ml -rw-r--r-- root/root 1134 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parse.mli -rw-r--r-- root/root 6344 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/parser_config.ml drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ -rw-r--r-- root/root 5717 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/bl.ml -rw-r--r-- root/root 959 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/bl.mli -rw-r--r-- root/root 48859 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/data.ml -rw-r--r-- root/root 16492 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/discrimination_tree.ml -rw-r--r-- root/root 4337 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/discrimination_tree.mli -rw-r--r-- root/root 2467348 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.a -rw-r--r-- root/root 749 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmi -rw-r--r-- root/root 5678 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmt -rw-r--r-- root/root 277 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmx -rw-r--r-- root/root 10004 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmxa -rw-r--r-- root/root 534 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.ml -rw-r--r-- root/root 2523 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmi -rw-r--r-- root/root 174714 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmt -rw-r--r-- root/root 16322 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmti -rw-r--r-- root/root 817 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Bl.cmx -rw-r--r-- root/root 80124 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmi -rw-r--r-- root/root 2168626 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmt -rw-r--r-- root/root 1499 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Data.cmx -rw-r--r-- root/root 6280 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmi -rw-r--r-- root/root 253049 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmt -rw-r--r-- root/root 36731 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmti -rw-r--r-- root/root 1400 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmx -rw-r--r-- root/root 3335 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmi -rw-r--r-- root/root 100651 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmt -rw-r--r-- root/root 19579 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmti -rw-r--r-- root/root 980 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Ptmap.cmx -rw-r--r-- root/root 8704 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmi -rw-r--r-- root/root 3877144 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmt -rw-r--r-- root/root 40769 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmti -rw-r--r-- root/root 2647 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime.cmx -rw-r--r-- root/root 8735 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi -rw-r--r-- root/root 3035402 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt -rw-r--r-- root/root 40843 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti -rw-r--r-- root/root 2546 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx -rw-r--r-- root/root 6947 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ptmap.ml -rw-r--r-- root/root 2806 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ptmap.mli -rw-r--r-- root/root 179482 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime.ml -rw-r--r-- root/root 3083 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime.mli -rw-r--r-- root/root 179482 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime_trace_off.ml -rw-r--r-- root/root 3083 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/runtime_trace_off.mli -rw-r--r-- root/root 4835 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace.atd drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/ -rwxr-xr-x root/root 17181320 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/ppx.exe -rw-r--r-- root/root 107734 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.a -rw-r--r-- root/root 9738 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmi -rw-r--r-- root/root 405882 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmt -rw-r--r-- root/root 4409 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmx -rw-r--r-- root/root 4416 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmxa -rw-r--r-- root/root 13668 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.ml drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/ -rw-r--r-- root/root 16367 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/runtime.ml -rw-r--r-- root/root 1150 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/runtime.mli -rw-r--r-- root/root 122092 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.a -rw-r--r-- root/root 275 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmi -rw-r--r-- root/root 3136 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmt -rw-r--r-- root/root 154 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmx -rw-r--r-- root/root 2013 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmxa -rw-r--r-- root/root 113 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.ml -rw-r--r-- root/root 2803 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi -rw-r--r-- root/root 295384 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt -rw-r--r-- root/root 13454 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti -rw-r--r-- root/root 1880 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx -rw-r--r-- root/root 38491 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace_atd.ts drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/ -rw-r--r-- root/root 190690 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.a -rw-r--r-- root/root 218 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmi -rw-r--r-- root/root 2980 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmt -rw-r--r-- root/root 127 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmx -rw-r--r-- root/root 2347 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmxa -rw-r--r-- root/root 88 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.ml -rw-r--r-- root/root 123760 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmi -rw-r--r-- root/root 658724 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmt -rw-r--r-- root/root 369949 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmti -rw-r--r-- root/root 2241 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util__Util.cmx -rw-r--r-- root/root 21644 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/util.ml -rw-r--r-- root/root 9306 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/util.mli drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dev/ -rw-r--r-- root/root 3316 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dev/README.md.gz -rw-r--r-- root/root 1562 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 14715 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml-dev/changelog.gz -rw-r--r-- root/root 1174 2025-12-28 03:45 ./usr/share/doc/libelpi-ocaml-dev/copyright drwxr-xr-x root/root 0 2026-01-06 07:06 ./var/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./var/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 2971 2026-01-06 07:06 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi -rw-r--r-- root/root 1280 2026-01-06 07:06 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.info drwxr-xr-x root/root 0 2026-01-06 07:06 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 7022 2026-01-06 07:06 ./var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums libelpi-ocaml_2.0.7-3+ocaml1_amd64.deb -------------------------------------- new Debian package, version 2.0. size 3590536 bytes: control archive=1268 bytes. 683 bytes, 18 lines control 1930 bytes, 20 lines md5sums Package: libelpi-ocaml Source: elpi Version: 2.0.7-3+ocaml1 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 15774 Depends: libppx-deriving-ocaml-zr775, libsexplib0-ocaml-brq84, libstdlib-ocaml-kjuo1, ocaml-base-5.4.0 Recommends: ocaml-findlib Provides: libelpi-ocaml-z8gg6 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-01-06 07:06 ./ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/ -rw-r--r-- root/root 2971 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/META drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/ -rw-r--r-- root/root 1601680 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cma -rw-r--r-- root/root 891224 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/compiler/elpi_compiler.cmxs -rw-r--r-- root/root 758551 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cma -rw-r--r-- root/root 470080 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/elpi.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/ -rw-r--r-- root/root 31174 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cma -rw-r--r-- root/root 36480 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/lexer_config/elpi_lexer_config.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/ -rw-r--r-- root/root 5059608 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cma -rw-r--r-- root/root 1906096 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/parser/elpi_parser.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/ -rw-r--r-- root/root 2982320 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cma -rw-r--r-- root/root 1518664 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/runtime/elpi_runtime.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/ -rw-r--r-- root/root 133943 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cma -rw-r--r-- root/root 96296 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/ppx/trace_ppx.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/ -rw-r--r-- root/root 111509 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cma -rw-r--r-- root/root 91800 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/trace/runtime/trace_ppx_runtime.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/ -rw-r--r-- root/root 274776 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cma -rw-r--r-- root/root 136240 2026-01-06 07:06 ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/elpi/util/elpi_util.cmxs drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml/ -rw-r--r-- root/root 1562 2026-01-06 07:06 ./usr/share/doc/libelpi-ocaml/changelog.Debian.gz -rw-r--r-- root/root 14715 2025-01-13 13:52 ./usr/share/doc/libelpi-ocaml/changelog.gz -rw-r--r-- root/root 1174 2025-12-28 03:45 ./usr/share/doc/libelpi-ocaml/copyright +------------------------------------------------------------------------------+ | Post Build Tue, 06 Jan 2026 07:09:54 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Tue, 06 Jan 2026 07:09:54 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Tue, 06 Jan 2026 07:09:54 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 733448 Build-Time: 133 Distribution: unstable Host Architecture: amd64 Install-Time: 42 Job: /tmp/tmp.ben.transition-scripts.2DF711LYRf/elpi_2.0.7-3+ocaml1.dsc Machine Architecture: amd64 Package: elpi Package-Time: 189 Source-Version: 2.0.7-3+ocaml1 Space: 733448 Status: successful Version: 2.0.7-3+ocaml1 -------------------------------------------------------------------------------- Finished at 2026-01-06T07:09:50Z Build needed 00:03:09, 733448k disk space