I: pbuilder: network access will be disabled during build I: Current time: Mon Apr 22 13:27:14 +14 2024 I: pbuilder-time-stamp: 1713742034 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [elpi_1.17.4-3.dsc] I: copying [./elpi_1.17.4.orig.tar.gz] I: copying [./elpi_1.17.4-3.debian.tar.xz] I: Extracting source gpgv: Signature made Sun Dec 31 18:15:17 2023 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./elpi_1.17.4-3.dsc: no acceptable signature found dpkg-source: info: extracting elpi in elpi-1.17.4 dpkg-source: info: unpacking elpi_1.17.4.orig.tar.gz dpkg-source: info: unpacking elpi_1.17.4-3.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying longer_timeout.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/6105/tmp/hooks/D01_modify_environment starting debug: Running on wbq0. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash '/bin/sh' -> '/bin/bash' lrwxrwxrwx 1 root root 9 Apr 21 23:27 /bin/sh -> /bin/bash I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/6105/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/6105/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.2.21(1)-release' BUILDDIR=/build/reproducible-path BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' DIRSTACK=() DISTRIBUTION=trixie EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=903f445d3e52418f8048ff79a974e873 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=6105 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.mnEZCwD3/pbuilderrc_fZtx --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.mnEZCwD3/b2 --logfile b2/build.log elpi_1.17.4-3.dsc' SUDO_GID=113 SUDO_UID=107 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:3142/ I: uname -a Linux i-capture-the-hostname 6.1.0-20-armmp #1 SMP Debian 6.1.85-1 (2024-04-11) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Apr 21 07:19 /bin -> usr/bin I: user script /srv/workspace/pbuilder/6105/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. 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 dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19635 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on atdts (>= 2.9.1); however: Package atdts is not installed. pbuilder-satisfydepends-dummy depends on camlp5 (>= 8.00.02); however: Package camlp5 is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml (>= 1.2); however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on gnuplot-nox; however: Package gnuplot-nox is not installed. pbuilder-satisfydepends-dummy depends on libansi-terminal-ocaml-dev; however: Package libansi-terminal-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libatdgen-ocaml-dev (>= 2.9.1); however: Package libatdgen-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libcmdliner-ocaml-dev; however: Package libcmdliner-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libmenhir-ocaml-dev; however: Package libmenhir-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libppx-deriving-ocaml-dev; however: Package libppx-deriving-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libppxlib-ocaml-dev; however: Package libppxlib-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libre-ocaml-dev; however: Package libre-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on lua5.1; however: Package lua5.1 is not installed. pbuilder-satisfydepends-dummy depends on menhir; however: Package menhir is not installed. pbuilder-satisfydepends-dummy depends on ocaml-dune; however: Package ocaml-dune is not installed. pbuilder-satisfydepends-dummy depends on time; however: Package time is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: aglfn{a} atdts{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} camlp5{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} fonts-dejavu-mono{a} gettext{a} gettext-base{a} gnuplot-data{a} gnuplot-nox{a} groff-base{a} intltool-debian{a} libabsl20220623{a} libansi-terminal-ocaml{a} libansi-terminal-ocaml-dev{a} libaom3{a} libarchive-zip-perl{a} libastring-ocaml{a} libastring-ocaml-dev{a} libatdgen-ocaml{a} libatdgen-ocaml-dev{a} libavif16{a} libbiniou-ocaml{a} libbiniou-ocaml-dev{a} libbos-ocaml{a} libbos-ocaml-dev{a} libbrotli1{a} libbsd0{a} libcairo2{a} libcamlp-streams-ocaml{a} libcamlp-streams-ocaml-dev{a} libcmdliner-ocaml-dev{a} libcompiler-libs-ocaml-dev{a} libdatrie1{a} libdav1d7{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libeasy-format-ocaml{a} libeasy-format-ocaml-dev{a} libedit2{a} libelf1{a} libev-dev{a} libev4{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libfmt-ocaml{a} libfmt-ocaml-dev{a} libfontconfig1{a} libfpath-ocaml{a} libfpath-ocaml-dev{a} libfreetype6{a} libfribidi0{a} libgav1-1{a} libgd3{a} libgen-ocaml{a} libgen-ocaml-dev{a} libglib2.0-0{a} libgraphics-ocaml{a} libgraphics-ocaml-dev{a} libgraphite2-3{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libicu72{a} libjbig0{a} libjpeg62-turbo{a} libjs-of-ocaml{a} libjs-of-ocaml-dev{a} liblerc4{a} liblogs-ocaml{a} liblogs-ocaml-dev{a} liblua5.4-0{a} liblwt-log-ocaml{a} liblwt-log-ocaml-dev{a} liblwt-ocaml{a} liblwt-ocaml-dev{a} libmagic-mgc{a} libmagic1{a} libmenhir-ocaml-dev{a} libncurses-dev{a} libncurses6{a} libocaml-compiler-libs-ocaml-dev{a} libocplib-endian-ocaml{a} libocplib-endian-ocaml-dev{a} libpango-1.0-0{a} libpangocairo-1.0-0{a} libpangoft2-1.0-0{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} libppx-derivers-ocaml-dev{a} libppx-deriving-ocaml{a} libppx-deriving-ocaml-dev{a} libppxlib-ocaml-dev{a} librav1e0{a} libre-ocaml-dev{a} libreact-ocaml{a} libreact-ocaml-dev{a} libreactivedata-ocaml{a} libreactivedata-ocaml-dev{a} libreadline8{a} libresult-ocaml{a} libresult-ocaml-dev{a} librresult-ocaml{a} librresult-ocaml-dev{a} libsedlex-ocaml{a} libsedlex-ocaml-dev{a} libsexplib0-ocaml{a} libsexplib0-ocaml-dev{a} libsharpyuv0{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libsub-override-perl{a} libsvtav1enc1d1{a} libthai-data{a} libthai0{a} libtiff6{a} libtool{a} libtyxml-ocaml{a} libtyxml-ocaml-dev{a} libuchardet0{a} libuutf-ocaml{a} libuutf-ocaml-dev{a} libwebp7{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxml2{a} libxpm4{a} libxrender1{a} libyojson-ocaml{a} libyojson-ocaml-dev{a} libyuv0{a} lua5.1{a} m4{a} man-db{a} menhir{a} ocaml{a} ocaml-base{a} ocaml-compiler-libs{a} ocaml-dune{a} ocaml-findlib{a} ocaml-interp{a} po-debconf{a} readline-common{a} sensible-utils{a} time{a} The following packages are RECOMMENDED but will NOT be installed: curl fonts-liberation groff ledit libarchive-cpio-perl libglib2.0-data libgpm2 libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap shared-mime-info wget xdg-user-dirs 0 packages upgraded, 169 newly installed, 0 to remove and 0 not upgraded. Need to get 236 MB of archives. After unpacking 949 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main armhf readline-common all 8.2-3 [69.1 kB] Get: 2 http://deb.debian.org/debian trixie/main armhf sensible-utils all 0.0.22 [22.4 kB] Get: 3 http://deb.debian.org/debian trixie/main armhf libmagic-mgc armhf 1:5.45-2+b1 [314 kB] Get: 4 http://deb.debian.org/debian trixie/main armhf libmagic1 armhf 1:5.45-2+b1 [97.9 kB] Get: 5 http://deb.debian.org/debian trixie/main armhf file armhf 1:5.45-2+b1 [42.2 kB] Get: 6 http://deb.debian.org/debian trixie/main armhf gettext-base armhf 0.21-14+b1 [157 kB] Get: 7 http://deb.debian.org/debian trixie/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 8 http://deb.debian.org/debian trixie/main armhf groff-base armhf 1.23.0-3 [1088 kB] Get: 9 http://deb.debian.org/debian trixie/main armhf bsdextrautils armhf 2.39.3-6 [81.2 kB] Get: 10 http://deb.debian.org/debian trixie/main armhf libpipeline1 armhf 1.5.7-2 [33.3 kB] Get: 11 http://deb.debian.org/debian trixie/main armhf man-db armhf 2.12.0-3 [1367 kB] Get: 12 http://deb.debian.org/debian trixie/main armhf aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get: 13 http://deb.debian.org/debian trixie/main armhf atdts armhf 2.15.0-1 [605 kB] Get: 14 http://deb.debian.org/debian trixie/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 15 http://deb.debian.org/debian trixie/main armhf autoconf all 2.71-3 [332 kB] Get: 16 http://deb.debian.org/debian trixie/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 17 http://deb.debian.org/debian trixie/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 18 http://deb.debian.org/debian trixie/main armhf autopoint all 0.21-14 [496 kB] Get: 19 http://deb.debian.org/debian trixie/main armhf libstdlib-ocaml armhf 4.14.1-1 [464 kB] Get: 20 http://deb.debian.org/debian trixie/main armhf libstdlib-ocaml-dev armhf 4.14.1-1 [7137 kB] Get: 21 http://deb.debian.org/debian trixie/main armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1 [32.2 MB] Get: 22 http://deb.debian.org/debian trixie/main armhf ocaml-compiler-libs all 4.14.1-1 [169 kB] Get: 23 http://deb.debian.org/debian trixie/main armhf ocaml-base armhf 4.14.1-1 [358 kB] Get: 24 http://deb.debian.org/debian trixie/main armhf libastring-ocaml armhf 0.8.5-2+b1 [174 kB] Get: 25 http://deb.debian.org/debian trixie/main armhf ocaml-interp armhf 4.14.1-1 [6458 kB] Get: 26 http://deb.debian.org/debian trixie/main armhf libncurses6 armhf 6.4+20240113-1 [81.8 kB] Get: 27 http://deb.debian.org/debian trixie/main armhf libncurses-dev armhf 6.4+20240113-1 [309 kB] Get: 28 http://deb.debian.org/debian trixie/main armhf ocaml armhf 4.14.1-1 [66.5 MB] Get: 29 http://deb.debian.org/debian trixie/main armhf libastring-ocaml-dev armhf 0.8.5-2+b1 [131 kB] Get: 30 http://deb.debian.org/debian trixie/main armhf libfmt-ocaml armhf 0.9.0-3+b1 [126 kB] Get: 31 http://deb.debian.org/debian trixie/main armhf libfpath-ocaml armhf 0.7.3-3+b1 [91.4 kB] Get: 32 http://deb.debian.org/debian trixie/main armhf libfindlib-ocaml armhf 1.9.6-1+b2 [167 kB] Get: 33 http://deb.debian.org/debian trixie/main armhf libgen-ocaml armhf 1.1-1+b1 [190 kB] Get: 34 http://deb.debian.org/debian trixie/main armhf libxau6 armhf 1:1.0.9-1 [19.0 kB] Get: 35 http://deb.debian.org/debian trixie/main armhf libbsd0 armhf 0.12.2-1 [127 kB] Get: 36 http://deb.debian.org/debian trixie/main armhf libxdmcp6 armhf 1:1.1.2-3 [24.9 kB] Get: 37 http://deb.debian.org/debian trixie/main armhf libxcb1 armhf 1.15-1 [140 kB] Get: 38 http://deb.debian.org/debian trixie/main armhf libx11-data all 2:1.8.7-1 [328 kB] Get: 39 http://deb.debian.org/debian trixie/main armhf libx11-6 armhf 2:1.8.7-1 [735 kB] Get: 40 http://deb.debian.org/debian trixie/main armhf libgraphics-ocaml armhf 5.1.2-3+b1 [45.4 kB] Get: 41 http://deb.debian.org/debian trixie/main armhf libocplib-endian-ocaml armhf 1.2-3+b1 [72.8 kB] Get: 42 http://deb.debian.org/debian trixie/main armhf libreact-ocaml armhf 1.2.2-1+b1 [185 kB] Get: 43 http://deb.debian.org/debian trixie/main armhf libsexplib0-ocaml armhf 0.16.0-3+b1 [109 kB] Get: 44 http://deb.debian.org/debian trixie/main armhf libev4 armhf 1:4.33-2 [36.5 kB] Get: 45 http://deb.debian.org/debian trixie/main armhf liblwt-ocaml armhf 5.7.0-1+b3 [861 kB] Get: 46 http://deb.debian.org/debian trixie/main armhf liblwt-log-ocaml armhf 1.1.2-4+b4 [82.9 kB] Get: 47 http://deb.debian.org/debian trixie/main armhf libreactivedata-ocaml armhf 0.3-4+b1 [82.7 kB] Get: 48 http://deb.debian.org/debian trixie/main armhf libsedlex-ocaml armhf 3.2-1+b2 [219 kB] Get: 49 http://deb.debian.org/debian trixie/main armhf libuutf-ocaml armhf 1.0.3-1+b2 [73.9 kB] Get: 50 http://deb.debian.org/debian trixie/main armhf libtyxml-ocaml armhf 4.5.0-4+b1 [493 kB] Get: 51 http://deb.debian.org/debian trixie/main armhf libyojson-ocaml armhf 2.1.2-1 [559 kB] Get: 52 http://deb.debian.org/debian trixie/main armhf libjs-of-ocaml armhf 5.6.0-1 [6632 kB] Get: 53 http://deb.debian.org/debian trixie/main armhf liblogs-ocaml armhf 0.7.0-3+b6 [76.3 kB] Get: 54 http://deb.debian.org/debian trixie/main armhf librresult-ocaml armhf 0.7.0-2+b1 [26.3 kB] Get: 55 http://deb.debian.org/debian trixie/main armhf libbos-ocaml armhf 0.2.1-2+b5 [291 kB] Get: 56 http://deb.debian.org/debian trixie/main armhf libcmdliner-ocaml-dev armhf 1.2.0-2+b1 [475 kB] Get: 57 http://deb.debian.org/debian trixie/main armhf libfmt-ocaml-dev armhf 0.9.0-3+b1 [103 kB] Get: 58 http://deb.debian.org/debian trixie/main armhf libfpath-ocaml-dev armhf 0.7.3-3+b1 [74.6 kB] Get: 59 http://deb.debian.org/debian trixie/main armhf libfindlib-ocaml-dev armhf 1.9.6-1+b2 [164 kB] Get: 60 http://deb.debian.org/debian trixie/main armhf libgen-ocaml-dev armhf 1.1-1+b1 [428 kB] Get: 61 http://deb.debian.org/debian trixie/main armhf libgraphics-ocaml-dev armhf 5.1.2-3+b1 [93.6 kB] Get: 62 http://deb.debian.org/debian trixie/main armhf libev-dev armhf 1:4.33-2 [131 kB] Get: 63 http://deb.debian.org/debian trixie/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.12.4-4+b1 [83.7 kB] Get: 64 http://deb.debian.org/debian trixie/main armhf libocplib-endian-ocaml-dev armhf 1.2-3+b1 [149 kB] Get: 65 http://deb.debian.org/debian trixie/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-4+b1 [16.2 kB] Get: 66 http://deb.debian.org/debian trixie/main armhf libsexplib0-ocaml-dev armhf 0.16.0-3+b1 [245 kB] Get: 67 http://deb.debian.org/debian trixie/main armhf libppxlib-ocaml-dev armhf 0.32.0-1 [15.8 MB] Get: 68 http://deb.debian.org/debian trixie/main armhf libreact-ocaml-dev armhf 1.2.2-1+b1 [136 kB] Get: 69 http://deb.debian.org/debian trixie/main armhf liblwt-ocaml-dev armhf 5.7.0-1+b3 [5053 kB] Get: 70 http://deb.debian.org/debian trixie/main armhf liblwt-log-ocaml-dev armhf 1.1.2-4+b4 [181 kB] Get: 71 http://deb.debian.org/debian trixie/main armhf libmenhir-ocaml-dev armhf 20231231+ds-1 [645 kB] Get: 72 http://deb.debian.org/debian trixie/main armhf libreactivedata-ocaml-dev armhf 0.3-4+b1 [171 kB] Get: 73 http://deb.debian.org/debian trixie/main armhf libsedlex-ocaml-dev armhf 3.2-1+b2 [3890 kB] Get: 74 http://deb.debian.org/debian trixie/main armhf libre-ocaml-dev armhf 1.11.0-1+b1 [924 kB] Get: 75 http://deb.debian.org/debian trixie/main armhf libuutf-ocaml-dev armhf 1.0.3-1+b2 [477 kB] Get: 76 http://deb.debian.org/debian trixie/main armhf libtyxml-ocaml-dev armhf 4.5.0-4+b1 [2242 kB] Get: 77 http://deb.debian.org/debian trixie/main armhf libyojson-ocaml-dev armhf 2.1.2-1 [1200 kB] Get: 78 http://deb.debian.org/debian trixie/main armhf libjs-of-ocaml-dev armhf 5.6.0-1 [23.8 MB] Get: 79 http://deb.debian.org/debian trixie/main armhf liblogs-ocaml-dev armhf 0.7.0-3+b6 [74.6 kB] Get: 80 http://deb.debian.org/debian trixie/main armhf librresult-ocaml-dev armhf 0.7.0-2+b1 [32.3 kB] Get: 81 http://deb.debian.org/debian trixie/main armhf libbos-ocaml-dev armhf 0.2.1-2+b5 [247 kB] Get: 82 http://deb.debian.org/debian trixie/main armhf libcamlp-streams-ocaml armhf 5.0.1-3+b1 [7660 B] Get: 83 http://deb.debian.org/debian trixie/main armhf libcamlp-streams-ocaml-dev armhf 5.0.1-3+b1 [21.9 kB] Get: 84 http://deb.debian.org/debian trixie/main armhf camlp5 armhf 8.02.01-2+b5 [5426 kB] Get: 85 http://deb.debian.org/debian trixie/main armhf libdebhelper-perl all 13.15.3 [88.0 kB] Get: 86 http://deb.debian.org/debian trixie/main armhf libtool all 2.4.7-7 [517 kB] Get: 87 http://deb.debian.org/debian trixie/main armhf dh-autoreconf all 20 [17.1 kB] Get: 88 http://deb.debian.org/debian trixie/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 89 http://deb.debian.org/debian trixie/main armhf libsub-override-perl all 0.10-1 [10.6 kB] Get: 90 http://deb.debian.org/debian trixie/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 91 http://deb.debian.org/debian trixie/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 92 http://deb.debian.org/debian trixie/main armhf libelf1 armhf 0.190-1+b1 [171 kB] Get: 93 http://deb.debian.org/debian trixie/main armhf dwz armhf 0.15-1 [101 kB] Get: 94 http://deb.debian.org/debian trixie/main armhf libicu72 armhf 72.1-4+b1 [9070 kB] Get: 95 http://deb.debian.org/debian trixie/main armhf libxml2 armhf 2.9.14+dfsg-1.3+b2 [599 kB] Get: 96 http://deb.debian.org/debian trixie/main armhf gettext armhf 0.21-14+b1 [1230 kB] Get: 97 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 98 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 99 http://deb.debian.org/debian trixie/main armhf debhelper all 13.15.3 [901 kB] Get: 100 http://deb.debian.org/debian trixie/main armhf dh-ocaml all 2.0 [75.1 kB] Get: 101 http://deb.debian.org/debian trixie/main armhf libexpat1 armhf 2.6.2-1 [83.5 kB] Get: 102 http://deb.debian.org/debian trixie/main armhf libbrotli1 armhf 1.1.0-2+b3 [284 kB] Get: 103 http://deb.debian.org/debian trixie/main armhf libpng16-16 armhf 1.6.43-1 [262 kB] Get: 104 http://deb.debian.org/debian trixie/main armhf libfreetype6 armhf 2.13.2+dfsg-1+b1 [371 kB] Get: 105 http://deb.debian.org/debian trixie/main armhf fonts-dejavu-mono all 2.37-8 [489 kB] Get: 106 http://deb.debian.org/debian trixie/main armhf fonts-dejavu-core all 2.37-8 [840 kB] Get: 107 http://deb.debian.org/debian trixie/main armhf fontconfig-config armhf 2.15.0-1.1 [317 kB] Get: 108 http://deb.debian.org/debian trixie/main armhf libfontconfig1 armhf 2.15.0-1.1 [370 kB] Get: 109 http://deb.debian.org/debian trixie/main armhf fontconfig armhf 2.15.0-1.1 [461 kB] Get: 110 http://deb.debian.org/debian trixie/main armhf gnuplot-data all 6.0.0+dfsg1-1 [72.1 kB] Get: 111 http://deb.debian.org/debian trixie/main armhf libpixman-1-0 armhf 0.42.2-1+b1 [476 kB] Get: 112 http://deb.debian.org/debian trixie/main armhf libxcb-render0 armhf 1.15-1 [114 kB] Get: 113 http://deb.debian.org/debian trixie/main armhf libxcb-shm0 armhf 1.15-1 [106 kB] Get: 114 http://deb.debian.org/debian trixie/main armhf libxext6 armhf 2:1.3.4-1+b1 [47.8 kB] Get: 115 http://deb.debian.org/debian trixie/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.1 kB] Get: 116 http://deb.debian.org/debian trixie/main armhf libcairo2 armhf 1.18.0-1+b1 [441 kB] Get: 117 http://deb.debian.org/debian trixie/main armhf libedit2 armhf 3.1-20230828-1 [76.8 kB] Get: 118 http://deb.debian.org/debian trixie/main armhf libaom3 armhf 3.8.2-2 [1526 kB] Get: 119 http://deb.debian.org/debian trixie/main armhf libdav1d7 armhf 1.4.1-1 [262 kB] Get: 120 http://deb.debian.org/debian trixie/main armhf libabsl20220623 armhf 20220623.1-3 [361 kB] Get: 121 http://deb.debian.org/debian trixie/main armhf libgav1-1 armhf 0.18.0-1+b1 [284 kB] Get: 122 http://deb.debian.org/debian trixie/main armhf librav1e0 armhf 0.7.1-2 [546 kB] Get: 123 http://deb.debian.org/debian trixie/main armhf libsharpyuv0 armhf 1.3.2-0.4 [105 kB] Get: 124 http://deb.debian.org/debian trixie/main armhf libsvtav1enc1d1 armhf 1.7.0+dfsg-2+b1 [936 kB] Get: 125 http://deb.debian.org/debian trixie/main armhf libjpeg62-turbo armhf 1:2.1.5-2+b2 [143 kB] Get: 126 http://deb.debian.org/debian trixie/main armhf libyuv0 armhf 0.0~git202401110.af6ac82-1 [85.1 kB] Get: 127 http://deb.debian.org/debian trixie/main armhf libavif16 armhf 1.0.4-1 [95.0 kB] Get: 128 http://deb.debian.org/debian trixie/main armhf libheif-plugin-dav1d armhf 1.17.6-1 [9252 B] Get: 129 http://deb.debian.org/debian trixie/main armhf libde265-0 armhf 1.0.15-1 [145 kB] Get: 130 http://deb.debian.org/debian trixie/main armhf libheif-plugin-libde265 armhf 1.17.6-1 [12.0 kB] Get: 131 http://deb.debian.org/debian trixie/main armhf libheif1 armhf 1.17.6-1 [242 kB] Get: 132 http://deb.debian.org/debian trixie/main armhf libdeflate0 armhf 1.20-1 [35.9 kB] Get: 133 http://deb.debian.org/debian trixie/main armhf libjbig0 armhf 2.1-6.1+b1 [27.3 kB] Get: 134 http://deb.debian.org/debian trixie/main armhf liblerc4 armhf 4.0.0+ds-4+b1 [137 kB] Get: 135 http://deb.debian.org/debian trixie/main armhf libwebp7 armhf 1.3.2-0.4 [261 kB] Get: 136 http://deb.debian.org/debian trixie/main armhf libtiff6 armhf 4.5.1+git230720-4 [301 kB] Get: 137 http://deb.debian.org/debian trixie/main armhf libxpm4 armhf 1:3.5.17-1 [49.5 kB] Get: 138 http://deb.debian.org/debian trixie/main armhf libgd3 armhf 2.3.3-9+b1 [103 kB] Get: 139 http://deb.debian.org/debian trixie/main armhf libglib2.0-0 armhf 2.78.4-1 [1281 kB] Get: 140 http://deb.debian.org/debian trixie/main armhf liblua5.4-0 armhf 5.4.6-3 [122 kB] Get: 141 http://deb.debian.org/debian trixie/main armhf libfribidi0 armhf 1.0.13-3+b1 [69.4 kB] Get: 142 http://deb.debian.org/debian trixie/main armhf libgraphite2-3 armhf 1.3.14-2 [63.2 kB] Get: 143 http://deb.debian.org/debian trixie/main armhf libharfbuzz0b armhf 8.3.0-2 [2155 kB] Get: 144 http://deb.debian.org/debian trixie/main armhf libthai-data all 0.1.29-2 [168 kB] Get: 145 http://deb.debian.org/debian trixie/main armhf libdatrie1 armhf 0.2.13-3 [34.4 kB] Get: 146 http://deb.debian.org/debian trixie/main armhf libthai0 armhf 0.1.29-2 [45.8 kB] Get: 147 http://deb.debian.org/debian trixie/main armhf libpango-1.0-0 armhf 1.52.0+ds-1 [192 kB] Get: 148 http://deb.debian.org/debian trixie/main armhf libpangoft2-1.0-0 armhf 1.52.0+ds-1 [41.8 kB] Get: 149 http://deb.debian.org/debian trixie/main armhf libpangocairo-1.0-0 armhf 1.52.0+ds-1 [31.2 kB] Get: 150 http://deb.debian.org/debian trixie/main armhf libwebpmux3 armhf 1.3.2-0.4 [116 kB] Get: 151 http://deb.debian.org/debian trixie/main armhf gnuplot-nox armhf 6.0.0+dfsg1-1 [837 kB] Get: 152 http://deb.debian.org/debian trixie/main armhf libansi-terminal-ocaml armhf 0.8.5-3+b1 [26.0 kB] Get: 153 http://deb.debian.org/debian trixie/main armhf libansi-terminal-ocaml-dev armhf 0.8.5-3+b1 [61.1 kB] Get: 154 http://deb.debian.org/debian trixie/main armhf libeasy-format-ocaml armhf 1.3.4-3+b1 [45.3 kB] Get: 155 http://deb.debian.org/debian trixie/main armhf libbiniou-ocaml armhf 1.2.2-3+b1 [126 kB] Get: 156 http://deb.debian.org/debian trixie/main armhf libatdgen-ocaml armhf 2.15.0-1 [126 kB] Get: 157 http://deb.debian.org/debian trixie/main armhf libeasy-format-ocaml-dev armhf 1.3.4-3+b1 [97.7 kB] Get: 158 http://deb.debian.org/debian trixie/main armhf libbiniou-ocaml-dev armhf 1.2.2-3+b1 [595 kB] Get: 159 http://deb.debian.org/debian trixie/main armhf libatdgen-ocaml-dev armhf 2.15.0-1 [1267 kB] Get: 160 http://deb.debian.org/debian trixie/main armhf libresult-ocaml armhf 1.5-4+b1 [7472 B] Get: 161 http://deb.debian.org/debian trixie/main armhf libppx-deriving-ocaml armhf 5.2.1-4+b3 [3714 kB] Get: 162 http://deb.debian.org/debian trixie/main armhf ocaml-findlib armhf 1.9.6-1+b2 [468 kB] Get: 163 http://deb.debian.org/debian trixie/main armhf libresult-ocaml-dev armhf 1.5-4+b1 [10.6 kB] Get: 164 http://deb.debian.org/debian trixie/main armhf libppx-deriving-ocaml-dev armhf 5.2.1-4+b3 [833 kB] Get: 165 http://deb.debian.org/debian trixie/main armhf libreadline8 armhf 8.2-3+b1 [144 kB] Get: 166 http://deb.debian.org/debian trixie/main armhf lua5.1 armhf 5.1.5-9+b1 [81.2 kB] Get: 167 http://deb.debian.org/debian trixie/main armhf menhir armhf 20231231+ds-1 [1194 kB] Get: 168 http://deb.debian.org/debian trixie/main armhf ocaml-dune armhf 3.14.0-1 [4314 kB] Get: 169 http://deb.debian.org/debian trixie/main armhf time armhf 1.9-0.2 [50.9 kB] Fetched 236 MB in 27s (8795 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package readline-common. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19635 files and directories currently installed.) Preparing to unpack .../000-readline-common_8.2-3_all.deb ... Unpacking readline-common (8.2-3) ... 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-2+b1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-2+b1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../003-libmagic1_1%3a5.45-2+b1_armhf.deb ... Unpacking libmagic1:armhf (1:5.45-2+b1) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.45-2+b1_armhf.deb ... Unpacking file (1:5.45-2+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.21-14+b1_armhf.deb ... Unpacking gettext-base (0.21-14+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../006-libuchardet0_0.0.8-1+b1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.23.0-3_armhf.deb ... Unpacking groff-base (1.23.0-3) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../008-bsdextrautils_2.39.3-6_armhf.deb ... Unpacking bsdextrautils (2.39.3-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../009-libpipeline1_1.5.7-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.12.0-3_armhf.deb ... Unpacking man-db (2.12.0-3) ... 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_armhf.deb ... Unpacking atdts (2.15.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../013-m4_1.4.19-4_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking ocaml-interp (4.14.1-1) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../025-libncurses6_6.4+20240113-1_armhf.deb ... Unpacking libncurses6:armhf (6.4+20240113-1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../026-libncurses-dev_6.4+20240113-1_armhf.deb ... Unpacking libncurses-dev:armhf (6.4+20240113-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../027-ocaml_4.14.1-1_armhf.deb ... Unpacking ocaml (4.14.1-1) ... Selecting previously unselected package libastring-ocaml-dev. Preparing to unpack .../028-libastring-ocaml-dev_0.8.5-2+b1_armhf.deb ... Unpacking libastring-ocaml-dev (0.8.5-2+b1) ... Selecting previously unselected package libfmt-ocaml. Preparing to unpack .../029-libfmt-ocaml_0.9.0-3+b1_armhf.deb ... Unpacking libfmt-ocaml (0.9.0-3+b1) ... Selecting previously unselected package libfpath-ocaml. Preparing to unpack .../030-libfpath-ocaml_0.7.3-3+b1_armhf.deb ... Unpacking libfpath-ocaml (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../031-libfindlib-ocaml_1.9.6-1+b2_armhf.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b2) ... Selecting previously unselected package libgen-ocaml. Preparing to unpack .../032-libgen-ocaml_1.1-1+b1_armhf.deb ... Unpacking libgen-ocaml (1.1-1+b1) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../033-libxau6_1%3a1.0.9-1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.9-1) ... Selecting previously unselected package libbsd0:armhf. Preparing to unpack .../034-libbsd0_0.12.2-1_armhf.deb ... Unpacking libbsd0:armhf (0.12.2-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../035-libxdmcp6_1%3a1.1.2-3_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.2-3) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../036-libxcb1_1.15-1_armhf.deb ... Unpacking libxcb1:armhf (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../037-libx11-data_2%3a1.8.7-1_all.deb ... Unpacking libx11-data (2:1.8.7-1) ... Selecting previously unselected package libx11-6:armhf. Preparing to unpack .../038-libx11-6_2%3a1.8.7-1_armhf.deb ... Unpacking libx11-6:armhf (2:1.8.7-1) ... Selecting previously unselected package libgraphics-ocaml. Preparing to unpack .../039-libgraphics-ocaml_5.1.2-3+b1_armhf.deb ... Unpacking libgraphics-ocaml (5.1.2-3+b1) ... Selecting previously unselected package libocplib-endian-ocaml. Preparing to unpack .../040-libocplib-endian-ocaml_1.2-3+b1_armhf.deb ... Unpacking libocplib-endian-ocaml (1.2-3+b1) ... Selecting previously unselected package libreact-ocaml. Preparing to unpack .../041-libreact-ocaml_1.2.2-1+b1_armhf.deb ... Unpacking libreact-ocaml (1.2.2-1+b1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../042-libsexplib0-ocaml_0.16.0-3+b1_armhf.deb ... Unpacking libsexplib0-ocaml (0.16.0-3+b1) ... Selecting previously unselected package libev4:armhf. Preparing to unpack .../043-libev4_1%3a4.33-2_armhf.deb ... Unpacking libev4:armhf (1:4.33-2) ... Selecting previously unselected package liblwt-ocaml. Preparing to unpack .../044-liblwt-ocaml_5.7.0-1+b3_armhf.deb ... Unpacking liblwt-ocaml (5.7.0-1+b3) ... Selecting previously unselected package liblwt-log-ocaml. Preparing to unpack .../045-liblwt-log-ocaml_1.1.2-4+b4_armhf.deb ... Unpacking liblwt-log-ocaml (1.1.2-4+b4) ... Selecting previously unselected package libreactivedata-ocaml. Preparing to unpack .../046-libreactivedata-ocaml_0.3-4+b1_armhf.deb ... Unpacking libreactivedata-ocaml (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml. Preparing to unpack .../047-libsedlex-ocaml_3.2-1+b2_armhf.deb ... Unpacking libsedlex-ocaml (3.2-1+b2) ... Selecting previously unselected package libuutf-ocaml. Preparing to unpack .../048-libuutf-ocaml_1.0.3-1+b2_armhf.deb ... Unpacking libuutf-ocaml (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml. Preparing to unpack .../049-libtyxml-ocaml_4.5.0-4+b1_armhf.deb ... Unpacking libtyxml-ocaml (4.5.0-4+b1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../050-libyojson-ocaml_2.1.2-1_armhf.deb ... Unpacking libyojson-ocaml (2.1.2-1) ... Selecting previously unselected package libjs-of-ocaml. Preparing to unpack .../051-libjs-of-ocaml_5.6.0-1_armhf.deb ... Unpacking libjs-of-ocaml (5.6.0-1) ... Selecting previously unselected package liblogs-ocaml. Preparing to unpack .../052-liblogs-ocaml_0.7.0-3+b6_armhf.deb ... Unpacking liblogs-ocaml (0.7.0-3+b6) ... Selecting previously unselected package librresult-ocaml. Preparing to unpack .../053-librresult-ocaml_0.7.0-2+b1_armhf.deb ... Unpacking librresult-ocaml (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml. Preparing to unpack .../054-libbos-ocaml_0.2.1-2+b5_armhf.deb ... Unpacking libbos-ocaml (0.2.1-2+b5) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../055-libcmdliner-ocaml-dev_1.2.0-2+b1_armhf.deb ... Unpacking libcmdliner-ocaml-dev (1.2.0-2+b1) ... Selecting previously unselected package libfmt-ocaml-dev. Preparing to unpack .../056-libfmt-ocaml-dev_0.9.0-3+b1_armhf.deb ... Unpacking libfmt-ocaml-dev (0.9.0-3+b1) ... Selecting previously unselected package libfpath-ocaml-dev. Preparing to unpack .../057-libfpath-ocaml-dev_0.7.3-3+b1_armhf.deb ... Unpacking libfpath-ocaml-dev (0.7.3-3+b1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../058-libfindlib-ocaml-dev_1.9.6-1+b2_armhf.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1+b2) ... Selecting previously unselected package libgen-ocaml-dev. Preparing to unpack .../059-libgen-ocaml-dev_1.1-1+b1_armhf.deb ... Unpacking libgen-ocaml-dev (1.1-1+b1) ... Selecting previously unselected package libgraphics-ocaml-dev. Preparing to unpack .../060-libgraphics-ocaml-dev_5.1.2-3+b1_armhf.deb ... Unpacking libgraphics-ocaml-dev (5.1.2-3+b1) ... Selecting previously unselected package libev-dev:armhf. Preparing to unpack .../061-libev-dev_1%3a4.33-2_armhf.deb ... Unpacking libev-dev:armhf (1:4.33-2) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../062-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_armhf.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ... Selecting previously unselected package libocplib-endian-ocaml-dev. Preparing to unpack .../063-libocplib-endian-ocaml-dev_1.2-3+b1_armhf.deb ... Unpacking libocplib-endian-ocaml-dev (1.2-3+b1) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../064-libppx-derivers-ocaml-dev_1.2.1-4+b1_armhf.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../065-libsexplib0-ocaml-dev_0.16.0-3+b1_armhf.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../066-libppxlib-ocaml-dev_0.32.0-1_armhf.deb ... Unpacking libppxlib-ocaml-dev (0.32.0-1) ... Selecting previously unselected package libreact-ocaml-dev. Preparing to unpack .../067-libreact-ocaml-dev_1.2.2-1+b1_armhf.deb ... Unpacking libreact-ocaml-dev (1.2.2-1+b1) ... Selecting previously unselected package liblwt-ocaml-dev. Preparing to unpack .../068-liblwt-ocaml-dev_5.7.0-1+b3_armhf.deb ... Unpacking liblwt-ocaml-dev (5.7.0-1+b3) ... Selecting previously unselected package liblwt-log-ocaml-dev. Preparing to unpack .../069-liblwt-log-ocaml-dev_1.1.2-4+b4_armhf.deb ... Unpacking liblwt-log-ocaml-dev (1.1.2-4+b4) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../070-libmenhir-ocaml-dev_20231231+ds-1_armhf.deb ... Unpacking libmenhir-ocaml-dev (20231231+ds-1) ... Selecting previously unselected package libreactivedata-ocaml-dev. Preparing to unpack .../071-libreactivedata-ocaml-dev_0.3-4+b1_armhf.deb ... Unpacking libreactivedata-ocaml-dev (0.3-4+b1) ... Selecting previously unselected package libsedlex-ocaml-dev. Preparing to unpack .../072-libsedlex-ocaml-dev_3.2-1+b2_armhf.deb ... Unpacking libsedlex-ocaml-dev (3.2-1+b2) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../073-libre-ocaml-dev_1.11.0-1+b1_armhf.deb ... Unpacking libre-ocaml-dev (1.11.0-1+b1) ... Selecting previously unselected package libuutf-ocaml-dev. Preparing to unpack .../074-libuutf-ocaml-dev_1.0.3-1+b2_armhf.deb ... Unpacking libuutf-ocaml-dev (1.0.3-1+b2) ... Selecting previously unselected package libtyxml-ocaml-dev. Preparing to unpack .../075-libtyxml-ocaml-dev_4.5.0-4+b1_armhf.deb ... Unpacking libtyxml-ocaml-dev (4.5.0-4+b1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../076-libyojson-ocaml-dev_2.1.2-1_armhf.deb ... Unpacking libyojson-ocaml-dev (2.1.2-1) ... Selecting previously unselected package libjs-of-ocaml-dev. Preparing to unpack .../077-libjs-of-ocaml-dev_5.6.0-1_armhf.deb ... Unpacking libjs-of-ocaml-dev (5.6.0-1) ... Selecting previously unselected package liblogs-ocaml-dev. Preparing to unpack .../078-liblogs-ocaml-dev_0.7.0-3+b6_armhf.deb ... Unpacking liblogs-ocaml-dev (0.7.0-3+b6) ... Selecting previously unselected package librresult-ocaml-dev. Preparing to unpack .../079-librresult-ocaml-dev_0.7.0-2+b1_armhf.deb ... Unpacking librresult-ocaml-dev (0.7.0-2+b1) ... Selecting previously unselected package libbos-ocaml-dev. Preparing to unpack .../080-libbos-ocaml-dev_0.2.1-2+b5_armhf.deb ... Unpacking libbos-ocaml-dev (0.2.1-2+b5) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../081-libcamlp-streams-ocaml_5.0.1-3+b1_armhf.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-3+b1) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../082-libcamlp-streams-ocaml-dev_5.0.1-3+b1_armhf.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Selecting previously unselected package camlp5. Preparing to unpack .../083-camlp5_8.02.01-2+b5_armhf.deb ... Unpacking camlp5 (8.02.01-2+b5) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../084-libdebhelper-perl_13.15.3_all.deb ... Unpacking libdebhelper-perl (13.15.3) ... Selecting previously unselected package libtool. Preparing to unpack .../085-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../086-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../087-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../088-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../089-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../090-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../091-libelf1_0.190-1+b1_armhf.deb ... Unpacking libelf1:armhf (0.190-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../092-dwz_0.15-1_armhf.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../093-libicu72_72.1-4+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-4+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../094-libxml2_2.9.14+dfsg-1.3+b2_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../095-gettext_0.21-14+b1_armhf.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.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../100-libexpat1_2.6.2-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.2-1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../101-libbrotli1_1.1.0-2+b3_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b3) ... Selecting previously unselected package libpng16-16:armhf. Preparing to unpack .../102-libpng16-16_1.6.43-1_armhf.deb ... Unpacking libpng16-16:armhf (1.6.43-1) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../103-libfreetype6_2.13.2+dfsg-1+b1_armhf.deb ... Unpacking libfreetype6:armhf (2.13.2+dfsg-1+b1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../104-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 .../105-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../106-fontconfig-config_2.15.0-1.1_armhf.deb ... Unpacking fontconfig-config (2.15.0-1.1) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../107-libfontconfig1_2.15.0-1.1_armhf.deb ... Unpacking libfontconfig1:armhf (2.15.0-1.1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../108-fontconfig_2.15.0-1.1_armhf.deb ... Unpacking fontconfig (2.15.0-1.1) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../109-gnuplot-data_6.0.0+dfsg1-1_all.deb ... Unpacking gnuplot-data (6.0.0+dfsg1-1) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../110-libpixman-1-0_0.42.2-1+b1_armhf.deb ... Unpacking libpixman-1-0:armhf (0.42.2-1+b1) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../111-libxcb-render0_1.15-1_armhf.deb ... Unpacking libxcb-render0:armhf (1.15-1) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../112-libxcb-shm0_1.15-1_armhf.deb ... Unpacking libxcb-shm0:armhf (1.15-1) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../113-libxext6_2%3a1.3.4-1+b1_armhf.deb ... Unpacking libxext6:armhf (2:1.3.4-1+b1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../114-libxrender1_1%3a0.9.10-1.1_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:armhf. Preparing to unpack .../115-libcairo2_1.18.0-1+b1_armhf.deb ... Unpacking libcairo2:armhf (1.18.0-1+b1) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../116-libedit2_3.1-20230828-1_armhf.deb ... Unpacking libedit2:armhf (3.1-20230828-1) ... Selecting previously unselected package libaom3:armhf. Preparing to unpack .../117-libaom3_3.8.2-2_armhf.deb ... Unpacking libaom3:armhf (3.8.2-2) ... Selecting previously unselected package libdav1d7:armhf. Preparing to unpack .../118-libdav1d7_1.4.1-1_armhf.deb ... Unpacking libdav1d7:armhf (1.4.1-1) ... Selecting previously unselected package libabsl20220623:armhf. Preparing to unpack .../119-libabsl20220623_20220623.1-3_armhf.deb ... Unpacking libabsl20220623:armhf (20220623.1-3) ... Selecting previously unselected package libgav1-1:armhf. Preparing to unpack .../120-libgav1-1_0.18.0-1+b1_armhf.deb ... Unpacking libgav1-1:armhf (0.18.0-1+b1) ... Selecting previously unselected package librav1e0:armhf. Preparing to unpack .../121-librav1e0_0.7.1-2_armhf.deb ... Unpacking librav1e0:armhf (0.7.1-2) ... Selecting previously unselected package libsharpyuv0:armhf. Preparing to unpack .../122-libsharpyuv0_1.3.2-0.4_armhf.deb ... Unpacking libsharpyuv0:armhf (1.3.2-0.4) ... Selecting previously unselected package libsvtav1enc1d1:armhf. Preparing to unpack .../123-libsvtav1enc1d1_1.7.0+dfsg-2+b1_armhf.deb ... Unpacking libsvtav1enc1d1:armhf (1.7.0+dfsg-2+b1) ... Selecting previously unselected package libjpeg62-turbo:armhf. Preparing to unpack .../124-libjpeg62-turbo_1%3a2.1.5-2+b2_armhf.deb ... Unpacking libjpeg62-turbo:armhf (1:2.1.5-2+b2) ... Selecting previously unselected package libyuv0:armhf. Preparing to unpack .../125-libyuv0_0.0~git202401110.af6ac82-1_armhf.deb ... Unpacking libyuv0:armhf (0.0~git202401110.af6ac82-1) ... Selecting previously unselected package libavif16:armhf. Preparing to unpack .../126-libavif16_1.0.4-1_armhf.deb ... Unpacking libavif16:armhf (1.0.4-1) ... Selecting previously unselected package libheif-plugin-dav1d:armhf. Preparing to unpack .../127-libheif-plugin-dav1d_1.17.6-1_armhf.deb ... Unpacking libheif-plugin-dav1d:armhf (1.17.6-1) ... Selecting previously unselected package libde265-0:armhf. Preparing to unpack .../128-libde265-0_1.0.15-1_armhf.deb ... Unpacking libde265-0:armhf (1.0.15-1) ... Selecting previously unselected package libheif-plugin-libde265:armhf. Preparing to unpack .../129-libheif-plugin-libde265_1.17.6-1_armhf.deb ... Unpacking libheif-plugin-libde265:armhf (1.17.6-1) ... Selecting previously unselected package libheif1:armhf. Preparing to unpack .../130-libheif1_1.17.6-1_armhf.deb ... Unpacking libheif1:armhf (1.17.6-1) ... Selecting previously unselected package libdeflate0:armhf. Preparing to unpack .../131-libdeflate0_1.20-1_armhf.deb ... Unpacking libdeflate0:armhf (1.20-1) ... Selecting previously unselected package libjbig0:armhf. Preparing to unpack .../132-libjbig0_2.1-6.1+b1_armhf.deb ... Unpacking libjbig0:armhf (2.1-6.1+b1) ... Selecting previously unselected package liblerc4:armhf. Preparing to unpack .../133-liblerc4_4.0.0+ds-4+b1_armhf.deb ... Unpacking liblerc4:armhf (4.0.0+ds-4+b1) ... Selecting previously unselected package libwebp7:armhf. Preparing to unpack .../134-libwebp7_1.3.2-0.4_armhf.deb ... Unpacking libwebp7:armhf (1.3.2-0.4) ... Selecting previously unselected package libtiff6:armhf. Preparing to unpack .../135-libtiff6_4.5.1+git230720-4_armhf.deb ... Unpacking libtiff6:armhf (4.5.1+git230720-4) ... Selecting previously unselected package libxpm4:armhf. Preparing to unpack .../136-libxpm4_1%3a3.5.17-1_armhf.deb ... Unpacking libxpm4:armhf (1:3.5.17-1) ... Selecting previously unselected package libgd3:armhf. Preparing to unpack .../137-libgd3_2.3.3-9+b1_armhf.deb ... Unpacking libgd3:armhf (2.3.3-9+b1) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../138-libglib2.0-0_2.78.4-1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.78.4-1) ... Selecting previously unselected package liblua5.4-0:armhf. Preparing to unpack .../139-liblua5.4-0_5.4.6-3_armhf.deb ... Unpacking liblua5.4-0:armhf (5.4.6-3) ... Selecting previously unselected package libfribidi0:armhf. Preparing to unpack .../140-libfribidi0_1.0.13-3+b1_armhf.deb ... Unpacking libfribidi0:armhf (1.0.13-3+b1) ... Selecting previously unselected package libgraphite2-3:armhf. Preparing to unpack .../141-libgraphite2-3_1.3.14-2_armhf.deb ... Unpacking libgraphite2-3:armhf (1.3.14-2) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../142-libharfbuzz0b_8.3.0-2_armhf.deb ... Unpacking libharfbuzz0b:armhf (8.3.0-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../143-libthai-data_0.1.29-2_all.deb ... Unpacking libthai-data (0.1.29-2) ... Selecting previously unselected package libdatrie1:armhf. Preparing to unpack .../144-libdatrie1_0.2.13-3_armhf.deb ... Unpacking libdatrie1:armhf (0.2.13-3) ... Selecting previously unselected package libthai0:armhf. Preparing to unpack .../145-libthai0_0.1.29-2_armhf.deb ... Unpacking libthai0:armhf (0.1.29-2) ... Selecting previously unselected package libpango-1.0-0:armhf. Preparing to unpack .../146-libpango-1.0-0_1.52.0+ds-1_armhf.deb ... Unpacking libpango-1.0-0:armhf (1.52.0+ds-1) ... Selecting previously unselected package libpangoft2-1.0-0:armhf. Preparing to unpack .../147-libpangoft2-1.0-0_1.52.0+ds-1_armhf.deb ... Unpacking libpangoft2-1.0-0:armhf (1.52.0+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:armhf. Preparing to unpack .../148-libpangocairo-1.0-0_1.52.0+ds-1_armhf.deb ... Unpacking libpangocairo-1.0-0:armhf (1.52.0+ds-1) ... Selecting previously unselected package libwebpmux3:armhf. Preparing to unpack .../149-libwebpmux3_1.3.2-0.4_armhf.deb ... Unpacking libwebpmux3:armhf (1.3.2-0.4) ... Selecting previously unselected package gnuplot-nox. Preparing to unpack .../150-gnuplot-nox_6.0.0+dfsg1-1_armhf.deb ... Unpacking gnuplot-nox (6.0.0+dfsg1-1) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../151-libansi-terminal-ocaml_0.8.5-3+b1_armhf.deb ... Unpacking libansi-terminal-ocaml (0.8.5-3+b1) ... Selecting previously unselected package libansi-terminal-ocaml-dev. Preparing to unpack .../152-libansi-terminal-ocaml-dev_0.8.5-3+b1_armhf.deb ... Unpacking libansi-terminal-ocaml-dev (0.8.5-3+b1) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../153-libeasy-format-ocaml_1.3.4-3+b1_armhf.deb ... Unpacking libeasy-format-ocaml (1.3.4-3+b1) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../154-libbiniou-ocaml_1.2.2-3+b1_armhf.deb ... Unpacking libbiniou-ocaml (1.2.2-3+b1) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../155-libatdgen-ocaml_2.15.0-1_armhf.deb ... Unpacking libatdgen-ocaml (2.15.0-1) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../156-libeasy-format-ocaml-dev_1.3.4-3+b1_armhf.deb ... Unpacking libeasy-format-ocaml-dev (1.3.4-3+b1) ... Selecting previously unselected package libbiniou-ocaml-dev. Preparing to unpack .../157-libbiniou-ocaml-dev_1.2.2-3+b1_armhf.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-3+b1) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../158-libatdgen-ocaml-dev_2.15.0-1_armhf.deb ... Unpacking libatdgen-ocaml-dev (2.15.0-1) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../159-libresult-ocaml_1.5-4+b1_armhf.deb ... Unpacking libresult-ocaml (1.5-4+b1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../160-libppx-deriving-ocaml_5.2.1-4+b3_armhf.deb ... Unpacking libppx-deriving-ocaml (5.2.1-4+b3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../161-ocaml-findlib_1.9.6-1+b2_armhf.deb ... Unpacking ocaml-findlib (1.9.6-1+b2) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../162-libresult-ocaml-dev_1.5-4+b1_armhf.deb ... Unpacking libresult-ocaml-dev (1.5-4+b1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../163-libppx-deriving-ocaml-dev_5.2.1-4+b3_armhf.deb ... Unpacking libppx-deriving-ocaml-dev (5.2.1-4+b3) ... Selecting previously unselected package libreadline8:armhf. Preparing to unpack .../164-libreadline8_8.2-3+b1_armhf.deb ... Unpacking libreadline8:armhf (8.2-3+b1) ... Selecting previously unselected package lua5.1. Preparing to unpack .../165-lua5.1_5.1.5-9+b1_armhf.deb ... Unpacking lua5.1 (5.1.5-9+b1) ... Selecting previously unselected package menhir. Preparing to unpack .../166-menhir_20231231+ds-1_armhf.deb ... Unpacking menhir (20231231+ds-1) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../167-ocaml-dune_3.14.0-1_armhf.deb ... Unpacking ocaml-dune (3.14.0-1) ... Selecting previously unselected package time. Preparing to unpack .../168-time_1.9-0.2_armhf.deb ... Unpacking time (1.9-0.2) ... Setting up libexpat1:armhf (2.6.2-1) ... Setting up libpipeline1:armhf (1.5.7-2) ... Setting up libgraphite2-3:armhf (1.3.14-2) ... Setting up libpixman-1-0:armhf (0.42.2-1+b1) ... Setting up libsharpyuv0:armhf (1.3.2-0.4) ... Setting up libaom3:armhf (3.8.2-2) ... Setting up libabsl20220623:armhf (20220623.1-3) ... Setting up libxau6:armhf (1:1.0.9-1) ... Setting up time (1.9-0.2) ... Setting up libicu72:armhf (72.1-4+b1) ... Setting up liblerc4:armhf (4.0.0+ds-4+b1) ... Setting up bsdextrautils (2.39.3-6) ... Setting up libdatrie1:armhf (0.2.13-3) ... Setting up libmagic-mgc (1:5.45-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:armhf (2.78.4-1) ... No schema files found: doing nothing. Setting up libev4:armhf (1:4.33-2) ... Setting up libdebhelper-perl (13.15.3) ... Setting up libbrotli1:armhf (1.1.0-2+b3) ... Setting up dh-ocaml (2.0) ... Setting up libmagic1:armhf (1:5.45-2+b1) ... Setting up libdeflate0:armhf (1.20-1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up libsvtav1enc1d1:armhf (1.7.0+dfsg-2+b1) ... Setting up file (1:5.45-2+b1) ... Setting up atdts (2.15.0-1) ... Setting up libjbig0:armhf (2.1-6.1+b1) ... Setting up librav1e0:armhf (0.7.1-2) ... Setting up ocaml-dune (3.14.0-1) ... Setting up autotools-dev (20220109.1) ... Setting up libjpeg62-turbo:armhf (1:2.1.5-2+b2) ... Setting up libx11-data (2:1.8.7-1) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libncurses6:armhf (6.4+20240113-1) ... Setting up libfribidi0:armhf (1.0.13-3+b1) ... Setting up libstdlib-ocaml (4.14.1-1) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16:armhf (1.6.43-1) ... Setting up autopoint (0.21-14) ... Setting up ocaml-base (4.14.1-1) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libgav1-1:armhf (0.18.0-1+b1) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:armhf (1.3.2-0.4) ... Setting up libsexplib0-ocaml (0.16.0-3+b1) ... Setting up libdav1d7:armhf (1.4.1-1) ... Setting up sensible-utils (0.0.22) ... Setting up libtiff6:armhf (4.5.1+git230720-4) ... Setting up libuchardet0:armhf (0.0.8-1+b1) ... Setting up libfmt-ocaml (0.9.0-3+b1) ... Setting up liblua5.4-0:armhf (5.4.6-3) ... Setting up libsub-override-perl (0.10-1) ... Setting up libthai-data (0.1.29-2) ... Setting up libreact-ocaml (1.2.2-1+b1) ... Setting up libev-dev:armhf (1:4.33-2) ... Setting up libde265-0:armhf (1.0.15-1) ... Setting up libwebpmux3:armhf (1.3.2-0.4) ... Setting up libbsd0:armhf (0.12.2-1) ... Setting up libyuv0:armhf (0.0~git202401110.af6ac82-1) ... Setting up libresult-ocaml (1.5-4+b1) ... Setting up libelf1:armhf (0.190-1+b1) ... Setting up readline-common (8.2-3) ... Setting up libxml2:armhf (2.9.14+dfsg-1.3+b2) ... 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.13.1-1) ... Setting up libastring-ocaml (0.8.5-2+b1) ... Setting up gnuplot-data (6.0.0+dfsg1-1) ... Setting up libeasy-format-ocaml (1.3.4-3+b1) ... Setting up libppx-deriving-ocaml (5.2.1-4+b3) ... Setting up libavif16:armhf (1.0.4-1) ... Setting up libxdmcp6:armhf (1:1.1.2-3) ... Setting up libncurses-dev:armhf (6.4+20240113-1) ... Setting up libxcb1:armhf (1.15-1) ... 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.1.2-1) ... Setting up libxcb-render0:armhf (1.15-1) ... 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:armhf (3.1-20230828-1) ... Setting up libreadline8:armhf (8.2-3+b1) ... Setting up libuutf-ocaml (1.0.3-1+b2) ... Setting up libfindlib-ocaml (1.9.6-1+b2) ... Setting up libxcb-shm0:armhf (1.15-1) ... Setting up libbiniou-ocaml (1.2.2-3+b1) ... Setting up lua5.1 (5.1.5-9+b1) ... 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 intltool-debian (0.35.0+20060710.6) ... Setting up libocplib-endian-ocaml (1.2-3+b1) ... Setting up dh-autoreconf (20) ... Setting up libthai0:armhf (0.1.29-2) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ... Setting up libsedlex-ocaml (3.2-1+b2) ... Setting up libreactivedata-ocaml (0.3-4+b1) ... Setting up ocaml-interp (4.14.1-1) ... Setting up libfreetype6:armhf (2.13.2+dfsg-1+b1) ... Setting up libansi-terminal-ocaml (0.8.5-3+b1) ... Setting up ocaml-findlib (1.9.6-1+b2) ... Setting up libatdgen-ocaml (2.15.0-1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libtyxml-ocaml (4.5.0-4+b1) ... Setting up groff-base (1.23.0-3) ... Setting up libx11-6:armhf (2:1.8.7-1) ... Setting up libharfbuzz0b:armhf (8.3.0-2) ... Setting up libfontconfig1:armhf (2.15.0-1.1) ... Setting up fontconfig (2.15.0-1.1) ... Regenerating fonts cache... done. Setting up libxpm4:armhf (1:3.5.17-1) ... Setting up libxrender1:armhf (1:0.9.10-1.1) ... Setting up ocaml-compiler-libs (4.14.1-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:armhf (1.52.0+ds-1) ... Setting up liblwt-ocaml (5.7.0-1+b3) ... Setting up libxext6:armhf (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.0-3) ... Not building database; man-db/auto-update is not 'true'. Setting up libcairo2:armhf (1.18.0-1+b1) ... Setting up liblwt-log-ocaml (1.1.2-4+b4) ... 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.1.2-1) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b1) ... Setting up libfindlib-ocaml-dev (1.9.6-1+b2) ... Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ... Setting up libresult-ocaml-dev (1.5-4+b1) ... Setting up libpangoft2-1.0-0:armhf (1.52.0+ds-1) ... Setting up libcmdliner-ocaml-dev (1.2.0-2+b1) ... Setting up libocplib-endian-ocaml-dev (1.2-3+b1) ... Setting up libpangocairo-1.0-0:armhf (1.52.0+ds-1) ... Setting up libjs-of-ocaml (5.6.0-1) ... 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-3+b1) ... Setting up libppxlib-ocaml-dev (0.32.0-1) ... Setting up debhelper (13.15.3) ... Setting up libbiniou-ocaml-dev (1.2.2-3+b1) ... Setting up liblogs-ocaml (0.7.0-3+b6) ... Setting up libfmt-ocaml-dev (0.9.0-3+b1) ... Setting up libtyxml-ocaml-dev (4.5.0-4+b1) ... Setting up libppx-deriving-ocaml-dev (5.2.1-4+b3) ... Setting up libfpath-ocaml-dev (0.7.3-3+b1) ... Setting up libatdgen-ocaml-dev (2.15.0-1) ... Setting up libsedlex-ocaml-dev (3.2-1+b2) ... Setting up liblwt-ocaml-dev (5.7.0-1+b3) ... Setting up libbos-ocaml (0.2.1-2+b5) ... Setting up liblwt-log-ocaml-dev (1.1.2-4+b4) ... Setting up libjs-of-ocaml-dev (5.6.0-1) ... Setting up liblogs-ocaml-dev (0.7.0-3+b6) ... Setting up libbos-ocaml-dev (0.2.1-2+b5) ... Setting up camlp5 (8.02.01-2+b5) ... Setting up libheif-plugin-dav1d:armhf (1.17.6-1) ... Setting up libheif1:armhf (1.17.6-1) ... Setting up libgd3:armhf (2.3.3-9+b1) ... Setting up gnuplot-nox (6.0.0+dfsg1-1) ... update-alternatives: using /usr/bin/gnuplot-nox to provide /usr/bin/gnuplot (gnuplot) in auto mode Setting up libheif-plugin-libde265:armhf (1.17.6-1) ... Processing triggers for libc-bin (2.37-15) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: user script /srv/workspace/pbuilder/6105/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for trixie I: user script /srv/workspace/pbuilder/6105/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/elpi-1.17.4/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../elpi_1.17.4-3_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 1.17.4-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean --with ocaml --buildsystem ocaml_dune dh_auto_clean -O--buildsystem=ocaml_dune dune clean debian/rules execute_after_dh_auto_clean make[1]: Entering directory '/build/reproducible-path/elpi-1.17.4' 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 '/build/reproducible-path/elpi-1.17.4' 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 '/build/reproducible-path/elpi-1.17.4' cp elpi_REPL.ml elpi_REPL.ml.orig sed -e 's/%%VERSION_NUM%%/1.17.4/g' -i elpi_REPL.ml cp src/compiler.ml src/compiler.ml.orig sed -e 's/%%VERSION_NUM%%/1.17.4/g' -i src/compiler.ml cp src/trace_atd.ts src/trace_atd.ts.orig make[1]: Leaving directory '/build/reproducible-path/elpi-1.17.4' dh_auto_build -O--buildsystem=ocaml_dune dune build -j 4 -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. (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml) File "src/runtime_trace_off.ml", line 1729, characters 14-31: 1729 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1749, characters 14-31: 1749 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1795, characters 15-22: 1795 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1811, characters 28-35: 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1824, characters 15-22: 1824 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1867, characters 8-25: 1867 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1877, characters 8-25: 1877 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3593, characters 21-32: 3593 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3598, characters 21-32: 3598 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3639, characters 12-18: 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml) File "src/runtime.ml", line 1729, characters 14-31: 1729 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1749, characters 14-31: 1749 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1795, characters 15-22: 1795 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1811, characters 28-35: 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1824, characters 15-22: 1824 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1867, characters 8-25: 1867 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1877, characters 8-25: 1877 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 3593, characters 21-32: 3593 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3598, characters 21-32: 3598 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3639, characters 12-18: 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml) File "src/API.ml", line 427, characters 8-18: 427 | Pp.uppterm d [] d ED.empty_env fmt t); ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 485, characters 8-18: 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1033, characters 4-14: 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1044, characters 7-16: 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime_trace_off.cmx -c -impl src/runtime_trace_off.pp.ml) File "src/runtime_trace_off.ml", line 1729, characters 14-31: 1729 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1749, characters 14-31: 1749 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1795, characters 15-22: 1795 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1811, characters 28-35: 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1824, characters 15-22: 1824 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1867, characters 8-25: 1867 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 1877, characters 8-25: 1877 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3593, characters 21-32: 3593 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3598, characters 21-32: 3598 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime_trace_off.ml", line 3639, characters 12-18: 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime.cmx -c -impl src/runtime.pp.ml) File "src/runtime.ml", line 1729, characters 14-31: 1729 | match eta_contract_flex depth adepth bdepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1749, characters 14-31: 1749 | match eta_contract_flex depth bdepth bdepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1795, characters 15-22: 1795 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1811, characters 28-35: 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1824, characters 15-22: 1824 | match is_flex (adepth+depth) other with ^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 1867, characters 8-25: 1867 | match eta_contract_flex depth adepth adepth e a with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 1877, characters 8-25: 1877 | match eta_contract_flex depth bdepth adepth e b with ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/runtime.ml", line 3593, characters 21-32: 3593 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3598, characters 21-32: 3598 | let clauses = get_clauses depth k g p in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label depth was omitted in the application of this function. File "src/runtime.ml", line 3639, characters 12-18: 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs] ^^^^^^ Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function. (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/ppx_deriving/runtime -I /usr/lib/ocaml/re -I /usr/lib/ocaml/re/str -I /usr/lib/ocaml/result -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__API.cmx -c -impl src/API.pp.ml) File "src/API.ml", line 427, characters 8-18: 427 | Pp.uppterm d [] d ED.empty_env fmt t); ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 485, characters 8-18: 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1033, characters 4-14: 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. File "src/API.ml", line 1044, characters 7-16: 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t ^^^^^^^^^ Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/elpi-1.17.4' make tests STACK=11141120 make[2]: Entering directory '/build/reproducible-path/elpi-1.17.4' make build make[3]: Entering directory '/build/reproducible-path/elpi-1.17.4' dune build @all make[3]: Leaving directory '/build/reproducible-path/elpi-1.17.4' dune runtest ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ tests/test.exe \ --seed $RANDOM \ --timeout 1200.0 \ --time /usr/bin/time \ --sources=/build/reproducible-path/elpi-1.17.4/tests/sources/ \ --plot=/build/reproducible-path/elpi-1.17.4/tests/plot \ \ \ --runner dune --runner /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi /build/reproducible-path/elpi-1.17.4/_build/install/default/bin/elpi-trace-elaborator Random seed: 31973 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.99 1.56 9.4M elpi RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.92 0.00 0.0M elpi RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 1.00 0.00 0.0M elpi RUNNING ackermann (ackermann) elpi OK ackermann 0.00 1.12 1.37 9.6M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 1.13 1.37 9.3M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 1.28 1.52 9.5M elpi RUNNING beta (beta reduction) elpi OK beta 0.00 1.08 1.33 9.4M 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 1.23 1.47 9.4M elpi RUNNING cbn (reduction) elpi OK cbn 3.61 1.30 5.15 9.7M elpi RUNNING cbv (reduction) elpi OK cbv 19.80 1.28 21.32 9.4M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.01 1.15 1.41 9.4M elpi RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.03 0.00 0.27 7.1M elpi RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.01 0.97 1.22 9.5M elpi RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.01 1.06 1.32 9.4M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 1.03 1.28 9.4M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 1.05 1.31 9.3M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 1.12 1.37 9.3M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 1.59 1.88 9.2M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 1.05 1.30 9.5M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 51.32 1.08 52.66 20.2M elpi RUNNING cut1 (what else) elpi OK cut1 0.00 1.40 1.64 9.3M elpi RUNNING cut2 (what else) elpi OK cut2 0.00 1.41 1.65 9.4M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 1.22 1.46 9.4M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.90 1.15 9.4M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 1.47 1.71 9.3M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 1.21 1.45 9.4M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.96 1.21 9.4M elpi RUNNING discard (_) elpi OK discard 0.00 1.04 1.29 9.5M elpi RUNNING elpi-checker (type checking the type checker) elpi OK elpi-checker 0.00 2.14 2.44 10.7M elpi RUNNING elpi2html (type checking elpi2html) elpi OK elpi2html 0.00 1.26 1.60 10.3M elpi RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 1.08 0.00 0.0M elpi RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 1.09 1.34 9.5M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.25 7.0M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 19.64 1.08 21.02 9.5M elpi RUNNING findall (stash across backtrack) elpi OK findall 0.00 1.26 1.50 9.3M 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.89 1.14 9.3M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 265.05 76.46 365.71 1152.9M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 1.71 2.09 9.3M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.23 7.0M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.90 1.15 9.3M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.96 1.22 9.8M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.99 1.25 9.4M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 1.02 1.27 9.4M elpi RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi RUNNING holp (HOL programming) elpi OK holp 0.00 1.67 1.98 9.9M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.91 1.15 9.3M elpi RUNNING impl (implication) elpi OK impl 0.00 1.29 1.53 9.4M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 1.22 1.46 9.3M elpi RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.93 1.19 9.2M elpi RUNNING index2 (indexing the second argument) elpi OK index2 25.74 1.15 27.19 9.6M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 4.65 1.57 6.51 9.5M elpi RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 1.36 1.60 9.3M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 1.22 1.46 9.4M elpi RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.02 1.93 2.25 10.7M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.98 1.22 9.4M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.92 1.17 9.3M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.03 1.68 1.97 9.1M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 1.07 1.34 9.3M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 1.12 1.39 9.4M elpi RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 1.24 1.49 9.3M elpi RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 1.24 1.50 9.5M elpi RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 1.13 1.40 9.3M elpi RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 1.02 1.28 9.4M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 74.16 117.46 279.26 295.0M elpi RUNNING map (builtin list) (stdlib map reference) elpi OK map (builtin list) 128.91 0.94 130.10 9.7M elpi RUNNING map (defined list) (stdlib map reference) elpi OK map (defined list) 143.28 0.95 144.48 9.6M elpi RUNNING map (rbtree) (stdlib map) elpi OK map (rbtree) 36.91 0.94 38.11 9.7M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 28.17 1.03 29.49 9.6M elpi RUNNING name (name builtin) elpi OK name 0.00 0.00 0.23 7.0M 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.97 1.22 9.4M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.98 1.23 9.4M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 1.10 1.35 9.3M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 1.12 1.37 9.4M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 1.39 1.64 9.4M elpi RUNNING ndprover (Natural deduction prover) elpi OK ndprover 0.02 1.23 1.56 10.2M elpi RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.90 1.14 9.3M elpi RUNNING notation (extensible syntax) elpi OK notation 0.00 1.53 1.77 9.1M 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 1.15 1.39 9.3M elpi RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 1.02 1.26 9.3M elpi RUNNING pcf (type inference for PCF) elpi OK pcf 0.01 1.48 1.89 10.6M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 1.21 1.45 9.3M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 1.02 1.26 9.4M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 1.28 1.52 9.2M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 1.43 1.75 9.4M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 1.75 2.01 9.8M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.24 7.0M elpi RUNNING progs (progs) elpi OK progs 0.01 1.46 1.82 10.3M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 18.60 1.64 20.51 64.0M elpi RUNNING quote_syntax (quote_syntax API) elpi OK quote_syntax 0.15 0.94 1.34 9.3M elpi RUNNING random (random numbers) elpi OK random 0.00 0.90 1.17 9.3M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.90 0.00 0.0M elpi RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.99 1.25 9.4M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.97 1.22 9.4M elpi RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.91 1.16 9.3M elpi RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.96 1.21 9.2M elpi RUNNING rev (list reversal) elpi OK rev 1.77 1.55 3.57 22.7M elpi RUNNING rev14 (list reversal) elpi OK rev14 1.78 1.57 3.59 22.8M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.91 1.16 9.4M elpi RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 1.04 1.28 9.5M elpi RUNNING sepcomp1 (simple separate compilation) dune OK sepcomp1 2.76 0.00 2.76 22.3M dune RUNNING sepcomp2 (simple separate compilation) dune OK sepcomp2 2.41 0.00 2.41 22.3M 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 1.44 0.00 1.44 22.2M dune RUNNING sepcomp6 (separate compilation different processes (step 2)) dune OK sepcomp6 1.48 0.00 1.48 22.3M dune RUNNING sepcomp_perf1 (separate compilation perf) dune OK sepcomp_perf1 4.71 0.00 4.71 28.3M dune RUNNING sepcomp_perf2 (separate compilation linker perf) dune OK sepcomp_perf2 4.52 0.00 4.52 28.3M dune RUNNING sepcomp_perf3 (separate compilation linker perf) dune OK sepcomp_perf3 17.98 0.00 17.98 116.2M dune RUNNING sepcomp_perf4 (separate compilation linker perf) dune OK sepcomp_perf4 34.20 0.00 34.20 225.3M dune RUNNING set (stdlib set) elpi OK set 31.65 0.93 32.83 9.6M elpi RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 1.24 1.50 9.4M elpi RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 1.10 1.35 9.3M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.90 1.15 9.4M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 1.15 1.39 9.3M elpi RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.92 1.17 9.3M elpi RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.92 1.17 9.3M elpi RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.91 1.16 9.4M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.01 0.00 0.25 6.9M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.03 0.00 0.26 7.1M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.01 0.00 0.25 7.0M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.06 4.0M elpi-trace-elaborator RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 1.37 29.6M elpi-trace-elaborator RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.04 3.9M elpi-trace-elaborator RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.03 3.9M elpi-trace-elaborator RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.03 3.5M elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.01 0.00 0.24 7.1M elpi RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.01 0.00 0.24 7.1M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.02 3.2M elpi-trace-elaborator RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.01 0.00 0.24 7.1M elpi RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.03 3.7M elpi-trace-elaborator RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.01 0.00 0.24 7.0M elpi RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.04 3.8M elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.89 1.14 9.2M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.90 1.14 9.4M elpi RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.90 0.00 0.0M elpi RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.90 0.00 0.0M elpi RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.88 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.96 1.22 9.4M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.90 1.14 9.4M 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.91 1.15 9.4M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.91 1.15 9.2M elpi RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.91 1.15 9.2M elpi RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.90 1.15 9.3M elpi RUNNING unix (unix APIs) elpi OK unix 0.10 0.93 1.27 9.3M elpi RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 1.02 1.26 9.3M elpi RUNNING var (var API) elpi OK var 0.00 0.91 1.16 9.3M elpi RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.91 1.15 9.3M elpi RUNNING w (ELPI example at MLWS) elpi OK w 0.00 1.67 1.96 9.2M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot OK zebra 12.04 1.77 14.07 10.2M elpi ------------------------------------------------------------------ Tests: 159 Passed: 159 Failed: 0 Skipped: 0 make[2]: Leaving directory '/build/reproducible-path/elpi-1.17.4' make[1]: Leaving directory '/build/reproducible-path/elpi-1.17.4' create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune dh_auto_install -O--buildsystem=ocaml_dune dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/ocaml elpi debian/rules execute_after_dh_auto_install make[1]: Entering directory '/build/reproducible-path/elpi-1.17.4' # drop excess LICENSE files find debian/tmp -name "LICENSE*" -delete # we detect what to ship find debian/tmp -regextype posix-awk \ -regex '.*\.(cma|cmxs)$' \ >> debian/libelpi-ocaml.install find debian/tmp -regextype posix-awk \ -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$' \ >> debian/libelpi-ocaml-dev.install make[1]: Leaving directory '/build/reproducible-path/elpi-1.17.4' dh_install -O--buildsystem=ocaml_dune dh_ocamldoc -O--buildsystem=ocaml_dune dh_installdocs -O--buildsystem=ocaml_dune dh_installchangelogs -O--buildsystem=ocaml_dune dh_installman -O--buildsystem=ocaml_dune dh_installsystemduser -O--buildsystem=ocaml_dune dh_perl -O--buildsystem=ocaml_dune dh_link -O--buildsystem=ocaml_dune dh_strip_nondeterminism -O--buildsystem=ocaml_dune dh_compress -O--buildsystem=ocaml_dune dh_fixperms -O--buildsystem=ocaml_dune dh_missing -O--buildsystem=ocaml_dune dh_dwz -a -O--buildsystem=ocaml_dune dwz: debian/libelpi-ocaml/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmxs: DWARF compression not beneficial - old size 1385 new size 1385 dwz: debian/libelpi-ocaml/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxs: DWARF compression not beneficial - old size 2347 new size 2347 dwz: debian/libelpi-ocaml/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxs: DWARF compression not beneficial - old size 4245 new size 4245 dwz: debian/libelpi-ocaml/usr/lib/ocaml/elpi/util/elpi_util.cmxs: DWARF compression not beneficial - old size 7092 new size 7092 dh_strip -a -O--buildsystem=ocaml_dune dh_makeshlibs -a -O--buildsystem=ocaml_dune dh_shlibdeps -a -O--buildsystem=ocaml_dune dh_installdeb -O--buildsystem=ocaml_dune dh_ocaml -O--buildsystem=ocaml_dune dh_gencontrol -O--buildsystem=ocaml_dune dh_md5sums -O--buildsystem=ocaml_dune dh_builddeb -O--buildsystem=ocaml_dune dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_1.17.4-3_armhf.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_1.17.4-3_armhf.deb'. dpkg-deb: building package 'elpi' in '../elpi_1.17.4-3_armhf.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_1.17.4-3_armhf.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_1.17.4-3_armhf.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_1.17.4-3_armhf.deb'. dpkg-genbuildinfo --build=binary -O../elpi_1.17.4-3_armhf.buildinfo dpkg-genchanges --build=binary -O../elpi_1.17.4-3_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/6105/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/6105/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/6105 and its subdirectories I: Current time: Mon Apr 22 14:02:19 +14 2024 I: pbuilder-time-stamp: 1713744139