Mon Jun 5 14:15:03 UTC 2023 I: starting to build elpi/bookworm/amd64 on jenkins on '2023-06-05 14:14' Mon Jun 5 14:15:03 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_8/367/console.log Mon Jun 5 14:15:03 UTC 2023 I: Downloading source for bookworm/elpi=1.16.8-1 --2023-06-05 14:15:03-- http://cdn-fastly.deb.debian.org/debian/pool/main/e/elpi/elpi_1.16.8-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2430 (2.4K) [text/prs.lines.tag] Saving to: ‘elpi_1.16.8-1.dsc’ 0K .. 100% 192M=0s 2023-06-05 14:15:03 (192 MB/s) - ‘elpi_1.16.8-1.dsc’ saved [2430/2430] Mon Jun 5 14:15:03 UTC 2023 I: elpi_1.16.8-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Version: 1.16.8-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, gnuplot, 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 Package-List: elpi deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml-dev deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 Checksums-Sha1: fac174f5494b57d3ecee852f2268ac4229c762c4 2601311 elpi_1.16.8.orig.tar.gz 2e6cb0b2c08df7d88e3d60f7409014ac7019eaeb 4104 elpi_1.16.8-1.debian.tar.xz Checksums-Sha256: 407554ad82be468435df90211db5ff9f9a60d1559ab6e9d672ee422a9fc07c7f 2601311 elpi_1.16.8.orig.tar.gz 9033551af29a906c7adf8d3b44b9a16d4dcc118c3e9c522c2a84bdcd92cc6c8f 4104 elpi_1.16.8-1.debian.tar.xz Files: 40d9346be40acb470af26eac7c7c31ac 2601311 elpi_1.16.8.orig.tar.gz 0b1b961b3a513a8474589a6ea17b04bb 4104 elpi_1.16.8-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOQP0ASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrdMP/jwtiSDAbCPkh9tbZrTDxKUk0l3cCYEK PN8d3H9yQmx2AfQFKzQj9JUvV9JPikHQLJz6fJcJUq1EdRlM2s9QzqsoX1D3skdC 3HGIcDpkdD/Q1e8n5+75s/nCZRmHHLDk/hsdZ/eVjgYetChcqKN5zHL8i1N4EweJ BSxwfgpoXcLeCP9LtZflN07RC8fmnxRH9uTupAsza+M4+rYwmaIQf7Wdequ3WsG4 vg8gTzruv74Cm5wht4uai88HQFNf21Xj87j8TKrItdp+e2olAOEiot+E7i3IBGuP VRWV241Tg1XAtIezcCOGfdEPWCXfuCKb9hIBgPFADuRW8wmTGVfu+KSLqaT04IkW q7mpXEjvMHIQ8PobmwW5nug+odILZZtoh2khROMH1gDVxAhSYYCJgSvqoaKB/sCO zDuQByPXFa/EaQLs8vBZcJBfOVJY29rho/1UAOAHvfbV7C08h/KyalKOT2Yl54VO ZZ+ZLgCKzDZA+cDaR+LqyC7u15a4L+PGWVzPWwfz21dCThnh2ctWaPu6dgAeZy5r Sv49s52iqiuRUEaRhy056vnOjSPsjfEXh0L+Eci7/uaDLyCcm2kJa2GwnM55+iNw wewx78G4PG8Ykk9Nn1xPInGrZPMcb27QesxokkzrqE0KC7qiB1xu/IGPT78TMrJM CMKaZDovmNi0 =8xEo -----END PGP SIGNATURE----- Mon Jun 5 14:15:03 UTC 2023 I: Checking whether the package is not for us Mon Jun 5 14:15:03 UTC 2023 I: Starting 1st build on remote node ionos15-amd64.debian.net. Mon Jun 5 14:15:03 UTC 2023 I: Preparing to do remote build '1' on ionos15-amd64.debian.net. Mon Jun 5 14:25:44 UTC 2023 I: Deleting $TMPDIR on ionos15-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sun Jul 7 08:38:18 -12 2024 I: pbuilder-time-stamp: 1720384698 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-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.16.8-1.dsc] I: copying [./elpi_1.16.8.orig.tar.gz] I: copying [./elpi_1.16.8-1.debian.tar.xz] I: Extracting source gpgv: Signature made Tue Dec 6 19:22:40 2022 -12 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.16.8-1.dsc: no acceptable signature found dpkg-source: info: extracting elpi in elpi-1.16.8 dpkg-source: info: unpacking elpi_1.16.8.orig.tar.gz dpkg-source: info: unpacking elpi_1.16.8-1.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/2224058/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 ' DISTRIBUTION='bookworm' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='43f11365c860488b9a0e8a151f7ad81f' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='2224058' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/pbuilderrc_OQMu --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/b1 --logfile b1/build.log elpi_1.16.8-1.dsc' SUDO_GID='111' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://85.184.249.68:3128' I: uname -a Linux ionos15-amd64 6.1.0-0.deb11.7-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.20-2~bpo11+1 (2023-04-23) x86_64 GNU/Linux I: ls -l /bin total 5632 -rwxr-xr-x 1 root root 1265648 Apr 23 2023 bash -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp -rwxr-xr-x 1 root root 125640 Jan 5 2023 dash -rwxr-xr-x 1 root root 121904 Sep 20 2022 date -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd -rwxr-xr-x 1 root root 102200 Sep 20 2022 df -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir -rwxr-xr-x 1 root root 88656 Mar 22 2023 dmesg lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo -rwxr-xr-x 1 root root 41 Jan 24 2023 egrep -rwxr-xr-x 1 root root 35664 Sep 20 2022 false -rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep -rwxr-xr-x 1 root root 85600 Mar 22 2023 findmnt -rwsr-xr-x 1 root root 35128 Mar 22 2023 fusermount -rwxr-xr-x 1 root root 203152 Jan 24 2023 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip -rwxr-xr-x 1 root root 22680 Dec 19 2022 hostname -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln -rwxr-xr-x 1 root root 53024 Mar 23 2023 login -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls -rwxr-xr-x 1 root root 207168 Mar 22 2023 lsblk -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp -rwxr-xr-x 1 root root 59712 Mar 22 2023 more -rwsr-xr-x 1 root root 59704 Mar 22 2023 mount -rwxr-xr-x 1 root root 18744 Mar 22 2023 mountpoint -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir -rwxr-xr-x 1 root root 27560 Nov 2 2022 run-parts -rwxr-xr-x 1 root root 126424 Jan 5 2023 sed lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty -rwsr-xr-x 1 root root 72000 Mar 22 2023 su -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync -rwxr-xr-x 1 root root 531984 Apr 6 2023 tar -rwxr-xr-x 1 root root 14520 Nov 2 2022 tempfile -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch -rwxr-xr-x 1 root root 35664 Sep 20 2022 true -rwxr-xr-x 1 root root 14568 Mar 22 2023 ulockmgr_server -rwsr-xr-x 1 root root 35128 Mar 22 2023 umount -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir -rwxr-xr-x 1 root root 72024 Mar 22 2023 wdctl lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/2224058/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: amd64 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, gnuplot, 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 ... 19591 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; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on gnuplot; however: Package gnuplot 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: adwaita-icon-theme{a} aglfn{a} at-spi2-common{a} atdts{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} camlp5{a} dbus{a} dbus-bin{a} dbus-daemon{a} dbus-session-bus-common{a} dbus-system-bus-common{a} dbus-user-session{a} dconf-gsettings-backend{a} dconf-service{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dmsetup{a} dwz{a} file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a} gettext-base{a} gnuplot{a} gnuplot-data{a} gnuplot-qt{a} groff-base{a} gtk-update-icon-cache{a} hicolor-icon-theme{a} intltool-debian{a} libabsl20220623{a} libansi-terminal-ocaml{a} libansi-terminal-ocaml-dev{a} libaom3{a} libapparmor1{a} libarchive-zip-perl{a} libargon2-1{a} libatdgen-ocaml{a} libatdgen-ocaml-dev{a} libatk-bridge2.0-0{a} libatk1.0-0{a} libatspi2.0-0{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libavif15{a} libbiniou-ocaml{a} libbiniou-ocaml-dev{a} libbrotli1{a} libbsd0{a} libcairo-gobject2{a} libcairo2{a} libcamlp-streams-ocaml{a} libcamlp-streams-ocaml-dev{a} libcmdliner-ocaml-dev{a} libcolord2{a} libcryptsetup12{a} libcups2{a} libdatrie1{a} libdav1d6{a} libdbus-1-3{a} libdconf1{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libdevmapper1.02.1{a} libdouble-conversion3{a} libdrm-amdgpu1{a} libdrm-common{a} libdrm-intel1{a} libdrm-nouveau2{a} libdrm-radeon1{a} libdrm2{a} libeasy-format-ocaml{a} libeasy-format-ocaml-dev{a} libedit2{a} libegl-mesa0{a} libegl1{a} libelf1{a} libepoxy0{a} libevdev2{a} libexpat1{a} libfdisk1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfontconfig1{a} libfreetype6{a} libfribidi0{a} libgav1-1{a} libgbm1{a} libgd3{a} libgdk-pixbuf-2.0-0{a} libgdk-pixbuf2.0-common{a} libgl1{a} libgl1-mesa-dri{a} libglapi-mesa{a} libglib2.0-0{a} libglvnd0{a} libglx-mesa0{a} libglx0{a} libgraphite2-3{a} libgtk-3-0{a} libgtk-3-common{a} libgudev-1.0-0{a} libharfbuzz0b{a} libheif1{a} libice6{a} libicu72{a} libinput-bin{a} libinput10{a} libip4tc2{a} libjbig0{a} libjpeg62-turbo{a} libjson-c5{a} libkmod2{a} liblcms2-2{a} liblerc4{a} libllvm15{a} liblua5.4-0{a} libmagic-mgc{a} libmagic1{a} libmd4c0{a} libmenhir-ocaml-dev{a} libmtdev1{a} libncurses-dev{a} libncurses6{a} libnotify4{a} libnuma1{a} libocaml-compiler-libs-ocaml-dev{a} libpam-systemd{a} libpango-1.0-0{a} libpangocairo-1.0-0{a} libpangoft2-1.0-0{a} libpciaccess0{a} libpcre2-16-0{a} libpcre2-32-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} libproc2-0{a} libqt5core5a{a} libqt5dbus5{a} libqt5gui5{a} libqt5network5{a} libqt5printsupport5{a} libqt5svg5{a} libqt5widgets5{a} librav1e0{a} libre-ocaml-dev{a} libreadline8{a} libresult-ocaml{a} libresult-ocaml-dev{a} libsensors-config{a} libsensors5{a} libsexplib0-ocaml{a} libsexplib0-ocaml-dev{a} libsm6{a} libsub-override-perl{a} libsvtav1enc1{a} libsystemd-shared{a} libthai-data{a} libthai0{a} libtiff6{a} libtool{a} libuchardet0{a} libwacom-common{a} libwacom9{a} libwayland-client0{a} libwayland-cursor0{a} libwayland-egl1{a} libwayland-server0{a} libwebp7{a} libwxbase3.2-1{a} libwxgtk3.2-1{a} libx11-6{a} libx11-data{a} libx11-xcb1{a} libx265-199{a} libxau6{a} libxcb-dri2-0{a} libxcb-dri3-0{a} libxcb-glx0{a} libxcb-icccm4{a} libxcb-image0{a} libxcb-keysyms1{a} libxcb-present0{a} libxcb-randr0{a} libxcb-render-util0{a} libxcb-render0{a} libxcb-shape0{a} libxcb-shm0{a} libxcb-sync1{a} libxcb-util1{a} libxcb-xfixes0{a} libxcb-xinerama0{a} libxcb-xinput0{a} libxcb-xkb1{a} libxcb1{a} libxcomposite1{a} libxcursor1{a} libxdamage1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxi6{a} libxinerama1{a} libxkbcommon-x11-0{a} libxkbcommon0{a} libxml2{a} libxpm4{a} libxrandr2{a} libxrender1{a} libxshmfence1{a} libxtst6{a} libxxf86vm1{a} libyojson-ocaml{a} libyojson-ocaml-dev{a} libyuv0{a} libz3-4{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} procps{a} readline-common{a} sensible-utils{a} shared-mime-info{a} systemd{a} systemd-sysv{a} time{a} x11-common{a} xkb-data{a} The following packages are RECOMMENDED but will NOT be installed: at-spi2-core chrony curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libgdk-pixbuf2.0-bin libglib2.0-data libgpm2 libgtk-3-bin libltdl-dev libmail-sendmail-perl libnss-systemd librsvg2-common lynx ntpsec ocaml-man ocaml-nox openntpd psmisc qt5-gtk-platformtheme qttranslations5-l10n qtwayland5 rlfe rlwrap systemd-timesyncd wget xdg-user-dirs 0 packages upgraded, 250 newly installed, 0 to remove and 0 not upgraded. Need to get 263 MB of archives. After unpacking 1119 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main amd64 libargon2-1 amd64 0~20171227-0.3+deb12u1 [19.4 kB] Get: 2 http://deb.debian.org/debian bookworm/main amd64 dmsetup amd64 2:1.02.185-2 [82.0 kB] Get: 3 http://deb.debian.org/debian bookworm/main amd64 libdevmapper1.02.1 amd64 2:1.02.185-2 [133 kB] Get: 4 http://deb.debian.org/debian bookworm/main amd64 libjson-c5 amd64 0.16-2 [44.1 kB] Get: 5 http://deb.debian.org/debian bookworm/main amd64 libcryptsetup12 amd64 2:2.6.1-4~deb12u1 [223 kB] Get: 6 http://deb.debian.org/debian bookworm/main amd64 libfdisk1 amd64 2.38.1-5+b1 [194 kB] Get: 7 http://deb.debian.org/debian bookworm/main amd64 libkmod2 amd64 30+20221128-1 [57.9 kB] Get: 8 http://deb.debian.org/debian bookworm/main amd64 libapparmor1 amd64 3.0.8-3 [41.2 kB] Get: 9 http://deb.debian.org/debian bookworm/main amd64 libip4tc2 amd64 1.8.9-2 [19.0 kB] Get: 10 http://deb.debian.org/debian bookworm/main amd64 libsystemd-shared amd64 252.6-1 [1685 kB] Get: 11 http://deb.debian.org/debian bookworm/main amd64 systemd amd64 252.6-1 [3018 kB] Get: 12 http://deb.debian.org/debian bookworm/main amd64 systemd-sysv amd64 252.6-1 [41.5 kB] Get: 13 http://deb.debian.org/debian bookworm/main amd64 libdbus-1-3 amd64 1.14.6-1 [200 kB] Get: 14 http://deb.debian.org/debian bookworm/main amd64 dbus-bin amd64 1.14.6-1 [104 kB] Get: 15 http://deb.debian.org/debian bookworm/main amd64 dbus-session-bus-common all 1.14.6-1 [76.6 kB] Get: 16 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1 [99.3 kB] Get: 17 http://deb.debian.org/debian bookworm/main amd64 dbus-daemon amd64 1.14.6-1 [182 kB] Get: 18 http://deb.debian.org/debian bookworm/main amd64 dbus-system-bus-common all 1.14.6-1 [77.7 kB] Get: 19 http://deb.debian.org/debian bookworm/main amd64 dbus amd64 1.14.6-1 [95.7 kB] Get: 20 http://deb.debian.org/debian bookworm/main amd64 libproc2-0 amd64 2:4.0.2-3 [62.8 kB] Get: 21 http://deb.debian.org/debian bookworm/main amd64 procps amd64 2:4.0.2-3 [709 kB] Get: 22 http://deb.debian.org/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get: 23 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 24 http://deb.debian.org/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get: 25 http://deb.debian.org/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get: 26 http://deb.debian.org/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get: 27 http://deb.debian.org/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get: 28 http://deb.debian.org/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get: 29 http://deb.debian.org/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get: 30 http://deb.debian.org/debian bookworm/main amd64 libpam-systemd amd64 252.6-1 [223 kB] Get: 31 http://deb.debian.org/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+b1 [86.6 kB] Get: 32 http://deb.debian.org/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get: 33 http://deb.debian.org/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get: 34 http://deb.debian.org/debian bookworm/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get: 35 http://deb.debian.org/debian bookworm/main amd64 libgdk-pixbuf2.0-common all 2.42.10+dfsg-1 [306 kB] Get: 36 http://deb.debian.org/debian bookworm/main amd64 libglib2.0-0 amd64 2.74.6-2 [1398 kB] Get: 37 http://deb.debian.org/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get: 38 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.2 [687 kB] Get: 39 http://deb.debian.org/debian bookworm/main amd64 shared-mime-info amd64 2.2-1 [729 kB] Get: 40 http://deb.debian.org/debian bookworm/main amd64 libjpeg62-turbo amd64 1:2.1.5-2 [166 kB] Get: 41 http://deb.debian.org/debian bookworm/main amd64 libpng16-16 amd64 1.6.39-2 [276 kB] Get: 42 http://deb.debian.org/debian bookworm/main amd64 libdeflate0 amd64 1.14-1 [61.4 kB] Get: 43 http://deb.debian.org/debian bookworm/main amd64 libjbig0 amd64 2.1-6.1 [31.7 kB] Get: 44 http://deb.debian.org/debian bookworm/main amd64 liblerc4 amd64 4.0.0+ds-2 [170 kB] Get: 45 http://deb.debian.org/debian bookworm/main amd64 libwebp7 amd64 1.2.4-0.2 [285 kB] Get: 46 http://deb.debian.org/debian bookworm/main amd64 libtiff6 amd64 4.5.0-6 [316 kB] Get: 47 http://deb.debian.org/debian bookworm/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.10+dfsg-1+b1 [139 kB] Get: 48 http://deb.debian.org/debian bookworm/main amd64 gtk-update-icon-cache amd64 3.24.37-2 [43.3 kB] Get: 49 http://deb.debian.org/debian bookworm/main amd64 adwaita-icon-theme all 43-1 [5124 kB] Get: 50 http://deb.debian.org/debian bookworm/main amd64 aglfn all 1.7+git20191031.4036a9c-2 [30.5 kB] Get: 51 http://deb.debian.org/debian bookworm/main amd64 at-spi2-common all 2.46.0-5 [162 kB] Get: 52 http://deb.debian.org/debian bookworm/main amd64 atdts amd64 2.10.0-2+b3 [562 kB] Get: 53 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get: 54 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get: 55 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 56 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get: 57 http://deb.debian.org/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get: 58 http://deb.debian.org/debian bookworm/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get: 59 http://deb.debian.org/debian bookworm/main amd64 ocaml-interp amd64 4.13.1-4 [6158 kB] Get: 60 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get: 61 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get: 62 http://deb.debian.org/debian bookworm/main amd64 ocaml amd64 4.13.1-4 [72.1 MB] Get: 63 http://deb.debian.org/debian bookworm/main amd64 ocaml-compiler-libs amd64 4.13.1-4 [31.0 MB] Get: 64 http://deb.debian.org/debian bookworm/main amd64 camlp5 amd64 8.00.04-1+b1 [4668 kB] Get: 65 http://deb.debian.org/debian bookworm/main amd64 dbus-user-session amd64 1.14.6-1 [76.5 kB] Get: 66 http://deb.debian.org/debian bookworm/main amd64 libdconf1 amd64 0.40.0-4 [40.9 kB] Get: 67 http://deb.debian.org/debian bookworm/main amd64 dconf-service amd64 0.40.0-4 [31.6 kB] Get: 68 http://deb.debian.org/debian bookworm/main amd64 dconf-gsettings-backend amd64 0.40.0-4 [27.8 kB] Get: 69 http://deb.debian.org/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 70 http://deb.debian.org/debian bookworm/main amd64 libtool all 2.4.7-5 [517 kB] Get: 71 http://deb.debian.org/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 72 http://deb.debian.org/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 73 http://deb.debian.org/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get: 74 http://deb.debian.org/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 75 http://deb.debian.org/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 76 http://deb.debian.org/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get: 77 http://deb.debian.org/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get: 78 http://deb.debian.org/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get: 79 http://deb.debian.org/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 80 http://deb.debian.org/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 81 http://deb.debian.org/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get: 82 http://deb.debian.org/debian bookworm/main amd64 dh-ocaml all 1.1.3 [82.9 kB] Get: 83 http://deb.debian.org/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b6 [275 kB] Get: 84 http://deb.debian.org/debian bookworm/main amd64 libfreetype6 amd64 2.12.1+dfsg-5 [399 kB] Get: 85 http://deb.debian.org/debian bookworm/main amd64 fonts-dejavu-core all 2.37-6 [1068 kB] Get: 86 http://deb.debian.org/debian bookworm/main amd64 fontconfig-config amd64 2.14.1-4 [315 kB] Get: 87 http://deb.debian.org/debian bookworm/main amd64 libfontconfig1 amd64 2.14.1-4 [386 kB] Get: 88 http://deb.debian.org/debian bookworm/main amd64 fontconfig amd64 2.14.1-4 [449 kB] Get: 89 http://deb.debian.org/debian bookworm/main amd64 gnuplot-data all 5.4.4+dfsg1-2 [72.1 kB] Get: 90 http://deb.debian.org/debian bookworm/main amd64 libpixman-1-0 amd64 0.42.2-1 [546 kB] Get: 91 http://deb.debian.org/debian bookworm/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get: 92 http://deb.debian.org/debian bookworm/main amd64 libbsd0 amd64 0.11.7-2 [117 kB] Get: 93 http://deb.debian.org/debian bookworm/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get: 94 http://deb.debian.org/debian bookworm/main amd64 libxcb1 amd64 1.15-1 [144 kB] Get: 95 http://deb.debian.org/debian bookworm/main amd64 libx11-data all 2:1.8.4-2 [292 kB] Get: 96 http://deb.debian.org/debian bookworm/main amd64 libx11-6 amd64 2:1.8.4-2 [759 kB] Get: 97 http://deb.debian.org/debian bookworm/main amd64 libxcb-render0 amd64 1.15-1 [115 kB] Get: 98 http://deb.debian.org/debian bookworm/main amd64 libxcb-shm0 amd64 1.15-1 [105 kB] Get: 99 http://deb.debian.org/debian bookworm/main amd64 libxext6 amd64 2:1.3.4-1+b1 [52.9 kB] Get: 100 http://deb.debian.org/debian bookworm/main amd64 libxrender1 amd64 1:0.9.10-1.1 [33.2 kB] Get: 101 http://deb.debian.org/debian bookworm/main amd64 libcairo2 amd64 1.16.0-7 [575 kB] Get: 102 http://deb.debian.org/debian bookworm/main amd64 libedit2 amd64 3.1-20221030-2 [93.0 kB] Get: 103 http://deb.debian.org/debian bookworm/main amd64 libaom3 amd64 3.6.0-1 [1851 kB] Get: 104 http://deb.debian.org/debian bookworm/main amd64 libdav1d6 amd64 1.0.0-2 [495 kB] Get: 105 http://deb.debian.org/debian bookworm/main amd64 libabsl20220623 amd64 20220623.1-1 [391 kB] Get: 106 http://deb.debian.org/debian bookworm/main amd64 libgav1-1 amd64 0.18.0-1+b1 [332 kB] Get: 107 http://deb.debian.org/debian bookworm/main amd64 librav1e0 amd64 0.5.1-6 [763 kB] Get: 108 http://deb.debian.org/debian bookworm/main amd64 libsvtav1enc1 amd64 1.4.1+dfsg-1 [2121 kB] Get: 109 http://deb.debian.org/debian bookworm/main amd64 libyuv0 amd64 0.0~git20230123.b2528b0-1 [168 kB] Get: 110 http://deb.debian.org/debian bookworm/main amd64 libavif15 amd64 0.11.1-1 [93.8 kB] Get: 111 http://deb.debian.org/debian bookworm/main amd64 libde265-0 amd64 1.0.11-1 [185 kB] Get: 112 http://deb.debian.org/debian bookworm/main amd64 libnuma1 amd64 2.0.16-1 [21.0 kB] Get: 113 http://deb.debian.org/debian bookworm/main amd64 libx265-199 amd64 3.5-2+b1 [1150 kB] Get: 114 http://deb.debian.org/debian bookworm/main amd64 libheif1 amd64 1.15.1-1 [215 kB] Get: 115 http://deb.debian.org/debian bookworm/main amd64 libxpm4 amd64 1:3.5.12-1.1 [48.4 kB] Get: 116 http://deb.debian.org/debian bookworm/main amd64 libgd3 amd64 2.3.3-9 [124 kB] Get: 117 http://deb.debian.org/debian bookworm/main amd64 liblua5.4-0 amd64 5.4.4-3 [137 kB] Get: 118 http://deb.debian.org/debian bookworm/main amd64 libfribidi0 amd64 1.0.8-2.1 [65.0 kB] Get: 119 http://deb.debian.org/debian bookworm/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get: 120 http://deb.debian.org/debian bookworm/main amd64 libharfbuzz0b amd64 6.0.0+dfsg-3 [1945 kB] Get: 121 http://deb.debian.org/debian bookworm/main amd64 libthai-data all 0.1.29-1 [176 kB] Get: 122 http://deb.debian.org/debian bookworm/main amd64 libdatrie1 amd64 0.2.13-2+b1 [43.3 kB] Get: 123 http://deb.debian.org/debian bookworm/main amd64 libthai0 amd64 0.1.29-1 [57.5 kB] Get: 124 http://deb.debian.org/debian bookworm/main amd64 libpango-1.0-0 amd64 1.50.12+ds-1 [212 kB] Get: 125 http://deb.debian.org/debian bookworm/main amd64 libpangoft2-1.0-0 amd64 1.50.12+ds-1 [47.4 kB] Get: 126 http://deb.debian.org/debian bookworm/main amd64 libpangocairo-1.0-0 amd64 1.50.12+ds-1 [34.2 kB] Get: 127 http://deb.debian.org/debian bookworm/main amd64 libdouble-conversion3 amd64 3.2.1-1 [41.5 kB] Get: 128 http://deb.debian.org/debian bookworm/main amd64 libpcre2-16-0 amd64 10.42-1 [245 kB] Get: 129 http://deb.debian.org/debian bookworm/main amd64 libqt5core5a amd64 5.15.8+dfsg-11 [1809 kB] Get: 130 http://deb.debian.org/debian bookworm/main amd64 libdrm-common all 2.4.114-1 [7112 B] Get: 131 http://deb.debian.org/debian bookworm/main amd64 libdrm2 amd64 2.4.114-1+b1 [37.5 kB] Get: 132 http://deb.debian.org/debian bookworm/main amd64 libglvnd0 amd64 1.6.0-1 [51.8 kB] Get: 133 http://deb.debian.org/debian bookworm/main amd64 libwayland-server0 amd64 1.21.0-1 [35.9 kB] Get: 134 http://deb.debian.org/debian bookworm/main amd64 libgbm1 amd64 22.3.6-1+deb12u1 [38.0 kB] Get: 135 http://deb.debian.org/debian bookworm/main amd64 libglapi-mesa amd64 22.3.6-1+deb12u1 [35.7 kB] Get: 136 http://deb.debian.org/debian bookworm/main amd64 libwayland-client0 amd64 1.21.0-1 [28.3 kB] Get: 137 http://deb.debian.org/debian bookworm/main amd64 libx11-xcb1 amd64 2:1.8.4-2 [192 kB] Get: 138 http://deb.debian.org/debian bookworm/main amd64 libxcb-dri2-0 amd64 1.15-1 [107 kB] Get: 139 http://deb.debian.org/debian bookworm/main amd64 libxcb-dri3-0 amd64 1.15-1 [107 kB] Get: 140 http://deb.debian.org/debian bookworm/main amd64 libxcb-present0 amd64 1.15-1 [105 kB] Get: 141 http://deb.debian.org/debian bookworm/main amd64 libxcb-randr0 amd64 1.15-1 [117 kB] Get: 142 http://deb.debian.org/debian bookworm/main amd64 libxcb-sync1 amd64 1.15-1 [109 kB] Get: 143 http://deb.debian.org/debian bookworm/main amd64 libxcb-xfixes0 amd64 1.15-1 [109 kB] Get: 144 http://deb.debian.org/debian bookworm/main amd64 libxshmfence1 amd64 1.3-1 [8820 B] Get: 145 http://deb.debian.org/debian bookworm/main amd64 libegl-mesa0 amd64 22.3.6-1+deb12u1 [114 kB] Get: 146 http://deb.debian.org/debian bookworm/main amd64 libegl1 amd64 1.6.0-1 [33.7 kB] Get: 147 http://deb.debian.org/debian bookworm/main amd64 libxcb-glx0 amd64 1.15-1 [122 kB] Get: 148 http://deb.debian.org/debian bookworm/main amd64 libxfixes3 amd64 1:6.0.0-2 [22.7 kB] Get: 149 http://deb.debian.org/debian bookworm/main amd64 libxxf86vm1 amd64 1:1.1.4-1+b2 [20.8 kB] Get: 150 http://deb.debian.org/debian bookworm/main amd64 libdrm-amdgpu1 amd64 2.4.114-1+b1 [20.9 kB] Get: 151 http://deb.debian.org/debian bookworm/main amd64 libpciaccess0 amd64 0.17-2 [51.4 kB] Get: 152 http://deb.debian.org/debian bookworm/main amd64 libdrm-intel1 amd64 2.4.114-1+b1 [64.0 kB] Get: 153 http://deb.debian.org/debian bookworm/main amd64 libdrm-nouveau2 amd64 2.4.114-1+b1 [19.1 kB] Get: 154 http://deb.debian.org/debian bookworm/main amd64 libdrm-radeon1 amd64 2.4.114-1+b1 [21.8 kB] Get: 155 http://deb.debian.org/debian bookworm/main amd64 libz3-4 amd64 4.8.12-3.1 [7216 kB] Get: 156 http://deb.debian.org/debian bookworm/main amd64 libllvm15 amd64 1:15.0.6-4+b1 [23.1 MB] Get: 157 http://deb.debian.org/debian bookworm/main amd64 libsensors-config all 1:3.6.0-7.1 [14.3 kB] Get: 158 http://deb.debian.org/debian bookworm/main amd64 libsensors5 amd64 1:3.6.0-7.1 [34.2 kB] Get: 159 http://deb.debian.org/debian bookworm/main amd64 libgl1-mesa-dri amd64 22.3.6-1+deb12u1 [7239 kB] Get: 160 http://deb.debian.org/debian bookworm/main amd64 libglx-mesa0 amd64 22.3.6-1+deb12u1 [147 kB] Get: 161 http://deb.debian.org/debian bookworm/main amd64 libglx0 amd64 1.6.0-1 [34.4 kB] Get: 162 http://deb.debian.org/debian bookworm/main amd64 libgl1 amd64 1.6.0-1 [88.4 kB] Get: 163 http://deb.debian.org/debian bookworm/main amd64 x11-common all 1:7.7+23 [252 kB] Get: 164 http://deb.debian.org/debian bookworm/main amd64 libice6 amd64 2:1.0.10-1 [58.5 kB] Get: 165 http://deb.debian.org/debian bookworm/main amd64 libevdev2 amd64 1.13.0+dfsg-1 [34.0 kB] Get: 166 http://deb.debian.org/debian bookworm/main amd64 libmtdev1 amd64 1.1.6-1 [23.0 kB] Get: 167 http://deb.debian.org/debian bookworm/main amd64 libgudev-1.0-0 amd64 237-2 [15.1 kB] Get: 168 http://deb.debian.org/debian bookworm/main amd64 libwacom-common all 2.6.0-1 [58.4 kB] Get: 169 http://deb.debian.org/debian bookworm/main amd64 libwacom9 amd64 2.6.0-1 [21.5 kB] Get: 170 http://deb.debian.org/debian bookworm/main amd64 libinput-bin amd64 1.22.1-1 [23.2 kB] Get: 171 http://deb.debian.org/debian bookworm/main amd64 libinput10 amd64 1.22.1-1 [125 kB] Get: 172 http://deb.debian.org/debian bookworm/main amd64 libmd4c0 amd64 0.4.8-1 [44.2 kB] Get: 173 http://deb.debian.org/debian bookworm/main amd64 libqt5dbus5 amd64 5.15.8+dfsg-11 [211 kB] Get: 174 http://deb.debian.org/debian bookworm/main amd64 libqt5network5 amd64 5.15.8+dfsg-11 [674 kB] Get: 175 http://deb.debian.org/debian bookworm/main amd64 libsm6 amd64 2:1.2.3-1 [35.1 kB] Get: 176 http://deb.debian.org/debian bookworm/main amd64 libxcb-icccm4 amd64 0.4.1-1.1 [27.4 kB] Get: 177 http://deb.debian.org/debian bookworm/main amd64 libxcb-util1 amd64 0.4.0-1+b1 [23.2 kB] Get: 178 http://deb.debian.org/debian bookworm/main amd64 libxcb-image0 amd64 0.4.0-2 [22.9 kB] Get: 179 http://deb.debian.org/debian bookworm/main amd64 libxcb-keysyms1 amd64 0.4.0-1+b2 [16.4 kB] Get: 180 http://deb.debian.org/debian bookworm/main amd64 libxcb-render-util0 amd64 0.3.9-1+b1 [18.3 kB] Get: 181 http://deb.debian.org/debian bookworm/main amd64 libxcb-shape0 amd64 1.15-1 [106 kB] Get: 182 http://deb.debian.org/debian bookworm/main amd64 libxcb-xinerama0 amd64 1.15-1 [105 kB] Get: 183 http://deb.debian.org/debian bookworm/main amd64 libxcb-xinput0 amd64 1.15-1 [130 kB] Get: 184 http://deb.debian.org/debian bookworm/main amd64 libxcb-xkb1 amd64 1.15-1 [129 kB] Get: 185 http://deb.debian.org/debian bookworm/main amd64 xkb-data all 2.35.1-1 [764 kB] Get: 186 http://deb.debian.org/debian bookworm/main amd64 libxkbcommon0 amd64 1.5.0-1 [106 kB] Get: 187 http://deb.debian.org/debian bookworm/main amd64 libxkbcommon-x11-0 amd64 1.5.0-1 [15.6 kB] Get: 188 http://deb.debian.org/debian bookworm/main amd64 libqt5gui5 amd64 5.15.8+dfsg-11 [3408 kB] Get: 189 http://deb.debian.org/debian bookworm/main amd64 libavahi-common-data amd64 0.8-10 [107 kB] Get: 190 http://deb.debian.org/debian bookworm/main amd64 libavahi-common3 amd64 0.8-10 [41.6 kB] Get: 191 http://deb.debian.org/debian bookworm/main amd64 libavahi-client3 amd64 0.8-10 [45.5 kB] Get: 192 http://deb.debian.org/debian bookworm/main amd64 libcups2 amd64 2.4.2-3 [244 kB] Get: 193 http://deb.debian.org/debian bookworm/main amd64 libqt5widgets5 amd64 5.15.8+dfsg-11 [2383 kB] Get: 194 http://deb.debian.org/debian bookworm/main amd64 libqt5printsupport5 amd64 5.15.8+dfsg-11 [202 kB] Get: 195 http://deb.debian.org/debian bookworm/main amd64 libqt5svg5 amd64 5.15.8-3 [134 kB] Get: 196 http://deb.debian.org/debian bookworm/main amd64 libpcre2-32-0 amd64 10.42-1 [234 kB] Get: 197 http://deb.debian.org/debian bookworm/main amd64 libwxbase3.2-1 amd64 3.2.2+dfsg-2 [948 kB] Get: 198 http://deb.debian.org/debian bookworm/main amd64 libatk1.0-0 amd64 2.46.0-5 [49.6 kB] Get: 199 http://deb.debian.org/debian bookworm/main amd64 libxi6 amd64 2:1.8-1+b1 [84.2 kB] Get: 200 http://deb.debian.org/debian bookworm/main amd64 libatspi2.0-0 amd64 2.46.0-5 [75.4 kB] Get: 201 http://deb.debian.org/debian bookworm/main amd64 libatk-bridge2.0-0 amd64 2.46.0-5 [64.6 kB] Get: 202 http://deb.debian.org/debian bookworm/main amd64 libcairo-gobject2 amd64 1.16.0-7 [112 kB] Get: 203 http://deb.debian.org/debian bookworm/main amd64 liblcms2-2 amd64 2.14-2 [154 kB] Get: 204 http://deb.debian.org/debian bookworm/main amd64 libcolord2 amd64 1.4.6-2.2 [137 kB] Get: 205 http://deb.debian.org/debian bookworm/main amd64 libepoxy0 amd64 1.5.10-1 [189 kB] Get: 206 http://deb.debian.org/debian bookworm/main amd64 libwayland-cursor0 amd64 1.21.0-1 [14.4 kB] Get: 207 http://deb.debian.org/debian bookworm/main amd64 libwayland-egl1 amd64 1.21.0-1 [8640 B] Get: 208 http://deb.debian.org/debian bookworm/main amd64 libxcomposite1 amd64 1:0.4.5-1 [16.6 kB] Get: 209 http://deb.debian.org/debian bookworm/main amd64 libxcursor1 amd64 1:1.2.1-1 [40.9 kB] Get: 210 http://deb.debian.org/debian bookworm/main amd64 libxdamage1 amd64 1:1.1.6-1 [15.1 kB] Get: 211 http://deb.debian.org/debian bookworm/main amd64 libxinerama1 amd64 2:1.1.4-3 [17.8 kB] Get: 212 http://deb.debian.org/debian bookworm/main amd64 libxrandr2 amd64 2:1.5.2-2+b1 [39.2 kB] Get: 213 http://deb.debian.org/debian bookworm/main amd64 libgtk-3-common all 3.24.37-2 [3891 kB] Get: 214 http://deb.debian.org/debian bookworm/main amd64 libgtk-3-0 amd64 3.24.37-2 [2845 kB] Get: 215 http://deb.debian.org/debian bookworm/main amd64 libnotify4 amd64 0.8.1-1 [30.1 kB] Get: 216 http://deb.debian.org/debian bookworm/main amd64 libxtst6 amd64 2:1.2.3-1.1 [28.0 kB] Get: 217 http://deb.debian.org/debian bookworm/main amd64 libwxgtk3.2-1 amd64 3.2.2+dfsg-2 [4504 kB] Get: 218 http://deb.debian.org/debian bookworm/main amd64 gnuplot-qt amd64 5.4.4+dfsg1-2+b2 [1074 kB] Get: 219 http://deb.debian.org/debian bookworm/main amd64 gnuplot all 5.4.4+dfsg1-2 [5844 B] Get: 220 http://deb.debian.org/debian bookworm/main amd64 libansi-terminal-ocaml amd64 0.8.5-1 [26.1 kB] Get: 221 http://deb.debian.org/debian bookworm/main amd64 libansi-terminal-ocaml-dev amd64 0.8.5-1 [55.8 kB] Get: 222 http://deb.debian.org/debian bookworm/main amd64 libcamlp-streams-ocaml amd64 5.0.1-1 [7304 B] Get: 223 http://deb.debian.org/debian bookworm/main amd64 libeasy-format-ocaml amd64 1.3.4-1 [46.0 kB] Get: 224 http://deb.debian.org/debian bookworm/main amd64 libbiniou-ocaml amd64 1.2.2-1+b1 [127 kB] Get: 225 http://deb.debian.org/debian bookworm/main amd64 libyojson-ocaml amd64 2.0.2-2 [614 kB] Get: 226 http://deb.debian.org/debian bookworm/main amd64 libatdgen-ocaml amd64 2.10.0-2+b3 [125 kB] Get: 227 http://deb.debian.org/debian bookworm/main amd64 libcamlp-streams-ocaml-dev amd64 5.0.1-1 [21.4 kB] Get: 228 http://deb.debian.org/debian bookworm/main amd64 libeasy-format-ocaml-dev amd64 1.3.4-1 [96.8 kB] Get: 229 http://deb.debian.org/debian bookworm/main amd64 libbiniou-ocaml-dev amd64 1.2.2-1+b1 [598 kB] Get: 230 http://deb.debian.org/debian bookworm/main amd64 libyojson-ocaml-dev amd64 2.0.2-2 [1272 kB] Get: 231 http://deb.debian.org/debian bookworm/main amd64 libatdgen-ocaml-dev amd64 2.10.0-2+b3 [1077 kB] Get: 232 http://deb.debian.org/debian bookworm/main amd64 libcmdliner-ocaml-dev amd64 1.1.1-1 [474 kB] Get: 233 http://deb.debian.org/debian bookworm/main amd64 libfindlib-ocaml amd64 1.9.6-1+b1 [169 kB] Get: 234 http://deb.debian.org/debian bookworm/main amd64 libmenhir-ocaml-dev amd64 20220210+ds-2 [533 kB] Get: 235 http://deb.debian.org/debian bookworm/main amd64 libocaml-compiler-libs-ocaml-dev amd64 0.12.4-1+b2 [78.5 kB] Get: 236 http://deb.debian.org/debian bookworm/main amd64 libppx-derivers-ocaml-dev amd64 1.2.1-1+b3 [16.1 kB] Get: 237 http://deb.debian.org/debian bookworm/main amd64 libresult-ocaml amd64 1.5-1+b2 [7288 B] Get: 238 http://deb.debian.org/debian bookworm/main amd64 libsexplib0-ocaml amd64 0.15.1-1 [87.2 kB] Get: 239 http://deb.debian.org/debian bookworm/main amd64 libppx-deriving-ocaml amd64 5.2.1-1+b3 [3670 kB] Get: 240 http://deb.debian.org/debian bookworm/main amd64 ocaml-findlib amd64 1.9.6-1+b1 [481 kB] Get: 241 http://deb.debian.org/debian bookworm/main amd64 libsexplib0-ocaml-dev amd64 0.15.1-1 [184 kB] Get: 242 http://deb.debian.org/debian bookworm/main amd64 libppxlib-ocaml-dev amd64 0.27.0-2+b1 [14.0 MB] Get: 243 http://deb.debian.org/debian bookworm/main amd64 libresult-ocaml-dev amd64 1.5-1+b2 [10.1 kB] Get: 244 http://deb.debian.org/debian bookworm/main amd64 libppx-deriving-ocaml-dev amd64 5.2.1-1+b3 [786 kB] Get: 245 http://deb.debian.org/debian bookworm/main amd64 libre-ocaml-dev amd64 1.10.4-1 [889 kB] Get: 246 http://deb.debian.org/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get: 247 http://deb.debian.org/debian bookworm/main amd64 lua5.1 amd64 5.1.5-9 [106 kB] Get: 248 http://deb.debian.org/debian bookworm/main amd64 menhir amd64 20220210+ds-2 [1142 kB] Get: 249 http://deb.debian.org/debian bookworm/main amd64 ocaml-dune amd64 2.9.3-1 [2239 kB] Get: 250 http://deb.debian.org/debian bookworm/main amd64 time amd64 1.9-0.2 [50.8 kB] Fetched 263 MB in 3s (90.5 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libargon2-1:amd64. (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 ... 19591 files and directories currently installed.) Preparing to unpack .../00-libargon2-1_0~20171227-0.3+deb12u1_amd64.deb ... Unpacking libargon2-1:amd64 (0~20171227-0.3+deb12u1) ... Selecting previously unselected package dmsetup. Preparing to unpack .../01-dmsetup_2%3a1.02.185-2_amd64.deb ... Unpacking dmsetup (2:1.02.185-2) ... Selecting previously unselected package libdevmapper1.02.1:amd64. Preparing to unpack .../02-libdevmapper1.02.1_2%3a1.02.185-2_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.185-2) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../03-libjson-c5_0.16-2_amd64.deb ... Unpacking libjson-c5:amd64 (0.16-2) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../04-libcryptsetup12_2%3a2.6.1-4~deb12u1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.6.1-4~deb12u1) ... Selecting previously unselected package libfdisk1:amd64. Preparing to unpack .../05-libfdisk1_2.38.1-5+b1_amd64.deb ... Unpacking libfdisk1:amd64 (2.38.1-5+b1) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../06-libkmod2_30+20221128-1_amd64.deb ... Unpacking libkmod2:amd64 (30+20221128-1) ... Selecting previously unselected package libapparmor1:amd64. Preparing to unpack .../07-libapparmor1_3.0.8-3_amd64.deb ... Unpacking libapparmor1:amd64 (3.0.8-3) ... Selecting previously unselected package libip4tc2:amd64. Preparing to unpack .../08-libip4tc2_1.8.9-2_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.9-2) ... Selecting previously unselected package libsystemd-shared:amd64. Preparing to unpack .../09-libsystemd-shared_252.6-1_amd64.deb ... Unpacking libsystemd-shared:amd64 (252.6-1) ... Selecting previously unselected package systemd. Preparing to unpack .../10-systemd_252.6-1_amd64.deb ... Unpacking systemd (252.6-1) ... Setting up libargon2-1:amd64 (0~20171227-0.3+deb12u1) ... Setting up libjson-c5:amd64 (0.16-2) ... Setting up libfdisk1:amd64 (2.38.1-5+b1) ... Setting up libkmod2:amd64 (30+20221128-1) ... Setting up libapparmor1:amd64 (3.0.8-3) ... Setting up libip4tc2:amd64 (1.8.9-2) ... Setting up libsystemd-shared:amd64 (252.6-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.185-2) ... Setting up libcryptsetup12:amd64 (2:2.6.1-4~deb12u1) ... Setting up systemd (252.6-1) ... Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service -> /lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target -> /lib/systemd/system/remote-fs.target. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service -> /lib/systemd/system/systemd-pstore.service. Initializing machine ID from random generator. Creating group 'systemd-journal' with GID 999. Creating group 'systemd-network' with GID 998. Creating user 'systemd-network' (systemd Network Management) with UID 998 and GID 998. Setting up dmsetup (2:1.02.185-2) ... Selecting previously unselected package systemd-sysv. (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 ... 20508 files and directories currently installed.) Preparing to unpack .../000-systemd-sysv_252.6-1_amd64.deb ... Unpacking systemd-sysv (252.6-1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../001-libdbus-1-3_1.14.6-1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.14.6-1) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../002-dbus-bin_1.14.6-1_amd64.deb ... Unpacking dbus-bin (1.14.6-1) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../003-dbus-session-bus-common_1.14.6-1_all.deb ... Unpacking dbus-session-bus-common (1.14.6-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../004-libexpat1_2.5.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../005-dbus-daemon_1.14.6-1_amd64.deb ... Unpacking dbus-daemon (1.14.6-1) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../006-dbus-system-bus-common_1.14.6-1_all.deb ... Unpacking dbus-system-bus-common (1.14.6-1) ... Selecting previously unselected package dbus. Preparing to unpack .../007-dbus_1.14.6-1_amd64.deb ... Unpacking dbus (1.14.6-1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../008-libproc2-0_2%3a4.0.2-3_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.2-3) ... Selecting previously unselected package procps. Preparing to unpack .../009-procps_2%3a4.0.2-3_amd64.deb ... Unpacking procps (2:4.0.2-3) ... Selecting previously unselected package readline-common. Preparing to unpack .../010-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../011-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../012-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../013-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../014-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../015-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../016-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../017-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../018-libpam-systemd_252.6-1_amd64.deb ... Unpacking libpam-systemd:amd64 (252.6-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../019-bsdextrautils_2.38.1-5+b1_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../020-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../021-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../022-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../023-libgdk-pixbuf2.0-common_2.42.10+dfsg-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../024-libglib2.0-0_2.74.6-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.74.6-2) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../025-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../026-libxml2_2.9.14+dfsg-1.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../027-shared-mime-info_2.2-1_amd64.deb ... Unpacking shared-mime-info (2.2-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../028-libjpeg62-turbo_1%3a2.1.5-2_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-2) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../029-libpng16-16_1.6.39-2_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.39-2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../030-libdeflate0_1.14-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.14-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../031-libjbig0_2.1-6.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../032-liblerc4_4.0.0+ds-2_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-2) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../033-libwebp7_1.2.4-0.2_amd64.deb ... Unpacking libwebp7:amd64 (1.2.4-0.2) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../034-libtiff6_4.5.0-6_amd64.deb ... Unpacking libtiff6:amd64 (4.5.0-6) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../035-libgdk-pixbuf-2.0-0_2.42.10+dfsg-1+b1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.10+dfsg-1+b1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../036-gtk-update-icon-cache_3.24.37-2_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.37-2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../037-adwaita-icon-theme_43-1_all.deb ... Unpacking adwaita-icon-theme (43-1) ... Selecting previously unselected package aglfn. Preparing to unpack .../038-aglfn_1.7+git20191031.4036a9c-2_all.deb ... Unpacking aglfn (1.7+git20191031.4036a9c-2) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../039-at-spi2-common_2.46.0-5_all.deb ... Unpacking at-spi2-common (2.46.0-5) ... Selecting previously unselected package atdts. Preparing to unpack .../040-atdts_2.10.0-2+b3_amd64.deb ... Unpacking atdts (2.10.0-2+b3) ... Selecting previously unselected package m4. Preparing to unpack .../041-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../042-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../043-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../044-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 .../045-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../046-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../047-ocaml-interp_4.13.1-4_amd64.deb ... Unpacking ocaml-interp (4.13.1-4) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../048-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../049-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package ocaml. Preparing to unpack .../050-ocaml_4.13.1-4_amd64.deb ... Unpacking ocaml (4.13.1-4) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../051-ocaml-compiler-libs_4.13.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-4) ... Selecting previously unselected package camlp5. Preparing to unpack .../052-camlp5_8.00.04-1+b1_amd64.deb ... Unpacking camlp5 (8.00.04-1+b1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../053-dbus-user-session_1.14.6-1_amd64.deb ... Unpacking dbus-user-session (1.14.6-1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../054-libdconf1_0.40.0-4_amd64.deb ... Unpacking libdconf1:amd64 (0.40.0-4) ... Selecting previously unselected package dconf-service. Preparing to unpack .../055-dconf-service_0.40.0-4_amd64.deb ... Unpacking dconf-service (0.40.0-4) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../056-dconf-gsettings-backend_0.40.0-4_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.40.0-4) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../057-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../058-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../059-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../060-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 .../061-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../062-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 .../063-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../064-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../065-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../066-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../067-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 .../068-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../069-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../070-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../071-libbrotli1_1.0.9-2+b6_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b6) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../072-libfreetype6_2.12.1+dfsg-5_amd64.deb ... Unpacking libfreetype6:amd64 (2.12.1+dfsg-5) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../073-fonts-dejavu-core_2.37-6_all.deb ... Unpacking fonts-dejavu-core (2.37-6) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../074-fontconfig-config_2.14.1-4_amd64.deb ... Unpacking fontconfig-config (2.14.1-4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../075-libfontconfig1_2.14.1-4_amd64.deb ... Unpacking libfontconfig1:amd64 (2.14.1-4) ... Selecting previously unselected package fontconfig. Preparing to unpack .../076-fontconfig_2.14.1-4_amd64.deb ... Unpacking fontconfig (2.14.1-4) ... Selecting previously unselected package gnuplot-data. Preparing to unpack .../077-gnuplot-data_5.4.4+dfsg1-2_all.deb ... Unpacking gnuplot-data (5.4.4+dfsg1-2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../078-libpixman-1-0_0.42.2-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.42.2-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../079-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../080-libbsd0_0.11.7-2_amd64.deb ... Unpacking libbsd0:amd64 (0.11.7-2) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../081-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../082-libxcb1_1.15-1_amd64.deb ... Unpacking libxcb1:amd64 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../083-libx11-data_2%3a1.8.4-2_all.deb ... Unpacking libx11-data (2:1.8.4-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../084-libx11-6_2%3a1.8.4-2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.4-2) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../085-libxcb-render0_1.15-1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../086-libxcb-shm0_1.15-1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.15-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../087-libxext6_2%3a1.3.4-1+b1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../088-libxrender1_1%3a0.9.10-1.1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../089-libcairo2_1.16.0-7_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-7) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../090-libedit2_3.1-20221030-2_amd64.deb ... Unpacking libedit2:amd64 (3.1-20221030-2) ... Selecting previously unselected package libaom3:amd64. Preparing to unpack .../091-libaom3_3.6.0-1_amd64.deb ... Unpacking libaom3:amd64 (3.6.0-1) ... Selecting previously unselected package libdav1d6:amd64. Preparing to unpack .../092-libdav1d6_1.0.0-2_amd64.deb ... Unpacking libdav1d6:amd64 (1.0.0-2) ... Selecting previously unselected package libabsl20220623:amd64. Preparing to unpack .../093-libabsl20220623_20220623.1-1_amd64.deb ... Unpacking libabsl20220623:amd64 (20220623.1-1) ... Selecting previously unselected package libgav1-1:amd64. Preparing to unpack .../094-libgav1-1_0.18.0-1+b1_amd64.deb ... Unpacking libgav1-1:amd64 (0.18.0-1+b1) ... Selecting previously unselected package librav1e0:amd64. Preparing to unpack .../095-librav1e0_0.5.1-6_amd64.deb ... Unpacking librav1e0:amd64 (0.5.1-6) ... Selecting previously unselected package libsvtav1enc1:amd64. Preparing to unpack .../096-libsvtav1enc1_1.4.1+dfsg-1_amd64.deb ... Unpacking libsvtav1enc1:amd64 (1.4.1+dfsg-1) ... Selecting previously unselected package libyuv0:amd64. Preparing to unpack .../097-libyuv0_0.0~git20230123.b2528b0-1_amd64.deb ... Unpacking libyuv0:amd64 (0.0~git20230123.b2528b0-1) ... Selecting previously unselected package libavif15:amd64. Preparing to unpack .../098-libavif15_0.11.1-1_amd64.deb ... Unpacking libavif15:amd64 (0.11.1-1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../099-libde265-0_1.0.11-1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.11-1) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../100-libnuma1_2.0.16-1_amd64.deb ... Unpacking libnuma1:amd64 (2.0.16-1) ... Selecting previously unselected package libx265-199:amd64. Preparing to unpack .../101-libx265-199_3.5-2+b1_amd64.deb ... Unpacking libx265-199:amd64 (3.5-2+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../102-libheif1_1.15.1-1_amd64.deb ... Unpacking libheif1:amd64 (1.15.1-1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../103-libxpm4_1%3a3.5.12-1.1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1.1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../104-libgd3_2.3.3-9_amd64.deb ... Unpacking libgd3:amd64 (2.3.3-9) ... Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../105-liblua5.4-0_5.4.4-3_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.4-3) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../106-libfribidi0_1.0.8-2.1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2.1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../107-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../108-libharfbuzz0b_6.0.0+dfsg-3_amd64.deb ... Unpacking libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../109-libthai-data_0.1.29-1_all.deb ... Unpacking libthai-data (0.1.29-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../110-libdatrie1_0.2.13-2+b1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-2+b1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../111-libthai0_0.1.29-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.29-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../112-libpango-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../113-libpangoft2-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../114-libpangocairo-1.0-0_1.50.12+ds-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ... Selecting previously unselected package libdouble-conversion3:amd64. Preparing to unpack .../115-libdouble-conversion3_3.2.1-1_amd64.deb ... Unpacking libdouble-conversion3:amd64 (3.2.1-1) ... Selecting previously unselected package libpcre2-16-0:amd64. Preparing to unpack .../116-libpcre2-16-0_10.42-1_amd64.deb ... Unpacking libpcre2-16-0:amd64 (10.42-1) ... Selecting previously unselected package libqt5core5a:amd64. Preparing to unpack .../117-libqt5core5a_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5core5a:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../118-libdrm-common_2.4.114-1_all.deb ... Unpacking libdrm-common (2.4.114-1) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../119-libdrm2_2.4.114-1+b1_amd64.deb ... Unpacking libdrm2:amd64 (2.4.114-1+b1) ... Selecting previously unselected package libglvnd0:amd64. Preparing to unpack .../120-libglvnd0_1.6.0-1_amd64.deb ... Unpacking libglvnd0:amd64 (1.6.0-1) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../121-libwayland-server0_1.21.0-1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.21.0-1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../122-libgbm1_22.3.6-1+deb12u1_amd64.deb ... Unpacking libgbm1:amd64 (22.3.6-1+deb12u1) ... Selecting previously unselected package libglapi-mesa:amd64. Preparing to unpack .../123-libglapi-mesa_22.3.6-1+deb12u1_amd64.deb ... Unpacking libglapi-mesa:amd64 (22.3.6-1+deb12u1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../124-libwayland-client0_1.21.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.21.0-1) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../125-libx11-xcb1_2%3a1.8.4-2_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.8.4-2) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../126-libxcb-dri2-0_1.15-1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../127-libxcb-dri3-0_1.15-1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../128-libxcb-present0_1.15-1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-randr0:amd64. Preparing to unpack .../129-libxcb-randr0_1.15-1_amd64.deb ... Unpacking libxcb-randr0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../130-libxcb-sync1_1.15-1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.15-1) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../131-libxcb-xfixes0_1.15-1_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.15-1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../132-libxshmfence1_1.3-1_amd64.deb ... Unpacking libxshmfence1:amd64 (1.3-1) ... Selecting previously unselected package libegl-mesa0:amd64. Preparing to unpack .../133-libegl-mesa0_22.3.6-1+deb12u1_amd64.deb ... Unpacking libegl-mesa0:amd64 (22.3.6-1+deb12u1) ... Selecting previously unselected package libegl1:amd64. Preparing to unpack .../134-libegl1_1.6.0-1_amd64.deb ... Unpacking libegl1:amd64 (1.6.0-1) ... Selecting previously unselected package libxcb-glx0:amd64. Preparing to unpack .../135-libxcb-glx0_1.15-1_amd64.deb ... Unpacking libxcb-glx0:amd64 (1.15-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../136-libxfixes3_1%3a6.0.0-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:6.0.0-2) ... Selecting previously unselected package libxxf86vm1:amd64. Preparing to unpack .../137-libxxf86vm1_1%3a1.1.4-1+b2_amd64.deb ... Unpacking libxxf86vm1:amd64 (1:1.1.4-1+b2) ... Selecting previously unselected package libdrm-amdgpu1:amd64. Preparing to unpack .../138-libdrm-amdgpu1_2.4.114-1+b1_amd64.deb ... Unpacking libdrm-amdgpu1:amd64 (2.4.114-1+b1) ... Selecting previously unselected package libpciaccess0:amd64. Preparing to unpack .../139-libpciaccess0_0.17-2_amd64.deb ... Unpacking libpciaccess0:amd64 (0.17-2) ... Selecting previously unselected package libdrm-intel1:amd64. Preparing to unpack .../140-libdrm-intel1_2.4.114-1+b1_amd64.deb ... Unpacking libdrm-intel1:amd64 (2.4.114-1+b1) ... Selecting previously unselected package libdrm-nouveau2:amd64. Preparing to unpack .../141-libdrm-nouveau2_2.4.114-1+b1_amd64.deb ... Unpacking libdrm-nouveau2:amd64 (2.4.114-1+b1) ... Selecting previously unselected package libdrm-radeon1:amd64. Preparing to unpack .../142-libdrm-radeon1_2.4.114-1+b1_amd64.deb ... Unpacking libdrm-radeon1:amd64 (2.4.114-1+b1) ... Selecting previously unselected package libz3-4:amd64. Preparing to unpack .../143-libz3-4_4.8.12-3.1_amd64.deb ... Unpacking libz3-4:amd64 (4.8.12-3.1) ... Selecting previously unselected package libllvm15:amd64. Preparing to unpack .../144-libllvm15_1%3a15.0.6-4+b1_amd64.deb ... Unpacking libllvm15:amd64 (1:15.0.6-4+b1) ... Selecting previously unselected package libsensors-config. Preparing to unpack .../145-libsensors-config_1%3a3.6.0-7.1_all.deb ... Unpacking libsensors-config (1:3.6.0-7.1) ... Selecting previously unselected package libsensors5:amd64. Preparing to unpack .../146-libsensors5_1%3a3.6.0-7.1_amd64.deb ... Unpacking libsensors5:amd64 (1:3.6.0-7.1) ... Selecting previously unselected package libgl1-mesa-dri:amd64. Preparing to unpack .../147-libgl1-mesa-dri_22.3.6-1+deb12u1_amd64.deb ... Unpacking libgl1-mesa-dri:amd64 (22.3.6-1+deb12u1) ... Selecting previously unselected package libglx-mesa0:amd64. Preparing to unpack .../148-libglx-mesa0_22.3.6-1+deb12u1_amd64.deb ... Unpacking libglx-mesa0:amd64 (22.3.6-1+deb12u1) ... Selecting previously unselected package libglx0:amd64. Preparing to unpack .../149-libglx0_1.6.0-1_amd64.deb ... Unpacking libglx0:amd64 (1.6.0-1) ... Selecting previously unselected package libgl1:amd64. Preparing to unpack .../150-libgl1_1.6.0-1_amd64.deb ... Unpacking libgl1:amd64 (1.6.0-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../151-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../152-libice6_2%3a1.0.10-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-1) ... Selecting previously unselected package libevdev2:amd64. Preparing to unpack .../153-libevdev2_1.13.0+dfsg-1_amd64.deb ... Unpacking libevdev2:amd64 (1.13.0+dfsg-1) ... Selecting previously unselected package libmtdev1:amd64. Preparing to unpack .../154-libmtdev1_1.1.6-1_amd64.deb ... Unpacking libmtdev1:amd64 (1.1.6-1) ... Selecting previously unselected package libgudev-1.0-0:amd64. Preparing to unpack .../155-libgudev-1.0-0_237-2_amd64.deb ... Unpacking libgudev-1.0-0:amd64 (237-2) ... Selecting previously unselected package libwacom-common. Preparing to unpack .../156-libwacom-common_2.6.0-1_all.deb ... Unpacking libwacom-common (2.6.0-1) ... Selecting previously unselected package libwacom9:amd64. Preparing to unpack .../157-libwacom9_2.6.0-1_amd64.deb ... Unpacking libwacom9:amd64 (2.6.0-1) ... Selecting previously unselected package libinput-bin. Preparing to unpack .../158-libinput-bin_1.22.1-1_amd64.deb ... Unpacking libinput-bin (1.22.1-1) ... Selecting previously unselected package libinput10:amd64. Preparing to unpack .../159-libinput10_1.22.1-1_amd64.deb ... Unpacking libinput10:amd64 (1.22.1-1) ... Selecting previously unselected package libmd4c0:amd64. Preparing to unpack .../160-libmd4c0_0.4.8-1_amd64.deb ... Unpacking libmd4c0:amd64 (0.4.8-1) ... Selecting previously unselected package libqt5dbus5:amd64. Preparing to unpack .../161-libqt5dbus5_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5dbus5:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libqt5network5:amd64. Preparing to unpack .../162-libqt5network5_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5network5:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../163-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxcb-icccm4:amd64. Preparing to unpack .../164-libxcb-icccm4_0.4.1-1.1_amd64.deb ... Unpacking libxcb-icccm4:amd64 (0.4.1-1.1) ... Selecting previously unselected package libxcb-util1:amd64. Preparing to unpack .../165-libxcb-util1_0.4.0-1+b1_amd64.deb ... Unpacking libxcb-util1:amd64 (0.4.0-1+b1) ... Selecting previously unselected package libxcb-image0:amd64. Preparing to unpack .../166-libxcb-image0_0.4.0-2_amd64.deb ... Unpacking libxcb-image0:amd64 (0.4.0-2) ... Selecting previously unselected package libxcb-keysyms1:amd64. Preparing to unpack .../167-libxcb-keysyms1_0.4.0-1+b2_amd64.deb ... Unpacking libxcb-keysyms1:amd64 (0.4.0-1+b2) ... Selecting previously unselected package libxcb-render-util0:amd64. Preparing to unpack .../168-libxcb-render-util0_0.3.9-1+b1_amd64.deb ... Unpacking libxcb-render-util0:amd64 (0.3.9-1+b1) ... Selecting previously unselected package libxcb-shape0:amd64. Preparing to unpack .../169-libxcb-shape0_1.15-1_amd64.deb ... Unpacking libxcb-shape0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-xinerama0:amd64. Preparing to unpack .../170-libxcb-xinerama0_1.15-1_amd64.deb ... Unpacking libxcb-xinerama0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-xinput0:amd64. Preparing to unpack .../171-libxcb-xinput0_1.15-1_amd64.deb ... Unpacking libxcb-xinput0:amd64 (1.15-1) ... Selecting previously unselected package libxcb-xkb1:amd64. Preparing to unpack .../172-libxcb-xkb1_1.15-1_amd64.deb ... Unpacking libxcb-xkb1:amd64 (1.15-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../173-xkb-data_2.35.1-1_all.deb ... Unpacking xkb-data (2.35.1-1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../174-libxkbcommon0_1.5.0-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.5.0-1) ... Selecting previously unselected package libxkbcommon-x11-0:amd64. Preparing to unpack .../175-libxkbcommon-x11-0_1.5.0-1_amd64.deb ... Unpacking libxkbcommon-x11-0:amd64 (1.5.0-1) ... Selecting previously unselected package libqt5gui5:amd64. Preparing to unpack .../176-libqt5gui5_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5gui5:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../177-libavahi-common-data_0.8-10_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-10) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../178-libavahi-common3_0.8-10_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-10) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../179-libavahi-client3_0.8-10_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-10) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../180-libcups2_2.4.2-3_amd64.deb ... Unpacking libcups2:amd64 (2.4.2-3) ... Selecting previously unselected package libqt5widgets5:amd64. Preparing to unpack .../181-libqt5widgets5_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5widgets5:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libqt5printsupport5:amd64. Preparing to unpack .../182-libqt5printsupport5_5.15.8+dfsg-11_amd64.deb ... Unpacking libqt5printsupport5:amd64 (5.15.8+dfsg-11) ... Selecting previously unselected package libqt5svg5:amd64. Preparing to unpack .../183-libqt5svg5_5.15.8-3_amd64.deb ... Unpacking libqt5svg5:amd64 (5.15.8-3) ... Selecting previously unselected package libpcre2-32-0:amd64. Preparing to unpack .../184-libpcre2-32-0_10.42-1_amd64.deb ... Unpacking libpcre2-32-0:amd64 (10.42-1) ... Selecting previously unselected package libwxbase3.2-1:amd64. Preparing to unpack .../185-libwxbase3.2-1_3.2.2+dfsg-2_amd64.deb ... Unpacking libwxbase3.2-1:amd64 (3.2.2+dfsg-2) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../186-libatk1.0-0_2.46.0-5_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.46.0-5) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../187-libxi6_2%3a1.8-1+b1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8-1+b1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../188-libatspi2.0-0_2.46.0-5_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.46.0-5) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../189-libatk-bridge2.0-0_2.46.0-5_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.46.0-5) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../190-libcairo-gobject2_1.16.0-7_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-7) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../191-liblcms2-2_2.14-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.14-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../192-libcolord2_1.4.6-2.2_amd64.deb ... Unpacking libcolord2:amd64 (1.4.6-2.2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../193-libepoxy0_1.5.10-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.10-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../194-libwayland-cursor0_1.21.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.21.0-1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../195-libwayland-egl1_1.21.0-1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.21.0-1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../196-libxcomposite1_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../197-libxcursor1_1%3a1.2.1-1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.1-1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../198-libxdamage1_1%3a1.1.6-1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.6-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../199-libxinerama1_2%3a1.1.4-3_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-3) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../200-libxrandr2_2%3a1.5.2-2+b1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.2-2+b1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../201-libgtk-3-common_3.24.37-2_all.deb ... Unpacking libgtk-3-common (3.24.37-2) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../202-libgtk-3-0_3.24.37-2_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.37-2) ... Selecting previously unselected package libnotify4:amd64. Preparing to unpack .../203-libnotify4_0.8.1-1_amd64.deb ... Unpacking libnotify4:amd64 (0.8.1-1) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../204-libxtst6_2%3a1.2.3-1.1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1.1) ... Selecting previously unselected package libwxgtk3.2-1:amd64. Preparing to unpack .../205-libwxgtk3.2-1_3.2.2+dfsg-2_amd64.deb ... Unpacking libwxgtk3.2-1:amd64 (3.2.2+dfsg-2) ... Selecting previously unselected package gnuplot-qt. Preparing to unpack .../206-gnuplot-qt_5.4.4+dfsg1-2+b2_amd64.deb ... Unpacking gnuplot-qt (5.4.4+dfsg1-2+b2) ... Selecting previously unselected package gnuplot. Preparing to unpack .../207-gnuplot_5.4.4+dfsg1-2_all.deb ... Unpacking gnuplot (5.4.4+dfsg1-2) ... Selecting previously unselected package libansi-terminal-ocaml. Preparing to unpack .../208-libansi-terminal-ocaml_0.8.5-1_amd64.deb ... Unpacking libansi-terminal-ocaml (0.8.5-1) ... Selecting previously unselected package libansi-terminal-ocaml-dev. Preparing to unpack .../209-libansi-terminal-ocaml-dev_0.8.5-1_amd64.deb ... Unpacking libansi-terminal-ocaml-dev (0.8.5-1) ... Selecting previously unselected package libcamlp-streams-ocaml. Preparing to unpack .../210-libcamlp-streams-ocaml_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml (5.0.1-1) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../211-libeasy-format-ocaml_1.3.4-1_amd64.deb ... Unpacking libeasy-format-ocaml (1.3.4-1) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../212-libbiniou-ocaml_1.2.2-1+b1_amd64.deb ... Unpacking libbiniou-ocaml (1.2.2-1+b1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../213-libyojson-ocaml_2.0.2-2_amd64.deb ... Unpacking libyojson-ocaml (2.0.2-2) ... Selecting previously unselected package libatdgen-ocaml. Preparing to unpack .../214-libatdgen-ocaml_2.10.0-2+b3_amd64.deb ... Unpacking libatdgen-ocaml (2.10.0-2+b3) ... Selecting previously unselected package libcamlp-streams-ocaml-dev. Preparing to unpack .../215-libcamlp-streams-ocaml-dev_5.0.1-1_amd64.deb ... Unpacking libcamlp-streams-ocaml-dev (5.0.1-1) ... Selecting previously unselected package libeasy-format-ocaml-dev. Preparing to unpack .../216-libeasy-format-ocaml-dev_1.3.4-1_amd64.deb ... Unpacking libeasy-format-ocaml-dev (1.3.4-1) ... Selecting previously unselected package libbiniou-ocaml-dev. Preparing to unpack .../217-libbiniou-ocaml-dev_1.2.2-1+b1_amd64.deb ... Unpacking libbiniou-ocaml-dev (1.2.2-1+b1) ... Selecting previously unselected package libyojson-ocaml-dev. Preparing to unpack .../218-libyojson-ocaml-dev_2.0.2-2_amd64.deb ... Unpacking libyojson-ocaml-dev (2.0.2-2) ... Selecting previously unselected package libatdgen-ocaml-dev. Preparing to unpack .../219-libatdgen-ocaml-dev_2.10.0-2+b3_amd64.deb ... Unpacking libatdgen-ocaml-dev (2.10.0-2+b3) ... Selecting previously unselected package libcmdliner-ocaml-dev. Preparing to unpack .../220-libcmdliner-ocaml-dev_1.1.1-1_amd64.deb ... Unpacking libcmdliner-ocaml-dev (1.1.1-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../221-libfindlib-ocaml_1.9.6-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../222-libmenhir-ocaml-dev_20220210+ds-2_amd64.deb ... Unpacking libmenhir-ocaml-dev (20220210+ds-2) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../223-libocaml-compiler-libs-ocaml-dev_0.12.4-1+b2_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-1+b2) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../224-libppx-derivers-ocaml-dev_1.2.1-1+b3_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-1+b3) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../225-libresult-ocaml_1.5-1+b2_amd64.deb ... Unpacking libresult-ocaml (1.5-1+b2) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../226-libsexplib0-ocaml_0.15.1-1_amd64.deb ... Unpacking libsexplib0-ocaml (0.15.1-1) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../227-libppx-deriving-ocaml_5.2.1-1+b3_amd64.deb ... Unpacking libppx-deriving-ocaml (5.2.1-1+b3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../228-ocaml-findlib_1.9.6-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.6-1+b1) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../229-libsexplib0-ocaml-dev_0.15.1-1_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.15.1-1) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../230-libppxlib-ocaml-dev_0.27.0-2+b1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.27.0-2+b1) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../231-libresult-ocaml-dev_1.5-1+b2_amd64.deb ... Unpacking libresult-ocaml-dev (1.5-1+b2) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../232-libppx-deriving-ocaml-dev_5.2.1-1+b3_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (5.2.1-1+b3) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../233-libre-ocaml-dev_1.10.4-1_amd64.deb ... Unpacking libre-ocaml-dev (1.10.4-1) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../234-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package lua5.1. Preparing to unpack .../235-lua5.1_5.1.5-9_amd64.deb ... Unpacking lua5.1 (5.1.5-9) ... Selecting previously unselected package menhir. Preparing to unpack .../236-menhir_20220210+ds-2_amd64.deb ... Unpacking menhir (20220210+ds-2) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../237-ocaml-dune_2.9.3-1_amd64.deb ... Unpacking ocaml-dune (2.9.3-1) ... Selecting previously unselected package time. Preparing to unpack .../238-time_1.9-0.2_amd64.deb ... Unpacking time (1.9-0.2) ... Setting up libexpat1:amd64 (2.5.0-1) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.14-2) ... Setting up libpixman-1-0:amd64 (0.42.2-1) ... Setting up libwayland-server0:amd64 (1.21.0-1) ... Setting up libaom3:amd64 (3.6.0-1) ... Setting up libpciaccess0:amd64 (0.17-2) ... Setting up libabsl20220623:amd64 (20220623.1-1) ... Setting up systemd-sysv (252.6-1) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libdouble-conversion3:amd64 (3.2.1-1) ... Setting up time (1.9-0.2) ... Setting up libicu72:amd64 (72.1-3) ... Setting up liblerc4:amd64 (4.0.0+ds-2) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libdatrie1:amd64 (0.2.13-2+b1) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.74.6-2) ... Setting up libglvnd0:amd64 (1.6.0-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libbrotli1:amd64 (1.0.9-2+b6) ... Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ... Setting up x11-common (1:7.7+23) ... Running in chroot, ignoring request. Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up dh-ocaml (1.1.3) ... Setting up libsensors-config (1:3.6.0-7.1) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up libdeflate0:amd64 (1.14-1) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up xkb-data (2.35.1-1) ... Setting up file (1:5.44-3) ... Setting up libsvtav1enc1:amd64 (1.4.1+dfsg-1) ... Setting up atdts (2.10.0-2+b3) ... Setting up libjbig0:amd64 (2.1-6.1) ... Setting up librav1e0:amd64 (0.5.1-6) ... Setting up libpcre2-16-0:amd64 (10.42-1) ... Setting up libcolord2:amd64 (1.4.6-2.2) ... Setting up ocaml-dune (2.9.3-1) ... Setting up libdconf1:amd64 (0.40.0-4) ... Setting up autotools-dev (20220109.1) ... Setting up libz3-4:amd64 (4.8.12-3.1) ... Setting up libpcre2-32-0:amd64 (10.42-1) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-2) ... Setting up libx11-data (2:1.8.4-2) ... Setting up libepoxy0:amd64 (1.5.10-1) ... Setting up aglfn (1.7+git20191031.4036a9c-2) ... Setting up libavahi-common-data:amd64 (0.8-10) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libdbus-1-3:amd64 (1.14.6-1) ... Setting up libfribidi0:amd64 (1.0.8-2.1) ... Setting up libproc2-0:amd64 (2:4.0.2-3) ... Setting up libpng16-16:amd64 (1.6.39-2) ... Setting up autopoint (0.21-12) ... Setting up ocaml-base (4.13.1-4) ... Setting up fonts-dejavu-core (2.37-6) ... Setting up libgav1-1:amd64 (0.18.0-1+b1) ... Setting up libsensors5:amd64 (1:3.6.0-7.1) ... Setting up libdav1d6:amd64 (1.0.0-2) ... Setting up libglapi-mesa:amd64 (22.3.6-1+deb12u1) ... Setting up libmtdev1:amd64 (1.1.6-1) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:amd64 (1.2.4-0.2) ... Setting up libnuma1:amd64 (2.0.16-1) ... Setting up libsexplib0-ocaml (0.15.1-1) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libxshmfence1:amd64 (1.3-1) ... Setting up at-spi2-common (2.46.0-5) ... Setting up libtiff6:amd64 (4.5.0-6) ... Setting up dbus-session-bus-common (1.14.6-1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up procps (2:4.0.2-3) ... Setting up libmd4c0:amd64 (0.4.8-1) ... Setting up liblua5.4-0:amd64 (5.4.4-3) ... Setting up libsub-override-perl (0.09-4) ... Setting up libthai-data (0.1.29-1) ... Setting up libatk1.0-0:amd64 (2.46.0-5) ... Setting up libwayland-egl1:amd64 (1.21.0-1) ... Setting up dbus-system-bus-common (1.14.6-1) ... Setting up libde265-0:amd64 (1.0.11-1) ... Setting up libbsd0:amd64 (0.11.7-2) ... Setting up libdrm-common (2.4.114-1) ... Setting up libyuv0:amd64 (0.0~git20230123.b2528b0-1) ... Setting up libresult-ocaml (1.5-1+b2) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up libevdev2:amd64 (1.13.0+dfsg-1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.2) ... Setting up dbus-bin (1.14.6-1) ... Setting up libgudev-1.0-0:amd64 (237-2) ... Setting up menhir (20220210+ds-2) ... Setting up libwacom-common (2.6.0-1) ... Setting up libxkbcommon0:amd64 (1.5.0-1) ... Setting up libwayland-client0:amd64 (1.21.0-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 gnuplot-data (5.4.4+dfsg1-2) ... Setting up libeasy-format-ocaml (1.3.4-1) ... Setting up libppx-deriving-ocaml (5.2.1-1+b3) ... Setting up libice6:amd64 (2:1.0.10-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up libxcb1:amd64 (1.15-1) ... Setting up gettext (0.21-12) ... Setting up libxcb-xfixes0:amd64 (1.15-1) ... Setting up libavif15:amd64 (0.11.1-1) ... Setting up libxcb-xinput0:amd64 (1.15-1) ... Setting up libtool (2.4.7-5) ... Setting up libyojson-ocaml (2.0.2-2) ... Setting up libxcb-render0:amd64 (1.15-1) ... Setting up libwacom9:amd64 (2.6.0-1) ... Setting up libcamlp-streams-ocaml (5.0.1-1) ... Setting up fontconfig-config (2.14.1-4) ... Setting up libxcb-glx0:amd64 (1.15-1) ... Setting up libedit2:amd64 (3.1-20221030-2) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up libxcb-keysyms1:amd64 (0.4.0-1+b2) ... Setting up libxcb-shape0:amd64 (1.15-1) ... Setting up libavahi-common3:amd64 (0.8-10) ... Setting up libfindlib-ocaml (1.9.6-1+b1) ... Setting up libxcb-render-util0:amd64 (0.3.9-1+b1) ... Setting up libxcb-shm0:amd64 (1.15-1) ... Setting up libxcb-icccm4:amd64 (0.4.1-1.1) ... Setting up dbus-daemon (1.14.6-1) ... Setting up libwxbase3.2-1:amd64 (3.2.2+dfsg-2) ... Setting up libbiniou-ocaml (1.2.2-1+b1) ... Setting up lua5.1 (5.1.5-9) ... update-alternatives: using /usr/bin/lua5.1 to provide /usr/bin/lua (lua-interpreter) in auto mode update-alternatives: using /usr/bin/luac5.1 to provide /usr/bin/luac (lua-compiler) in auto mode Setting up libxcb-util1:amd64 (0.4.0-1+b1) ... Setting up libinput-bin (1.22.1-1) ... Setting up libxcb-xkb1:amd64 (1.15-1) ... Setting up libxcb-image0:amd64 (0.4.0-2) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libxcb-present0:amd64 (1.15-1) ... Setting up dh-autoreconf (20) ... Setting up libthai0:amd64 (0.1.29-1) ... Setting up libxcb-xinerama0:amd64 (1.15-1) ... Setting up libfreetype6:amd64 (2.12.1+dfsg-5) ... Setting up libxcb-sync1:amd64 (1.15-1) ... Setting up dbus (1.14.6-1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libansi-terminal-ocaml (0.8.5-1) ... Setting up shared-mime-info (2.2-1) ... Setting up libxkbcommon-x11-0:amd64 (1.5.0-1) ... Setting up ocaml-findlib (1.9.6-1+b1) ... Setting up libqt5core5a:amd64 (5.15.8+dfsg-11) ... Setting up libx265-199:amd64 (3.5-2+b1) ... Setting up libatdgen-ocaml (2.10.0-2+b3) ... Setting up libxcb-dri2-0:amd64 (1.15-1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up libdrm2:amd64 (2.4.114-1+b1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up libqt5dbus5:amd64 (5.15.8+dfsg-11) ... Setting up libwayland-cursor0:amd64 (1.21.0-1) ... Setting up libxcb-randr0:amd64 (1.15-1) ... Setting up libllvm15:amd64 (1:15.0.6-4+b1) ... Setting up libpam-systemd:amd64 (252.6-1) ... Setting up libx11-6:amd64 (2:1.8.4-2) ... Setting up libharfbuzz0b:amd64 (6.0.0+dfsg-3) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.10+dfsg-1+b1) ... Setting up libfontconfig1:amd64 (2.14.1-4) ... Setting up libxcomposite1:amd64 (1:0.4.5-1) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.8-10) ... Setting up libdrm-amdgpu1:amd64 (2.4.114-1+b1) ... Setting up libxcb-dri3-0:amd64 (1.15-1) ... Setting up libinput10:amd64 (1.22.1-1) ... Setting up gtk-update-icon-cache (3.24.37-2) ... Setting up libx11-xcb1:amd64 (2:1.8.4-2) ... Setting up fontconfig (2.14.1-4) ... Regenerating fonts cache... done. Setting up libdrm-nouveau2:amd64 (2.4.114-1+b1) ... Setting up libxdamage1:amd64 (1:1.1.6-1) ... Setting up libxpm4:amd64 (1:3.5.12-1.1) ... Setting up libxrender1:amd64 (1:0.9.10-1.1) ... Setting up libgbm1:amd64 (22.3.6-1+deb12u1) ... Setting up libdrm-radeon1:amd64 (2.4.114-1+b1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:amd64 (1.50.12+ds-1) ... Setting up libdrm-intel1:amd64 (2.4.114-1+b1) ... Setting up libgl1-mesa-dri:amd64 (22.3.6-1+deb12u1) ... Setting up libheif1:amd64 (1.15.1-1) ... Setting up libxext6:amd64 (2:1.3.4-1+b1) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer -> /lib/systemd/system/man-db.timer. Setting up libcairo2:amd64 (1.16.0-7) ... Setting up libqt5network5:amd64 (5.15.8+dfsg-11) ... Setting up libxxf86vm1:amd64 (1:1.1.4-1+b2) ... Setting up dbus-user-session (1.14.6-1) ... Setting up libegl-mesa0:amd64 (22.3.6-1+deb12u1) ... Setting up adwaita-icon-theme (43-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libxfixes3:amd64 (1:6.0.0-2) ... Setting up libnotify4:amd64 (0.8.1-1) ... Setting up libxinerama1:amd64 (2:1.1.4-3) ... Setting up libgd3:amd64 (2.3.3-9) ... Setting up libxrandr2:amd64 (2:1.5.2-2+b1) ... Setting up libcups2:amd64 (2.4.2-3) ... Setting up libegl1:amd64 (1.6.0-1) ... Setting up libcairo-gobject2:amd64 (1.16.0-7) ... Setting up libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ... Setting up libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ... Setting up libglx-mesa0:amd64 (22.3.6-1+deb12u1) ... Setting up libxi6:amd64 (2:1.8-1+b1) ... Setting up libglx0:amd64 (1.6.0-1) ... Setting up libxtst6:amd64 (2:1.2.3-1.1) ... Setting up libxcursor1:amd64 (1:1.2.1-1) ... Setting up debhelper (13.11.4) ... Setting up dconf-service (0.40.0-4) ... Setting up libatspi2.0-0:amd64 (2.46.0-5) ... Setting up libatk-bridge2.0-0:amd64 (2.46.0-5) ... Setting up libgl1:amd64 (1.6.0-1) ... Setting up dconf-gsettings-backend:amd64 (0.40.0-4) ... Setting up libqt5gui5:amd64 (5.15.8+dfsg-11) ... Setting up libqt5widgets5:amd64 (5.15.8+dfsg-11) ... Setting up libqt5printsupport5:amd64 (5.15.8+dfsg-11) ... Setting up libgtk-3-common (3.24.37-2) ... Setting up libgtk-3-0:amd64 (3.24.37-2) ... Setting up libqt5svg5:amd64 (5.15.8-3) ... Setting up libwxgtk3.2-1:amd64 (3.2.2+dfsg-2) ... Setting up gnuplot-qt (5.4.4+dfsg1-2+b2) ... update-alternatives: using /usr/bin/gnuplot-qt to provide /usr/bin/gnuplot (gnuplot) in auto mode Setting up gnuplot (5.4.4+dfsg1-2) ... Setting up ocaml-compiler-libs (4.13.1-4) ... Setting up ocaml-interp (4.13.1-4) ... Setting up ocaml (4.13.1-4) ... Setting up libre-ocaml-dev (1.10.4-1) ... Setting up camlp5 (8.00.04-1+b1) ... Setting up libmenhir-ocaml-dev (20220210+ds-2) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-1+b2) ... Setting up libyojson-ocaml-dev (2.0.2-2) ... Setting up libcamlp-streams-ocaml-dev (5.0.1-1) ... Setting up libsexplib0-ocaml-dev (0.15.1-1) ... Setting up libresult-ocaml-dev (1.5-1+b2) ... Setting up libcmdliner-ocaml-dev (1.1.1-1) ... Setting up libeasy-format-ocaml-dev (1.3.4-1) ... Setting up libppx-derivers-ocaml-dev (1.2.1-1+b3) ... Setting up libansi-terminal-ocaml-dev (0.8.5-1) ... Setting up libppxlib-ocaml-dev (0.27.0-2+b1) ... Setting up libbiniou-ocaml-dev (1.2.2-1+b1) ... Setting up libppx-deriving-ocaml-dev (5.2.1-1+b3) ... Setting up libatdgen-ocaml-dev (2.10.0-2+b3) ... Processing triggers for libc-bin (2.36-9) ... 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: Running cd /build/elpi-1.16.8/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../elpi_1.16.8-1_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 1.16.8-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j16 clean make[1]: Entering directory '/build/elpi-1.16.8' rm -rf _build rm -rf docs/build make[1]: Leaving directory '/build/elpi-1.16.8' dh_ocamlclean dh_clean debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/elpi-1.16.8' sed -e 's/%%VERSION_NUM%%/1.16.8/g' -i elpi_REPL.ml sed -e 's/%%VERSION_NUM%%/1.16.8/g' -i src/compiler.ml make build make[2]: Entering directory '/build/elpi-1.16.8' dune build @all menhir src/parser/error_messages.ml Read 319 sample input sentences and 40 error messages. make[2]: Leaving directory '/build/elpi-1.16.8' make[1]: Leaving directory '/build/elpi-1.16.8' debian/rules override_dh_auto_test make[1]: Entering directory '/build/elpi-1.16.8' make tests make[2]: Entering directory '/build/elpi-1.16.8' make build make[3]: Entering directory '/build/elpi-1.16.8' dune build @all make[3]: Leaving directory '/build/elpi-1.16.8' dune runtest ulimit -s 1114112; OCAMLRUNPARAM=l=1114112 \ tests/test.exe \ --seed $RANDOM \ --timeout 1200.0 \ --time /usr/bin/time \ --sources=/build/elpi-1.16.8/tests/sources/ \ --plot=/build/elpi-1.16.8/tests/plot \ \ \ --runner dune --runner /build/elpi-1.16.8/_build/install/default/bin/elpi --runner /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator Random seed: 5406 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.20 0.25 15.2M elpi RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.19 0.00 0.0M elpi RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.20 0.00 0.0M elpi RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.27 0.33 15.1M elpi RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.23 0.27 15.1M elpi RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.27 0.32 15.2M elpi RUNNING beta (beta reduction) elpi OK beta 0.00 0.26 0.32 15.2M elpi RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.22 0.26 15.1M elpi RUNNING cbn (reduction) elpi OK cbn 0.69 0.24 0.97 17.5M elpi RUNNING cbv (reduction) elpi OK cbv 3.50 0.27 3.82 15.1M elpi RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.20 0.25 15.2M elpi RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.01 0.00 0.06 11.4M elpi RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.23 0.28 15.1M elpi RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.24 0.30 15.1M elpi RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.20 0.24 15.1M elpi RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.21 0.26 15.1M elpi RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.24 0.29 16.9M elpi RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.34 0.39 15.1M elpi RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.26 0.30 15.1M elpi RUNNING crypt (standard Prolog benchmark) elpi OK crypt 10.83 0.30 11.22 45.2M elpi RUNNING cut1 (what else) elpi OK cut1 0.00 0.32 0.37 15.2M elpi RUNNING cut2 (what else) elpi OK cut2 0.00 0.26 0.30 15.2M elpi RUNNING cut3 (what else) elpi OK cut3 0.00 0.25 0.31 15.2M elpi RUNNING cut4 (what else) elpi OK cut4 0.00 0.21 0.27 15.2M elpi RUNNING cut5 (what else) elpi OK cut5 0.00 0.31 0.36 14.4M elpi RUNNING cut6 (what else) elpi OK cut6 0.00 0.26 0.31 15.1M elpi RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.22 0.26 15.1M elpi RUNNING discard (_) elpi OK discard 0.00 0.24 0.29 15.2M elpi RUNNING elpi-checker (type checking the type checker) elpi OK elpi-checker 0.00 0.45 0.51 18.3M elpi RUNNING elpi2html (type checking elpi2html) elpi OK elpi2html 0.00 0.24 0.30 17.8M elpi RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.23 0.00 0.0M elpi RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.26 0.31 15.1M elpi RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.05 11.4M elpi RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 4.36 0.27 4.69 17.2M elpi RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.31 0.36 15.1M elpi RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 91.04 25.57 122.98 2333.8M elpi RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.34 0.41 15.1M elpi RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.07 11.3M elpi RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.23 0.31 15.1M elpi RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.27 0.34 17.1M elpi RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.26 0.34 16.9M elpi RUNNING ho (HO predicates) elpi OK ho 0.00 0.26 0.31 15.1M elpi RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi RUNNING holp (HOL programming) elpi OK holp 0.00 0.47 0.53 16.7M elpi RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.22 0.28 15.1M elpi RUNNING impl (implication) elpi OK impl 0.00 0.31 0.38 15.1M elpi RUNNING impl2 (implication) elpi OK impl2 0.00 0.30 0.37 15.1M elpi RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.26 0.33 15.1M elpi RUNNING index2 (indexing the second argument) elpi OK index2 5.53 0.33 5.94 15.4M elpi RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.91 0.33 1.30 15.2M elpi RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.28 0.33 15.1M elpi RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.29 0.35 15.1M elpi RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.40 0.46 17.0M elpi RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.19 0.24 15.2M elpi RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.18 0.24 15.1M elpi RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.34 0.38 17.2M elpi RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.20 0.24 15.2M elpi RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.20 0.26 16.9M elpi RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.22 0.27 17.0M elpi RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.22 0.27 15.2M elpi RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.20 0.25 15.1M elpi RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.24 0.31 15.2M elpi RUNNING lyp (type checker for λΥP) elpi OK lyp 68.03 37.40 126.15 591.1M elpi RUNNING map (builtin list) (stdlib map reference) elpi OK map (builtin list) 44.81 0.76 45.73 15.1M elpi RUNNING map (defined list) (stdlib map reference) elpi OK map (defined list) 44.96 0.33 45.43 15.2M elpi RUNNING map (rbtree) (stdlib map) elpi OK map (rbtree) 10.49 0.28 10.88 15.1M elpi RUNNING mu (standard Prolog benchmark) elpi OK mu 4.94 0.22 5.21 17.0M elpi RUNNING name (name builtin) elpi OK name 0.00 0.00 0.10 11.4M 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.38 0.43 15.2M elpi RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.30 0.37 15.1M elpi RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.33 0.43 15.2M elpi RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.28 0.35 17.0M elpi RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.50 0.62 15.2M elpi RUNNING ndprover (Natural deduction prover) elpi OK ndprover 0.00 0.31 0.42 18.0M elpi RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.23 0.28 15.1M elpi RUNNING notation (extensible syntax) elpi OK notation 0.00 0.44 0.49 15.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 0.46 0.58 15.2M elpi RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.45 0.58 15.2M elpi RUNNING pcf (type inference for PCF) elpi OK pcf 0.01 0.73 0.90 18.4M elpi RUNNING pi (pi quantification) elpi OK pi 0.00 0.56 0.68 15.1M elpi RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.39 0.46 15.1M elpi RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.42 0.58 16.7M elpi RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.48 0.57 17.2M elpi RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.58 0.74 17.7M elpi RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.08 11.3M elpi RUNNING progs (progs) elpi OK progs 0.00 0.55 0.67 18.3M elpi RUNNING queens (standard Prolog benchmark) elpi OK queens 6.45 0.40 6.92 128.1M elpi RUNNING quote_syntax (quote_syntax API) elpi OK quote_syntax 0.14 0.27 0.48 15.2M elpi RUNNING random (random numbers) elpi OK random 0.00 0.25 0.33 15.2M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.35 0.00 0.0M elpi RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.34 0.48 15.2M elpi RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.48 0.59 15.2M elpi RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.22 0.30 15.2M elpi RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.31 0.45 15.2M elpi RUNNING rev (list reversal) elpi OK rev 0.72 0.60 1.45 43.3M elpi RUNNING rev14 (list reversal) elpi OK rev14 0.67 0.48 1.27 43.0M elpi RUNNING same_term (the == operator) elpi OK same_term 0.00 0.34 0.43 15.2M elpi RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.37 0.44 15.2M elpi RUNNING sepcomp1 (simple separate compilation) dune OK sepcomp1 0.77 0.00 0.77 21.9M dune RUNNING sepcomp2 (simple separate compilation) dune OK sepcomp2 0.70 0.00 0.70 21.7M dune RUNNING sepcomp3 (separate compilation double naming) dune OK sepcomp3 0.00 0.00 0.00 0.0M dune RUNNING sepcomp4 (separate compilation double naming) dune OK sepcomp4 0.00 0.00 0.00 0.0M dune RUNNING sepcomp5 (separate compilation different processes (step 1)) dune OK sepcomp5 0.36 0.00 0.36 21.9M dune RUNNING sepcomp6 (separate compilation different processes (step 2)) dune OK sepcomp6 0.36 0.00 0.36 22.0M dune RUNNING sepcomp_perf (separate compilation perf) dune OK sepcomp_perf 4.87 0.00 4.87 290.1M dune RUNNING set (stdlib set) elpi OK set 7.65 0.37 8.13 15.2M elpi RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.28 0.38 15.2M elpi RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.37 0.48 16.9M elpi RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.31 0.38 15.1M elpi RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.36 0.47 15.1M elpi RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.26 0.36 15.2M elpi RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.27 0.32 15.2M elpi RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.29 0.39 15.1M elpi RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.13 11.4M elpi RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.01 0.00 0.17 11.4M elpi RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.09 11.4M elpi RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.01 6.5M elpi-trace-elaborator RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.37 40.4M 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.01 6.6M elpi-trace-elaborator RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.01 6.5M elpi-trace-elaborator RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.01 5.8M elpi-trace-elaborator RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.06 11.4M elpi RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.12 11.4M elpi RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.01 5.0M elpi-trace-elaborator RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.47 0.60 15.2M elpi RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.45 0.58 15.1M elpi RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.34 0.00 0.0M elpi RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.35 0.00 0.0M elpi RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.26 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.25 0.30 15.1M elpi RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.41 0.47 15.1M 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.41 0.53 15.1M elpi RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.34 0.43 15.2M elpi RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.32 0.42 15.2M elpi RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.36 0.47 15.1M elpi RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.39 0.50 15.1M elpi RUNNING var (var API) elpi OK var 0.00 0.35 0.47 15.2M elpi RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.27 0.34 15.2M elpi RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.70 0.85 17.3M elpi RUNNING zebra (standard Prolog benchmark) elpi OK zebra 2.37 0.63 3.15 18.5M elpi ------------------------------------------------------------------ Tests: 149 Passed: 149 Failed: 0 Skipped: 0 make[2]: Leaving directory '/build/elpi-1.16.8' make[1]: Leaving directory '/build/elpi-1.16.8' create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/build/elpi-1.16.8' dune install --destdir=/build/elpi-1.16.8/debian/tmp --prefix=/usr --libdir=../usr/lib/ocaml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_map.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_set.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Builtin_stdlib.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Compiler.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Data.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Data.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Legacy_parser_proxy.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Ptmap.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/.private/elpi__Runtime_trace_off.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/API.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/API.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/META Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin.elpi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin_checker.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin_map.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin_set.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/builtin_stdlib.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/compiler.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/compiler.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/data.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/dune-package Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi-quoted_syntax.elpi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi2html.elpi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__API.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_checker.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_map.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_set.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Builtin_stdlib.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Compiler.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Data.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Legacy_parser_proxy.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Ptmap.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Runtime.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi__Runtime_trace_off.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/legacy_parser_proxy.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/legacy_parser_proxy.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config__Tokens.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/lexer_config.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/tokens.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/tokens.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/opam Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/ast.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/ast.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Ast.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Error_messages.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Grammar.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Lexer.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parse.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser__Parser_config.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/error_messages.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/grammar.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/grammar.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/lexer.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/parse.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/parse.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/parser_config.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/ptmap.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/ptmap.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/runtime.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/runtime.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/runtime_trace_off.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/runtime_trace_off.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace.atd Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/runtime.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/runtime.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace_atd.ts Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.a Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cma Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cmxa Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util__Util.cmi Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util__Util.cmt Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util__Util.cmti Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util__Util.cmx Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/util.ml Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/util.mli Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/elpi.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/lexer_config/elpi_lexer_config.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/parser/elpi_parser.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/ppx.exe Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/ppx/trace_ppx.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/trace/runtime/trace_ppx_runtime.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi/util/elpi_util.cmxs Installing /build/elpi-1.16.8/debian/tmp/usr/bin/elpi Installing /build/elpi-1.16.8/debian/tmp/usr/bin/elpi-trace-elaborator Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi/CHANGES.md Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi/LICENSE Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi/README.md Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi-option-legacy-parser/META Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi-option-legacy-parser/dune-package Installing /build/elpi-1.16.8/debian/tmp/usr/lib/ocaml/elpi-option-legacy-parser/opam Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi-option-legacy-parser/CHANGES.md Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi-option-legacy-parser/LICENSE Installing /build/elpi-1.16.8/debian/tmp/usr/doc/elpi-option-legacy-parser/README.md # drop excess LICENSE files find debian/tmp -name "LICENSE*" -delete # drop legacy stuff rm -rf debian/tmp/usr/doc/elpi-option-legacy-parser debian/tmp/usr/lib/ocaml/elpi-option-legacy-parser # 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/elpi-1.16.8' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_ocaml W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Misc W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Clflags W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Outcometree W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Parsetree W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Path W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Asttypes W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Identifiable W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Type_immediacy W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Primitive W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Types W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Build_path_prefix_map W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Profile W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Env W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Longident W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Load_path W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Location W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Subst W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Compmisc W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Ident W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Cmi_format W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Warnings dh_gencontrol dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums dh_builddeb dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_1.16.8-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_1.16.8-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_1.16.8-1_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_1.16.8-1_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_1.16.8-1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../elpi_1.16.8-1_amd64.buildinfo dpkg-genchanges --build=binary -O../elpi_1.16.8-1_amd64.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: including full source code in upload I: copying local configuration 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/2224058 and its subdirectories I: Current time: Sun Jul 7 08:48:56 -12 2024 I: pbuilder-time-stamp: 1720385336 Mon Jun 5 14:25:44 UTC 2023 I: 1st build successful. Starting 2nd build on remote node ionos11-amd64.debian.net. Mon Jun 5 14:25:44 UTC 2023 I: Preparing to do remote build '2' on ionos11-amd64.debian.net. Mon Jun 5 14:32:45 UTC 2023 I: Deleting $TMPDIR on ionos11-amd64.debian.net. Mon Jun 5 14:32:46 UTC 2023 I: elpi_1.16.8-1_amd64.changes: Format: 1.8 Date: Wed, 07 Dec 2022 08:21:57 +0100 Source: elpi Binary: elpi elpi-dbgsym libelpi-ocaml libelpi-ocaml-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym Architecture: amd64 Version: 1.16.8-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Description: elpi - embeddable lambda-Prolog interpreter (tool) libelpi-ocaml - embeddable lambda-Prolog interpreter (runtime files) libelpi-ocaml-dev - embeddable lambda-Prolog interpreter (dev files) Closes: 1025129 Changes: elpi (1.16.8-1) unstable; urgency=medium . * Re-enable the archv64 architecture following advice from Manuel A. Fernandez Montecelo - thanks! (Closes: #1025129) * New upstream release. * Drop the patch for yojson 2.0 support (obsolete). Checksums-Sha1: 158bde3fa9a54fc9f36ea92305404716d2b9e4a8 554188 elpi-dbgsym_1.16.8-1_amd64.deb 3db920535560fdb7d8fa012eabd996cf2cc37f35 13230 elpi_1.16.8-1_amd64.buildinfo 0d33dcc9d9e9dae7f542be3c6e223c53c10b678d 1554416 elpi_1.16.8-1_amd64.deb 7f94ce7aabe7f55003f9933eea5cf59a69213967 223500 libelpi-ocaml-dbgsym_1.16.8-1_amd64.deb c8f66685e7a890f7865e2890945477ca40955efa 1158152 libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb e6143fffc3e384729aec0879c9eaf0b22f810eee 10376276 libelpi-ocaml-dev_1.16.8-1_amd64.deb bb4f73d554ea3675504ff7feba5e6d8b24e16195 4896216 libelpi-ocaml_1.16.8-1_amd64.deb Checksums-Sha256: 9fd3d38a23ea45e0e5c39f231be4e22ab119ba1838bc3d3c9a9f488a7b056cf8 554188 elpi-dbgsym_1.16.8-1_amd64.deb 9471a2c55d1a3695423af4d1b1345f5b40c735cbbfe0bb7dc1eed54fba131208 13230 elpi_1.16.8-1_amd64.buildinfo 94ffffdfc364967d2e19552eafd4e0c18a63e06dc6896a7dc8a25cd5785ff634 1554416 elpi_1.16.8-1_amd64.deb 1c8c62385797bd7f85ce7cde1669c4cc4ca63dfdf53515b4be1aab4480e4d816 223500 libelpi-ocaml-dbgsym_1.16.8-1_amd64.deb a4bd905c9cf8f6d96c6bb79d0444d58329ac04e3bc7addba344076f0d8253f96 1158152 libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb 00e86dae8e0037bb1b4800f046418d23d8f440bbdaa1dac7fc27f482787cd7f6 10376276 libelpi-ocaml-dev_1.16.8-1_amd64.deb 4f4ca22902070e01930faa986d22300e9f85ed0a702ad2959343699543931ecd 4896216 libelpi-ocaml_1.16.8-1_amd64.deb Files: 744214651ca91b235a1ca9deff71ddb7 554188 debug optional elpi-dbgsym_1.16.8-1_amd64.deb abfbf5ba9f2b0ca541a3cc3daea82380 13230 ocaml optional elpi_1.16.8-1_amd64.buildinfo 59674733ba1244daccc370f021f0328f 1554416 ocaml optional elpi_1.16.8-1_amd64.deb 22d0a22ca2743407dd17363bc1ec39e0 223500 debug optional libelpi-ocaml-dbgsym_1.16.8-1_amd64.deb dd5b8cefb5e07bd27d36229d7e91546a 1158152 debug optional libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb f4735929d40c3fe4206de39b1ca69a5f 10376276 ocaml optional libelpi-ocaml-dev_1.16.8-1_amd64.deb 80043c7713f1afc4923df391ca86cf51 4896216 ocaml optional libelpi-ocaml_1.16.8-1_amd64.deb Mon Jun 5 14:32:47 UTC 2023 I: diffoscope 242 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/elpi_1.16.8-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/elpi_1.16.8-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/elpi_1.16.8-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/b1/elpi_1.16.8-1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/b2/elpi_1.16.8-1_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.880s) 0.880s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.220s) 0.220s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Mon Jun 5 14:33:01 UTC 2023 I: diffoscope 242 found no differences in the changes files, and a .buildinfo file also exists. Mon Jun 5 14:33:01 UTC 2023 I: elpi from bookworm built successfully and reproducibly on amd64. Mon Jun 5 14:33:02 UTC 2023 I: Submitting .buildinfo files to external archives: Mon Jun 5 14:33:02 UTC 2023 I: Submitting 16K b1/elpi_1.16.8-1_amd64.buildinfo.asc Mon Jun 5 14:33:03 UTC 2023 I: Submitting 16K b2/elpi_1.16.8-1_amd64.buildinfo.asc Mon Jun 5 14:33:04 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Mon Jun 5 14:33:04 UTC 2023 I: Done submitting .buildinfo files. Mon Jun 5 14:33:04 UTC 2023 I: Removing signed elpi_1.16.8-1_amd64.buildinfo.asc files: removed './b1/elpi_1.16.8-1_amd64.buildinfo.asc' removed './b2/elpi_1.16.8-1_amd64.buildinfo.asc'