sbuild (Debian sbuild) 0.88.5 (01 March 2025) on derowd.up7.fr +==============================================================================+ | elpi 2.0.7-1+ocaml20250313 (amd64) Thu, 13 Mar 2025 09:47:03 +0000 | +==============================================================================+ Package: elpi Version: 2.0.7-1+ocaml20250313 Source Version: 2.0.7-1+ocaml20250313 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: full I: No tarballs found in /home/steph/.cache/sbuild I: Unpacking /home/steph/ocaml-backports/20250313/ben/rootfs.tar.zst to /var/tmp/tmp.sbuild.v8VLQglxEm... I: Setting up the chroot... I: Creating chroot session... I: Setting up log color... I: Setting up apt archive... +------------------------------------------------------------------------------+ | Update chroot Thu, 13 Mar 2025 09:47:08 +0000 | +------------------------------------------------------------------------------+ Get:1 file:/rebuilt ./ InRelease Ign:1 file:/rebuilt ./ InRelease Get:2 file:/rebuilt ./ Release [1360 B] Get:2 file:/rebuilt ./ Release [1360 B] Get:3 file:/rebuilt ./ Release.gpg Ign:3 file:/rebuilt ./ Release.gpg Get:4 file:/rebuilt ./ Packages [1033 kB] Get:5 http://localhost:9999/debian bookworm InRelease [151 kB] Get:6 http://localhost:9999/debian bookworm/non-free-firmware amd64 Packages [6240 B] Get:7 http://localhost:9999/debian bookworm/non-free amd64 Packages [97.3 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 Packages [8792 kB] Get:9 http://localhost:9999/debian bookworm/contrib amd64 Packages [54.1 kB] Fetched 9101 kB in 1s (8082 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 Thu, 13 Mar 2025 09:47:10 +0000 | +------------------------------------------------------------------------------+ Local sources ------------- /tmp/tmp.ben.transition-scripts.ZUEUxRnQQG/elpi_2.0.7-1+ocaml20250313.dsc exists in /tmp/tmp.ben.transition-scripts.ZUEUxRnQQG; copying to chroot +------------------------------------------------------------------------------+ | Install package build dependencies Thu, 13 Mar 2025 09:47:11 +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, 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, 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-BVwXyl/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Release [609 B] Ign:3 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Sources [974 B] Get:5 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Packages [981 B] Fetched 2564 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 gettext gettext-base git git-man gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20220623 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif15 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl3-gnutls libdatrie1 libdav1d6 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1 liberror-perl libev-dev libev4 libexpat1 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfontconfig1 libfpath-ocaml libfpath-ocaml-dev libfreetype6 libfribidi0 libgav1-1 libgd3 libgen-ocaml libgen-ocaml-dev libglib2.0-0 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libharfbuzz0b libheif1 libicu72 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev libldap-2.5-0 liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnuma1 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 libpng16-16 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpsl5 librav1e0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8 librresult-ocaml librresult-ocaml-dev librtmp1 libsasl2-2 libsasl2-modules-db libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libssh2-1 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libsvtav1enc1 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libuutf-ocaml libuutf-ocaml-dev libwebp7 libx11-6 libx11-data libx265-199 libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2 libxpm4 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 po-debconf readline-common sensible-utils time yojson-tools Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc libasprintf-dev libgettextpo-dev git-daemon-run | git-daemon-sysvinit git-doc git-email git-gui gitk gitweb git-cvs git-mediawiki git-svn gnuplot-doc groff libgd-tools low-memory-monitor liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libuutf-ocaml-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 libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libldap-common liblwt-ocaml-doc libgpm2 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 gettext gettext-base git git-man gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20220623 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif15 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libconfig-tiny-perl libcurl3-gnutls libdatrie1 libdav1d6 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1 liberror-perl libev-dev libev4 libexpat1 libfile-stripnondeterminism-perl libfileutils-ocaml-dev libfindlib-ocaml libfindlib-ocaml-dev libfmt-ocaml libfmt-ocaml-dev libfontconfig1 libfpath-ocaml libfpath-ocaml-dev libfreetype6 libfribidi0 libgav1-1 libgd3 libgen-ocaml libgen-ocaml-dev libglib2.0-0 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libharfbuzz0b libheif1 libicu72 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev libldap-2.5-0 liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 libnghttp2-14 libnuma1 libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml libocplib-endian-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 libpng16-16 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpsl5 librav1e0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8 librresult-ocaml librresult-ocaml-dev librtmp1 libsasl2-2 libsasl2-modules-db libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libssh2-1 libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libsvtav1enc1 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libuutf-ocaml libuutf-ocaml-dev libwebp7 libx11-6 libx11-data libx265-199 libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2 libxpm4 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 po-debconf readline-common sbuild-build-depends-main-dummy sensible-utils time yojson-tools 0 upgraded, 181 newly installed, 0 to remove and 0 not upgraded. Need to get 50.9 MB/236 MB of archives. After this operation, 774 MB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [1004 B] Get:2 file:/rebuilt ./ atdts 2.16.0-2+ocaml20250313 [738 kB] Get:3 file:/rebuilt ./ libstdlib-ocaml 5.3.0-2+ocaml20250313 [602 kB] Get:4 http://localhost:9999/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get:5 http://localhost:9999/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get:6 http://localhost:9999/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get:7 http://localhost:9999/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get:8 http://localhost:9999/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get:9 http://localhost:9999/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get:10 http://localhost:9999/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:11 http://localhost:9999/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get:12 file:/rebuilt ./ libstdlib-ocaml-dev 5.3.0-2+ocaml20250313 [7886 kB] Get:13 http://localhost:9999/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+deb12u3 [87.0 kB] Get:14 http://localhost:9999/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get:15 http://localhost:9999/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get:16 http://localhost:9999/debian bookworm/main amd64 aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get:17 http://localhost:9999/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:18 http://localhost:9999/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get:19 http://localhost:9999/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:20 http://localhost:9999/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:21 http://localhost:9999/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get:22 http://localhost:9999/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:23 http://localhost:9999/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:24 http://localhost:9999/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:25 http://localhost:9999/debian bookworm/main amd64 libzstd-dev amd64 1.5.4+dfsg2-5 [354 kB] Get:26 http://localhost:9999/debian bookworm/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:27 http://localhost:9999/debian bookworm/main amd64 libbsd0 amd64 0.11.7-2 [117 kB] Get:28 http://localhost:9999/debian bookworm/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:29 http://localhost:9999/debian bookworm/main amd64 libxcb1 amd64 1.15-1 [144 kB] Get:30 http://localhost:9999/debian bookworm/main amd64 libx11-data all 2:1.8.4-2+deb12u2 [292 kB] Get:31 http://localhost:9999/debian bookworm/main amd64 libx11-6 amd64 2:1.8.4-2+deb12u2 [760 kB] Get:32 http://localhost:9999/debian bookworm/main amd64 libev4 amd64 1:4.33-1 [43.2 kB] Get:33 http://localhost:9999/debian bookworm/main amd64 libev-dev amd64 1:4.33-1 [137 kB] Get:34 http://localhost:9999/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get:35 http://localhost:9999/debian bookworm/main amd64 libtool all 2.4.7-7~deb12u1 [517 kB] Get:36 http://localhost:9999/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get:37 http://localhost:9999/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:38 http://localhost:9999/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get:39 http://localhost:9999/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get:40 http://localhost:9999/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get:41 http://localhost:9999/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get:42 http://localhost:9999/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get:43 http://localhost:9999/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get:44 http://localhost:9999/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB] Get:45 http://localhost:9999/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get:46 http://localhost:9999/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:47 http://localhost:9999/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:48 http://localhost:9999/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get:49 http://localhost:9999/debian bookworm/main amd64 libconfig-tiny-perl all 2.28-2 [16.4 kB] Get:50 http://localhost:9999/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB] Get:51 http://localhost:9999/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b6 [275 kB] Get:52 http://localhost:9999/debian bookworm/main amd64 libpng16-16 amd64 1.6.39-2 [276 kB] Get:53 http://localhost:9999/debian bookworm/main amd64 libfreetype6 amd64 2.12.1+dfsg-5+deb12u3 [398 kB] Get:54 http://localhost:9999/debian bookworm/main amd64 fonts-dejavu-core all 2.37-6 [1068 kB] Get:55 http://localhost:9999/debian bookworm/main amd64 fontconfig-config amd64 2.14.1-4 [315 kB] Get:56 http://localhost:9999/debian bookworm/main amd64 libfontconfig1 amd64 2.14.1-4 [386 kB] Get:57 http://localhost:9999/debian bookworm/main amd64 fontconfig amd64 2.14.1-4 [449 kB] Get:58 http://localhost:9999/debian bookworm/main amd64 libsasl2-modules-db amd64 2.1.28+dfsg-10 [20.3 kB] Get:59 http://localhost:9999/debian bookworm/main amd64 libsasl2-2 amd64 2.1.28+dfsg-10 [59.7 kB] Get:60 http://localhost:9999/debian bookworm/main amd64 libldap-2.5-0 amd64 2.5.13+dfsg-5 [183 kB] Get:61 http://localhost:9999/debian bookworm/main amd64 libnghttp2-14 amd64 1.52.0-1+deb12u2 [73.0 kB] Get:62 http://localhost:9999/debian bookworm/main amd64 libpsl5 amd64 0.21.2-1 [58.7 kB] Get:63 http://localhost:9999/debian bookworm/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-2+b2 [60.8 kB] Get:64 http://localhost:9999/debian bookworm/main amd64 libssh2-1 amd64 1.10.0-3+b1 [179 kB] Get:65 http://localhost:9999/debian bookworm/main amd64 libcurl3-gnutls amd64 7.88.1-10+deb12u8 [385 kB] Get:66 http://localhost:9999/debian bookworm/main amd64 liberror-perl all 0.17029-2 [29.0 kB] Get:67 http://localhost:9999/debian bookworm/main amd64 git-man all 1:2.39.5-0+deb12u1 [2054 kB] Get:68 file:/rebuilt ./ libcompiler-libs-ocaml-dev 5.3.0-2+ocaml20250313 [48.2 MB] Get:69 file:/rebuilt ./ ocaml-compiler-libs 5.3.0-2+ocaml20250313 [210 kB] Get:70 file:/rebuilt ./ ocaml-base 5.3.0-2+ocaml20250313 [493 kB] Get:71 file:/rebuilt ./ libastring-ocaml 0.8.5-2+ocaml20250313 [191 kB] Get:72 http://localhost:9999/debian bookworm/main amd64 git amd64 1:2.39.5-0+deb12u1 [7256 kB] Get:73 file:/rebuilt ./ ocaml-interp 5.3.0-2+ocaml20250313 [7106 kB] Get:74 http://localhost:9999/debian bookworm/main amd64 gnuplot-data all 5.4.4+dfsg1-2 [72.1 kB] Get:75 http://localhost:9999/debian bookworm/main amd64 libpixman-1-0 amd64 0.42.2-1 [546 kB] Get:76 http://localhost:9999/debian bookworm/main amd64 libxcb-render0 amd64 1.15-1 [115 kB] Get:77 http://localhost:9999/debian bookworm/main amd64 libxcb-shm0 amd64 1.15-1 [105 kB] Get:78 http://localhost:9999/debian bookworm/main amd64 libxext6 amd64 2:1.3.4-1+b1 [52.9 kB] Get:79 http://localhost:9999/debian bookworm/main amd64 libxrender1 amd64 1:0.9.10-1.1 [33.2 kB] Get:80 http://localhost:9999/debian bookworm/main amd64 libcairo2 amd64 1.16.0-7 [575 kB] Get:81 http://localhost:9999/debian bookworm/main amd64 libedit2 amd64 3.1-20221030-2 [93.0 kB] Get:82 http://localhost:9999/debian bookworm/main amd64 libaom3 amd64 3.6.0-1+deb12u1 [1851 kB] Get:83 file:/rebuilt ./ ocaml 5.3.0-2+ocaml20250313 [18.0 MB] Get:84 file:/rebuilt ./ libastring-ocaml-dev 0.8.5-2+ocaml20250313 [165 kB] Get:85 file:/rebuilt ./ libfmt-ocaml 0.9.0-3+ocaml20250313 [132 kB] Get:86 file:/rebuilt ./ libfpath-ocaml 0.7.3-3+ocaml20250313 [96.7 kB] Get:87 file:/rebuilt ./ libfindlib-ocaml 1.9.8-1+ocaml20250313 [214 kB] Get:88 file:/rebuilt ./ libgen-ocaml 1.1-1+ocaml20250313 [227 kB] Get:89 file:/rebuilt ./ libgraphics-ocaml 5.1.2-3+ocaml20250313 [51.0 kB] Get:90 file:/rebuilt ./ libocplib-endian-ocaml 1.2-4+ocaml20250313 [97.1 kB] Get:91 file:/rebuilt ./ libreact-ocaml 1.2.2-1+ocaml20250313 [198 kB] Get:92 file:/rebuilt ./ libsexplib0-ocaml 0.17.0-1+ocaml20250313 [129 kB] Get:93 file:/rebuilt ./ liblwt-ocaml 5.9.0-1+ocaml20250313 [979 kB] Get:94 file:/rebuilt ./ liblwt-log-ocaml 1.1.2-4+ocaml20250313 [89.1 kB] Get:95 file:/rebuilt ./ libreactivedata-ocaml 0.3-4+ocaml20250313 [89.2 kB] Get:96 file:/rebuilt ./ libsedlex-ocaml 3.3-2+ocaml20250313 [268 kB] Get:97 file:/rebuilt ./ libuutf-ocaml 1.0.3-3+ocaml20250313 [76.8 kB] Get:98 file:/rebuilt ./ libtyxml-ocaml 4.6.0-1+ocaml20250313 [509 kB] Get:99 file:/rebuilt ./ libyojson-ocaml 2.2.2-1+ocaml20250313 [526 kB] Get:100 file:/rebuilt ./ libjs-of-ocaml 5.9.1-1+ocaml20250313 [6722 kB] Get:101 file:/rebuilt ./ liblogs-ocaml 0.7.0-3+ocaml20250313 [87.3 kB] Get:102 file:/rebuilt ./ librresult-ocaml 0.7.0-2+ocaml20250313 [28.9 kB] Get:103 file:/rebuilt ./ libbos-ocaml 0.2.1-2+ocaml20250313 [316 kB] Get:104 file:/rebuilt ./ libcmdliner-ocaml-dev 1.3.0-2+ocaml20250313 [543 kB] Get:105 file:/rebuilt ./ libfmt-ocaml-dev 0.9.0-3+ocaml20250313 [127 kB] Get:106 file:/rebuilt ./ libfpath-ocaml-dev 0.7.3-3+ocaml20250313 [93.9 kB] Get:107 file:/rebuilt ./ libfindlib-ocaml-dev 1.9.8-1+ocaml20250313 [179 kB] Get:108 file:/rebuilt ./ libgen-ocaml-dev 1.1-1+ocaml20250313 [588 kB] Get:109 file:/rebuilt ./ libgraphics-ocaml-dev 5.1.2-3+ocaml20250313 [123 kB] Get:110 file:/rebuilt ./ libocaml-compiler-libs-ocaml-dev 0.17.0-1+ocaml20250313 [171 kB] Get:111 file:/rebuilt ./ libocplib-endian-ocaml-dev 1.2-4+ocaml20250313 [264 kB] Get:112 file:/rebuilt ./ libppx-derivers-ocaml-dev 1.2.1-4+ocaml20250313 [19.8 kB] Get:113 file:/rebuilt ./ libsexplib0-ocaml-dev 0.17.0-1+ocaml20250313 [354 kB] Get:114 file:/rebuilt ./ libppxlib-ocaml-dev 0.35.0-1+ocaml20250313 [22.0 MB] Get:115 file:/rebuilt ./ libreact-ocaml-dev 1.2.2-1+ocaml20250313 [165 kB] Get:116 http://localhost:9999/debian bookworm/main amd64 libdav1d6 amd64 1.0.0-2+deb12u1 [513 kB] Get:117 file:/rebuilt ./ liblwt-ocaml-dev 5.9.0-1+ocaml20250313 [6491 kB] Get:118 file:/rebuilt ./ liblwt-log-ocaml-dev 1.1.2-4+ocaml20250313 [251 kB] Get:119 file:/rebuilt ./ libmenhir-ocaml-dev 20240715+ds-1+ocaml20250313 [887 kB] Get:120 file:/rebuilt ./ libreactivedata-ocaml-dev 0.3-4+ocaml20250313 [216 kB] Get:121 http://localhost:9999/debian bookworm/main amd64 libabsl20220623 amd64 20220623.1-1 [391 kB] Get:122 file:/rebuilt ./ libsedlex-ocaml-dev 3.3-2+ocaml20250313 [4620 kB] Get:123 file:/rebuilt ./ libre-ocaml-dev 1.12.0+really1.11.0-1+ocaml20250313 [1287 kB] Get:124 http://localhost:9999/debian bookworm/main amd64 libgav1-1 amd64 0.18.0-1+b1 [332 kB] Get:125 file:/rebuilt ./ libuutf-ocaml-dev 1.0.3-3+ocaml20250313 [601 kB] Get:126 file:/rebuilt ./ libtyxml-ocaml-dev 4.6.0-1+ocaml20250313 [2499 kB] Get:127 file:/rebuilt ./ libyojson-ocaml-dev 2.2.2-1+ocaml20250313 [1529 kB] Get:128 http://localhost:9999/debian bookworm/main amd64 librav1e0 amd64 0.5.1-6 [763 kB] Get:129 http://localhost:9999/debian bookworm/main amd64 libsvtav1enc1 amd64 1.4.1+dfsg-1 [2121 kB] Get:130 file:/rebuilt ./ libjs-of-ocaml-dev 5.9.1-1+ocaml20250313 [26.4 MB] Get:131 file:/rebuilt ./ liblogs-ocaml-dev 0.7.0-3+ocaml20250313 [105 kB] Get:132 file:/rebuilt ./ librresult-ocaml-dev 0.7.0-2+ocaml20250313 [40.2 kB] Get:133 file:/rebuilt ./ libbos-ocaml-dev 0.2.1-2+ocaml20250313 [300 kB] Get:134 file:/rebuilt ./ libcamlp-streams-ocaml 5.0.1-3+ocaml20250313 [43.7 kB] Get:135 file:/rebuilt ./ libcamlp-streams-ocaml-dev 5.0.1-3+ocaml20250313 [125 kB] Get:136 http://localhost:9999/debian bookworm/main amd64 libjpeg62-turbo amd64 1:2.1.5-2 [166 kB] Get:137 http://localhost:9999/debian bookworm/main amd64 libyuv0 amd64 0.0~git20230123.b2528b0-1 [168 kB] Get:138 http://localhost:9999/debian bookworm/main amd64 libavif15 amd64 0.11.1-1 [93.8 kB] Get:139 http://localhost:9999/debian bookworm/main amd64 libde265-0 amd64 1.0.11-1+deb12u2 [185 kB] Get:140 http://localhost:9999/debian bookworm/main amd64 libnuma1 amd64 2.0.16-1 [21.0 kB] Get:141 http://localhost:9999/debian bookworm/main amd64 libx265-199 amd64 3.5-2+b1 [1150 kB] Get:142 file:/rebuilt ./ camlp5 8.03.01-1+ocaml20250313 [4334 kB] Get:143 file:/rebuilt ./ dh-ocaml 2.4+ocaml20250313 [68.7 kB] Get:144 file:/rebuilt ./ libansi-terminal-ocaml 0.8.5-5+ocaml20250313 [29.4 kB] Get:145 file:/rebuilt ./ libansi-terminal-ocaml-dev 0.8.5-5+ocaml20250313 [81.4 kB] Get:146 file:/rebuilt ./ libeasy-format-ocaml 1.3.4-3+ocaml20250313 [48.1 kB] Get:147 file:/rebuilt ./ libbiniou-ocaml 1.2.2-4+ocaml20250313 [136 kB] Get:148 file:/rebuilt ./ libatdgen-ocaml 2.16.0-2+ocaml20250313 [146 kB] Get:149 file:/rebuilt ./ libeasy-format-ocaml-dev 1.3.4-3+ocaml20250313 [126 kB] Get:150 http://localhost:9999/debian bookworm/main amd64 libheif1 amd64 1.15.1-1+deb12u1 [215 kB] Get:151 file:/rebuilt ./ libbiniou-ocaml-dev 1.2.2-4+ocaml20250313 [801 kB] Get:152 http://localhost:9999/debian bookworm/main amd64 libdeflate0 amd64 1.14-1 [61.4 kB] Get:153 http://localhost:9999/debian bookworm/main amd64 libjbig0 amd64 2.1-6.1 [31.7 kB] Get:154 http://localhost:9999/debian bookworm/main amd64 liblerc4 amd64 4.0.0+ds-2 [170 kB] Get:155 http://localhost:9999/debian bookworm/main amd64 libwebp7 amd64 1.2.4-0.2+deb12u1 [286 kB] Get:156 http://localhost:9999/debian bookworm/main amd64 libtiff6 amd64 4.5.0-6+deb12u2 [316 kB] Get:157 file:/rebuilt ./ libatdgen-ocaml-dev 2.16.0-2+ocaml20250313 [1608 kB] Get:158 http://localhost:9999/debian bookworm/main amd64 libxpm4 amd64 1:3.5.12-1.1+deb12u1 [48.6 kB] Get:159 http://localhost:9999/debian bookworm/main amd64 libgd3 amd64 2.3.3-9 [124 kB] Get:160 file:/rebuilt ./ libfileutils-ocaml-dev 0.6.6-1+ocaml20250313 [872 kB] Get:161 http://localhost:9999/debian bookworm/main amd64 libglib2.0-0 amd64 2.74.6-2+deb12u5 [1403 kB] Get:162 http://localhost:9999/debian bookworm/main amd64 liblua5.4-0 amd64 5.4.4-3+deb12u1 [137 kB] Get:163 http://localhost:9999/debian bookworm/main amd64 libfribidi0 amd64 1.0.8-2.1 [65.0 kB] Get:164 http://localhost:9999/debian bookworm/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get:165 http://localhost:9999/debian bookworm/main amd64 libharfbuzz0b amd64 6.0.0+dfsg-3 [1945 kB] Get:166 file:/rebuilt ./ libppx-deriving-ocaml 6.0.3-1+ocaml20250313 [4151 kB] Get:167 http://localhost:9999/debian bookworm/main amd64 libthai-data all 0.1.29-1 [176 kB] Get:168 http://localhost:9999/debian bookworm/main amd64 libdatrie1 amd64 0.2.13-2+b1 [43.3 kB] Get:169 file:/rebuilt ./ ocaml-findlib 1.9.8-1+ocaml20250313 [583 kB] Get:170 http://localhost:9999/debian bookworm/main amd64 libthai0 amd64 0.1.29-1 [57.5 kB] Get:171 http://localhost:9999/debian bookworm/main amd64 libpango-1.0-0 amd64 1.50.12+ds-1 [212 kB] Get:172 http://localhost:9999/debian bookworm/main amd64 libpangoft2-1.0-0 amd64 1.50.12+ds-1 [47.4 kB] Get:173 http://localhost:9999/debian bookworm/main amd64 libpangocairo-1.0-0 amd64 1.50.12+ds-1 [34.2 kB] Get:174 http://localhost:9999/debian bookworm/main amd64 gnuplot-nox amd64 5.4.4+dfsg1-2+b2 [848 kB] Get:175 file:/rebuilt ./ libppx-deriving-ocaml-dev 6.0.3-1+ocaml20250313 [1055 kB] Get:176 http://localhost:9999/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get:177 http://localhost:9999/debian bookworm/main amd64 lua5.1 amd64 5.1.5-9 [106 kB] Get:178 http://localhost:9999/debian bookworm/main amd64 time amd64 1.9-0.2 [50.8 kB] Get:179 file:/rebuilt ./ menhir 20240715+ds-1+ocaml20250313 [1387 kB] Get:180 file:/rebuilt ./ ocaml-dune 3.17.2-1+ocaml20250313 [4837 kB] Get:181 file:/rebuilt ./ yojson-tools 2.2.2-1+ocaml20250313 [414 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 50.9 MB in 1s (45.6 MB/s) Selecting previously unselected package readline-common. (Reading database ... 10779 files and directories currently installed.) Preparing to unpack .../000-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../003-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../006-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../008-bsdextrautils_2.38.1-5+deb12u3_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+deb12u3) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../009-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package aglfn. Preparing to unpack .../011-aglfn_1.7+git20191031.4036a9c-2_all.deb ... Unpacking aglfn (1.7+git20191031.4036a9c-2) ... Selecting previously unselected package atdts. Preparing to unpack .../012-atdts_2.16.0-2+ocaml20250313_amd64.deb ... Unpacking atdts (2.16.0-2+ocaml20250313) ... Selecting previously unselected package m4. Preparing to unpack .../013-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../014-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../015-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../016-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../017-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../018-libstdlib-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../019-libstdlib-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../020-libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../021-ocaml-compiler-libs_5.3.0-2+ocaml20250313_all.deb ... Unpacking ocaml-compiler-libs (5.3.0-2+ocaml20250313) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../022-ocaml-base_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-base (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../023-libastring-ocaml_0.8.5-2+ocaml20250313_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+ocaml20250313) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../024-ocaml-interp_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml-interp (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../025-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../026-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../027-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../028-libzstd-dev_1.5.4+dfsg2-5_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Selecting previously unselected package ocaml. Preparing to unpack .../029-ocaml_5.3.0-2+ocaml20250313_amd64.deb ... Unpacking ocaml (5.3.0-2+ocaml20250313) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../030-libastring-ocaml-dev_0.8.5-2+ocaml20250313_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+ocaml20250313) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../031-libfmt-ocaml_0.9.0-3+ocaml20250313_amd64.deb ... Unpacking libfmt-ocaml (0.9.0-3+ocaml20250313) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../032-libfpath-ocaml_0.7.3-3+ocaml20250313_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../033-libfindlib-ocaml_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../034-libgen-ocaml_1.1-1+ocaml20250313_amd64.deb ... Unpacking libgen-ocaml (1.1-1+ocaml20250313) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../035-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../036-libbsd0_0.11.7-2_amd64.deb ... Unpacking libbsd0:amd64 (0.11.7-2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../037-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../038-libxcb1_1.15-1_amd64.deb ... Unpacking libxcb1:amd64 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../039-libx11-data_2%3a1.8.4-2+deb12u2_all.deb ... Unpacking libx11-data (2:1.8.4-2+deb12u2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../040-libx11-6_2%3a1.8.4-2+deb12u2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.4-2+deb12u2) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../041-libgraphics-ocaml_5.1.2-3+ocaml20250313_amd64.deb ... Unpacking libgraphics-ocaml (5.1.2-3+ocaml20250313) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../042-libocplib-endian-ocaml_1.2-4+ocaml20250313_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4+ocaml20250313) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../043-libreact-ocaml_1.2.2-1+ocaml20250313_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+ocaml20250313) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../044-libsexplib0-ocaml_0.17.0-1+ocaml20250313_amd64.deb ... Unpacking libsexplib0-ocaml (0.17.0-1+ocaml20250313) ... Selecting previously unselected package libev4:amd64. Preparing to unpack .../045-libev4_1%3a4.33-1_amd64.deb ... Unpacking libev4:amd64 (1:4.33-1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../046-liblwt-ocaml_5.9.0-1+ocaml20250313_amd64.deb ... Unpacking liblwt-ocaml (5.9.0-1+ocaml20250313) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../047-liblwt-log-ocaml_1.1.2-4+ocaml20250313_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+ocaml20250313) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../048-libreactivedata-ocaml_0.3-4+ocaml20250313_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+ocaml20250313) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../049-libsedlex-ocaml_3.3-2+ocaml20250313_amd64.deb ... Unpacking libsedlex-ocaml (3.3-2+ocaml20250313) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../050-libuutf-ocaml_1.0.3-3+ocaml20250313_amd64.deb ... Unpacking libuutf-ocaml (1.0.3-3+ocaml20250313) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../051-libtyxml-ocaml_4.6.0-1+ocaml20250313_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1+ocaml20250313) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../052-libyojson-ocaml_2.2.2-1+ocaml20250313_amd64.deb ... Unpacking libyojson-ocaml (2.2.2-1+ocaml20250313) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../053-libjs-of-ocaml_5.9.1-1+ocaml20250313_amd64.deb ... Unpacking libjs-of-ocaml (5.9.1-1+ocaml20250313) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../054-liblogs-ocaml_0.7.0-3+ocaml20250313_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+ocaml20250313) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../055-librresult-ocaml_0.7.0-2+ocaml20250313_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+ocaml20250313) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../056-libbos-ocaml_0.2.1-2+ocaml20250313_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+ocaml20250313) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../057-libcmdliner-ocaml-dev_1.3.0-2+ocaml20250313_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-2+ocaml20250313) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../058-libfmt-ocaml-dev_0.9.0-3+ocaml20250313_amd64.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+ocaml20250313) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../059-libfpath-ocaml-dev_0.7.3-3+ocaml20250313_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+ocaml20250313) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../060-libfindlib-ocaml-dev_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../061-libgen-ocaml-dev_1.1-1+ocaml20250313_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+ocaml20250313) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../062-libgraphics-ocaml-dev_5.1.2-3+ocaml20250313_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+ocaml20250313) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../063-libev-dev_1%3a4.33-1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../064-libocaml-compiler-libs-ocaml-dev_0.17.0-1+ocaml20250313_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml20250313) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../065-libocplib-endian-ocaml-dev_1.2-4+ocaml20250313_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4+ocaml20250313) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../066-libppx-derivers-ocaml-dev_1.2.1-4+ocaml20250313_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+ocaml20250313) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../067-libsexplib0-ocaml-dev_0.17.0-1+ocaml20250313_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.17.0-1+ocaml20250313) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../068-libppxlib-ocaml-dev_0.35.0-1+ocaml20250313_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.35.0-1+ocaml20250313) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../069-libreact-ocaml-dev_1.2.2-1+ocaml20250313_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+ocaml20250313) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../070-liblwt-ocaml-dev_5.9.0-1+ocaml20250313_amd64.deb ... Unpacking liblwt-ocaml-dev (5.9.0-1+ocaml20250313) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../071-liblwt-log-ocaml-dev_1.1.2-4+ocaml20250313_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+ocaml20250313) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../072-libmenhir-ocaml-dev_20240715+ds-1+ocaml20250313_amd64.deb ... Unpacking libmenhir-ocaml-dev (20240715+ds-1+ocaml20250313) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../073-libreactivedata-ocaml-dev_0.3-4+ocaml20250313_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+ocaml20250313) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../074-libsedlex-ocaml-dev_3.3-2+ocaml20250313_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.3-2+ocaml20250313) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../075-libre-ocaml-dev_1.12.0+really1.11.0-1+ocaml20250313_amd64.deb ... Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1+ocaml20250313) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../076-libuutf-ocaml-dev_1.0.3-3+ocaml20250313_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.3-3+ocaml20250313) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../077-libtyxml-ocaml-dev_4.6.0-1+ocaml20250313_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1+ocaml20250313) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../078-libyojson-ocaml-dev_2.2.2-1+ocaml20250313_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.2-1+ocaml20250313) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../079-libjs-of-ocaml-dev_5.9.1-1+ocaml20250313_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.9.1-1+ocaml20250313) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../080-liblogs-ocaml-dev_0.7.0-3+ocaml20250313_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+ocaml20250313) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../081-librresult-ocaml-dev_0.7.0-2+ocaml20250313_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+ocaml20250313) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../082-libbos-ocaml-dev_0.2.1-2+ocaml20250313_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+ocaml20250313) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../083-libcamlp-streams-ocaml_5.0.1-3+ocaml20250313_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+ocaml20250313) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../084-libcamlp-streams-ocaml-dev_5.0.1-3+ocaml20250313_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+ocaml20250313) ... Selecting previously unselected package camlp5. Preparing to unpack .../085-camlp5_8.03.01-1+ocaml20250313_amd64.deb ... Unpacking camlp5 (8.03.01-1+ocaml20250313) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../086-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../087-libtool_2.4.7-7~deb12u1_all.deb ... Unpacking libtool (2.4.7-7~deb12u1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../088-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../089-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../090-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../091-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../092-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../093-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../094-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../095-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../096-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Selecting previously unselected package gettext. Preparing to unpack .../097-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../098-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 .../099-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../100-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../101-libconfig-tiny-perl_2.28-2_all.deb ... Unpacking libconfig-tiny-perl (2.28-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../102-dh-ocaml_2.4+ocaml20250313_all.deb ... Unpacking dh-ocaml (2.4+ocaml20250313) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../103-libexpat1_2.5.0-1+deb12u1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../104-libbrotli1_1.0.9-2+b6_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b6) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../105-libpng16-16_1.6.39-2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.39-2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../106-libfreetype6_2.12.1+dfsg-5+deb12u3_amd64.deb ... Unpacking libfreetype6:amd64 (2.12.1+dfsg-5+deb12u3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../107-fonts-dejavu-core_2.37-6_all.deb ... Unpacking fonts-dejavu-core (2.37-6) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../108-fontconfig-config_2.14.1-4_amd64.deb ... Unpacking fontconfig-config (2.14.1-4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../109-libfontconfig1_2.14.1-4_amd64.deb ... Unpacking libfontconfig1:amd64 (2.14.1-4) ... Selecting previously unselected package fontconfig. Preparing to unpack .../110-fontconfig_2.14.1-4_amd64.deb ... Unpacking fontconfig (2.14.1-4) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../111-libsasl2-modules-db_2.1.28+dfsg-10_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.28+dfsg-10) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../112-libsasl2-2_2.1.28+dfsg-10_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.28+dfsg-10) ... Selecting previously unselected package libldap-2.5-0:amd64. Preparing to unpack .../113-libldap-2.5-0_2.5.13+dfsg-5_amd64.deb ... Unpacking libldap-2.5-0:amd64 (2.5.13+dfsg-5) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../114-libnghttp2-14_1.52.0-1+deb12u2_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.52.0-1+deb12u2) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../115-libpsl5_0.21.2-1_amd64.deb ... Unpacking libpsl5:amd64 (0.21.2-1) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../116-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:amd64. Preparing to unpack .../117-libssh2-1_1.10.0-3+b1_amd64.deb ... Unpacking libssh2-1:amd64 (1.10.0-3+b1) ... Selecting previously unselected package libcurl3-gnutls:amd64. Preparing to unpack .../118-libcurl3-gnutls_7.88.1-10+deb12u8_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.88.1-10+deb12u8) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../119-liberror-perl_0.17029-2_all.deb ... Unpacking liberror-perl (0.17029-2) ... Selecting previously unselected package git-man. Preparing to unpack .../120-git-man_1%3a2.39.5-0+deb12u1_all.deb ... Unpacking git-man (1:2.39.5-0+deb12u1) ... Selecting previously unselected package git. Preparing to unpack .../121-git_1%3a2.39.5-0+deb12u1_amd64.deb ... Unpacking git (1:2.39.5-0+deb12u1) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../122-gnuplot-data_5.4.4+dfsg1-2_all.deb ... Unpacking gnuplot-data (5.4.4+dfsg1-2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../123-libpixman-1-0_0.42.2-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.42.2-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../124-libxcb-render0_1.15-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../125-libxcb-shm0_1.15-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.15-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../126-libxext6_2%3a1.3.4-1+b1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../127-libxrender1_1%3a0.9.10-1.1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../128-libcairo2_1.16.0-7_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-7) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../129-libedit2_3.1-20221030-2_amd64.deb ... Unpacking libedit2:amd64 (3.1-20221030-2) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../130-libaom3_3.6.0-1+deb12u1_amd64.deb ... Unpacking libaom3:amd64 (3.6.0-1+deb12u1) ... Selecting previously unselected package libdav1d6:amd64. Preparing to unpack .../131-libdav1d6_1.0.0-2+deb12u1_amd64.deb ... Unpacking libdav1d6:amd64 (1.0.0-2+deb12u1) ... Selecting previously unselected package libabsl20220623:amd64. Preparing to unpack .../132-libabsl20220623_20220623.1-1_amd64.deb ... Unpacking libabsl20220623:amd64 (20220623.1-1) ... Selecting previously unselected package libgav1-1:amd64. Preparing to unpack .../133-libgav1-1_0.18.0-1+b1_amd64.deb ... Unpacking libgav1-1:amd64 (0.18.0-1+b1) ... Selecting previously unselected package librav1e0:amd64. Preparing to unpack .../134-librav1e0_0.5.1-6_amd64.deb ... Unpacking librav1e0:amd64 (0.5.1-6) ... Selecting previously unselected package libsvtav1enc1:amd64. Preparing to unpack .../135-libsvtav1enc1_1.4.1+dfsg-1_amd64.deb ... Unpacking libsvtav1enc1:amd64 (1.4.1+dfsg-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../136-libjpeg62-turbo_1%3a2.1.5-2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-2) ... Selecting previously unselected package libyuv0:amd64. Preparing to unpack .../137-libyuv0_0.0~git20230123.b2528b0-1_amd64.deb ... Unpacking libyuv0:amd64 (0.0~git20230123.b2528b0-1) ... Selecting previously unselected package libavif15:amd64. Preparing to unpack .../138-libavif15_0.11.1-1_amd64.deb ... Unpacking libavif15:amd64 (0.11.1-1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../139-libde265-0_1.0.11-1+deb12u2_amd64.deb ... Unpacking libde265-0:amd64 (1.0.11-1+deb12u2) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../140-libnuma1_2.0.16-1_amd64.deb ... Unpacking libnuma1:amd64 (2.0.16-1) ... Selecting previously unselected package libx265-199:amd64. Preparing to unpack .../141-libx265-199_3.5-2+b1_amd64.deb ... Unpacking libx265-199:amd64 (3.5-2+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../142-libheif1_1.15.1-1+deb12u1_amd64.deb ... Unpacking libheif1:amd64 (1.15.1-1+deb12u1) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../143-libdeflate0_1.14-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.14-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../144-libjbig0_2.1-6.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../145-liblerc4_4.0.0+ds-2_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-2) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../146-libwebp7_1.2.4-0.2+deb12u1_amd64.deb ... Unpacking libwebp7:amd64 (1.2.4-0.2+deb12u1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../147-libtiff6_4.5.0-6+deb12u2_amd64.deb ... Unpacking libtiff6:amd64 (4.5.0-6+deb12u2) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../148-libxpm4_1%3a3.5.12-1.1+deb12u1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1.1+deb12u1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../149-libgd3_2.3.3-9_amd64.deb ... Unpacking libgd3:amd64 (2.3.3-9) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../150-libglib2.0-0_2.74.6-2+deb12u5_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.74.6-2+deb12u5) ... Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../151-liblua5.4-0_5.4.4-3+deb12u1_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.4-3+deb12u1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../152-libfribidi0_1.0.8-2.1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2.1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../153-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../154-libharfbuzz0b_6.0.0+dfsg-3_amd64.deb ... Unpacking libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../155-libthai-data_0.1.29-1_all.deb ... Unpacking libthai-data (0.1.29-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../156-libdatrie1_0.2.13-2+b1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-2+b1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../157-libthai0_0.1.29-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../158-libpango-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../159-libpangoft2-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../160-libpangocairo-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package gnuplot-nox. Preparing to unpack .../161-gnuplot-nox_5.4.4+dfsg1-2+b2_amd64.deb ... Unpacking gnuplot-nox (5.4.4+dfsg1-2+b2) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../162-libansi-terminal-ocaml_0.8.5-5+ocaml20250313_amd64.deb ... Unpacking libansi-terminal-ocaml (0.8.5-5+ocaml20250313) ... Selecting previously unselected package libansi-terminal-ocaml-dev. Preparing to unpack .../163-libansi-terminal-ocaml-dev_0.8.5-5+ocaml20250313_amd64.deb ... Unpacking libansi-terminal-ocaml-dev (0.8.5-5+ocaml20250313) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../164-libeasy-format-ocaml_1.3.4-3+ocaml20250313_amd64.deb ... Unpacking libeasy-format-ocaml (1.3.4-3+ocaml20250313) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../165-libbiniou-ocaml_1.2.2-4+ocaml20250313_amd64.deb ... Unpacking libbiniou-ocaml (1.2.2-4+ocaml20250313) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../166-libatdgen-ocaml_2.16.0-2+ocaml20250313_amd64.deb ... Unpacking libatdgen-ocaml (2.16.0-2+ocaml20250313) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../167-libeasy-format-ocaml-dev_1.3.4-3+ocaml20250313_amd64.deb ... Unpacking libeasy-format-ocaml-dev (1.3.4-3+ocaml20250313) ... Selecting previously unselected package libbiniou-ocaml-dev. Preparing to unpack .../168-libbiniou-ocaml-dev_1.2.2-4+ocaml20250313_amd64.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-4+ocaml20250313) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../169-libatdgen-ocaml-dev_2.16.0-2+ocaml20250313_amd64.deb ... Unpacking libatdgen-ocaml-dev (2.16.0-2+ocaml20250313) ... Selecting previously unselected package libfileutils-ocaml-dev. Preparing to unpack .../170-libfileutils-ocaml-dev_0.6.6-1+ocaml20250313_amd64.deb ... Unpacking libfileutils-ocaml-dev (0.6.6-1+ocaml20250313) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../171-libppx-deriving-ocaml_6.0.3-1+ocaml20250313_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.3-1+ocaml20250313) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../172-ocaml-findlib_1.9.8-1+ocaml20250313_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+ocaml20250313) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../173-libppx-deriving-ocaml-dev_6.0.3-1+ocaml20250313_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.3-1+ocaml20250313) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../174-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package lua5.1. Preparing to unpack .../175-lua5.1_5.1.5-9_amd64.deb ... Unpacking lua5.1 (5.1.5-9) ... Selecting previously unselected package menhir. Preparing to unpack .../176-menhir_20240715+ds-1+ocaml20250313_amd64.deb ... Unpacking menhir (20240715+ds-1+ocaml20250313) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../177-ocaml-dune_3.17.2-1+ocaml20250313_amd64.deb ... Unpacking ocaml-dune (3.17.2-1+ocaml20250313) ... Selecting previously unselected package time. Preparing to unpack .../178-time_1.9-0.2_amd64.deb ... Unpacking time (1.9-0.2) ... Selecting previously unselected package yojson-tools. Preparing to unpack .../179-yojson-tools_2.2.2-1+ocaml20250313_amd64.deb ... Unpacking yojson-tools (2.2.2-1+ocaml20250313) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../180-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up libpixman-1-0:amd64 (0.42.2-1) ... Setting up libaom3:amd64 (3.6.0-1+deb12u1) ... Setting up libabsl20220623:amd64 (20220623.1-1) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up time (1.9-0.2) ... Setting up libpsl5:amd64 (0.21.2-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up liblerc4:amd64 (4.0.0+ds-2) ... Setting up libzstd-dev:amd64 (1.5.4+dfsg2-5) ... Setting up bsdextrautils (2.38.1-5+deb12u3) ... Setting up libdatrie1:amd64 (0.2.13-2+b1) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.74.6-2+deb12u5) ... No schema files found: doing nothing. Setting up libev4:amd64 (1:4.33-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libbrotli1:amd64 (1.0.9-2+b6) ... Setting up yojson-tools (2.2.2-1+ocaml20250313) ... Setting up libnghttp2-14:amd64 (1.52.0-1+deb12u2) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up libdeflate0:amd64 (1.14-1) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up libsvtav1enc1:amd64 (1.4.1+dfsg-1) ... Setting up libconfig-tiny-perl (2.28-2) ... Setting up atdts (2.16.0-2+ocaml20250313) ... Setting up libjbig0:amd64 (2.1-6.1) ... Setting up librav1e0:amd64 (0.5.1-6) ... Setting up ocaml-dune (3.17.2-1+ocaml20250313) ... Setting up libsasl2-modules-db:amd64 (2.1.28+dfsg-10) ... Setting up liberror-perl (0.17029-2) ... Setting up autotools-dev (20220109.1) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-2) ... Setting up libx11-data (2:1.8.4-2+deb12u2) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libfribidi0:amd64 (1.0.8-2.1) ... Setting up libstdlib-ocaml (5.3.0-2+ocaml20250313) ... Setting up libpng16-16:amd64 (1.6.39-2) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (5.3.0-2+ocaml20250313) ... Setting up fonts-dejavu-core (2.37-6) ... Setting up libgav1-1:amd64 (0.18.0-1+b1) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up libdav1d6:amd64 (1.0.0-2+deb12u1) ... Setting up libsasl2-2:amd64 (2.1.28+dfsg-10) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:amd64 (1.2.4-0.2+deb12u1) ... Setting up libnuma1:amd64 (2.0.16-1) ... Setting up libsexplib0-ocaml (0.17.0-1+ocaml20250313) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libtiff6:amd64 (4.5.0-6+deb12u2) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libfmt-ocaml (0.9.0-3+ocaml20250313) ... Setting up liblua5.4-0:amd64 (5.4.4-3+deb12u1) ... Setting up libsub-override-perl (0.09-4) ... Setting up git-man (1:2.39.5-0+deb12u1) ... Setting up libthai-data (0.1.29-1) ... Setting up libssh2-1:amd64 (1.10.0-3+b1) ... Setting up libreact-ocaml (1.2.2-1+ocaml20250313) ... Setting up libev-dev:amd64 (1:4.33-1) ... Setting up libde265-0:amd64 (1.0.11-1+deb12u2) ... Setting up libbsd0:amd64 (0.11.7-2) ... Setting up libyuv0:amd64 (0.0~git20230123.b2528b0-1) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... Setting up menhir (20240715+ds-1+ocaml20250313) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libastring-ocaml (0.8.5-2+ocaml20250313) ... Setting up gnuplot-data (5.4.4+dfsg1-2) ... Setting up libeasy-format-ocaml (1.3.4-3+ocaml20250313) ... Setting up libppx-deriving-ocaml (6.0.3-1+ocaml20250313) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up libxcb1:amd64 (1.15-1) ... Setting up gettext (0.21-12) ... Setting up libgen-ocaml (1.1-1+ocaml20250313) ... Setting up libavif15:amd64 (0.11.1-1) ... Setting up libtool (2.4.7-7~deb12u1) ... Setting up libstdlib-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up libyojson-ocaml (2.2.2-1+ocaml20250313) ... Setting up libxcb-render0:amd64 (1.15-1) ... Setting up libcamlp-streams-ocaml (5.0.1-3+ocaml20250313) ... Setting up libfpath-ocaml (0.7.3-3+ocaml20250313) ... Setting up fontconfig-config (2.14.1-4) ... Setting up librresult-ocaml (0.7.0-2+ocaml20250313) ... Setting up libedit2:amd64 (3.1-20221030-2) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up libuutf-ocaml (1.0.3-3+ocaml20250313) ... Setting up dh-ocaml (2.4+ocaml20250313) ... Setting up libfindlib-ocaml (1.9.8-1+ocaml20250313) ... Setting up libxcb-shm0:amd64 (1.15-1) ... Setting up libbiniou-ocaml (1.2.2-4+ocaml20250313) ... Setting up lua5.1 (5.1.5-9) ... 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 libldap-2.5-0:amd64 (2.5.13+dfsg-5) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-4+ocaml20250313) ... Setting up dh-autoreconf (20) ... Setting up libthai0:amd64 (0.1.29-1) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-2+ocaml20250313) ... Setting up libsedlex-ocaml (3.3-2+ocaml20250313) ... Setting up libreactivedata-ocaml (0.3-4+ocaml20250313) ... Setting up ocaml-interp (5.3.0-2+ocaml20250313) ... Setting up libfreetype6:amd64 (2.12.1+dfsg-5+deb12u3) ... Setting up libansi-terminal-ocaml (0.8.5-5+ocaml20250313) ... Setting up ocaml-findlib (1.9.8-1+ocaml20250313) ... Setting up libx265-199:amd64 (3.5-2+b1) ... Setting up libatdgen-ocaml (2.16.0-2+ocaml20250313) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libtyxml-ocaml (4.6.0-1+ocaml20250313) ... Setting up groff-base (1.22.4-10) ... Setting up libx11-6:amd64 (2:1.8.4-2+deb12u2) ... Setting up libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Setting up libfontconfig1:amd64 (2.14.1-4) ... Setting up fontconfig (2.14.1-4) ... Regenerating fonts cache... done. Setting up libxpm4:amd64 (1:3.5.12-1.1+deb12u1) ... Setting up libxrender1:amd64 (1:0.9.10-1.1) ... Setting up ocaml-compiler-libs (5.3.0-2+ocaml20250313) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:amd64 (1.50.12+ds-1) ... Setting up liblwt-ocaml (5.9.0-1+ocaml20250313) ... Setting up libheif1:amd64 (1.15.1-1+deb12u1) ... Setting up libxext6:amd64 (2:1.3.4-1+b1) ... Setting up libcurl3-gnutls:amd64 (7.88.1-10+deb12u8) ... Setting up ocaml (5.3.0-2+ocaml20250313) ... Setting up libgen-ocaml-dev (1.1-1+ocaml20250313) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libcairo2:amd64 (1.16.0-7) ... Setting up libfileutils-ocaml-dev (0.6.6-1+ocaml20250313) ... Setting up liblwt-log-ocaml (1.1.2-4+ocaml20250313) ... Setting up libre-ocaml-dev (1.12.0+really1.11.0-1+ocaml20250313) ... Setting up libmenhir-ocaml-dev (20240715+ds-1+ocaml20250313) ... Setting up libreact-ocaml-dev (1.2.2-1+ocaml20250313) ... Setting up librresult-ocaml-dev (0.7.0-2+ocaml20250313) ... Setting up libgd3:amd64 (2.3.3-9) ... Setting up libocaml-compiler-libs-ocaml-dev (0.17.0-1+ocaml20250313) ... Setting up git (1:2.39.5-0+deb12u1) ... Setting up libgraphics-ocaml (5.1.2-3+ocaml20250313) ... Setting up libyojson-ocaml-dev (2.2.2-1+ocaml20250313) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+ocaml20250313) ... Setting up libfindlib-ocaml-dev (1.9.8-1+ocaml20250313) ... Setting up libsexplib0-ocaml-dev (0.17.0-1+ocaml20250313) ... Setting up libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-2+ocaml20250313) ... Setting up libocplib-endian-ocaml-dev (1.2-4+ocaml20250313) ... Setting up libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ... Setting up libjs-of-ocaml (5.9.1-1+ocaml20250313) ... Setting up libeasy-format-ocaml-dev (1.3.4-3+ocaml20250313) ... Setting up libastring-ocaml-dev (0.8.5-2+ocaml20250313) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+ocaml20250313) ... Setting up libreactivedata-ocaml-dev (0.3-4+ocaml20250313) ... Setting up libgraphics-ocaml-dev (5.1.2-3+ocaml20250313) ... Setting up libuutf-ocaml-dev (1.0.3-3+ocaml20250313) ... Setting up libansi-terminal-ocaml-dev (0.8.5-5+ocaml20250313) ... Setting up libppxlib-ocaml-dev (0.35.0-1+ocaml20250313) ... Setting up debhelper (13.11.4) ... Setting up libbiniou-ocaml-dev (1.2.2-4+ocaml20250313) ... Setting up liblogs-ocaml (0.7.0-3+ocaml20250313) ... Setting up libfmt-ocaml-dev (0.9.0-3+ocaml20250313) ... Setting up gnuplot-nox (5.4.4+dfsg1-2+b2) ... update-alternatives: using /usr/bin/gnuplot-nox to provide /usr/bin/gnuplot (gnuplot) in auto mode Setting up libtyxml-ocaml-dev (4.6.0-1+ocaml20250313) ... Setting up libppx-deriving-ocaml-dev (6.0.3-1+ocaml20250313) ... Setting up libfpath-ocaml-dev (0.7.3-3+ocaml20250313) ... Setting up libatdgen-ocaml-dev (2.16.0-2+ocaml20250313) ... Setting up libsedlex-ocaml-dev (3.3-2+ocaml20250313) ... Setting up liblwt-ocaml-dev (5.9.0-1+ocaml20250313) ... Setting up libbos-ocaml (0.2.1-2+ocaml20250313) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+ocaml20250313) ... Setting up libjs-of-ocaml-dev (5.9.1-1+ocaml20250313) ... Setting up liblogs-ocaml-dev (0.7.0-3+ocaml20250313) ... Setting up libbos-ocaml-dev (0.2.1-2+ocaml20250313) ... Setting up camlp5 (8.03.01-1+ocaml20250313) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... +------------------------------------------------------------------------------+ | Check architectures Thu, 13 Mar 2025 09:48:35 +0000 | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment Thu, 13 Mar 2025 09:48:36 +0000 | +------------------------------------------------------------------------------+ Kernel: Linux 6.12.17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.17-1 (2025-03-01) amd64 (x86_64) Toolchain package versions: binutils_2.40-2 dpkg-dev_1.21.22 g++-12_12.2.0-14 gcc-12_12.2.0-14 libc6-dev_2.36-9+deb12u9 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 linux-libc-dev_6.1.123-1 Package versions: adduser_3.134 aglfn_1.7+git20191031.4036a9c-2 apt_2.6.1 atdts_2.16.0-2+ocaml20250313 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-12 autotools-dev_20220109.1 base-files_12.4+deb12u9 base-passwd_3.6.1 bash_5.2.15-2+b7 binutils_2.40-2 binutils-common_2.40-2 binutils-x86-64-linux-gnu_2.40-2 bsdextrautils_2.38.1-5+deb12u3 bsdutils_1:2.38.1-5+deb12u3 build-essential_12.9 bzip2_1.0.8-5+b1 camlp5_8.03.01-1+ocaml20250313 coreutils_9.1-1 cpp_4:12.2.0-3 cpp-12_12.2.0-14 dash_0.5.12-2 debconf_1.5.82 debhelper_13.11.4 debian-archive-keyring_2023.3+deb12u1 debianutils_5.7-0.5~deb12u1 dh-autoreconf_20 dh-ocaml_2.4+ocaml20250313 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dpkg_1.21.22 dpkg-dev_1.21.22 dwz_0.15-1 file_1:5.44-3 findutils_4.9.0-4 fontconfig_2.14.1-4 fontconfig-config_2.14.1-4 fonts-dejavu-core_2.37-6 g++_4:12.2.0-3 g++-12_12.2.0-14 gcc_4:12.2.0-3 gcc-12_12.2.0-14 gcc-12-base_12.2.0-14 gettext_0.21-12 gettext-base_0.21-12 git_1:2.39.5-0+deb12u1 git-man_1:2.39.5-0+deb12u1 gnuplot-data_5.4.4+dfsg1-2 gnuplot-nox_5.4.4+dfsg1-2+b2 gpgv_2.2.40-1.1 grep_3.8-5 groff-base_1.22.4-10 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libabsl20220623_20220623.1-1 libacl1_2.3.1-3 libansi-terminal-ocaml_0.8.5-5+ocaml20250313 libansi-terminal-ocaml-dev_0.8.5-5+ocaml20250313 libaom3_3.6.0-1+deb12u1 libapt-pkg6.0_2.6.1 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14 libastring-ocaml_0.8.5-2+ocaml20250313 libastring-ocaml-dev_0.8.5-2+ocaml20250313 libatdgen-ocaml_2.16.0-2+ocaml20250313 libatdgen-ocaml-dev_2.16.0-2+ocaml20250313 libatomic1_12.2.0-14 libattr1_1:2.5.1-4 libaudit-common_1:3.0.9-1 libaudit1_1:3.0.9-1 libavif15_0.11.1-1 libbiniou-ocaml_1.2.2-4+ocaml20250313 libbiniou-ocaml-dev_1.2.2-4+ocaml20250313 libbinutils_2.40-2 libblkid1_2.38.1-5+deb12u3 libbos-ocaml_0.2.1-2+ocaml20250313 libbos-ocaml-dev_0.2.1-2+ocaml20250313 libbrotli1_1.0.9-2+b6 libbsd0_0.11.7-2 libbz2-1.0_1.0.8-5+b1 libc-bin_2.36-9+deb12u9 libc-dev-bin_2.36-9+deb12u9 libc6_2.36-9+deb12u9 libc6-dev_2.36-9+deb12u9 libcairo2_1.16.0-7 libcamlp-streams-ocaml_5.0.1-3+ocaml20250313 libcamlp-streams-ocaml-dev_5.0.1-3+ocaml20250313 libcap-ng0_0.8.3-1+b3 libcap2_1:2.66-4 libcc1-0_12.2.0-14 libcmdliner-ocaml-dev_1.3.0-2+ocaml20250313 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_5.3.0-2+ocaml20250313 libconfig-tiny-perl_2.28-2 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libctf-nobfd0_2.40-2 libctf0_2.40-2 libcurl3-gnutls_7.88.1-10+deb12u8 libdatrie1_0.2.13-2+b1 libdav1d6_1.0.0-2+deb12u1 libdb5.3_5.3.28+dfsg2-1 libde265-0_1.0.11-1+deb12u2 libdebconfclient0_0.270 libdebhelper-perl_13.11.4 libdeflate0_1.14-1 libdpkg-perl_1.21.22 libeasy-format-ocaml_1.3.4-3+ocaml20250313 libeasy-format-ocaml-dev_1.3.4-3+ocaml20250313 libedit2_3.1-20221030-2 libelf1_0.188-2.1 liberror-perl_0.17029-2 libev-dev_1:4.33-1 libev4_1:4.33-1 libexpat1_2.5.0-1+deb12u1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfileutils-ocaml-dev_0.6.6-1+ocaml20250313 libfindlib-ocaml_1.9.8-1+ocaml20250313 libfindlib-ocaml-dev_1.9.8-1+ocaml20250313 libfmt-ocaml_0.9.0-3+ocaml20250313 libfmt-ocaml-dev_0.9.0-3+ocaml20250313 libfontconfig1_2.14.1-4 libfpath-ocaml_0.7.3-3+ocaml20250313 libfpath-ocaml-dev_0.7.3-3+ocaml20250313 libfreetype6_2.12.1+dfsg-5+deb12u3 libfribidi0_1.0.8-2.1 libgav1-1_0.18.0-1+b1 libgcc-12-dev_12.2.0-14 libgcc-s1_12.2.0-14 libgcrypt20_1.10.1-3 libgd3_2.3.3-9 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgen-ocaml_1.1-1+ocaml20250313 libgen-ocaml-dev_1.1-1+ocaml20250313 libglib2.0-0_2.74.6-2+deb12u5 libgmp10_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.9-2+deb12u3 libgomp1_12.2.0-14 libgpg-error0_1.46-1 libgprofng0_2.40-2 libgraphics-ocaml_5.1.2-3+ocaml20250313 libgraphics-ocaml-dev_5.1.2-3+ocaml20250313 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.20.1-2+deb12u2 libharfbuzz0b_6.0.0+dfsg-3 libheif1_1.15.1-1+deb12u1 libhogweed6_3.8.1-2 libicu72_72.1-3 libidn2-0_2.3.3-1+b1 libisl23_0.25-1.1 libitm1_12.2.0-14 libjansson4_2.14-2 libjbig0_2.1-6.1 libjpeg62-turbo_1:2.1.5-2 libjs-of-ocaml_5.9.1-1+ocaml20250313 libjs-of-ocaml-dev_5.9.1-1+ocaml20250313 libk5crypto3_1.20.1-2+deb12u2 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-2+deb12u2 libkrb5support0_1.20.1-2+deb12u2 libldap-2.5-0_2.5.13+dfsg-5 liblerc4_4.0.0+ds-2 liblogs-ocaml_0.7.0-3+ocaml20250313 liblogs-ocaml-dev_0.7.0-3+ocaml20250313 liblsan0_12.2.0-14 liblua5.4-0_5.4.4-3+deb12u1 liblwt-log-ocaml_1.1.2-4+ocaml20250313 liblwt-log-ocaml-dev_1.1.2-4+ocaml20250313 liblwt-ocaml_5.9.0-1+ocaml20250313 liblwt-ocaml-dev_5.9.0-1+ocaml20250313 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.2 libmagic-mgc_1:5.44-3 libmagic1_1:5.44-3 libmd0_1.0.4-2 libmenhir-ocaml-dev_20240715+ds-1+ocaml20250313 libmount1_2.38.1-5+deb12u3 libmpc3_1.3.1-1 libmpfr6_4.2.0-1 libncurses-dev_6.4-4 libncurses6_6.4-4 libncursesw6_6.4-4 libnettle8_3.8.1-2 libnghttp2-14_1.52.0-1+deb12u2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnuma1_2.0.16-1 libnumber-compare-perl_0.03-3 libocaml-compiler-libs-ocaml-dev_0.17.0-1+ocaml20250313 libocplib-endian-ocaml_1.2-4+ocaml20250313 libocplib-endian-ocaml-dev_1.2-4+ocaml20250313 libp11-kit0_0.24.1-2 libpam-modules_1.5.2-6+deb12u1 libpam-modules-bin_1.5.2-6+deb12u1 libpam-runtime_1.5.2-6+deb12u1 libpam0g_1.5.2-6+deb12u1 libpango-1.0-0_1.50.12+ds-1 libpangocairo-1.0-0_1.50.12+ds-1 libpangoft2-1.0-0_1.50.12+ds-1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7+deb12u1 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpng16-16_1.6.39-2 libppx-derivers-ocaml-dev_1.2.1-4+ocaml20250313 libppx-deriving-ocaml_6.0.3-1+ocaml20250313 libppx-deriving-ocaml-dev_6.0.3-1+ocaml20250313 libppxlib-ocaml-dev_0.35.0-1+ocaml20250313 libpsl5_0.21.2-1 libquadmath0_12.2.0-14 librav1e0_0.5.1-6 libre-ocaml-dev_1.12.0+really1.11.0-1+ocaml20250313 libreact-ocaml_1.2.2-1+ocaml20250313 libreact-ocaml-dev_1.2.2-1+ocaml20250313 libreactivedata-ocaml_0.3-4+ocaml20250313 libreactivedata-ocaml-dev_0.3-4+ocaml20250313 libreadline8_8.2-1.3 librresult-ocaml_0.7.0-2+ocaml20250313 librresult-ocaml-dev_0.7.0-2+ocaml20250313 librtmp1_2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2_2.1.28+dfsg-10 libsasl2-modules-db_2.1.28+dfsg-10 libseccomp2_2.5.4-1+deb12u1 libsedlex-ocaml_3.3-2+ocaml20250313 libsedlex-ocaml-dev_3.3-2+ocaml20250313 libselinux1_3.4-1+b6 libsemanage-common_3.4-1 libsemanage2_3.4-1+b5 libsepol2_3.4-2.1 libsexplib0-ocaml_0.17.0-1+ocaml20250313 libsexplib0-ocaml-dev_0.17.0-1+ocaml20250313 libsmartcols1_2.38.1-5+deb12u3 libssh2-1_1.10.0-3+b1 libssl3_3.0.15-1~deb12u1 libstdc++-12-dev_12.2.0-14 libstdc++6_12.2.0-14 libstdlib-ocaml_5.3.0-2+ocaml20250313 libstdlib-ocaml-dev_5.3.0-2+ocaml20250313 libsub-override-perl_0.09-4 libsvtav1enc1_1.4.1+dfsg-1 libsystemd0_252.33-1~deb12u1 libtasn1-6_4.19.0-2 libtext-glob-perl_0.11-3 libthai-data_0.1.29-1 libthai0_0.1.29-1 libtiff6_4.5.0-6+deb12u2 libtinfo6_6.4-4 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7~deb12u1 libtsan2_12.2.0-14 libtyxml-ocaml_4.6.0-1+ocaml20250313 libtyxml-ocaml-dev_4.6.0-1+ocaml20250313 libubsan1_12.2.0-14 libuchardet0_0.0.7-1 libudev1_252.33-1~deb12u1 libunistring2_1.0-2 libuuid1_2.38.1-5+deb12u3 libuutf-ocaml_1.0.3-3+ocaml20250313 libuutf-ocaml-dev_1.0.3-3+ocaml20250313 libwebp7_1.2.4-0.2+deb12u1 libx11-6_2:1.8.4-2+deb12u2 libx11-data_2:1.8.4-2+deb12u2 libx265-199_3.5-2+b1 libxau6_1:1.0.9-1 libxcb-render0_1.15-1 libxcb-shm0_1.15-1 libxcb1_1.15-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1+b1 libxml2_2.9.14+dfsg-1.3~deb12u1 libxpm4_1:3.5.12-1.1+deb12u1 libxrender1_1:0.9.10-1.1 libxxhash0_0.8.1-1 libyojson-ocaml_2.2.2-1+ocaml20250313 libyojson-ocaml-dev_2.2.2-1+ocaml20250313 libyuv0_0.0~git20230123.b2528b0-1 libzstd-dev_1.5.4+dfsg2-5 libzstd1_1.5.4+dfsg2-5 linux-libc-dev_6.1.123-1 login_1:4.13+dfsg1-1+b1 lua5.1_5.1.5-9 m4_1.4.19-3 make_4.3-4.1 man-db_2.11.2-2 mawk_1.3.4.20200120-3.1 menhir_20240715+ds-1+ocaml20250313 ncurses-base_6.4-4 ncurses-bin_6.4-4 ocaml_5.3.0-2+ocaml20250313 ocaml-base_5.3.0-2+ocaml20250313 ocaml-compiler-libs_5.3.0-2+ocaml20250313 ocaml-dune_3.17.2-1+ocaml20250313 ocaml-findlib_1.9.8-1+ocaml20250313 ocaml-interp_5.3.0-2+ocaml20250313 passwd_1:4.13+dfsg1-1+b1 patch_2.7.6-7 perl_5.36.0-7+deb12u1 perl-base_5.36.0-7+deb12u1 perl-modules-5.36_5.36.0-7+deb12u1 po-debconf_1.0.21+nmu1 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 sysvinit-utils_3.06-4 tar_1.34+dfsg-1.2+deb12u1 time_1.9-0.2 usrmerge_37~deb12u1 util-linux_2.38.1-5+deb12u3 util-linux-extra_2.38.1-5+deb12u3 xz-utils_5.4.1-0.2 yojson-tools_2.2.2-1+ocaml20250313 zlib1g_1:1.2.13.dfsg-1 +------------------------------------------------------------------------------+ | Build Thu, 13 Mar 2025 09:48:36 +0000 | +------------------------------------------------------------------------------+ Unpack source ------------- Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 2.0.7-1+ocaml20250313 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, 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 6aca882a28947cd92455474f7c8eeedb100ffbca 5248 elpi_2.0.7-1+ocaml20250313.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz 5ddfd153ba50423cbe2cb624ee620bd4682bc28b458df4cd9b2125ed04385cb2 5248 elpi_2.0.7-1+ocaml20250313.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz 55dd3ad0e47772c82bb80dde6229f105 5248 elpi_2.0.7-1+ocaml20250313.debian.tar.xz dpkg-source: warning: extracting unsigned source package (elpi_2.0.7-1+ocaml20250313.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-1+ocaml20250313.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 Can't exec "dpkg-buildtree": No such file or directory at /usr/libexec/sbuild-usernsexec line 604. Failed to exec: dpkg-buildtree: No such file or directory at /usr/libexec/sbuild-usernsexec line 605. Install fakeroot ---------------- Setup apt archive ----------------- Merged Build-Depends: fakeroot Filtered Build-Depends: fakeroot dpkg-deb: building package 'sbuild-build-depends-fakeroot-dummy' in '/build/reproducible-path/resolver-BVwXyl/apt_archive/sbuild-build-depends-fakeroot-dummy.deb'. Ign:1 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ InRelease Get:2 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Release [615 B] Ign:3 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Release.gpg Get:4 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Sources [1562 B] Get:5 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ Packages [1596 B] Fetched 3773 B in 0s (0 B/s) Reading package lists... Reading package lists... Install fakeroot build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: fakeroot libfakeroot The following NEW packages will be installed: fakeroot libfakeroot sbuild-build-depends-fakeroot-dummy 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 96.1 kB of archives. After this operation, 360 kB of additional disk space will be used. Get:1 copy:/build/reproducible-path/resolver-BVwXyl/apt_archive ./ sbuild-build-depends-fakeroot-dummy 0.invalid.0 [828 B] Get:2 http://localhost:9999/debian bookworm/main amd64 libfakeroot amd64 1.31-1.2 [28.3 kB] Get:3 http://localhost:9999/debian bookworm/main amd64 fakeroot amd64 1.31-1.2 [66.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 96.1 kB in 0s (967 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... 21656 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.31-1.2_amd64.deb ... Unpacking libfakeroot:amd64 (1.31-1.2) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.31-1.2_amd64.deb ... Unpacking fakeroot (1.31-1.2) ... Selecting previously unselected package sbuild-build-depends-fakeroot-dummy. Preparing to unpack .../sbuild-build-depends-fakeroot-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Setting up libfakeroot:amd64 (1.31-1.2) ... Setting up fakeroot (1.31-1.2) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up sbuild-build-depends-fakeroot-dummy (0.invalid.0) ... Processing triggers for man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Processing triggers for libc-bin (2.36-9+deb12u9) ... 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-1+ocaml20250313 dpkg-buildpackage: info: source distribution bookworm-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-1+ocaml20250313.debian.tar.xz dpkg-source: info: building elpi in elpi_2.0.7-1+ocaml20250313.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 -f .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) 6f9dcb8] 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 && /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.3.0/re -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/seq -intf-suffix .ml -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.3.0/re -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/seq -intf-suffix .ml -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.847908 l=0.562432 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: 922 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.7M 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.01 13.7M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.00 0.01 13.7M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.00 0.02 13.7M 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.7M 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.8M elpi RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.00 0.02 13.3M elpi RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.00 0.02 13.6M elpi RUNNING cbn (reduction) elpi OK cbn 0.27 0.00 0.29 19.3M elpi RUNNING cbv (reduction) elpi OK cbv 1.89 0.00 1.91 17.1M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.00 0.01 13.5M elpi RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.00 0.02 13.8M elpi RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.00 0.01 13.6M 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.6M 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.02 13.6M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.00 0.01 13.5M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.00 0.01 13.5M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.00 0.01 13.5M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.00 0.01 13.6M elpi RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.00 0.01 13.6M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.00 0.03 13.4M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 2.90 0.00 2.93 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.6M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 0.00 0.01 13.4M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.00 0.02 13.5M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 0.00 0.01 13.5M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 0.00 0.01 13.5M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.00 0.01 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.09 0.00 1.11 13.4M elpi RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 1.96 0.00 1.97 16.0M elpi RUNNING dt_bug_272 (dt list truncation heuristic) elpi OK dt_bug_272 0.01 0.00 0.02 13.5M elpi RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.00 0.02 13.6M elpi RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.54 0.00 0.57 18.5M elpi RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.52 0.00 0.54 18.5M 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.6M elpi RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 8.73 0.00 8.74 13.5M elpi RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.00 0.02 13.7M elpi RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.00 0.03 13.6M elpi RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.02 13.5M 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.01 0.02 13.5M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.01 13.6M elpi RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.00 0.02 13.5M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 1.02 0.00 1.05 16.4M 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.5M 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.01 13.5M elpi RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.00 0.01 13.5M 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.6M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 28.52 1.22 31.43 2851.3M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.00 0.01 13.8M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.01 13.6M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.00 0.01 13.6M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.00 0.01 13.6M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.00 0.01 13.5M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 0.00 0.01 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.01 13.6M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.00 0.01 13.6M elpi RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.00 0.01 13.6M elpi RUNNING impl (implication) elpi OK impl 0.00 0.00 0.01 13.4M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 0.00 0.01 13.5M 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.01 13.6M elpi RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.00 0.01 13.5M elpi RUNNING index2 (indexing the second argument) elpi OK index2 1.24 0.00 1.26 13.5M elpi RUNNING is (calc) elpi OK is 0.00 0.00 0.01 13.6M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.25 0.00 0.26 16.0M elpi RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.00 0.01 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.01 13.6M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.00 0.01 13.7M 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.01 13.6M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.00 0.01 13.4M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.00 0.01 13.4M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.00 0.01 13.6M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.00 0.01 13.6M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.00 0.01 13.6M 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.6M 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.01 13.6M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 4.28 0.56 7.45 722.3M elpi RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 6.51 0.00 6.52 17.1M elpi RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 7.36 0.00 7.38 17.8M 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.58 0.00 1.59 17.1M elpi RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.00 0.01 13.7M elpi RUNNING mode_checking_fo (mode_checking_fo) elpi OK mode_checking_fo 0.00 0.00 0.01 13.5M elpi RUNNING mode_checking_ho (mode_checking_ho) elpi OK mode_checking_ho 0.00 0.00 0.01 13.7M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 1.31 0.00 1.32 16.6M elpi RUNNING name (name builtin) elpi OK name 0.00 0.00 0.01 13.5M elpi RUNNING named_clauses00 (clause grafting using names) elpi OK named_clauses00 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses01 (clause grafting using names) elpi OK named_clauses01 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.00 0.01 13.5M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.00 0.01 13.6M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.00 0.01 13.5M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.00 0.01 13.7M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.00 0.01 13.7M 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.6M 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.02 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.02 14.0M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 0.00 0.01 13.7M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.00 0.01 13.4M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.00 0.02 13.7M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.00 0.02 13.6M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.00 0.01 13.7M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.01 13.6M elpi RUNNING progs (progs) elpi OK progs 0.00 0.00 0.01 13.9M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 0.96 0.00 0.98 130.5M elpi RUNNING random (random numbers) elpi OK random 0.00 0.00 0.01 13.7M 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.6M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.00 0.01 13.5M 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.5M elpi RUNNING rev (list reversal) elpi OK rev 0.10 0.00 0.11 48.3M elpi RUNNING rev14 (list reversal) elpi OK rev14 0.11 0.00 0.12 49.7M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.00 0.01 13.6M 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.31 0.00 1.32 16.7M elpi RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.39 0.00 0.40 59.8M 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.7M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.00 0.01 13.6M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.00 0.02 13.7M 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.01 13.7M 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.7M elpi RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.00 0.02 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.6M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.01 13.6M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.01 13.4M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.01 13.7M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 7.0M elpi-trace-elaborator RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.07 33.6M 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.1M 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 6.4M elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.01 13.6M elpi RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.01 0.00 0.02 13.6M elpi RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.00 7.5M elpi-trace-elaborator RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.04 13.6M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.00 0.01 13.7M elpi RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.00 0.01 13.5M elpi RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 6.7M elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.00 0.01 13.6M elpi RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.00 0.02 13.4M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.00 0.01 13.7M 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.01 13.4M 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.6M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.00 0.01 13.6M 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.6M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.00 0.01 13.7M 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.6M elpi RUNNING unix (unix APIs) elpi OK unix 0.00 0.00 0.01 13.4M 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.01 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.6M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot OK zebra 0.56 0.00 0.57 16.2M elpi ------------------------------------------------------------------ Tests: 190 Passed: 190 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.3.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.3.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.3.0/elpi/trace/ppx/trace_ppx.cmxs: DWARF compression not beneficial - old size 2870 new size 2870 dwz: debian/libelpi-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.3.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.3.0/elpi/util/elpi_util.cmxs: DWARF compression not beneficial - old size 9425 new size 9425 dh_strip -a -O--buildsystem=ocaml_dune dh_makeshlibs -a -O--buildsystem=ocaml_dune dh_shlibdeps -a -O--buildsystem=ocaml_dune 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-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_2.0.7-1+ocaml20250313_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb'. dpkg-genbuildinfo -O../elpi_2.0.7-1+ocaml20250313_amd64.buildinfo dpkg-genchanges -sa -O../elpi_2.0.7-1+ocaml20250313_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 2025-03-13T09:51:11Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes Thu, 13 Mar 2025 09:51:11 +0000 | +------------------------------------------------------------------------------+ elpi_2.0.7-1+ocaml20250313_amd64.changes: ----------------------------------------- Format: 1.8 Date: Thu, 13 Mar 2025 10:47:02 +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-1+ocaml20250313 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-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.3.0 Checksums-Sha1: cb6479c3344f044317ddbf974f0e3af261f2ed10 1582 elpi_2.0.7-1+ocaml20250313.dsc cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz 64ee8c56578143346b559a0be6af50066d256a98 5240 elpi_2.0.7-1+ocaml20250313.debian.tar.xz 5ceee640efdc698b256b5f568b468731db8375fa 653460 elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 003c77f19dfc4295525ebcdc4478126129a26689 12885 elpi_2.0.7-1+ocaml20250313_amd64.buildinfo f76dfe64d5084a185d85b8f449222e1b31173932 1846456 elpi_2.0.7-1+ocaml20250313_amd64.deb 94f9927715a9cb1b236275c5662451c19a70896d 274660 libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb d82ab3fc87751bc810f84007fd1f3265f3dbc579 1351556 libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 01b4680c96fcff5b2e11b667e20219312a9559f8 15286648 libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb 91ba8e1677d59346fe2a73512e84ad3b62151797 3889292 libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb Checksums-Sha256: 6bd1e002e7137c04f9ce6e445778b8e5a566d2ee3b00f670d89a80eedfa65115 1582 elpi_2.0.7-1+ocaml20250313.dsc 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz e7e141716fc99be41587d2f329cdc3e018371faa0262243a17d00a646bd7b78f 5240 elpi_2.0.7-1+ocaml20250313.debian.tar.xz 3151b99902b9467506e1114df96b3842f0c3fdd3e6c2e803838594e237f37704 653460 elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 4ccb2b6f18722b340e75577739e0f8bbc0dd4b1cbeb040eada1e9e99bb93f6d9 12885 elpi_2.0.7-1+ocaml20250313_amd64.buildinfo a0073c4b775c24cfd0a852165c1105fb4607635c1084e67c989cf74ef3d33cf9 1846456 elpi_2.0.7-1+ocaml20250313_amd64.deb 7df2ec9cd8e537b405c9829badf27f90d3988eba42223d31c6ba8a97e11ba578 274660 libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 96fcc4271c35e832fda937ca4a44d06348bcf282e732119ffd8107a2b4fe8c81 1351556 libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 74ba7b9d233beb574d9162123aecd582a075d7036729857a6e9a105fd7401719 15286648 libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb 900c816282b30317a4301dbaca4a65dd58ec35cebd57482b4ef79b6185fd9b26 3889292 libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb Files: 52a6fa675ad49555e741eae85285f49f 1582 ocaml optional elpi_2.0.7-1+ocaml20250313.dsc af1ea7c67d8e5e5bd242d9fbfe733686 2642553 ocaml optional elpi_2.0.7.orig.tar.gz 3f4b91039561090fcdf4dfb535f8b2ce 5240 ocaml optional elpi_2.0.7-1+ocaml20250313.debian.tar.xz 85cefcc2adb90490918ebcc3006fbd95 653460 debug optional elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb eadf1ef52c84076d73f2862a7e7fe8b1 12885 ocaml optional elpi_2.0.7-1+ocaml20250313_amd64.buildinfo 02eb0b57b93ac923c106632eb71f9df2 1846456 ocaml optional elpi_2.0.7-1+ocaml20250313_amd64.deb 200154a86e2f32d8985443c15cbb3c6c 274660 debug optional libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 24e58cbb1aeb4e32cfbbbc7c92c75081 1351556 debug optional libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 16cc13ec9594cb10ebe72a5e12bf00ae 15286648 ocaml optional libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb cb11eaf4fb1f1ae8e4c70a114306cc58 3889292 ocaml optional libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo Thu, 13 Mar 2025 09:51:12 +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-1+ocaml20250313 Checksums-Md5: 52a6fa675ad49555e741eae85285f49f 1582 elpi_2.0.7-1+ocaml20250313.dsc 85cefcc2adb90490918ebcc3006fbd95 653460 elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 02eb0b57b93ac923c106632eb71f9df2 1846456 elpi_2.0.7-1+ocaml20250313_amd64.deb 200154a86e2f32d8985443c15cbb3c6c 274660 libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 24e58cbb1aeb4e32cfbbbc7c92c75081 1351556 libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 16cc13ec9594cb10ebe72a5e12bf00ae 15286648 libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb cb11eaf4fb1f1ae8e4c70a114306cc58 3889292 libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb Checksums-Sha1: cb6479c3344f044317ddbf974f0e3af261f2ed10 1582 elpi_2.0.7-1+ocaml20250313.dsc 5ceee640efdc698b256b5f568b468731db8375fa 653460 elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb f76dfe64d5084a185d85b8f449222e1b31173932 1846456 elpi_2.0.7-1+ocaml20250313_amd64.deb 94f9927715a9cb1b236275c5662451c19a70896d 274660 libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb d82ab3fc87751bc810f84007fd1f3265f3dbc579 1351556 libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 01b4680c96fcff5b2e11b667e20219312a9559f8 15286648 libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb 91ba8e1677d59346fe2a73512e84ad3b62151797 3889292 libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb Checksums-Sha256: 6bd1e002e7137c04f9ce6e445778b8e5a566d2ee3b00f670d89a80eedfa65115 1582 elpi_2.0.7-1+ocaml20250313.dsc 3151b99902b9467506e1114df96b3842f0c3fdd3e6c2e803838594e237f37704 653460 elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb a0073c4b775c24cfd0a852165c1105fb4607635c1084e67c989cf74ef3d33cf9 1846456 elpi_2.0.7-1+ocaml20250313_amd64.deb 7df2ec9cd8e537b405c9829badf27f90d3988eba42223d31c6ba8a97e11ba578 274660 libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 96fcc4271c35e832fda937ca4a44d06348bcf282e732119ffd8107a2b4fe8c81 1351556 libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb 74ba7b9d233beb574d9162123aecd582a075d7036729857a6e9a105fd7401719 15286648 libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb 900c816282b30317a4301dbaca4a65dd58ec35cebd57482b4ef79b6185fd9b26 3889292 libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Thu, 13 Mar 2025 09:51:10 +0000 Build-Path: /build/reproducible-path/elpi-2.0.7 Build-Tainted-By: merged-usr-via-aliased-dirs Installed-Build-Depends: aglfn (= 1.7+git20191031.4036a9c-2), atdts (= 2.16.0-2+ocaml20250313), autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-12), autotools-dev (= 20220109.1), base-files (= 12.4+deb12u9), base-passwd (= 3.6.1), bash (= 5.2.15-2+b7), binutils (= 2.40-2), binutils-common (= 2.40-2), binutils-x86-64-linux-gnu (= 2.40-2), bsdextrautils (= 2.38.1-5+deb12u3), bsdutils (= 1:2.38.1-5+deb12u3), build-essential (= 12.9), bzip2 (= 1.0.8-5+b1), camlp5 (= 8.03.01-1+ocaml20250313), coreutils (= 9.1-1), cpp (= 4:12.2.0-3), cpp-12 (= 12.2.0-14), dash (= 0.5.12-2), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.7-0.5~deb12u1), dh-autoreconf (= 20), dh-ocaml (= 2.4+ocaml20250313), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4), dpkg (= 1.21.22), dpkg-dev (= 1.21.22), dwz (= 0.15-1), file (= 1:5.44-3), findutils (= 4.9.0-4), fontconfig (= 2.14.1-4), fontconfig-config (= 2.14.1-4), fonts-dejavu-core (= 2.37-6), g++ (= 4:12.2.0-3), g++-12 (= 12.2.0-14), gcc (= 4:12.2.0-3), gcc-12 (= 12.2.0-14), gcc-12-base (= 12.2.0-14), gettext (= 0.21-12), gettext-base (= 0.21-12), git (= 1:2.39.5-0+deb12u1), git-man (= 1:2.39.5-0+deb12u1), gnuplot-data (= 5.4.4+dfsg1-2), gnuplot-nox (= 5.4.4+dfsg1-2+b2), grep (= 3.8-5), groff-base (= 1.22.4-10), gzip (= 1.12-1), hostname (= 3.23+nmu1), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libabsl20220623 (= 20220623.1-1), libacl1 (= 2.3.1-3), libansi-terminal-ocaml (= 0.8.5-5+ocaml20250313), libansi-terminal-ocaml-dev (= 0.8.5-5+ocaml20250313), libaom3 (= 3.6.0-1+deb12u1), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14), libastring-ocaml (= 0.8.5-2+ocaml20250313), libastring-ocaml-dev (= 0.8.5-2+ocaml20250313), libatdgen-ocaml (= 2.16.0-2+ocaml20250313), libatdgen-ocaml-dev (= 2.16.0-2+ocaml20250313), libatomic1 (= 12.2.0-14), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.0.9-1), libaudit1 (= 1:3.0.9-1), libavif15 (= 0.11.1-1), libbiniou-ocaml (= 1.2.2-4+ocaml20250313), libbiniou-ocaml-dev (= 1.2.2-4+ocaml20250313), libbinutils (= 2.40-2), libblkid1 (= 2.38.1-5+deb12u3), libbos-ocaml (= 0.2.1-2+ocaml20250313), libbos-ocaml-dev (= 0.2.1-2+ocaml20250313), libbrotli1 (= 1.0.9-2+b6), libbsd0 (= 0.11.7-2), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.36-9+deb12u9), libc-dev-bin (= 2.36-9+deb12u9), libc6 (= 2.36-9+deb12u9), libc6-dev (= 2.36-9+deb12u9), libcairo2 (= 1.16.0-7), libcamlp-streams-ocaml (= 5.0.1-3+ocaml20250313), libcamlp-streams-ocaml-dev (= 5.0.1-3+ocaml20250313), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4), libcc1-0 (= 12.2.0-14), libcmdliner-ocaml-dev (= 1.3.0-2+ocaml20250313), libcom-err2 (= 1.47.0-2), libcompiler-libs-ocaml-dev (= 5.3.0-2+ocaml20250313), libconfig-tiny-perl (= 2.28-2), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2), libctf0 (= 2.40-2), libcurl3-gnutls (= 7.88.1-10+deb12u8), libdatrie1 (= 0.2.13-2+b1), libdav1d6 (= 1.0.0-2+deb12u1), libdb5.3 (= 5.3.28+dfsg2-1), libde265-0 (= 1.0.11-1+deb12u2), libdebconfclient0 (= 0.270), libdebhelper-perl (= 13.11.4), libdeflate0 (= 1.14-1), libdpkg-perl (= 1.21.22), libeasy-format-ocaml (= 1.3.4-3+ocaml20250313), libeasy-format-ocaml-dev (= 1.3.4-3+ocaml20250313), libedit2 (= 3.1-20221030-2), libelf1 (= 0.188-2.1), liberror-perl (= 0.17029-2), libev-dev (= 1:4.33-1), libev4 (= 1:4.33-1), libexpat1 (= 2.5.0-1+deb12u1), libffi8 (= 3.4.4-1), libfile-find-rule-perl (= 0.34-3), libfile-stripnondeterminism-perl (= 1.13.1-1), libfileutils-ocaml-dev (= 0.6.6-1+ocaml20250313), libfindlib-ocaml (= 1.9.8-1+ocaml20250313), libfindlib-ocaml-dev (= 1.9.8-1+ocaml20250313), libfmt-ocaml (= 0.9.0-3+ocaml20250313), libfmt-ocaml-dev (= 0.9.0-3+ocaml20250313), libfontconfig1 (= 2.14.1-4), libfpath-ocaml (= 0.7.3-3+ocaml20250313), libfpath-ocaml-dev (= 0.7.3-3+ocaml20250313), libfreetype6 (= 2.12.1+dfsg-5+deb12u3), libfribidi0 (= 1.0.8-2.1), libgav1-1 (= 0.18.0-1+b1), libgcc-12-dev (= 12.2.0-14), libgcc-s1 (= 12.2.0-14), libgcrypt20 (= 1.10.1-3), libgd3 (= 2.3.3-9), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgen-ocaml (= 1.1-1+ocaml20250313), libgen-ocaml-dev (= 1.1-1+ocaml20250313), libglib2.0-0 (= 2.74.6-2+deb12u5), libgmp10 (= 2:6.2.1+dfsg1-1.1), libgnutls30 (= 3.7.9-2+deb12u3), libgomp1 (= 12.2.0-14), libgpg-error0 (= 1.46-1), libgprofng0 (= 2.40-2), libgraphics-ocaml (= 5.1.2-3+ocaml20250313), libgraphics-ocaml-dev (= 5.1.2-3+ocaml20250313), libgraphite2-3 (= 1.3.14-1), libgssapi-krb5-2 (= 1.20.1-2+deb12u2), libharfbuzz0b (= 6.0.0+dfsg-3), libheif1 (= 1.15.1-1+deb12u1), libhogweed6 (= 3.8.1-2), libicu72 (= 72.1-3), libidn2-0 (= 2.3.3-1+b1), libisl23 (= 0.25-1.1), libitm1 (= 12.2.0-14), libjansson4 (= 2.14-2), libjbig0 (= 2.1-6.1), libjpeg62-turbo (= 1:2.1.5-2), libjs-of-ocaml (= 5.9.1-1+ocaml20250313), libjs-of-ocaml-dev (= 5.9.1-1+ocaml20250313), libk5crypto3 (= 1.20.1-2+deb12u2), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-2+deb12u2), libkrb5support0 (= 1.20.1-2+deb12u2), libldap-2.5-0 (= 2.5.13+dfsg-5), liblerc4 (= 4.0.0+ds-2), liblogs-ocaml (= 0.7.0-3+ocaml20250313), liblogs-ocaml-dev (= 0.7.0-3+ocaml20250313), liblsan0 (= 12.2.0-14), liblua5.4-0 (= 5.4.4-3+deb12u1), liblwt-log-ocaml (= 1.1.2-4+ocaml20250313), liblwt-log-ocaml-dev (= 1.1.2-4+ocaml20250313), liblwt-ocaml (= 5.9.0-1+ocaml20250313), liblwt-ocaml-dev (= 5.9.0-1+ocaml20250313), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.2), libmagic-mgc (= 1:5.44-3), libmagic1 (= 1:5.44-3), libmd0 (= 1.0.4-2), libmenhir-ocaml-dev (= 20240715+ds-1+ocaml20250313), libmount1 (= 2.38.1-5+deb12u3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1), libncurses-dev (= 6.4-4), libncurses6 (= 6.4-4), libncursesw6 (= 6.4-4), libnettle8 (= 3.8.1-2), libnghttp2-14 (= 1.52.0-1+deb12u2), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnuma1 (= 2.0.16-1), libnumber-compare-perl (= 0.03-3), libocaml-compiler-libs-ocaml-dev (= 0.17.0-1+ocaml20250313), libocplib-endian-ocaml (= 1.2-4+ocaml20250313), libocplib-endian-ocaml-dev (= 1.2-4+ocaml20250313), libp11-kit0 (= 0.24.1-2), libpam-modules (= 1.5.2-6+deb12u1), libpam-modules-bin (= 1.5.2-6+deb12u1), libpam-runtime (= 1.5.2-6+deb12u1), libpam0g (= 1.5.2-6+deb12u1), libpango-1.0-0 (= 1.50.12+ds-1), libpangocairo-1.0-0 (= 1.50.12+ds-1), libpangoft2-1.0-0 (= 1.50.12+ds-1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7+deb12u1), libpipeline1 (= 1.5.7-1), libpixman-1-0 (= 0.42.2-1), libpng16-16 (= 1.6.39-2), libppx-derivers-ocaml-dev (= 1.2.1-4+ocaml20250313), libppx-deriving-ocaml (= 6.0.3-1+ocaml20250313), libppx-deriving-ocaml-dev (= 6.0.3-1+ocaml20250313), libppxlib-ocaml-dev (= 0.35.0-1+ocaml20250313), libpsl5 (= 0.21.2-1), libquadmath0 (= 12.2.0-14), librav1e0 (= 0.5.1-6), libre-ocaml-dev (= 1.12.0+really1.11.0-1+ocaml20250313), libreact-ocaml (= 1.2.2-1+ocaml20250313), libreact-ocaml-dev (= 1.2.2-1+ocaml20250313), libreactivedata-ocaml (= 0.3-4+ocaml20250313), libreactivedata-ocaml-dev (= 0.3-4+ocaml20250313), libreadline8 (= 8.2-1.3), librresult-ocaml (= 0.7.0-2+ocaml20250313), librresult-ocaml-dev (= 0.7.0-2+ocaml20250313), librtmp1 (= 2.4+20151223.gitfa8646d.1-2+b2), libsasl2-2 (= 2.1.28+dfsg-10), libsasl2-modules-db (= 2.1.28+dfsg-10), libseccomp2 (= 2.5.4-1+deb12u1), libsedlex-ocaml (= 3.3-2+ocaml20250313), libsedlex-ocaml-dev (= 3.3-2+ocaml20250313), libselinux1 (= 3.4-1+b6), libsexplib0-ocaml (= 0.17.0-1+ocaml20250313), libsexplib0-ocaml-dev (= 0.17.0-1+ocaml20250313), libsmartcols1 (= 2.38.1-5+deb12u3), libssh2-1 (= 1.10.0-3+b1), libssl3 (= 3.0.15-1~deb12u1), libstdc++-12-dev (= 12.2.0-14), libstdc++6 (= 12.2.0-14), libstdlib-ocaml (= 5.3.0-2+ocaml20250313), libstdlib-ocaml-dev (= 5.3.0-2+ocaml20250313), libsub-override-perl (= 0.09-4), libsvtav1enc1 (= 1.4.1+dfsg-1), libsystemd0 (= 252.33-1~deb12u1), libtasn1-6 (= 4.19.0-2), libtext-glob-perl (= 0.11-3), libthai-data (= 0.1.29-1), libthai0 (= 0.1.29-1), libtiff6 (= 4.5.0-6+deb12u2), libtinfo6 (= 6.4-4), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-7~deb12u1), libtsan2 (= 12.2.0-14), libtyxml-ocaml (= 4.6.0-1+ocaml20250313), libtyxml-ocaml-dev (= 4.6.0-1+ocaml20250313), libubsan1 (= 12.2.0-14), libuchardet0 (= 0.0.7-1), libudev1 (= 252.33-1~deb12u1), libunistring2 (= 1.0-2), libuuid1 (= 2.38.1-5+deb12u3), libuutf-ocaml (= 1.0.3-3+ocaml20250313), libuutf-ocaml-dev (= 1.0.3-3+ocaml20250313), libwebp7 (= 1.2.4-0.2+deb12u1), libx11-6 (= 2:1.8.4-2+deb12u2), libx11-data (= 2:1.8.4-2+deb12u2), libx265-199 (= 3.5-2+b1), libxau6 (= 1:1.0.9-1), libxcb-render0 (= 1.15-1), libxcb-shm0 (= 1.15-1), libxcb1 (= 1.15-1), libxdmcp6 (= 1:1.1.2-3), libxext6 (= 2:1.3.4-1+b1), libxml2 (= 2.9.14+dfsg-1.3~deb12u1), libxpm4 (= 1:3.5.12-1.1+deb12u1), libxrender1 (= 1:0.9.10-1.1), libyojson-ocaml (= 2.2.2-1+ocaml20250313), libyojson-ocaml-dev (= 2.2.2-1+ocaml20250313), libyuv0 (= 0.0~git20230123.b2528b0-1), libzstd-dev (= 1.5.4+dfsg2-5), libzstd1 (= 1.5.4+dfsg2-5), linux-libc-dev (= 6.1.123-1), login (= 1:4.13+dfsg1-1+b1), lua5.1 (= 5.1.5-9), m4 (= 1.4.19-3), make (= 4.3-4.1), man-db (= 2.11.2-2), mawk (= 1.3.4.20200120-3.1), menhir (= 20240715+ds-1+ocaml20250313), ncurses-base (= 6.4-4), ncurses-bin (= 6.4-4), ocaml (= 5.3.0-2+ocaml20250313), ocaml-base (= 5.3.0-2+ocaml20250313), ocaml-compiler-libs (= 5.3.0-2+ocaml20250313), ocaml-dune (= 3.17.2-1+ocaml20250313), ocaml-findlib (= 1.9.8-1+ocaml20250313), ocaml-interp (= 5.3.0-2+ocaml20250313), patch (= 2.7.6-7), perl (= 5.36.0-7+deb12u1), perl-base (= 5.36.0-7+deb12u1), perl-modules-5.36 (= 5.36.0-7+deb12u1), po-debconf (= 1.0.21+nmu1), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.06-4), tar (= 1.34+dfsg-1.2+deb12u1), time (= 1.9-0.2), usrmerge (= 37~deb12u1), util-linux (= 2.38.1-5+deb12u3), util-linux-extra (= 2.38.1-5+deb12u3), xz-utils (= 5.4.1-0.2), yojson-tools (= 2.2.2-1+ocaml20250313), zlib1g (= 1:1.2.13.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=1" LANG="fr_FR.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" MAKEFLAGS="" SOURCE_DATE_EPOCH="1741859222" +------------------------------------------------------------------------------+ | Package contents Thu, 13 Mar 2025 09:51:12 +0000 | +------------------------------------------------------------------------------+ elpi-dbgsym_2.0.7-1+ocaml20250313_amd64.deb ------------------------------------------- new Debian package, version 2.0. size 653460 bytes: control archive=640 bytes. 418 bytes, 12 lines control 293 bytes, 3 lines md5sums Package: elpi-dbgsym Source: elpi Version: 2.0.7-1+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 2063 Depends: elpi (= 2.0.7-1+ocaml20250313) Section: debug Priority: optional Description: debug symbols for elpi Build-Ids: 1645c0f3b5aba78830cfbe02e2aafd0eacb5a7cc bd2deec27a2dc34dd1e991942273a3d1ee47dd12 drwxr-xr-x root/root 0 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/16/ -rw-r--r-- root/root 1478096 2025-03-13 09:47 ./usr/lib/debug/.build-id/16/45c0f3b5aba78830cfbe02e2aafd0eacb5a7cc.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/bd/ -rw-r--r-- root/root 602976 2025-03-13 09:47 ./usr/lib/debug/.build-id/bd/2deec27a2dc34dd1e991942273a3d1ee47dd12.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 17304 2025-03-13 09:47 ./usr/lib/debug/.dwz/x86_64-linux-gnu/elpi.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 09:47 ./usr/share/doc/elpi-dbgsym -> elpi elpi_2.0.7-1+ocaml20250313_amd64.deb ------------------------------------ new Debian package, version 2.0. size 1846456 bytes: control archive=812 bytes. 569 bytes, 15 lines control 376 bytes, 6 lines md5sums Package: elpi Version: 2.0.7-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 9107 Depends: libelpi-ocaml (= 2.0.7-1+ocaml20250313), libc6 (>= 2.35) 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 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/bin/ -rwxr-xr-x root/root 6864632 2025-03-13 09:47 ./usr/bin/elpi -rwxr-xr-x root/root 2430456 2025-03-13 09:47 ./usr/bin/elpi-trace-elaborator drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/elpi/ -rw-r--r-- root/root 1485 2025-03-13 09:47 ./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-02-15 14:20 ./usr/share/doc/elpi/copyright drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/man/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/man/man1/ -rw-r--r-- root/root 1020 2025-03-13 09:47 ./usr/share/man/man1/elpi.1.gz libelpi-ocaml-dbgsym_2.0.7-1+ocaml20250313_amd64.deb ---------------------------------------------------- new Debian package, version 2.0. size 274660 bytes: control archive=952 bytes. 691 bytes, 12 lines control 938 bytes, 9 lines md5sums Package: libelpi-ocaml-dbgsym Source: elpi Version: 2.0.7-1+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 1000 Depends: libelpi-ocaml (= 2.0.7-1+ocaml20250313) Section: debug Priority: optional Description: debug symbols for libelpi-ocaml Build-Ids: 0d48bd9806be8a36491b780b969b5272463f3b8e 305abd7e44e6df09729c75dc7c22ba645f2bc210 42a741653f2847bb4cd9a11bf7134c2630dbb034 57a204c2f63d8435f343c62ffbd79db01d6138b1 5b0e73036a44fd92c891b3b54aab06c9c5734b5e 63148f65e0d1ff673833a60f7b7ca4a89d48c5ee 942cf1ff729cdd4453d81b0bdc0d8bbc8ed1e806 d9d41cbe92d32b4115b115389b7c51ee4146f6c0 drwxr-xr-x root/root 0 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/0d/ -rw-r--r-- root/root 18864 2025-03-13 09:47 ./usr/lib/debug/.build-id/0d/48bd9806be8a36491b780b969b5272463f3b8e.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/30/ -rw-r--r-- root/root 203072 2025-03-13 09:47 ./usr/lib/debug/.build-id/30/5abd7e44e6df09729c75dc7c22ba645f2bc210.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/42/ -rw-r--r-- root/root 228472 2025-03-13 09:47 ./usr/lib/debug/.build-id/42/a741653f2847bb4cd9a11bf7134c2630dbb034.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/57/ -rw-r--r-- root/root 116504 2025-03-13 09:47 ./usr/lib/debug/.build-id/57/a204c2f63d8435f343c62ffbd79db01d6138b1.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/5b/ -rw-r--r-- root/root 23480 2025-03-13 09:47 ./usr/lib/debug/.build-id/5b/0e73036a44fd92c891b3b54aab06c9c5734b5e.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/63/ -rw-r--r-- root/root 336072 2025-03-13 09:47 ./usr/lib/debug/.build-id/63/148f65e0d1ff673833a60f7b7ca4a89d48c5ee.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/94/ -rw-r--r-- root/root 39896 2025-03-13 09:47 ./usr/lib/debug/.build-id/94/2cf1ff729cdd4453d81b0bdc0d8bbc8ed1e806.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/d9/ -rw-r--r-- root/root 33096 2025-03-13 09:47 ./usr/lib/debug/.build-id/d9/d41cbe92d32b4115b115389b7c51ee4146f6c0.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.dwz/x86_64-linux-gnu/ -rw-r--r-- root/root 432 2025-03-13 09:47 ./usr/lib/debug/.dwz/x86_64-linux-gnu/libelpi-ocaml.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dbgsym -> libelpi-ocaml libelpi-ocaml-dev-dbgsym_2.0.7-1+ocaml20250313_amd64.deb -------------------------------------------------------- new Debian package, version 2.0. size 1351556 bytes: control archive=544 bytes. 416 bytes, 12 lines control 106 bytes, 1 lines md5sums Package: libelpi-ocaml-dev-dbgsym Source: elpi Version: 2.0.7-1+ocaml20250313 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 3949 Depends: libelpi-ocaml-dev (= 2.0.7-1+ocaml20250313) Section: debug Priority: optional Description: debug symbols for libelpi-ocaml-dev Build-Ids: ea97d414a8ec5604b3841f1c74d8d5b1f70502de drwxr-xr-x root/root 0 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/debug/.build-id/ea/ -rw-r--r-- root/root 4032992 2025-03-13 09:47 ./usr/lib/debug/.build-id/ea/97d414a8ec5604b3841f1c74d8d5b1f70502de.debug drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ lrwxrwxrwx root/root 0 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dev-dbgsym -> libelpi-ocaml-dev libelpi-ocaml-dev_2.0.7-1+ocaml20250313_amd64.deb ------------------------------------------------- new Debian package, version 2.0. size 15286648 bytes: control archive=5328 bytes. 907 bytes, 18 lines control 19923 bytes, 193 lines md5sums Package: libelpi-ocaml-dev Source: elpi Version: 2.0.7-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 38363 Depends: libcompiler-libs-ocaml-dev-pe0n8, libelpi-ocaml-3aty1, libmenhir-ocaml-dev-ra7h0, libocaml-compiler-libs-ocaml-dev-8r2g5, libppx-deriving-ocaml-dev-viv51, libppxlib-ocaml-dev-pijj8, libre-ocaml-dev-wc5y6, libsexplib0-ocaml-dev-lcp03, libstdlib-ocaml-dev-fxjy5, ocaml-5.3.0, libc6 (>= 2.35), libzstd1 (>= 1.5.2) Recommends: ocaml-findlib Provides: libelpi-ocaml-dev-3aty1 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 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/ -rw-r--r-- root/root 307 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_map.cmi -rw-r--r-- root/root 3448 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_map.cmt -rw-r--r-- root/root 307 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_set.cmi -rw-r--r-- root/root 3349 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_set.cmt -rw-r--r-- root/root 311 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_stdlib.cmi -rw-r--r-- root/root 5431 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/.private/elpi__Builtin_stdlib.cmt -rw-r--r-- root/root 50848 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/API.ml -rw-r--r-- root/root 50204 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/API.mli -rw-r--r-- root/root 45481 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin.elpi -rw-r--r-- root/root 48601 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin.ml -rw-r--r-- root/root 2812 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin.mli -rw-r--r-- root/root 4158 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin_map.ml -rw-r--r-- root/root 3882 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin_set.ml -rw-r--r-- root/root 10158 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/builtin_stdlib.ml drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/ -rw-r--r-- root/root 101859 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler.ml -rw-r--r-- root/root 2935 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler.mli -rw-r--r-- root/root 28365 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/compiler_data.ml -rw-r--r-- root/root 10126 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/determinacy_checker.ml -rw-r--r-- root/root 814 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/determinacy_checker.mli -rw-r--r-- root/root 1412674 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.a -rw-r--r-- root/root 457 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmi -rw-r--r-- root/root 2507 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmt -rw-r--r-- root/root 233 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmx -rw-r--r-- root/root 7328 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmxa -rw-r--r-- root/root 420 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.ml -rw-r--r-- root/root 3727 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmi -rw-r--r-- root/root 710374 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmt -rw-r--r-- root/root 14333 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmti -rw-r--r-- root/root 2619 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler.cmx -rw-r--r-- root/root 18618 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmi -rw-r--r-- root/root 388236 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmt -rw-r--r-- root/root 1399 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Compiler_data.cmx -rw-r--r-- root/root 2453 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmi -rw-r--r-- root/root 88607 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmt -rw-r--r-- root/root 9223 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmti -rw-r--r-- root/root 1499 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Determinacy_checker.cmx -rw-r--r-- root/root 2107 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmi -rw-r--r-- root/root 162100 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmt -rw-r--r-- root/root 7324 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmti -rw-r--r-- root/root 1684 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler__Type_checker.cmx -rw-r--r-- root/root 28644 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/type_checker.ml -rw-r--r-- root/root 1173 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/type_checker.mli -rw-r--r-- root/root 15955 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/dune-package -rw-r--r-- root/root 704498 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.a -rw-r--r-- root/root 413 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmi -rw-r--r-- root/root 2608 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmt -rw-r--r-- root/root 191 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmx -rw-r--r-- root/root 5747 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmxa -rw-r--r-- root/root 372 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.ml -rw-r--r-- root/root 43918 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmi -rw-r--r-- root/root 352716 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmt -rw-r--r-- root/root 183114 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmti -rw-r--r-- root/root 2678 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__API.cmx -rw-r--r-- root/root 2154 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmi -rw-r--r-- root/root 285615 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmt -rw-r--r-- root/root 16406 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmti -rw-r--r-- root/root 2396 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin.cmx -rw-r--r-- root/root 205 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_map.cmx -rw-r--r-- root/root 205 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_set.cmx -rw-r--r-- root/root 208 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi__Builtin_stdlib.cmx drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/ -rw-r--r-- root/root 47348 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.a -rw-r--r-- root/root 319 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmi -rw-r--r-- root/root 1990 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmt -rw-r--r-- root/root 172 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmx -rw-r--r-- root/root 872 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmxa -rw-r--r-- root/root 214 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.ml -rw-r--r-- root/root 1712 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi -rw-r--r-- root/root 22991 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt -rw-r--r-- root/root 525 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx -rw-r--r-- root/root 2272 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmi -rw-r--r-- root/root 6872 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmt -rw-r--r-- root/root 8589 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmti -rw-r--r-- root/root 226 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config__Tokens.cmx -rw-r--r-- root/root 4106 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/lexer_config.ml -rw-r--r-- root/root 1315 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/tokens.ml -rw-r--r-- root/root 1342 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/tokens.mli -rw-r--r-- root/root 3581 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/opam drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/ -rw-r--r-- root/root 11674 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/ast.ml -rw-r--r-- root/root 6137 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/ast.mli -rw-r--r-- root/root 3472304 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.a -rw-r--r-- root/root 524 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmi -rw-r--r-- root/root 2894 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmt -rw-r--r-- root/root 251 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmx -rw-r--r-- root/root 7662 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmxa -rw-r--r-- root/root 501 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.ml -rw-r--r-- root/root 15480 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmi -rw-r--r-- root/root 398629 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmt -rw-r--r-- root/root 67009 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmti -rw-r--r-- root/root 994 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Ast.cmx -rw-r--r-- root/root 359 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmi -rw-r--r-- root/root 12415 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmt -rw-r--r-- root/root 249 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Error_messages.cmx -rw-r--r-- root/root 1864 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmi -rw-r--r-- root/root 4399666 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmt -rw-r--r-- root/root 6102 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmti -rw-r--r-- root/root 1650 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Grammar.cmx -rw-r--r-- root/root 2685 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmi -rw-r--r-- root/root 77346 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmt -rw-r--r-- root/root 1065 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Lexer.cmx -rw-r--r-- root/root 2025 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmi -rw-r--r-- root/root 26970 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmt -rw-r--r-- root/root 7494 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmti -rw-r--r-- root/root 2135 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parse.cmx -rw-r--r-- root/root 2358 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmi -rw-r--r-- root/root 42824 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmt -rw-r--r-- root/root 1480 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser__Parser_config.cmx -rw-r--r-- root/root 6578 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/error_messages.ml -rw-r--r-- root/root 1824009 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/grammar.ml -rw-r--r-- root/root 669 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/grammar.mli -rw-r--r-- root/root 451173 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/lexer.ml -rw-r--r-- root/root 4481 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/parse.ml -rw-r--r-- root/root 1134 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/parse.mli -rw-r--r-- root/root 6344 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/parser_config.ml drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/ -rw-r--r-- root/root 5717 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/bl.ml -rw-r--r-- root/root 959 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/bl.mli -rw-r--r-- root/root 48859 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/data.ml -rw-r--r-- root/root 16492 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/discrimination_tree.ml -rw-r--r-- root/root 4337 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/discrimination_tree.mli -rw-r--r-- root/root 2469788 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.a -rw-r--r-- root/root 551 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmi -rw-r--r-- root/root 2948 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmt -rw-r--r-- root/root 266 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmx -rw-r--r-- root/root 9230 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmxa -rw-r--r-- root/root 534 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.ml -rw-r--r-- root/root 1300 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmi -rw-r--r-- root/root 56460 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmt -rw-r--r-- root/root 6414 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmti -rw-r--r-- root/root 802 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Bl.cmx -rw-r--r-- root/root 27489 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmi -rw-r--r-- root/root 562817 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmt -rw-r--r-- root/root 1482 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Data.cmx -rw-r--r-- root/root 2905 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmi -rw-r--r-- root/root 83712 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmt -rw-r--r-- root/root 14019 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmti -rw-r--r-- root/root 1367 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Discrimination_tree.cmx -rw-r--r-- root/root 1554 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmi -rw-r--r-- root/root 42149 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmt -rw-r--r-- root/root 8396 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmti -rw-r--r-- root/root 962 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Ptmap.cmx -rw-r--r-- root/root 3539 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmi -rw-r--r-- root/root 986326 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmt -rw-r--r-- root/root 14729 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmti -rw-r--r-- root/root 2312 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime.cmx -rw-r--r-- root/root 3561 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi -rw-r--r-- root/root 814521 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt -rw-r--r-- root/root 14765 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti -rw-r--r-- root/root 2201 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx -rw-r--r-- root/root 6947 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/ptmap.ml -rw-r--r-- root/root 2806 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/ptmap.mli -rw-r--r-- root/root 179482 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime.ml -rw-r--r-- root/root 3083 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime.mli -rw-r--r-- root/root 179482 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime_trace_off.ml -rw-r--r-- root/root 3083 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/runtime_trace_off.mli -rw-r--r-- root/root 4835 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace.atd drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/ -rwxr-xr-x root/root 16579848 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/ppx.exe -rw-r--r-- root/root 104556 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.a -rw-r--r-- root/root 5782 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmi -rw-r--r-- root/root 95159 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmt -rw-r--r-- root/root 4292 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmx -rw-r--r-- root/root 4299 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmxa -rw-r--r-- root/root 13354 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.ml drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/ -rw-r--r-- root/root 16367 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/runtime.ml -rw-r--r-- root/root 1150 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/runtime.mli -rw-r--r-- root/root 122276 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.a -rw-r--r-- root/root 239 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmi -rw-r--r-- root/root 1693 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmt -rw-r--r-- root/root 138 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmx -rw-r--r-- root/root 1646 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmxa -rw-r--r-- root/root 113 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.ml -rw-r--r-- root/root 1478 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi -rw-r--r-- root/root 112861 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt -rw-r--r-- root/root 6218 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti -rw-r--r-- root/root 1530 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx -rw-r--r-- root/root 38491 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace_atd.ts drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/ -rw-r--r-- root/root 190192 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.a -rw-r--r-- root/root 210 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmi -rw-r--r-- root/root 1654 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmt -rw-r--r-- root/root 119 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmx -rw-r--r-- root/root 2000 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmxa -rw-r--r-- root/root 88 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.ml -rw-r--r-- root/root 36701 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmi -rw-r--r-- root/root 204908 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmt -rw-r--r-- root/root 111108 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmti -rw-r--r-- root/root 1902 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util__Util.cmx -rw-r--r-- root/root 21644 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/util.ml -rw-r--r-- root/root 9306 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/util.mli drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dev/ -rw-r--r-- root/root 3316 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dev/README.md.gz -rw-r--r-- root/root 1485 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 14715 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml-dev/changelog.gz -rw-r--r-- root/root 1174 2025-02-15 14:20 ./usr/share/doc/libelpi-ocaml-dev/copyright drwxr-xr-x root/root 0 2025-03-13 09:47 ./var/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./var/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 2971 2025-03-13 09:47 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.META.elpi -rw-r--r-- root/root 1287 2025-03-13 09:47 ./var/lib/ocaml/lintian/libelpi-ocaml-dev.info drwxr-xr-x root/root 0 2025-03-13 09:47 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 7484 2025-03-13 09:47 ./var/lib/ocaml/md5sums/libelpi-ocaml-dev.md5sums libelpi-ocaml_2.0.7-1+ocaml20250313_amd64.deb --------------------------------------------- new Debian package, version 2.0. size 3889292 bytes: control archive=1272 bytes. 689 bytes, 18 lines control 1930 bytes, 20 lines md5sums Package: libelpi-ocaml Source: elpi Version: 2.0.7-1+ocaml20250313 Architecture: amd64 Maintainer: Debian OCaml Maintainers Installed-Size: 9574 Depends: libppx-deriving-ocaml-viv51, libsexplib0-ocaml-lcp03, libstdlib-ocaml-fxjy5, ocaml-base-5.3.0 Recommends: ocaml-findlib Provides: libelpi-ocaml-3aty1 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 2025-03-13 09:47 ./ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/ -rw-r--r-- root/root 2971 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/META drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/ -rw-r--r-- root/root 669576 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cma -rw-r--r-- root/root 890344 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/compiler/elpi_compiler.cmxs -rw-r--r-- root/root 365131 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cma -rw-r--r-- root/root 470792 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/elpi.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/ -rw-r--r-- root/root 15811 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cma -rw-r--r-- root/root 36416 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/ -rw-r--r-- root/root 2087746 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cma -rw-r--r-- root/root 1900016 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/parser/elpi_parser.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/ -rw-r--r-- root/root 1247755 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cma -rw-r--r-- root/root 1523136 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/runtime/elpi_runtime.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/ -rw-r--r-- root/root 56622 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cma -rw-r--r-- root/root 95432 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/ -rw-r--r-- root/root 55748 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cma -rw-r--r-- root/root 87552 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/ -rw-r--r-- root/root 115763 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cma -rw-r--r-- root/root 135952 2025-03-13 09:47 ./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmxs drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/ drwxr-xr-x root/root 0 2025-03-13 09:47 ./usr/share/doc/libelpi-ocaml/ -rw-r--r-- root/root 1485 2025-03-13 09:47 ./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-02-15 14:20 ./usr/share/doc/libelpi-ocaml/copyright +------------------------------------------------------------------------------+ | Post Build Thu, 13 Mar 2025 09:51:14 +0000 | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup Thu, 13 Mar 2025 09:51:14 +0000 | +------------------------------------------------------------------------------+ Purging /build/reproducible-path Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary Thu, 13 Mar 2025 09:51:15 +0000 | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: full Build-Space: 613784 Build-Time: 149 Distribution: unstable Host Architecture: amd64 Install-Time: 84 Job: /tmp/tmp.ben.transition-scripts.ZUEUxRnQQG/elpi_2.0.7-1+ocaml20250313.dsc Machine Architecture: amd64 Package: elpi Package-Time: 248 Source-Version: 2.0.7-1+ocaml20250313 Space: 613784 Status: successful Version: 2.0.7-1+ocaml20250313 -------------------------------------------------------------------------------- Finished at 2025-03-13T09:51:11Z Build needed 00:04:08, 613784k disk space