Source: elpi Version: 1.18.2-2 Severity: serious Tags: ftbfs Justification: fails to build from source (but built successfully in the past)
Hi, during running of the tests, the package build fails, specifically: KO trace-browser-elab (trace elaboration) elpi-trace-elaborator KO trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator KO trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator KO trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator KO trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator KO trace-browser-w-elab (trace elaboration) elpi-trace-elaborator KO trace-browser2-elab (trace elaboration) elpi-trace-elaborator KO trace-browser3-elab (trace elaboration) elpi-trace-elaborator KO trace-browser4-elab (trace elaboration) elpi-trace-elaborator Full log attached. Thanks! cheers, josch
sbuild (Debian sbuild) 0.85.0 (04 January 2023) on salat +==============================================================================+ | elpi (amd64) Sat, 15 Jun 2024 12:30:49 +0000 | +==============================================================================+ Package: elpi Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary Unpacking /home/josch/.cache/sbuild/unstable-amd64.tar to /tmp/tmp.sbuild.u1sSqKPNOc... I: NOTICE: Log filtering will replace 'sbuild-unshare-dummy-location' with '<<CHROOT>>' I: NOTICE: Log filtering will replace 'build/elpi-AxtKGU/resolver-wQbB4N' with '<<RESOLVERDIR>>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://deb.debian.org/debian unstable InRelease [198 kB] Get:2 http://deb.debian.org/debian unstable/main amd64 Packages [9934 kB] Fetched 10.1 MB in 1s (9855 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 | +------------------------------------------------------------------------------+ Check APT --------- There are no deb-src lines in your sources.list Automatically adding to EXTRA_REPOSITORIES: deb-src http://deb.debian.org/debian/ sid main +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://deb.debian.org/debian unstable InRelease Get:2 http://deb.debian.org/debian sid InRelease [198 kB] Get:3 http://deb.debian.org/debian sid/main Sources [10.6 MB] Fetched 10.8 MB in 1s (8909 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. Checking available source versions... Download source files with APT ------------------------------ Reading package lists... NOTICE: 'elpi' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/elpi.git Please use: git clone https://salsa.debian.org/ocaml-team/elpi.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 2637 kB of source archives. Get:1 http://deb.debian.org/debian sid/main elpi 1.18.2-2 (dsc) [2310 B] Get:2 http://deb.debian.org/debian sid/main elpi 1.18.2-2 (tar) [2630 kB] Get:3 http://deb.debian.org/debian sid/main elpi 1.18.2-2 (diff) [4560 B] Fetched 2637 kB in 0s (44.2 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/elpi-AxtKGU/elpi-1.18.2' with '<<PKGBUILDDIR>>' I: NOTICE: Log filtering will replace 'build/elpi-AxtKGU' with '<<BUILDDIR>>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), gnuplot-nox, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-dune, time, build-essential, fakeroot Filtered Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), gnuplot-nox, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-dune, time, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [609 B] Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [913 B] Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [923 B] Fetched 2445 B in 0s (0 B/s) Reading package lists... Hit:1 http://deb.debian.org/debian sid InRelease 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 fakeroot file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gettext gettext-base gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20230802 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 libev-dev libev4t64 libexpat1 libfakeroot libfile-stripnondeterminism-perl 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-0t64 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libicu72 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 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-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev librav1e0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8t64 librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc1d1 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libuutf-ocaml libuutf-ocaml-dev libwebp7 libwebpmux3 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2 libxpm4 libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 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 Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev gnuplot-doc groff libgd-tools low-memory-monitor libheif-plugin-ffmpegdec libheif-plugin-jpegdec libheif-plugin-jpegenc libheif-plugin-j2kdec libheif-plugin-j2kenc libheif-plugin-rav1e libheif-plugin-svtenc liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libuutf-ocaml-doc m4-doc apparmor less www-browser menhir-doc ocaml-doc elpa-tuareg camlp4 libmail-box-perl readline-doc Recommended packages: curl | wget | lynx fonts-liberation groff libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libheif-plugin-x265 libheif-plugin-aomenc liblwt-ocaml-doc libgpm2 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 fakeroot file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gettext gettext-base gnuplot-data gnuplot-nox groff-base intltool-debian libabsl20230802 libansi-terminal-ocaml libansi-terminal-ocaml-dev libaom3 libarchive-zip-perl libastring-ocaml libastring-ocaml-dev libatdgen-ocaml libatdgen-ocaml-dev libavif16 libbiniou-ocaml libbiniou-ocaml-dev libbos-ocaml libbos-ocaml-dev libbrotli1 libbsd0 libcairo2 libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libdatrie1 libdav1d7 libde265-0 libdebhelper-perl libdeflate0 libeasy-format-ocaml libeasy-format-ocaml-dev libedit2 libelf1t64 libev-dev libev4t64 libexpat1 libfakeroot libfile-stripnondeterminism-perl 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-0t64 libgraphics-ocaml libgraphics-ocaml-dev libgraphite2-3 libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libicu72 libjbig0 libjpeg62-turbo libjs-of-ocaml libjs-of-ocaml-dev liblerc4 liblogs-ocaml liblogs-ocaml-dev liblua5.4-0 liblwt-log-ocaml liblwt-log-ocaml-dev liblwt-ocaml liblwt-ocaml-dev libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev libncurses6 libncursesw6 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-16t64 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev librav1e0 libre-ocaml-dev libreact-ocaml libreact-ocaml-dev libreactivedata-ocaml libreactivedata-ocaml-dev libreadline8t64 librresult-ocaml librresult-ocaml-dev libsedlex-ocaml libsedlex-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev libsharpyuv0 libstdlib-ocaml libstdlib-ocaml-dev libsvtav1enc1d1 libthai-data libthai0 libtiff6 libtool libtyxml-ocaml libtyxml-ocaml-dev libuchardet0 libuutf-ocaml libuutf-ocaml-dev libwebp7 libwebpmux3 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxml2 libxpm4 libxrender1 libyojson-ocaml libyojson-ocaml-dev libyuv0 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 0 upgraded, 170 newly installed, 0 to remove and 0 not upgraded. Need to get 244 MB of archives. After this operation, 1080 MB of additional disk space will be used. Get:1 copy:/<<RESOLVERDIR>>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [992 B] Get:2 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.2-4 [69.3 kB] Get:3 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.22 [22.4 kB] Get:4 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3 [314 kB] Get:5 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3 [105 kB] Get:6 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3 [42.9 kB] Get:7 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.21-14+b1 [161 kB] Get:8 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b1 [68.8 kB] Get:9 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-4 [1180 kB] Get:10 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.1-8.1 [96.2 kB] Get:11 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.7-2 [38.0 kB] Get:12 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.12.1-2 [1411 kB] Get:13 http://deb.debian.org/debian unstable/main amd64 aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get:14 http://deb.debian.org/debian unstable/main amd64 atdts amd64 2.15.0-1+b1 [641 kB] Get:15 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287 kB] Get:16 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.71-3 [332 kB] Get:17 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get:18 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get:19 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.21-14 [496 kB] Get:20 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 4.14.1-1 [499 kB] Get:21 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 4.14.1-1 [7284 kB] Get:22 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 4.14.1-1 [32.7 MB] Get:23 http://deb.debian.org/debian unstable/main amd64 ocaml-compiler-libs all 4.14.1-1 [169 kB] Get:24 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 4.14.1-1 [401 kB] Get:25 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml amd64 0.8.5-2+b1 [174 kB] Get:26 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 4.14.1-1 [6456 kB] Get:27 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2 [104 kB] Get:28 http://deb.debian.org/debian unstable/main amd64 libncursesw6 amd64 6.5-2 [135 kB] Get:29 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2 [349 kB] Get:30 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 4.14.1-1 [67.1 MB] Get:31 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b1 [129 kB] Get:32 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml amd64 0.9.0-3+b2 [125 kB] Get:33 http://deb.debian.org/debian unstable/main amd64 libfpath-ocaml amd64 0.7.3-3+b1 [91.4 kB] Get:34 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-2 [169 kB] Get:35 http://deb.debian.org/debian unstable/main amd64 libgen-ocaml amd64 1.1-1+b1 [190 kB] Get:36 http://deb.debian.org/debian unstable/main amd64 libxau6 amd64 1:1.0.9-1+b1 [18.1 kB] Get:37 http://deb.debian.org/debian unstable/main amd64 libbsd0 amd64 0.12.2-1 [131 kB] Get:38 http://deb.debian.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.2-3+b1 [24.3 kB] Get:39 http://deb.debian.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2 [144 kB] Get:40 http://deb.debian.org/debian unstable/main amd64 libx11-data all 2:1.8.7-1 [328 kB] Get:41 http://deb.debian.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.7-1+b1 [799 kB] Get:42 http://deb.debian.org/debian unstable/main amd64 libgraphics-ocaml amd64 5.1.2-3+b1 [49.5 kB] Get:43 http://deb.debian.org/debian unstable/main amd64 libocplib-endian-ocaml amd64 1.2-4 [71.3 kB] Get:44 http://deb.debian.org/debian unstable/main amd64 libreact-ocaml amd64 1.2.2-1+b1 [185 kB] Get:45 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml amd64 0.16.0-3+b1 [110 kB] Get:46 http://deb.debian.org/debian unstable/main amd64 libev4t64 amd64 1:4.33-2.1 [42.2 kB] Get:47 http://deb.debian.org/debian unstable/main amd64 liblwt-ocaml amd64 5.7.0-1+b5 [878 kB] Get:48 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml amd64 1.1.2-4+b5 [84.3 kB] Get:49 http://deb.debian.org/debian unstable/main amd64 libreactivedata-ocaml amd64 0.3-4+b1 [83.4 kB] Get:50 http://deb.debian.org/debian unstable/main amd64 libsedlex-ocaml amd64 3.2-1+b3 [250 kB] Get:51 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml amd64 1.0.3-1+b2 [74.0 kB] Get:52 http://deb.debian.org/debian unstable/main amd64 libtyxml-ocaml amd64 4.6.0-1 [495 kB] Get:53 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml amd64 2.2.1-1+b1 [568 kB] Get:54 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml amd64 5.8.2-2 [6729 kB] Get:55 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml amd64 0.7.0-3+b9 [78.7 kB] Get:56 http://deb.debian.org/debian unstable/main amd64 librresult-ocaml amd64 0.7.0-2+b1 [26.8 kB] Get:57 http://deb.debian.org/debian unstable/main amd64 libbos-ocaml amd64 0.2.1-2+b9 [295 kB] Get:58 http://deb.debian.org/debian unstable/main amd64 libcmdliner-ocaml-dev amd64 1.3.0-1 [483 kB] Get:59 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml-dev amd64 0.9.0-3+b2 [99.4 kB] Get:60 http://deb.debian.org/debian unstable/main amd64 libfpath-ocaml-dev amd64 0.7.3-3+b1 [72.5 kB] Get:61 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.6-2 [162 kB] Get:62 http://deb.debian.org/debian unstable/main amd64 libgen-ocaml-dev amd64 1.1-1+b1 [426 kB] Get:63 http://deb.debian.org/debian unstable/main amd64 libgraphics-ocaml-dev amd64 5.1.2-3+b1 [95.4 kB] Get:64 http://deb.debian.org/debian unstable/main amd64 libev-dev amd64 1:4.33-2.1 [135 kB] Get:65 http://deb.debian.org/debian unstable/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.12.4-4+b1 [84.2 kB] Get:66 http://deb.debian.org/debian unstable/main amd64 libocplib-endian-ocaml-dev amd64 1.2-4 [145 kB] Get:67 http://deb.debian.org/debian unstable/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4+b1 [16.4 kB] Get:68 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml-dev amd64 0.16.0-3+b1 [245 kB] Get:69 http://deb.debian.org/debian unstable/main amd64 libppxlib-ocaml-dev amd64 0.32.1-1 [16.5 MB] Get:70 http://deb.debian.org/debian unstable/main amd64 libreact-ocaml-dev amd64 1.2.2-1+b1 [133 kB] Get:71 http://deb.debian.org/debian unstable/main amd64 liblwt-ocaml-dev amd64 5.7.0-1+b5 [5234 kB] Get:72 http://deb.debian.org/debian unstable/main amd64 liblwt-log-ocaml-dev amd64 1.1.2-4+b5 [180 kB] Get:73 http://deb.debian.org/debian unstable/main amd64 libmenhir-ocaml-dev amd64 20231231+ds-1 [647 kB] Get:74 http://deb.debian.org/debian unstable/main amd64 libreactivedata-ocaml-dev amd64 0.3-4+b1 [170 kB] Get:75 http://deb.debian.org/debian unstable/main amd64 libsedlex-ocaml-dev amd64 3.2-1+b3 [4116 kB] Get:76 http://deb.debian.org/debian unstable/main amd64 libre-ocaml-dev amd64 1.11.0-1+b1 [928 kB] Get:77 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml-dev amd64 1.0.3-1+b2 [506 kB] Get:78 http://deb.debian.org/debian unstable/main amd64 libtyxml-ocaml-dev amd64 4.6.0-1 [2254 kB] Get:79 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml-dev amd64 2.2.1-1+b1 [904 kB] Get:80 http://deb.debian.org/debian unstable/main amd64 libjs-of-ocaml-dev amd64 5.8.2-2 [24.2 MB] Get:81 http://deb.debian.org/debian unstable/main amd64 liblogs-ocaml-dev amd64 0.7.0-3+b9 [74.4 kB] Get:82 http://deb.debian.org/debian unstable/main amd64 librresult-ocaml-dev amd64 0.7.0-2+b1 [32.4 kB] Get:83 http://deb.debian.org/debian unstable/main amd64 libbos-ocaml-dev amd64 0.2.1-2+b9 [243 kB] Get:84 http://deb.debian.org/debian unstable/main amd64 libcamlp-streams-ocaml amd64 5.0.1-3+b1 [7676 B] Get:85 http://deb.debian.org/debian unstable/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-3+b1 [21.9 kB] Get:86 http://deb.debian.org/debian unstable/main amd64 camlp5 amd64 8.02.01-2+b8 [5567 kB] Get:87 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.15.3 [88.0 kB] Get:88 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-7 [517 kB] Get:89 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB] Get:90 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:91 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get:92 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get:93 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.191-1+b1 [189 kB] Get:94 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB] Get:95 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-4+b1 [9395 kB] Get:96 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg-3 [670 kB] Get:97 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.21-14+b1 [1301 kB] Get:98 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:99 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:100 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.15.3 [901 kB] Get:101 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.1 [69.4 kB] Get:102 http://deb.debian.org/debian unstable/main amd64 libfakeroot amd64 1.35-1 [29.1 kB] Get:103 http://deb.debian.org/debian unstable/main amd64 fakeroot amd64 1.35-1 [74.1 kB] Get:104 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.6.2-1 [103 kB] Get:105 http://deb.debian.org/debian unstable/main amd64 libbrotli1 amd64 1.1.0-2+b3 [305 kB] Get:106 http://deb.debian.org/debian unstable/main amd64 libpng16-16t64 amd64 1.6.43-5 [278 kB] Get:107 http://deb.debian.org/debian unstable/main amd64 libfreetype6 amd64 2.13.2+dfsg-1+b4 [439 kB] Get:108 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:109 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get:110 http://deb.debian.org/debian unstable/main amd64 fontconfig-config amd64 2.15.0-1.1 [317 kB] Get:111 http://deb.debian.org/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-1.1 [388 kB] Get:112 http://deb.debian.org/debian unstable/main amd64 fontconfig amd64 2.15.0-1.1 [463 kB] Get:113 http://deb.debian.org/debian unstable/main amd64 gnuplot-data all 6.0.0+dfsg1-3 [72.3 kB] Get:114 http://deb.debian.org/debian unstable/main amd64 libpixman-1-0 amd64 0.42.2-1+b1 [556 kB] Get:115 http://deb.debian.org/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2 [115 kB] Get:116 http://deb.debian.org/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2 [105 kB] Get:117 http://deb.debian.org/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b1 [52.9 kB] Get:118 http://deb.debian.org/debian unstable/main amd64 libxrender1 amd64 1:0.9.10-1.1+b1 [27.9 kB] Get:119 http://deb.debian.org/debian unstable/main amd64 libcairo2 amd64 1.18.0-3+b1 [531 kB] Get:120 http://deb.debian.org/debian unstable/main amd64 libedit2 amd64 3.1-20240517-1 [93.3 kB] Get:121 http://deb.debian.org/debian unstable/main amd64 libaom3 amd64 3.8.2-3 [1869 kB] Get:122 http://deb.debian.org/debian unstable/main amd64 libdav1d7 amd64 1.4.2-1 [551 kB] Get:123 http://deb.debian.org/debian unstable/main amd64 libabsl20230802 amd64 20230802.1-4 [464 kB] Get:124 http://deb.debian.org/debian unstable/main amd64 libgav1-1 amd64 0.19.0-2+b1 [351 kB] Get:125 http://deb.debian.org/debian unstable/main amd64 librav1e0 amd64 0.7.1-2 [900 kB] Get:126 http://deb.debian.org/debian unstable/main amd64 libsharpyuv0 amd64 1.4.0-0.1 [113 kB] Get:127 http://deb.debian.org/debian unstable/main amd64 libsvtav1enc1d1 amd64 1.7.0+dfsg-2+b1 [2169 kB] Get:128 http://deb.debian.org/debian unstable/main amd64 libjpeg62-turbo amd64 1:2.1.5-3 [167 kB] Get:129 http://deb.debian.org/debian unstable/main amd64 libyuv0 amd64 0.0.1888.20240607-1 [170 kB] Get:130 http://deb.debian.org/debian unstable/main amd64 libavif16 amd64 1.0.4-3 [106 kB] Get:131 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-dav1d amd64 1.17.6-3+b1 [10.1 kB] Get:132 http://deb.debian.org/debian unstable/main amd64 libde265-0 amd64 1.0.15-1+b1 [187 kB] Get:133 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-libde265 amd64 1.17.6-3+b1 [13.4 kB] Get:134 http://deb.debian.org/debian unstable/main amd64 libheif1 amd64 1.17.6-3+b1 [284 kB] Get:135 http://deb.debian.org/debian unstable/main amd64 libdeflate0 amd64 1.20-1 [46.0 kB] Get:136 http://deb.debian.org/debian unstable/main amd64 libjbig0 amd64 2.1-6.1+b1 [32.0 kB] Get:137 http://deb.debian.org/debian unstable/main amd64 liblerc4 amd64 4.0.0+ds-4+b1 [171 kB] Get:138 http://deb.debian.org/debian unstable/main amd64 libwebp7 amd64 1.4.0-0.1 [311 kB] Get:139 http://deb.debian.org/debian unstable/main amd64 libtiff6 amd64 4.5.1+git230720-4 [322 kB] Get:140 http://deb.debian.org/debian unstable/main amd64 libxpm4 amd64 1:3.5.17-1+b1 [56.1 kB] Get:141 http://deb.debian.org/debian unstable/main amd64 libgd3 amd64 2.3.3-9+b3 [125 kB] Get:142 http://deb.debian.org/debian unstable/main amd64 libglib2.0-0t64 amd64 2.80.3-1 [1485 kB] Get:143 http://deb.debian.org/debian unstable/main amd64 liblua5.4-0 amd64 5.4.6-3+b1 [147 kB] Get:144 http://deb.debian.org/debian unstable/main amd64 libfribidi0 amd64 1.0.13-3+b1 [71.4 kB] Get:145 http://deb.debian.org/debian unstable/main amd64 libgraphite2-3 amd64 1.3.14-2 [74.9 kB] Get:146 http://deb.debian.org/debian unstable/main amd64 libharfbuzz0b amd64 8.3.0-2+b1 [2214 kB] Get:147 http://deb.debian.org/debian unstable/main amd64 libthai-data all 0.1.29-2 [168 kB] Get:148 http://deb.debian.org/debian unstable/main amd64 libdatrie1 amd64 0.2.13-3 [37.7 kB] Get:149 http://deb.debian.org/debian unstable/main amd64 libthai0 amd64 0.1.29-2 [49.1 kB] Get:150 http://deb.debian.org/debian unstable/main amd64 libpango-1.0-0 amd64 1.54.0+ds-1 [219 kB] Get:151 http://deb.debian.org/debian unstable/main amd64 libpangoft2-1.0-0 amd64 1.54.0+ds-1 [48.0 kB] Get:152 http://deb.debian.org/debian unstable/main amd64 libpangocairo-1.0-0 amd64 1.54.0+ds-1 [35.0 kB] Get:153 http://deb.debian.org/debian unstable/main amd64 libwebpmux3 amd64 1.4.0-0.1 [123 kB] Get:154 http://deb.debian.org/debian unstable/main amd64 gnuplot-nox amd64 6.0.0+dfsg1-3 [916 kB] Get:155 http://deb.debian.org/debian unstable/main amd64 libansi-terminal-ocaml amd64 0.8.5-4 [26.5 kB] Get:156 http://deb.debian.org/debian unstable/main amd64 libansi-terminal-ocaml-dev amd64 0.8.5-4 [60.9 kB] Get:157 http://deb.debian.org/debian unstable/main amd64 libeasy-format-ocaml amd64 1.3.4-3+b1 [46.4 kB] Get:158 http://deb.debian.org/debian unstable/main amd64 libbiniou-ocaml amd64 1.2.2-4 [127 kB] Get:159 http://deb.debian.org/debian unstable/main amd64 libatdgen-ocaml amd64 2.15.0-1+b1 [129 kB] Get:160 http://deb.debian.org/debian unstable/main amd64 libeasy-format-ocaml-dev amd64 1.3.4-3+b1 [97.9 kB] Get:161 http://deb.debian.org/debian unstable/main amd64 libbiniou-ocaml-dev amd64 1.2.2-4 [615 kB] Get:162 http://deb.debian.org/debian unstable/main amd64 libatdgen-ocaml-dev amd64 2.15.0-1+b1 [1354 kB] Get:163 http://deb.debian.org/debian unstable/main amd64 libppx-deriving-ocaml amd64 6.0.2-2 [3926 kB] Get:164 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-2 [499 kB] Get:165 http://deb.debian.org/debian unstable/main amd64 libppx-deriving-ocaml-dev amd64 6.0.2-2 [816 kB] Get:166 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.2-4 [167 kB] Get:167 http://deb.debian.org/debian unstable/main amd64 lua5.1 amd64 5.1.5-9+b2 [102 kB] Get:168 http://deb.debian.org/debian unstable/main amd64 menhir amd64 20231231+ds-1 [1248 kB] Get:169 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64 3.15.3-2 [4439 kB] Get:170 http://deb.debian.org/debian unstable/main amd64 time amd64 1.9-0.2 [50.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 244 MB in 2s (113 MB/s) Selecting previously unselected package readline-common. (Reading database ... 12904 files and directories currently installed.) Preparing to unpack .../000-readline-common_8.2-4_all.deb ... Unpacking readline-common (8.2-4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.45-3_amd64.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../003-libmagic1t64_1%3a5.45-3_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.45-3_amd64.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.21-14+b1_amd64.deb ... Unpacking gettext-base (0.21-14+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../006-libuchardet0_0.0.8-1+b1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.23.0-4_amd64.deb ... Unpacking groff-base (1.23.0-4) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../008-bsdextrautils_2.40.1-8.1_amd64.deb ... Unpacking bsdextrautils (2.40.1-8.1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../009-libpipeline1_1.5.7-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.12.1-2_amd64.deb ... Unpacking man-db (2.12.1-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.15.0-1+b1_amd64.deb ... Unpacking atdts (2.15.0-1+b1) ... Selecting previously unselected package m4. Preparing to unpack .../013-m4_1.4.19-4_amd64.deb ... Unpacking m4 (1.4.19-4) ... 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-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../018-libstdlib-ocaml_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml (4.14.1-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../019-libstdlib-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../020-libcompiler-libs-ocaml-dev_4.14.1-1_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../021-ocaml-compiler-libs_4.14.1-1_all.deb ... Unpacking ocaml-compiler-libs (4.14.1-1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../022-ocaml-base_4.14.1-1_amd64.deb ... Unpacking ocaml-base (4.14.1-1) ... Selecting previously unselected package libastring-ocaml. Preparing to unpack .../023-libastring-ocaml_0.8.5-2+b1_amd64.deb ... Unpacking libastring-ocaml (0.8.5-2+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../024-ocaml-interp_4.14.1-1_amd64.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../025-libncurses6_6.5-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../026-libncursesw6_6.5-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../027-libncurses-dev_6.5-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../028-ocaml_4.14.1-1_amd64.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../029-libastring-ocaml-dev_0.8.5-2+b1_amd64.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b1) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../030-libfmt-ocaml_0.9.0-3+b2_amd64.deb ... Unpacking libfmt-ocaml (0.9.0-3+b2) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../031-libfpath-ocaml_0.7.3-3+b1_amd64.deb ... Unpacking libfpath-ocaml (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../032-libfindlib-ocaml_1.9.6-2_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-2) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../033-libgen-ocaml_1.1-1+b1_amd64.deb ... Unpacking libgen-ocaml (1.1-1+b1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../034-libxau6_1%3a1.0.9-1+b1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1+b1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../035-libbsd0_0.12.2-1_amd64.deb ... Unpacking libbsd0:amd64 (0.12.2-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../036-libxdmcp6_1%3a1.1.2-3+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../037-libxcb1_1.17.0-2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../038-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../039-libx11-6_2%3a1.8.7-1+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.7-1+b1) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../040-libgraphics-ocaml_5.1.2-3+b1_amd64.deb ... Unpacking libgraphics-ocaml (5.1.2-3+b1) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../041-libocplib-endian-ocaml_1.2-4_amd64.deb ... Unpacking libocplib-endian-ocaml (1.2-4) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../042-libreact-ocaml_1.2.2-1+b1_amd64.deb ... Unpacking libreact-ocaml (1.2.2-1+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../043-libsexplib0-ocaml_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b1) ... Selecting previously unselected package libev4t64:amd64. Preparing to unpack .../044-libev4t64_1%3a4.33-2.1_amd64.deb ... Unpacking libev4t64:amd64 (1:4.33-2.1) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../045-liblwt-ocaml_5.7.0-1+b5_amd64.deb ... Unpacking liblwt-ocaml (5.7.0-1+b5) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../046-liblwt-log-ocaml_1.1.2-4+b5_amd64.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b5) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../047-libreactivedata-ocaml_0.3-4+b1_amd64.deb ... Unpacking libreactivedata-ocaml (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../048-libsedlex-ocaml_3.2-1+b3_amd64.deb ... Unpacking libsedlex-ocaml (3.2-1+b3) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../049-libuutf-ocaml_1.0.3-1+b2_amd64.deb ... Unpacking libuutf-ocaml (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../050-libtyxml-ocaml_4.6.0-1_amd64.deb ... Unpacking libtyxml-ocaml (4.6.0-1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../051-libyojson-ocaml_2.2.1-1+b1_amd64.deb ... Unpacking libyojson-ocaml (2.2.1-1+b1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../052-libjs-of-ocaml_5.8.2-2_amd64.deb ... Unpacking libjs-of-ocaml (5.8.2-2) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../053-liblogs-ocaml_0.7.0-3+b9_amd64.deb ... Unpacking liblogs-ocaml (0.7.0-3+b9) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../054-librresult-ocaml_0.7.0-2+b1_amd64.deb ... Unpacking librresult-ocaml (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../055-libbos-ocaml_0.2.1-2+b9_amd64.deb ... Unpacking libbos-ocaml (0.2.1-2+b9) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../056-libcmdliner-ocaml-dev_1.3.0-1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.3.0-1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../057-libfmt-ocaml-dev_0.9.0-3+b2_amd64.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+b2) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../058-libfpath-ocaml-dev_0.7.3-3+b1_amd64.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../059-libfindlib-ocaml-dev_1.9.6-2_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-2) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../060-libgen-ocaml-dev_1.1-1+b1_amd64.deb ... Unpacking libgen-ocaml-dev (1.1-1+b1) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../061-libgraphics-ocaml-dev_5.1.2-3+b1_amd64.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b1) ... Selecting previously unselected package libev-dev:amd64. Preparing to unpack .../062-libev-dev_1%3a4.33-2.1_amd64.deb ... Unpacking libev-dev:amd64 (1:4.33-2.1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../063-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../064-libocplib-endian-ocaml-dev_1.2-4_amd64.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-4) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../065-libppx-derivers-ocaml-dev_1.2.1-4+b1_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../066-libsexplib0-ocaml-dev_0.16.0-3+b1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../067-libppxlib-ocaml-dev_0.32.1-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.32.1-1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../068-libreact-ocaml-dev_1.2.2-1+b1_amd64.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b1) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../069-liblwt-ocaml-dev_5.7.0-1+b5_amd64.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b5) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../070-liblwt-log-ocaml-dev_1.1.2-4+b5_amd64.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b5) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../071-libmenhir-ocaml-dev_20231231+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20231231+ds-1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../072-libreactivedata-ocaml-dev_0.3-4+b1_amd64.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../073-libsedlex-ocaml-dev_3.2-1+b3_amd64.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b3) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../074-libre-ocaml-dev_1.11.0-1+b1_amd64.deb ... Unpacking libre-ocaml-dev (1.11.0-1+b1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../075-libuutf-ocaml-dev_1.0.3-1+b2_amd64.deb ... Unpacking libuutf-ocaml-dev (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../076-libtyxml-ocaml-dev_4.6.0-1_amd64.deb ... Unpacking libtyxml-ocaml-dev (4.6.0-1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../077-libyojson-ocaml-dev_2.2.1-1+b1_amd64.deb ... Unpacking libyojson-ocaml-dev (2.2.1-1+b1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../078-libjs-of-ocaml-dev_5.8.2-2_amd64.deb ... Unpacking libjs-of-ocaml-dev (5.8.2-2) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../079-liblogs-ocaml-dev_0.7.0-3+b9_amd64.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b9) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../080-librresult-ocaml-dev_0.7.0-2+b1_amd64.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../081-libbos-ocaml-dev_0.2.1-2+b9_amd64.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b9) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../082-libcamlp-streams-ocaml_5.0.1-3+b1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../083-libcamlp-streams-ocaml-dev_5.0.1-3+b1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Selecting previously unselected package camlp5. Preparing to unpack .../084-camlp5_8.02.01-2+b8_amd64.deb ... Unpacking camlp5 (8.02.01-2+b8) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../085-libdebhelper-perl_13.15.3_all.deb ... Unpacking libdebhelper-perl (13.15.3) ... Selecting previously unselected package libtool. Preparing to unpack .../086-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../087-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../088-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../089-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../090-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../091-libelf1t64_0.191-1+b1_amd64.deb ... Unpacking libelf1t64:amd64 (0.191-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../092-dwz_0.15-1+b1_amd64.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../093-libicu72_72.1-4+b1_amd64.deb ... Unpacking libicu72:amd64 (72.1-4+b1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../094-libxml2_2.12.7+dfsg-3_amd64.deb ... Unpacking libxml2:amd64 (2.12.7+dfsg-3) ... Selecting previously unselected package gettext. Preparing to unpack .../095-gettext_0.21-14+b1_amd64.deb ... Unpacking gettext (0.21-14+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../096-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 .../097-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../098-debhelper_13.15.3_all.deb ... Unpacking debhelper (13.15.3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../099-dh-ocaml_2.1_all.deb ... Unpacking dh-ocaml (2.1) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../100-libfakeroot_1.35-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.35-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../101-fakeroot_1.35-1_amd64.deb ... Unpacking fakeroot (1.35-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../102-libexpat1_2.6.2-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.2-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../103-libbrotli1_1.1.0-2+b3_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b3) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../104-libpng16-16t64_1.6.43-5_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.43-5) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../105-libfreetype6_2.13.2+dfsg-1+b4_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.2+dfsg-1+b4) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../106-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../107-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../108-fontconfig-config_2.15.0-1.1_amd64.deb ... Unpacking fontconfig-config (2.15.0-1.1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../109-libfontconfig1_2.15.0-1.1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-1.1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../110-fontconfig_2.15.0-1.1_amd64.deb ... Unpacking fontconfig (2.15.0-1.1) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../111-gnuplot-data_6.0.0+dfsg1-3_all.deb ... Unpacking gnuplot-data (6.0.0+dfsg1-3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../112-libpixman-1-0_0.42.2-1+b1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.42.2-1+b1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../113-libxcb-render0_1.17.0-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../114-libxcb-shm0_1.17.0-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../115-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 .../116-libxrender1_1%3a0.9.10-1.1+b1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1+b1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../117-libcairo2_1.18.0-3+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.0-3+b1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../118-libedit2_3.1-20240517-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20240517-1) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../119-libaom3_3.8.2-3_amd64.deb ... Unpacking libaom3:amd64 (3.8.2-3) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../120-libdav1d7_1.4.2-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.4.2-1) ... Selecting previously unselected package libabsl20230802:amd64. Preparing to unpack .../121-libabsl20230802_20230802.1-4_amd64.deb ... Unpacking libabsl20230802:amd64 (20230802.1-4) ... Selecting previously unselected package libgav1-1:amd64. Preparing to unpack .../122-libgav1-1_0.19.0-2+b1_amd64.deb ... Unpacking libgav1-1:amd64 (0.19.0-2+b1) ... Selecting previously unselected package librav1e0:amd64. Preparing to unpack .../123-librav1e0_0.7.1-2_amd64.deb ... Unpacking librav1e0:amd64 (0.7.1-2) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../124-libsharpyuv0_1.4.0-0.1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.4.0-0.1) ... Selecting previously unselected package libsvtav1enc1d1:amd64. Preparing to unpack .../125-libsvtav1enc1d1_1.7.0+dfsg-2+b1_amd64.deb ... Unpacking libsvtav1enc1d1:amd64 (1.7.0+dfsg-2+b1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../126-libjpeg62-turbo_1%3a2.1.5-3_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3) ... Selecting previously unselected package libyuv0:amd64. Preparing to unpack .../127-libyuv0_0.0.1888.20240607-1_amd64.deb ... Unpacking libyuv0:amd64 (0.0.1888.20240607-1) ... Selecting previously unselected package libavif16:amd64. Preparing to unpack .../128-libavif16_1.0.4-3_amd64.deb ... Unpacking libavif16:amd64 (1.0.4-3) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../129-libheif-plugin-dav1d_1.17.6-3+b1_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.17.6-3+b1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../130-libde265-0_1.0.15-1+b1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.15-1+b1) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../131-libheif-plugin-libde265_1.17.6-3+b1_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.17.6-3+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../132-libheif1_1.17.6-3+b1_amd64.deb ... Unpacking libheif1:amd64 (1.17.6-3+b1) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../133-libdeflate0_1.20-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.20-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../134-libjbig0_2.1-6.1+b1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b1) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../135-liblerc4_4.0.0+ds-4+b1_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-4+b1) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../136-libwebp7_1.4.0-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.4.0-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../137-libtiff6_4.5.1+git230720-4_amd64.deb ... Unpacking libtiff6:amd64 (4.5.1+git230720-4) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../138-libxpm4_1%3a3.5.17-1+b1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.17-1+b1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../139-libgd3_2.3.3-9+b3_amd64.deb ... Unpacking libgd3:amd64 (2.3.3-9+b3) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../140-libglib2.0-0t64_2.80.3-1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.80.3-1) ... Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../141-liblua5.4-0_5.4.6-3+b1_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.6-3+b1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../142-libfribidi0_1.0.13-3+b1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.13-3+b1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../143-libgraphite2-3_1.3.14-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../144-libharfbuzz0b_8.3.0-2+b1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (8.3.0-2+b1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../145-libthai-data_0.1.29-2_all.deb ... Unpacking libthai-data (0.1.29-2) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../146-libdatrie1_0.2.13-3_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-3) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../147-libthai0_0.1.29-2_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-2) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../148-libpango-1.0-0_1.54.0+ds-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.54.0+ds-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../149-libpangoft2-1.0-0_1.54.0+ds-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../150-libpangocairo-1.0-0_1.54.0+ds-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../151-libwebpmux3_1.4.0-0.1_amd64.deb ... Unpacking libwebpmux3:amd64 (1.4.0-0.1) ... Selecting previously unselected package gnuplot-nox. Preparing to unpack .../152-gnuplot-nox_6.0.0+dfsg1-3_amd64.deb ... Unpacking gnuplot-nox (6.0.0+dfsg1-3) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../153-libansi-terminal-ocaml_0.8.5-4_amd64.deb ... Unpacking libansi-terminal-ocaml (0.8.5-4) ... Selecting previously unselected package libansi-terminal-ocaml-dev. Preparing to unpack .../154-libansi-terminal-ocaml-dev_0.8.5-4_amd64.deb ... Unpacking libansi-terminal-ocaml-dev (0.8.5-4) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../155-libeasy-format-ocaml_1.3.4-3+b1_amd64.deb ... Unpacking libeasy-format-ocaml (1.3.4-3+b1) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../156-libbiniou-ocaml_1.2.2-4_amd64.deb ... Unpacking libbiniou-ocaml (1.2.2-4) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../157-libatdgen-ocaml_2.15.0-1+b1_amd64.deb ... Unpacking libatdgen-ocaml (2.15.0-1+b1) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../158-libeasy-format-ocaml-dev_1.3.4-3+b1_amd64.deb ... Unpacking libeasy-format-ocaml-dev (1.3.4-3+b1) ... Selecting previously unselected package libbiniou-ocaml-dev. Preparing to unpack .../159-libbiniou-ocaml-dev_1.2.2-4_amd64.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-4) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../160-libatdgen-ocaml-dev_2.15.0-1+b1_amd64.deb ... Unpacking libatdgen-ocaml-dev (2.15.0-1+b1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../161-libppx-deriving-ocaml_6.0.2-2_amd64.deb ... Unpacking libppx-deriving-ocaml (6.0.2-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../162-ocaml-findlib_1.9.6-2_amd64.deb ... Unpacking ocaml-findlib (1.9.6-2) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../163-libppx-deriving-ocaml-dev_6.0.2-2_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (6.0.2-2) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../164-libreadline8t64_8.2-4_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.2-4) ... Selecting previously unselected package lua5.1. Preparing to unpack .../165-lua5.1_5.1.5-9+b2_amd64.deb ... Unpacking lua5.1 (5.1.5-9+b2) ... Selecting previously unselected package menhir. Preparing to unpack .../166-menhir_20231231+ds-1_amd64.deb ... Unpacking menhir (20231231+ds-1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../167-ocaml-dune_3.15.3-2_amd64.deb ... Unpacking ocaml-dune (3.15.3-2) ... Selecting previously unselected package time. Preparing to unpack .../168-time_1.9-0.2_amd64.deb ... Unpacking time (1.9-0.2) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../169-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libexpat1:amd64 (2.6.2-1) ... Setting up libpipeline1:amd64 (1.5.7-2) ... Setting up libgraphite2-3:amd64 (1.3.14-2) ... Setting up libpixman-1-0:amd64 (0.42.2-1+b1) ... Setting up libev4t64:amd64 (1:4.33-2.1) ... Setting up libsharpyuv0:amd64 (1.4.0-0.1) ... Setting up libaom3:amd64 (3.8.2-3) ... Setting up libxau6:amd64 (1:1.0.9-1+b1) ... Setting up time (1.9-0.2) ... Setting up libicu72:amd64 (72.1-4+b1) ... Setting up liblerc4:amd64 (4.0.0+ds-4+b1) ... Setting up bsdextrautils (2.40.1-8.1) ... Setting up libdatrie1:amd64 (0.2.13-3) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.15.3) ... Setting up libbrotli1:amd64 (1.1.0-2+b3) ... Setting up libmagic1t64:amd64 (1:5.45-3) ... Setting up dh-ocaml (2.1) ... Setting up libdeflate0:amd64 (1.20-1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up libsvtav1enc1d1:amd64 (1.7.0+dfsg-2+b1) ... Setting up file (1:5.45-3) ... Setting up atdts (2.15.0-1+b1) ... Setting up libjbig0:amd64 (2.1-6.1+b1) ... Setting up librav1e0:amd64 (0.7.1-2) ... Setting up libfakeroot:amd64 (1.35-1) ... Setting up libelf1t64:amd64 (0.191-1+b1) ... Setting up ocaml-dune (3.15.3-2) ... Setting up fakeroot (1.35-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up autotools-dev (20220109.1) ... Setting up libglib2.0-0t64:amd64 (2.80.3-1) ... No schema files found: doing nothing. Setting up libjpeg62-turbo:amd64 (1:2.1.5-3) ... Setting up libx11-data (2:1.8.7-1) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libncurses6:amd64 (6.5-2) ... Setting up libfribidi0:amd64 (1.0.13-3+b1) ... Setting up libstdlib-ocaml (4.14.1-1) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.43-5) ... Setting up autopoint (0.21-14) ... Setting up ocaml-base (4.14.1-1) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libncursesw6:amd64 (6.5-2) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:amd64 (1.4.0-0.1) ... Setting up libsexplib0-ocaml (0.16.0-3+b1) ... Setting up dwz (0.15-1+b1) ... Setting up libdav1d7:amd64 (1.4.2-1) ... Setting up sensible-utils (0.0.22) ... Setting up libtiff6:amd64 (4.5.1+git230720-4) ... Setting up libuchardet0:amd64 (0.0.8-1+b1) ... Setting up libfmt-ocaml (0.9.0-3+b2) ... Setting up liblua5.4-0:amd64 (5.4.6-3+b1) ... Setting up libthai-data (0.1.29-2) ... Setting up libabsl20230802:amd64 (20230802.1-4) ... Setting up libreact-ocaml (1.2.2-1+b1) ... Setting up libev-dev:amd64 (1:4.33-2.1) ... Setting up libde265-0:amd64 (1.0.15-1+b1) ... Setting up libwebpmux3:amd64 (1.4.0-0.1) ... Setting up libbsd0:amd64 (0.12.2-1) ... Setting up libyuv0:amd64 (0.0.1888.20240607-1) ... Setting up readline-common (8.2-4) ... Setting up libxml2:amd64 (2.12.7+dfsg-3) ... Setting up menhir (20231231+ds-1) ... 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.14.0-1) ... Setting up libastring-ocaml (0.8.5-2+b1) ... Setting up gnuplot-data (6.0.0+dfsg1-3) ... Setting up libeasy-format-ocaml (1.3.4-3+b1) ... Setting up libppx-deriving-ocaml (6.0.2-2) ... Setting up libxdmcp6:amd64 (1:1.1.2-3+b1) ... Setting up libncurses-dev:amd64 (6.5-2) ... Setting up libxcb1:amd64 (1.17.0-2) ... Setting up gettext (0.21-14+b1) ... Setting up libgen-ocaml (1.1-1+b1) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (4.14.1-1) ... Setting up libyojson-ocaml (2.2.1-1+b1) ... Setting up libxcb-render0:amd64 (1.17.0-2) ... Setting up libcamlp-streams-ocaml (5.0.1-3+b1) ... Setting up libfpath-ocaml (0.7.3-3+b1) ... Setting up fontconfig-config (2.15.0-1.1) ... Setting up librresult-ocaml (0.7.0-2+b1) ... Setting up libedit2:amd64 (3.1-20240517-1) ... Setting up libuutf-ocaml (1.0.3-1+b2) ... Setting up libfindlib-ocaml (1.9.6-2) ... Setting up libxcb-shm0:amd64 (1.17.0-2) ... Setting up libbiniou-ocaml (1.2.2-4) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-4) ... Setting up dh-autoreconf (20) ... Setting up libthai0:amd64 (0.1.29-2) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ... Setting up libsedlex-ocaml (3.2-1+b3) ... Setting up libreactivedata-ocaml (0.3-4+b1) ... Setting up ocaml-interp (4.14.1-1) ... Setting up libfreetype6:amd64 (2.13.2+dfsg-1+b4) ... Setting up libansi-terminal-ocaml (0.8.5-4) ... Setting up ocaml-findlib (1.9.6-2) ... Setting up libgav1-1:amd64 (0.19.0-2+b1) ... Setting up libreadline8t64:amd64 (8.2-4) ... Setting up libatdgen-ocaml (2.15.0-1+b1) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up libtyxml-ocaml (4.6.0-1) ... Setting up groff-base (1.23.0-4) ... Setting up libx11-6:amd64 (2:1.8.7-1+b1) ... Setting up libharfbuzz0b:amd64 (8.3.0-2+b1) ... Setting up libfontconfig1:amd64 (2.15.0-1.1) ... Setting up fontconfig (2.15.0-1.1) ... Regenerating fonts cache... done. Setting up libavif16:amd64 (1.0.4-3) ... Setting up libxpm4:amd64 (1:3.5.17-1+b1) ... Setting up libxrender1:amd64 (1:0.9.10-1.1+b1) ... Setting up ocaml-compiler-libs (4.14.1-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:amd64 (1.54.0+ds-1) ... Setting up liblwt-ocaml (5.7.0-1+b5) ... Setting up libxext6:amd64 (2:1.3.4-1+b1) ... Setting up ocaml (4.14.1-1) ... Setting up libgen-ocaml-dev (1.1-1+b1) ... Setting up man-db (2.12.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up lua5.1 (5.1.5-9+b2) ... update-alternatives: using /usr/bin/lua5.1 to provide /usr/bin/lua (lua-interpreter) in auto mode update-alternatives: using /usr/bin/luac5.1 to provide /usr/bin/luac (lua-compiler) in auto mode Setting up libcairo2:amd64 (1.18.0-3+b1) ... Setting up liblwt-log-ocaml (1.1.2-4+b5) ... Setting up libre-ocaml-dev (1.11.0-1+b1) ... Setting up libmenhir-ocaml-dev (20231231+ds-1) ... Setting up libreact-ocaml-dev (1.2.2-1+b1) ... Setting up librresult-ocaml-dev (0.7.0-2+b1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Setting up libgraphics-ocaml (5.1.2-3+b1) ... Setting up libyojson-ocaml-dev (2.2.1-1+b1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Setting up libfindlib-ocaml-dev (1.9.6-2) ... Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ... Setting up libpangoft2-1.0-0:amd64 (1.54.0+ds-1) ... Setting up libcmdliner-ocaml-dev (1.3.0-1) ... Setting up libocplib-endian-ocaml-dev (1.2-4) ... Setting up libpangocairo-1.0-0:amd64 (1.54.0+ds-1) ... Setting up libjs-of-ocaml (5.8.2-2) ... Setting up libeasy-format-ocaml-dev (1.3.4-3+b1) ... Setting up libastring-ocaml-dev (0.8.5-2+b1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Setting up libreactivedata-ocaml-dev (0.3-4+b1) ... Setting up libgraphics-ocaml-dev (5.1.2-3+b1) ... Setting up libuutf-ocaml-dev (1.0.3-1+b2) ... Setting up libansi-terminal-ocaml-dev (0.8.5-4) ... Setting up libppxlib-ocaml-dev (0.32.1-1) ... Setting up debhelper (13.15.3) ... Setting up libbiniou-ocaml-dev (1.2.2-4) ... Setting up liblogs-ocaml (0.7.0-3+b9) ... Setting up libfmt-ocaml-dev (0.9.0-3+b2) ... Setting up libtyxml-ocaml-dev (4.6.0-1) ... Setting up libppx-deriving-ocaml-dev (6.0.2-2) ... Setting up libfpath-ocaml-dev (0.7.3-3+b1) ... Setting up libatdgen-ocaml-dev (2.15.0-1+b1) ... Setting up libsedlex-ocaml-dev (3.2-1+b3) ... Setting up liblwt-ocaml-dev (5.7.0-1+b5) ... Setting up libbos-ocaml (0.2.1-2+b9) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b5) ... Setting up libjs-of-ocaml-dev (5.8.2-2) ... Setting up liblogs-ocaml-dev (0.7.0-3+b9) ... Setting up libbos-ocaml-dev (0.2.1-2+b9) ... Setting up camlp5 (8.02.01-2+b8) ... Setting up libheif-plugin-dav1d:amd64 (1.17.6-3+b1) ... Setting up libheif1:amd64 (1.17.6-3+b1) ... Setting up libgd3:amd64 (2.3.3-9+b3) ... Setting up gnuplot-nox (6.0.0+dfsg1-3) ... update-alternatives: using /usr/bin/gnuplot-nox to provide /usr/bin/gnuplot (gnuplot) in auto mode Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libheif-plugin-libde265:amd64 (1.17.6-3+b1) ... Processing triggers for libc-bin (2.38-13) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in amd64 arm64 armhf i386 loong64 ppc64el ppc64 riscv64 s390x sh4) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.1.0-13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.55-1 (2023-09-29) amd64 (x86_64) Toolchain package versions: binutils_2.42-4 dpkg-dev_1.22.6 g++-13_13.2.0-25 gcc-13_13.2.0-25 libc6-dev_2.38-13 libstdc++-13-dev_13.2.0-25 libstdc++6_14.1.0-1 linux-libc-dev_6.8.12-1 Package versions: aglfn_1.7+git20191031.4036a9c-2 apt_2.9.5 atdts_2.15.0-1+b1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-14 autotools-dev_20220109.1 base-files_13.3 base-passwd_3.6.3 bash_5.2.21-2.1 binutils_2.42-4 binutils-common_2.42-4 binutils-x86-64-linux-gnu_2.42-4 bsdextrautils_2.40.1-8.1 bsdutils_1:2.40.1-8.1 build-essential_12.10 bzip2_1.0.8-5.1 camlp5_8.02.01-2+b8 coreutils_9.4-3.1 cpp_4:13.2.0-7 cpp-13_13.2.0-25 cpp-13-x86-64-linux-gnu_13.2.0-25 cpp-x86-64-linux-gnu_4:13.2.0-7 dash_0.5.12-9 debconf_1.5.86 debhelper_13.15.3 debian-archive-keyring_2023.4 debianutils_5.19 dh-autoreconf_20 dh-ocaml_2.1 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-1 dpkg_1.22.6 dpkg-dev_1.22.6 dwz_0.15-1+b1 e2fsprogs_1.47.1-1 fakeroot_1.35-1 file_1:5.45-3 findutils_4.10.0-2 fontconfig_2.15.0-1.1 fontconfig-config_2.15.0-1.1 fonts-dejavu-core_2.37-8 fonts-dejavu-mono_2.37-8 g++_4:13.2.0-7 g++-13_13.2.0-25 g++-13-x86-64-linux-gnu_13.2.0-25 g++-x86-64-linux-gnu_4:13.2.0-7 gcc_4:13.2.0-7 gcc-13_13.2.0-25 gcc-13-base_13.2.0-25 gcc-13-x86-64-linux-gnu_13.2.0-25 gcc-14-base_14.1.0-1 gcc-x86-64-linux-gnu_4:13.2.0-7 gettext_0.21-14+b1 gettext-base_0.21-14+b1 gnuplot-data_6.0.0+dfsg1-3 gnuplot-nox_6.0.0+dfsg1-3 gpgv_2.2.43-7 grep_3.11-4 groff-base_1.23.0-4 gzip_1.12-1.1 hostname_3.23+nmu2 init-system-helpers_1.66 intltool-debian_0.35.0+20060710.6 libabsl20230802_20230802.1-4 libacl1_2.3.2-2 libansi-terminal-ocaml_0.8.5-4 libansi-terminal-ocaml-dev_0.8.5-4 libaom3_3.8.2-3 libapt-pkg6.0t64_2.9.5 libarchive-zip-perl_1.68-1 libasan8_14.1.0-1 libastring-ocaml_0.8.5-2+b1 libastring-ocaml-dev_0.8.5-2+b1 libatdgen-ocaml_2.15.0-1+b1 libatdgen-ocaml-dev_2.15.0-1+b1 libatomic1_14.1.0-1 libattr1_1:2.5.2-1 libaudit-common_1:3.1.2-4 libaudit1_1:3.1.2-4 libavif16_1.0.4-3 libbiniou-ocaml_1.2.2-4 libbiniou-ocaml-dev_1.2.2-4 libbinutils_2.42-4 libblkid1_2.40.1-8.1 libbos-ocaml_0.2.1-2+b9 libbos-ocaml-dev_0.2.1-2+b9 libbrotli1_1.1.0-2+b3 libbsd0_0.12.2-1 libbz2-1.0_1.0.8-5.1 libc-bin_2.38-13 libc-dev-bin_2.38-13 libc6_2.38-13 libc6-dev_2.38-13 libcairo2_1.18.0-3+b1 libcamlp-streams-ocaml_5.0.1-3+b1 libcamlp-streams-ocaml-dev_5.0.1-3+b1 libcap-ng0_0.8.5-1 libcap2_1:2.66-5 libcc1-0_14.1.0-1 libcmdliner-ocaml-dev_1.3.0-1 libcom-err2_1.47.1-1 libcompiler-libs-ocaml-dev_4.14.1-1 libcrypt-dev_1:4.4.36-4 libcrypt1_1:4.4.36-4 libctf-nobfd0_2.42-4 libctf0_2.42-4 libdatrie1_0.2.13-3 libdav1d7_1.4.2-1 libdb5.3t64_5.3.28+dfsg2-7 libde265-0_1.0.15-1+b1 libdebconfclient0_0.272 libdebhelper-perl_13.15.3 libdeflate0_1.20-1 libdpkg-perl_1.22.6 libeasy-format-ocaml_1.3.4-3+b1 libeasy-format-ocaml-dev_1.3.4-3+b1 libedit2_3.1-20240517-1 libelf1t64_0.191-1+b1 libev-dev_1:4.33-2.1 libev4t64_1:4.33-2.1 libexpat1_2.6.2-1 libext2fs2t64_1.47.1-1 libfakeroot_1.35-1 libffi8_3.4.6-1 libfile-stripnondeterminism-perl_1.14.0-1 libfindlib-ocaml_1.9.6-2 libfindlib-ocaml-dev_1.9.6-2 libfmt-ocaml_0.9.0-3+b2 libfmt-ocaml-dev_0.9.0-3+b2 libfontconfig1_2.15.0-1.1 libfpath-ocaml_0.7.3-3+b1 libfpath-ocaml-dev_0.7.3-3+b1 libfreetype6_2.13.2+dfsg-1+b4 libfribidi0_1.0.13-3+b1 libgav1-1_0.19.0-2+b1 libgcc-13-dev_13.2.0-25 libgcc-s1_14.1.0-1 libgcrypt20_1.10.3-3 libgd3_2.3.3-9+b3 libgdbm-compat4t64_1.23-6 libgdbm6t64_1.23-6 libgen-ocaml_1.1-1+b1 libgen-ocaml-dev_1.1-1+b1 libglib2.0-0t64_2.80.3-1 libgmp10_2:6.3.0+dfsg-2+b1 libgnutls30t64_3.8.5-4 libgomp1_14.1.0-1 libgpg-error0_1.49-2 libgprofng0_2.42-4 libgraphics-ocaml_5.1.2-3+b1 libgraphics-ocaml-dev_5.1.2-3+b1 libgraphite2-3_1.3.14-2 libharfbuzz0b_8.3.0-2+b1 libheif-plugin-dav1d_1.17.6-3+b1 libheif-plugin-libde265_1.17.6-3+b1 libheif1_1.17.6-3+b1 libhogweed6t64_3.9.1-2.2 libhwasan0_14.1.0-1 libicu72_72.1-4+b1 libidn2-0_2.3.7-2 libisl23_0.26-3+b2 libitm1_14.1.0-1 libjansson4_2.14-2+b2 libjbig0_2.1-6.1+b1 libjpeg62-turbo_1:2.1.5-3 libjs-of-ocaml_5.8.2-2 libjs-of-ocaml-dev_5.8.2-2 liblerc4_4.0.0+ds-4+b1 liblogs-ocaml_0.7.0-3+b9 liblogs-ocaml-dev_0.7.0-3+b9 liblsan0_14.1.0-1 liblua5.4-0_5.4.6-3+b1 liblwt-log-ocaml_1.1.2-4+b5 liblwt-log-ocaml-dev_1.1.2-4+b5 liblwt-ocaml_5.7.0-1+b5 liblwt-ocaml-dev_5.7.0-1+b5 liblz4-1_1.9.4-2 liblzma5_5.6.1+really5.4.5-1 libmagic-mgc_1:5.45-3 libmagic1t64_1:5.45-3 libmd0_1.1.0-2 libmenhir-ocaml-dev_20231231+ds-1 libmount1_2.40.1-8.1 libmpc3_1.3.1-1+b2 libmpfr6_4.2.1-1+b1 libncurses-dev_6.5-2 libncurses6_6.5-2 libncursesw6_6.5-2 libnettle8t64_3.9.1-2.2 libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1 libocplib-endian-ocaml_1.2-4 libocplib-endian-ocaml-dev_1.2-4 libp11-kit0_0.25.3-5 libpam-modules_1.5.3-7 libpam-modules-bin_1.5.3-7 libpam-runtime_1.5.3-7 libpam0g_1.5.3-7 libpango-1.0-0_1.54.0+ds-1 libpangocairo-1.0-0_1.54.0+ds-1 libpangoft2-1.0-0_1.54.0+ds-1 libpcre2-8-0_10.42-4+b1 libperl5.38t64_5.38.2-5 libpipeline1_1.5.7-2 libpixman-1-0_0.42.2-1+b1 libpng16-16t64_1.6.43-5 libppx-derivers-ocaml-dev_1.2.1-4+b1 libppx-deriving-ocaml_6.0.2-2 libppx-deriving-ocaml-dev_6.0.2-2 libppxlib-ocaml-dev_0.32.1-1 libquadmath0_14.1.0-1 librav1e0_0.7.1-2 libre-ocaml-dev_1.11.0-1+b1 libreact-ocaml_1.2.2-1+b1 libreact-ocaml-dev_1.2.2-1+b1 libreactivedata-ocaml_0.3-4+b1 libreactivedata-ocaml-dev_0.3-4+b1 libreadline8t64_8.2-4 librresult-ocaml_0.7.0-2+b1 librresult-ocaml-dev_0.7.0-2+b1 libseccomp2_2.5.5-1 libsedlex-ocaml_3.2-1+b3 libsedlex-ocaml-dev_3.2-1+b3 libselinux1_3.5-2+b2 libsemanage-common_3.5-1 libsemanage2_3.5-1+b3 libsepol2_3.5-2+b1 libsexplib0-ocaml_0.16.0-3+b1 libsexplib0-ocaml-dev_0.16.0-3+b1 libsframe1_2.42-4 libsharpyuv0_1.4.0-0.1 libsmartcols1_2.40.1-8.1 libss2_1.47.1-1 libssl3t64_3.2.2-1 libstdc++-13-dev_13.2.0-25 libstdc++6_14.1.0-1 libstdlib-ocaml_4.14.1-1 libstdlib-ocaml-dev_4.14.1-1 libsvtav1enc1d1_1.7.0+dfsg-2+b1 libsystemd0_256-1 libtasn1-6_4.19.0-3+b2 libthai-data_0.1.29-2 libthai0_0.1.29-2 libtiff6_4.5.1+git230720-4 libtinfo6_6.5-2 libtool_2.4.7-7 libtsan2_14.1.0-1 libtyxml-ocaml_4.6.0-1 libtyxml-ocaml-dev_4.6.0-1 libubsan1_14.1.0-1 libuchardet0_0.0.8-1+b1 libudev1_256-1 libunistring5_1.2-1 libuuid1_2.40.1-8.1 libuutf-ocaml_1.0.3-1+b2 libuutf-ocaml-dev_1.0.3-1+b2 libwebp7_1.4.0-0.1 libwebpmux3_1.4.0-0.1 libx11-6_2:1.8.7-1+b1 libx11-data_2:1.8.7-1 libxau6_1:1.0.9-1+b1 libxcb-render0_1.17.0-2 libxcb-shm0_1.17.0-2 libxcb1_1.17.0-2 libxdmcp6_1:1.1.2-3+b1 libxext6_2:1.3.4-1+b1 libxml2_2.12.7+dfsg-3 libxpm4_1:3.5.17-1+b1 libxrender1_1:0.9.10-1.1+b1 libxxhash0_0.8.2-2+b1 libyojson-ocaml_2.2.1-1+b1 libyojson-ocaml-dev_2.2.1-1+b1 libyuv0_0.0.1888.20240607-1 libzstd1_1.5.6+dfsg-1 linux-libc-dev_6.8.12-1 login_1:4.13+dfsg1-5 logsave_1.47.1-1 lua5.1_5.1.5-9+b2 m4_1.4.19-4 make_4.3-4.1 man-db_2.12.1-2 mawk_1.3.4.20240123-1 menhir_20231231+ds-1 mount_2.40.1-8.1 ncurses-base_6.5-2 ncurses-bin_6.5-2 ocaml_4.14.1-1 ocaml-base_4.14.1-1 ocaml-compiler-libs_4.14.1-1 ocaml-dune_3.15.3-2 ocaml-findlib_1.9.6-2 ocaml-interp_4.14.1-1 passwd_1:4.13+dfsg1-5 patch_2.7.6-7 perl_5.38.2-5 perl-base_5.38.2-5 perl-modules-5.38_5.38.2-5 po-debconf_1.0.21+nmu1 readline-common_8.2-4 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.22 sysvinit-utils_3.09-1 tar_1.35+dfsg-3 time_1.9-0.2 tzdata_2024a-4 util-linux_2.40.1-8.1 xz-utils_5.6.1+really5.4.5-1 zlib1g_1:1.3.dfsg+really1.3.1-1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: amd64 arm64 armhf i386 loong64 ppc64el ppc64 riscv64 s390x sh4 Version: 1.18.2-2 Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Julien Puydt <jpu...@debian.org> Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), gnuplot-nox, libansi-terminal-ocaml-dev <!nocheck>, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev <!nocheck>, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-dune, time Package-List: elpi deb ocaml optional arch=amd64,arm64,armhf,i386,loong64,ppc64el,ppc64,riscv64,s390x,sh4 libelpi-ocaml deb ocaml optional arch=amd64,arm64,armhf,i386,loong64,ppc64el,ppc64,riscv64,s390x,sh4 libelpi-ocaml-dev deb ocaml optional arch=amd64,arm64,armhf,i386,loong64,ppc64el,ppc64,riscv64,s390x,sh4 Checksums-Sha1: b43041ffdec814c3cc742485538447a4a4fd3eca 2630264 elpi_1.18.2.orig.tar.gz e9952b22c2c4a6a39ae777dcbc93f2e5729e4f4a 4560 elpi_1.18.2-2.debian.tar.xz Checksums-Sha256: f955129965ba3e6e1b9fafe149e20fcbb42d353584072d8b385d67d9fd10e25e 2630264 elpi_1.18.2.orig.tar.gz ac2b40bdaf4529388be6bff19c8f788f83cfa097ee23b391b7de83e48328baad 4560 elpi_1.18.2-2.debian.tar.xz Files: e9bcaaf135735055f7d3205af5d43bf3 2630264 elpi_1.18.2.orig.tar.gz 53984ffe46200ed8e46d68a0cede46af 4560 elpi_1.18.2-2.debian.tar.xz Dgit: 89561efacade499d587ced8c6f2f9419a3ff18b8 debian archive/debian/1.18.2-2 https://git.dgit.debian.org/elpi -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZilxESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBfB8H/Rgi8AJeMht4Ac+TZRKcEw904XmwUNvh d/Ga6qtGwZcLM8A+R4LwGgWBbo6EGrjpIS6SfvjBEY8pjadw9Kq/GOmWCbn8rF4H sU+anKgG8SU78z9DdcR0Lw99UrTsQcZnyWhTN7XU2OtKVj0oMuwqX6mGq92dJ7FG Gy483er8du0ZE7eR0iz3+mS0BWAD8mXxG49i7ukYjaVCqI5zacl28GQEBIy+tRZ6 4poztG3I7FARoF8efdW9CBqt6MK8jiLp0C/aoztRHTpO/Rwm6U6CSHtKgPj0uDeL aRfqNA+p1OyVS2sZ9WJWMQGYdmW81zc32sjVZs9F7TyLJSp6JkI1VoE= =k/Q1 -----END PGP SIGNATURE----- gpgv: Signature made Fri Jun 7 05:13:53 2024 UTC gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: issuer "glo...@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./elpi_1.18.2-2.dsc: no acceptable signature found dpkg-source: info: extracting elpi in /<<PKGBUILDDIR>> dpkg-source: info: unpacking elpi_1.18.2.orig.tar.gz dpkg-source: info: unpacking elpi_1.18.2-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying longer_timeout.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf HOME=/var/lib/sbuild LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=josch OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games PWD=/<<PKGBUILDDIR>> SHELL=/bin/sh USER=josch dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -b -rfakeroot dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 1.18.2-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu <glo...@debian.org> 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 '/<<PKGBUILDDIR>>' rm -rf _log/ tests/test.exe data.csv* if test -f elpi_REPL.ml.orig; then \ mv elpi_REPL.ml.orig elpi_REPL.ml; \ fi if test -f src/compiler.ml.orig; then \ mv src/compiler.ml.orig src/compiler.ml; \ fi if test -f src/trace_atd.ts.orig; then \ mv src/trace_atd.ts.orig src/trace_atd.ts; \ fi make[1]: Leaving directory '/<<PKGBUILDDIR>>' dh_autoreconf_clean -O--buildsystem=ocaml_dune dh_ocamlclean -O--buildsystem=ocaml_dune dh_clean -O--buildsystem=ocaml_dune 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 '/<<PKGBUILDDIR>>' cp elpi_REPL.ml elpi_REPL.ml.orig sed -e 's/%%VERSION_NUM%%/1.18.2/g' -i elpi_REPL.ml cp src/compiler.ml src/compiler.ml.orig sed -e 's/%%VERSION_NUM%%/1.18.2/g' -i src/compiler.ml cp src/trace_atd.ts src/trace_atd.ts.orig make[1]: Leaving directory '/<<PKGBUILDDIR>>' dh_auto_build -O--buildsystem=ocaml_dune dune build -j 8 -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 319 sample input sentences and 40 error messages. debian/rules override_dh_auto_test make[1]: Entering directory '/<<PKGBUILDDIR>>' make tests STACK=11141120 make[2]: Entering directory '/<<PKGBUILDDIR>>' make build make[3]: Entering directory '/<<PKGBUILDDIR>>' dune build @all make[3]: Leaving directory '/<<PKGBUILDDIR>>' dune runtest ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ tests/test.exe \ --seed $RANDOM \ --timeout 1200.0 \ --time /usr/bin/time \ --sources=/<<PKGBUILDDIR>>/tests/sources/ \ --plot=/<<PKGBUILDDIR>>/tests/plot \ \ \ --runner dune --runner /<<PKGBUILDDIR>>/_build/install/default/bin/elpi --runner /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /<<PKGBUILDDIR>>/_build/install/default/bin/elpi /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator Random seed: 6931 Timeout: 1200.00 seconds Fiber stack: 0 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.07 0.09 16.3M elpi RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.06 0.00 0.0M elpi RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.06 0.00 0.0M elpi RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.07 0.09 16.6M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.07 0.08 16.3M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.08 0.10 16.6M 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.07 0.08 16.6M elpi RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.07 0.09 14.8M elpi RUNNING cbn (reduction) elpi OK cbn 0.23 0.08 0.32 16.6M elpi RUNNING cbv (reduction) elpi OK cbv 1.06 0.08 1.16 16.5M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.07 0.09 16.5M elpi RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.00 0.01 11.0M elpi RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.06 0.08 14.8M elpi RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.07 0.09 16.6M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.06 0.07 15.6M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.07 0.08 16.5M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.07 0.08 16.3M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.10 0.12 16.6M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.07 0.08 16.6M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 2.98 0.07 3.07 37.6M elpi RUNNING cut1 (what else) elpi OK cut1 0.00 0.09 0.10 15.8M elpi RUNNING cut2 (what else) elpi OK cut2 0.00 0.09 0.10 15.8M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 0.07 0.09 16.6M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.06 0.08 15.6M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 0.09 0.10 16.6M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 0.07 0.09 16.6M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.06 0.07 16.3M elpi RUNNING discard (_) elpi OK discard 0.00 0.07 0.08 14.8M elpi RUNNING dt (discrimination_tree indexing) elpi OK dt 1.26 0.06 1.34 16.7M elpi RUNNING dt_multi1 (discrimination_tree indexing multi argument) elpi OK dt_multi1 0.44 0.00 0.46 16.4M elpi RUNNING dt_multi2 (discrimination_tree indexing multi with flexible) elpi OK dt_multi2 0.45 0.00 0.46 16.5M elpi RUNNING dt_multi3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multi3 0.00 0.00 0.00 0.0M elpi RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 9.01 0.06 9.09 16.6M elpi RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.00 0.01 11.0M elpi RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.01 10.9M elpi RUNNING elpi-checker (type checking the type checker) elpi OK elpi-checker 0.00 0.12 0.15 19.2M elpi RUNNING elpi2html (type checking elpi2html) elpi OK elpi2html 0.00 0.08 0.10 17.8M elpi RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.07 0.00 0.0M elpi RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.07 0.09 16.6M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.01 11.2M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 1.22 0.07 1.31 17.8M elpi RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.08 0.09 16.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.06 0.08 15.5M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 17.03 13.28 32.05 2334.0M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.10 0.11 16.6M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.01 10.9M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.06 0.07 16.3M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.06 0.08 16.8M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.06 0.08 16.6M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 0.07 0.08 14.8M 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.10 0.12 17.9M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.06 0.08 15.5M elpi RUNNING impl (implication) elpi OK impl 0.00 0.08 0.10 16.6M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 0.07 0.09 16.6M elpi RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.06 0.07 16.6M elpi RUNNING index2 (indexing the second argument) elpi OK index2 1.48 0.07 1.57 17.9M elpi RUNNING is (calc) elpi OK is 0.00 0.06 0.07 16.5M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.29 0.09 0.41 16.6M elpi RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.08 0.10 15.8M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.07 0.09 16.6M elpi RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.12 0.14 19.3M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.06 0.08 16.6M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.06 0.08 15.5M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.10 0.12 16.5M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.07 0.08 14.7M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.07 0.08 14.8M elpi RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.07 0.08 16.6M elpi RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.07 0.09 16.6M elpi RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.07 0.08 16.6M elpi RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.06 0.08 16.3M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 4.76 13.43 24.10 1199.1M elpi RUNNING map (builtin list) (stdlib map reference) elpi OK map (builtin list) 7.28 0.06 7.36 16.6M elpi RUNNING map (defined list) (stdlib map reference) elpi OK map (defined list) 8.18 0.06 8.26 16.6M elpi RUNNING map (rbtree) (stdlib map) elpi OK map (rbtree) 2.15 0.06 2.23 16.6M elpi RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.06 0.07 16.6M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 1.67 0.06 1.75 16.6M elpi RUNNING name (name builtin) elpi OK name 0.00 0.00 0.01 10.9M 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.06 0.08 16.3M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.06 0.08 14.8M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.07 0.08 16.2M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.07 0.09 16.7M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.09 0.10 16.6M elpi RUNNING ndprover (Natural deduction prover) elpi OK ndprover 0.00 0.08 0.10 18.7M elpi RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.06 0.08 15.6M elpi RUNNING notation (extensible syntax) elpi OK notation 0.00 0.09 0.11 16.6M elpi RUNNING notation_error (infix declaration error) elpi OK notation_error 0.00 0.00 0.00 0.0M elpi RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.07 0.09 16.6M elpi RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.07 0.08 14.8M elpi RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.09 0.12 17.4M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 0.07 0.09 16.6M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.07 0.08 16.6M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.08 0.09 16.6M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.09 0.11 17.3M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.10 0.12 17.8M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.01 10.9M elpi RUNNING progs (progs) elpi OK progs 0.00 0.09 0.11 16.5M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 1.19 0.10 1.31 129.2M elpi RUNNING quote_syntax (quote_syntax API) elpi OK quote_syntax 0.01 0.06 0.09 15.5M elpi RUNNING random (random numbers) elpi OK random 0.00 0.06 0.08 15.6M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.06 0.00 0.0M elpi RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.06 0.08 16.6M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.06 0.08 16.3M elpi RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.06 0.07 15.5M elpi RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.06 0.08 16.4M elpi RUNNING rev (list reversal) elpi OK rev 0.12 0.09 0.23 43.2M elpi RUNNING rev14 (list reversal) elpi OK rev14 0.12 0.09 0.24 43.3M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.06 0.07 16.6M elpi RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.07 0.08 14.7M elpi RUNNING sepcomp1 (simple separate compilation) dune OK sepcomp1 0.16 0.00 0.16 34.4M dune RUNNING sepcomp2 (simple separate compilation) dune OK sepcomp2 0.15 0.00 0.15 34.5M dune RUNNING sepcomp3 (separate compilation double naming) dune OK sepcomp3 0.00 0.00 0.00 0.0M dune RUNNING sepcomp4 (separate compilation double naming) dune OK sepcomp4 0.00 0.00 0.00 0.0M dune RUNNING sepcomp5 (separate compilation different processes (step 1)) dune OK sepcomp5 0.10 0.00 0.10 38.5M dune RUNNING sepcomp6 (separate compilation different processes (step 2)) dune OK sepcomp6 0.10 0.00 0.10 34.4M dune RUNNING sepcomp_perf1 (separate compilation perf) dune OK sepcomp_perf1 0.32 0.00 0.32 55.4M dune RUNNING sepcomp_perf2 (separate compilation linker perf) dune OK sepcomp_perf2 0.30 0.00 0.30 55.4M dune RUNNING sepcomp_perf3 (separate compilation linker perf) dune OK sepcomp_perf3 1.18 0.00 1.18 274.4M dune RUNNING sepcomp_perf4 (separate compilation linker perf) dune OK sepcomp_perf4 2.28 0.00 2.28 494.2M dune RUNNING set (stdlib set) elpi OK set 1.85 0.06 1.93 16.6M elpi RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.39 0.06 0.46 44.4M elpi RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.08 0.09 16.3M elpi RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.07 0.09 16.4M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.06 0.08 15.6M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.07 0.09 16.6M elpi RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.06 0.08 14.8M elpi RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.06 0.08 14.7M elpi RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.06 0.07 15.6M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.01 11.0M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.01 11.0M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.01 11.0M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator KO trace-browser-elab (trace elaboration) elpi-trace-elaborator RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator KO trace-browser-elab-broken1 (recoverable broken trace elaboration) 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 KO trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator KO trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator KO trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.02 10.9M elpi RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.01 0.00 0.03 11.4M elpi RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator KO trace-browser-w-elab (trace elaboration) elpi-trace-elaborator RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.02 11.1M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator KO trace-browser2-elab (trace elaboration) elpi-trace-elaborator RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.00 0.02 11.0M elpi RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator KO trace-browser3-elab (trace elaboration) elpi-trace-elaborator RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.00 0.02 11.0M elpi RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator KO trace-browser4-elab (trace elaboration) elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.06 0.08 15.6M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.06 0.07 15.6M elpi RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.06 0.00 0.0M elpi RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.06 0.00 0.0M elpi RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.06 0.00 0.0M 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.06 0.08 15.6M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.06 0.07 15.5M 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.06 0.07 15.6M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.06 0.07 16.5M elpi RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.06 0.07 15.5M elpi RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.06 0.08 15.6M elpi RUNNING unix (unix APIs) elpi OK unix 0.00 0.06 0.08 16.6M elpi RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.06 0.08 16.6M elpi RUNNING var (var API) elpi OK var 0.00 0.06 0.08 15.6M elpi RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.06 0.08 15.6M elpi RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.10 0.12 17.3M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot OK zebra 0.73 0.11 0.86 17.9M elpi ------------------------------------------------------------------ Tests: 172 Passed: 163 Failed: 9 Skipped: 0 ------------------------------------------------------------------ Log of the first failure: _log/elpi-trace-elaborator+trace-browser-elab.log ------------------------------------------------------------------ executable: /<<PKGBUILDDIR>>/_build/install/default/bin/elpi-trace-elaborator input: /<<PKGBUILDDIR>>/tests/sources/trace.json output: /tmp/trace.elab.json__2__.new ------------------------------------------------------------------ End log of the first failure: _log/elpi-trace-elaborator+trace-browser-elab.log ------------------------------------------------------------------ make[2]: *** [Makefile:78: tests] Error 1 make[2]: Leaving directory '/<<PKGBUILDDIR>>' make[1]: *** [debian/rules:18: override_dh_auto_test] Error 2 make[1]: Leaving directory '/<<PKGBUILDDIR>>' make: *** [debian/rules:8: binary] Error 2 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2024-06-15T12:33:30Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<<BUILDDIR>> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: 375588 Build-Time: 135 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 18 Job: elpi Machine Architecture: amd64 Package: elpi Package-Time: 161 Source-Version: 1.18.2-2 Space: 375588 Status: attempted Version: 1.18.2-2 -------------------------------------------------------------------------------- Finished at 2024-06-15T12:33:30Z Build needed 00:02:41, 375588k disk space
