Start: 2026-02-15 05:07:30 GMT [sid] [experimental] Package: rocqide Source: coq (9.1.0+dfsg-3) Version: 9.1.0+dfsg-3+b2 Installed-Size: 8899 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coqide Depends: coq (= 9.1.0+dfsg-3+b2), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0) Conflicts: coqide Description: proof assistant for higher-order logic (gtk interface) Homepage: http://coq.inria.fr/ Description-md5: c6fb144d57a56407344a4003317f4e68 Section: math Priority: optional Filename: pool/main/c/coq/rocqide_9.1.0+dfsg-3+b2_amd64.deb Size: 1948400 MD5sum: 229eec19fe84495a9e309f0b5a6df4e4 SHA256: ed7646c85beea16fee0be61553e62475c13188fa69ddcb63c7097f8575f6ca35 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid -d experimental -S /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat --apt rocqide=9.1.0+dfsg-3+b2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.6.1~202508211856~1.6.0-10-gffba2cce starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid -d experimental -S /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat --apt rocqide=9.1.0+dfsg-3+b2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 6.1.0-43-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.162-1 (2026-02-08) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpakbpcbwe 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpakbpcbwe 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/proc'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/ptmx'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/ptmx'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/console'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/console'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/shm'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/shm'] 0m0.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.4s DEBUG: Created policy-rc.d and chmodded it. 0m0.4s DEBUG: Created resolv.conf. 0m0.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpakbpcbwe/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'update'] 0m4.5s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [187 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.1 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7436 kB] Fetched 17.8 MB in 3s (5422 kB/s) Reading package lists... 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'update'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', '-yf', 'dist-upgrade'] 0m6.0s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: bash 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1561 kB of archives. After this operation, 4096 B of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 bash amd64 5.3-2 [1561 kB] Fetched 1561 kB in 0s (3546 kB/s) (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 ... 4905 files and directories currently installed.) Preparing to unpack .../archives/bash_5.3-2_amd64.deb ... Unpacking bash (5.3-2) over (5.3-1) ... Setting up bash (5.3-2) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode Processing triggers for debianutils (5.23.2) ... 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', '-yf', 'dist-upgrade'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.5s DUMP: b5cc265309c8f588228c6f7bef308bdb - 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.5s INFO: Running scripts post_setup 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_dummy_users'] 0m7.5s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_dummy_users'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_forbid_home'] 0m7.5s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_forbid_home'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.6s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_minimize'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_minimize'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_zz_backports'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_setup_zz_backports'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.6s DUMP: install ok installed apt apt 3.1.15 install ok installed base-files base-files 14 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-2 install ok installed bsdutils bsdutils 1:2.41.3-3 install ok installed coreutils coreutils 9.7-3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.5 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-15-base:amd64 gcc-15-base 15.2.0-13 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.3.2-2+b2 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.1.15 install ok installed libattr1:amd64 libattr1 1:2.5.2-3+b1 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b1 install ok installed libblkid1:amd64 libblkid1 2.41.3-3 install ok installed libbsd0:amd64 libbsd0 0.12.2-2+b1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b1 install ok installed libc-bin libc-bin 2.42-13 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.42-13 install ok installed libc6:amd64 libc6 2.42-13 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b2 install ok installed libcap2:amd64 libcap2 1:2.75-10+b5 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.282+b2 install ok installed libgcc-s1:amd64 libgcc-s1 15.2.0-13 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b1 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-6 install ok installed liblzma5:amd64 liblzma5 5.8.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2+b2 install ok installed libmount1:amd64 libmount1 2.41.3-3 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5+b1 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam0g:amd64 libpam0g 1.7.0-5+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1+b1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2+b1 install ok installed libselinux1:amd64 libselinux1 3.9-4+b1 install ok installed libsemanage-common libsemanage-common 3.9-1 install ok installed libsemanage2:amd64 libsemanage2 3.9-1+b1 install ok installed libsepol2:amd64 libsepol2 3.9-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.41.3-3 install ok installed libssl3t64:amd64 libssl3t64 3.5.5-1 install ok installed libstdc++6:amd64 libstdc++6 15.2.0-13 install ok installed libsystemd0:amd64 libsystemd0 259.1-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20251231-1 install ok installed libudev1:amd64 libudev1 259.1-1 install ok installed libuuid1:amd64 libuuid1 2.41.3-3 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-3+b1 install ok installed login login 1:4.16.0-2+really2.41.3-3 install ok installed login.defs login.defs 1:4.19.2-1 install ok installed mawk mawk 1.3.4.20260129-1 install ok installed mount mount 2.41.3-3 install ok installed ncurses-base ncurses-base 6.6+20251231-1 install ok installed ncurses-bin ncurses-bin 6.6+20251231-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.5.5-1 install ok installed passwd passwd 1:4.19.2-1 install ok installed perl-base perl-base 5.40.1-7 install ok installed sed sed 4.9-2 install ok installed sqv sqv 1.3.0-5 install ok installed sysvinit-utils sysvinit-utils 3.15-6 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025c-3 install ok installed util-linux util-linux 2.41.3-3 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-2 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.6s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpakbpcbwe to experimental 0m7.6s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main deb http://deb.debian.org/debian/ experimental main 0m7.6s INFO: Running scripts pre_distupgrade 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_exceptions'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_exceptions'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'update'] 0m9.1s DUMP: Hit:1 http://deb.debian.org/debian sid InRelease Get:2 http://deb.debian.org/debian experimental InRelease [91.5 kB] Get:3 http://deb.debian.org/debian experimental/main amd64 Packages [525 kB] Get:4 http://deb.debian.org/debian experimental/main Translation-en [280 kB] Fetched 897 kB in 1s (1321 kB/s) Reading package lists... 0m9.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'update'] 0m9.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', '-yf', 'dist-upgrade'] 0m9.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', '-yf', 'dist-upgrade'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s DUMP: ad18fd923783f3badcb36cfceb981349 - 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s INFO: Running scripts post_distupgrade 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_exceptions'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_exceptions'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_zz_backports'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'tmp/scripts/post_distupgrade_zz_backports'] 0m10.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m10.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m10.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m10.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'clean'] 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'apt-get', 'clean'] 0m10.9s DEBUG: Recording chroot state 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.5s DUMP: install ok installed apt apt 3.1.15 install ok installed base-files base-files 14 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-2 install ok installed bsdutils bsdutils 1:2.41.3-3 install ok installed coreutils coreutils 9.7-3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.5 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-15-base:amd64 gcc-15-base 15.2.0-13 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.3.2-2+b2 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.1.15 install ok installed libattr1:amd64 libattr1 1:2.5.2-3+b1 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b1 install ok installed libblkid1:amd64 libblkid1 2.41.3-3 install ok installed libbsd0:amd64 libbsd0 0.12.2-2+b1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b1 install ok installed libc-bin libc-bin 2.42-13 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.42-13 install ok installed libc6:amd64 libc6 2.42-13 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b2 install ok installed libcap2:amd64 libcap2 1:2.75-10+b5 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.282+b2 install ok installed libgcc-s1:amd64 libgcc-s1 15.2.0-13 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b1 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-6 install ok installed liblzma5:amd64 liblzma5 5.8.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2+b2 install ok installed libmount1:amd64 libmount1 2.41.3-3 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5+b1 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam0g:amd64 libpam0g 1.7.0-5+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1+b1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2+b1 install ok installed libselinux1:amd64 libselinux1 3.9-4+b1 install ok installed libsemanage-common libsemanage-common 3.9-1 install ok installed libsemanage2:amd64 libsemanage2 3.9-1+b1 install ok installed libsepol2:amd64 libsepol2 3.9-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.41.3-3 install ok installed libssl3t64:amd64 libssl3t64 3.5.5-1 install ok installed libstdc++6:amd64 libstdc++6 15.2.0-13 install ok installed libsystemd0:amd64 libsystemd0 259.1-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20251231-1 install ok installed libudev1:amd64 libudev1 259.1-1 install ok installed libuuid1:amd64 libuuid1 2.41.3-3 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b1 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-3+b1 install ok installed login login 1:4.16.0-2+really2.41.3-3 install ok installed login.defs login.defs 1:4.19.2-1 install ok installed mawk mawk 1.3.4.20260129-1 install ok installed mount mount 2.41.3-3 install ok installed ncurses-base ncurses-base 6.6+20251231-1 install ok installed ncurses-bin ncurses-bin 6.6+20251231-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.5.5-1 install ok installed passwd passwd 1:4.19.2-1 install ok installed perl-base perl-base 5.40.1-7 install ok installed sed sed 4.9-2 install ok installed sqv sqv 1.3.0-5 install ok installed sysvinit-utils sysvinit-utils 3.15-6 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025c-3 install ok installed util-linux util-linux 2.41.3-3 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-2 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-divert', '--list'] 0m11.5s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe', 'dpkg-divert', '--list'] 0m11.5s DEBUG: Saving chroot meta data to /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat 0m11.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/shm'] 0m11.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/shm'] 0m11.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/console'] 0m11.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/console'] 0m11.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/ptmx'] 0m11.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/ptmx'] 0m11.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts'] 0m11.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/dev/pts'] 0m11.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/proc'] 0m12.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe/proc'] 0m12.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m12.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpakbpcbwe'] 0m12.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpakbpcbwe 0m12.2s INFO: Notice: package selections and meta data from target distro saved, now starting over from source distro. See the description of --save-end-meta and --end-meta to learn why this is neccessary and how to possibly avoid it. 0m12.2s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp8l8z9xod 0m12.2s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp8l8z9xod 0m12.2s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m12.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m12.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/proc'] 0m12.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/proc'] 0m12.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts'] 0m12.6s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts'] 0m12.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/ptmx'] 0m12.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/ptmx'] 0m12.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/console'] 0m12.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/console'] 0m12.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/shm'] 0m12.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/shm'] 0m12.6s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m12.6s DEBUG: Created policy-rc.d and chmodded it. 0m12.6s DEBUG: Created resolv.conf. 0m12.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp8l8z9xod/tmp/scripts/ 0m12.6s INFO: Running scripts post_chroot_unpack 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', 'update'] 0m16.8s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [187 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.1 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7436 kB] Fetched 17.8 MB in 3s (5334 kB/s) Reading package lists... 0m16.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', 'update'] 0m16.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-yf', 'dist-upgrade'] 0m18.2s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: bash 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1561 kB of archives. After this operation, 4096 B of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 bash amd64 5.3-2 [1561 kB] Fetched 1561 kB in 0s (3674 kB/s) (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 ... 4905 files and directories currently installed.) Preparing to unpack .../archives/bash_5.3-2_amd64.deb ... Unpacking bash (5.3-2) over (5.3-1) ... Setting up bash (5.3-2) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode Processing triggers for debianutils (5.23.2) ... 0m18.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-yf', 'dist-upgrade'] 0m18.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m18.7s DUMP: b5cc265309c8f588228c6f7bef308bdb - 0m18.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m18.7s INFO: Running scripts post_setup 0m18.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_dummy_users'] 0m19.8s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_dummy_users'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_forbid_home'] 0m19.8s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_forbid_home'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_force-unsafe-io'] 0m19.8s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_force-unsafe-io'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_minimize'] 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_minimize'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_squeeze-backports'] 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_squeeze-backports'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_zz_backports'] 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_setup_zz_backports'] 0m19.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m20.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m20.2s INFO: Running scripts is_testable 0m20.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/is_testable_uninstallable'] 0m20.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/is_testable_uninstallable'] 0m20.2s INFO: Running scripts pre_test 0m20.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_test_exceptions'] 0m20.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_test_exceptions'] 0m20.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_test_root_password'] 0m20.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m20.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_test_root_password'] 0m20.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'show', '--no-all-versions', 'rocqide'] 0m20.5s DUMP: E: No packages found 0m20.5s DEBUG: Command failed (status=100), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'show', '--no-all-versions', 'rocqide'] 0m20.5s INFO: apt-cache does not know about any of the requested packages 0m20.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m20.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m20.8s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp8l8z9xod to experimental 0m20.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main deb http://deb.debian.org/debian/ experimental main 0m20.8s INFO: Running scripts pre_distupgrade 0m20.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_exceptions'] 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_exceptions'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m20.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m20.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', 'update'] 0m22.4s DUMP: Hit:1 http://deb.debian.org/debian sid InRelease Get:2 http://deb.debian.org/debian experimental InRelease [91.5 kB] Get:3 http://deb.debian.org/debian experimental/main amd64 Packages [525 kB] Get:4 http://deb.debian.org/debian experimental/main Translation-en [280 kB] Fetched 897 kB in 1s (1267 kB/s) Reading package lists... 0m22.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', 'update'] 0m22.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-yf', 'dist-upgrade'] 0m22.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m22.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-yf', 'dist-upgrade'] 0m22.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m23.3s DUMP: ad18fd923783f3badcb36cfceb981349 - 0m23.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m23.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'show', '--no-all-versions', 'rocqide'] 0m23.5s DUMP: Package: rocqide Source: coq (9.1.0+dfsg-3) Version: 9.1.0+dfsg-3+b2 Installed-Size: 8899 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coqide Depends: coq (= 9.1.0+dfsg-3+b2), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0) Conflicts: coqide Description-en: proof assistant for higher-order logic (gtk interface) Rocq is a theorem prover for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides RocqIde, a graphical user interface for developing proofs. Description-md5: c6fb144d57a56407344a4003317f4e68 Homepage: http://coq.inria.fr/ Section: math Priority: optional Filename: pool/main/c/coq/rocqide_9.1.0+dfsg-3+b2_amd64.deb Size: 1948400 MD5sum: 229eec19fe84495a9e309f0b5a6df4e4 SHA256: ed7646c85beea16fee0be61553e62475c13188fa69ddcb63c7097f8575f6ca35 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'show', '--no-all-versions', 'rocqide'] 0m23.5s INFO: apt-cache knows about the following packages: rocqide 0m23.5s INFO: Running scripts pre_install 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_database-server'] 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_database-server'] 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_exceptions'] 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_exceptions'] 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_extras'] 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_extras'] 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture'] 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m23.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy'] 0m23.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 1 http://deb.debian.org/debian experimental/main amd64 Packages release o=Debian,a=experimental,n=rc-buggy,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy', 'rocqide'] 0m23.6s DUMP: rocqide: Installed: (none) Candidate: 9.1.0+dfsg-3+b2 Version table: 9.1.0+dfsg-3+b2 1 1 http://deb.debian.org/debian experimental/main amd64 Packages 0m23.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy', 'rocqide'] 0m23.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '-t', 'experimental', 'install', 'rocqide'] 0m52.8s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following additional packages will be installed: adwaita-icon-theme at-spi2-common binutils binutils-common binutils-x86-64-linux-gnu bubblewrap coq cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-16-base gcc-x86-64-linux-gnu glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-bin libc-dev-bin libc-gconv-modules-extra libc6 libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcloudproviders0 libcolord2 libcom-err2 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libctf-nobfd0 libctf0 libcups2t64 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libde265-0 libepoxy0 libexpat1 libffi8 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libglib2.0-0t64 libglycin-2-0 libgnutls30t64 libgomp1 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libhwasan0 libhwy1t64 libidn2-0 libisl23 libitm1 libjansson4 libjxl0.11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libp11-kit0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 libproc2-1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib libquadmath0 libreadline8t64 librsvg2-2 libsframe3 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libtasn1-6 libthai-data libthai0 libtsan2 libubsan1 libunistring5 libwayland-client0 libwayland-cursor0 libwayland-egl1 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2-16 libxrandr2 libxrender1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp procps python3 python3-minimal python3.14 python3.14-minimal readline-common rpcsvc-proto shared-mime-info systemd systemd-sysv xkb-data Suggested packages: adwaita-icon-theme-legacy binutils-doc gprofng-gui binutils-gold ledit | readline-editor libcoq-core-ocaml-dev why3 coq-doc cpp-doc gcc-15-locales cpp-15-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-15-multilib gcc-15-doc gdb-x86-64-linux-gnu libheif-plugin-x265 | libheif-plugin-kvazaar libc-devtools glibc-doc colord cups-common low-memory-monitor gnutls-bin krb5-doc krb5-user gvfs libheif-plugin-ffmpegdec libheif-plugin-jpegdec libheif-plugin-jpegenc libheif-plugin-j2kdec libheif-plugin-j2kenc libheif-plugin-kvazaar libheif-plugin-rav1e libheif-plugin-svtenc liblcms2-utils ncurses-doc libcryptsetup12 libtss2-esys-3.0.2-0t64 libtss2-mu-4.0.1-0t64 libtss2-rc0t64 librsvg2-bin libarchive13t64 libbpf1 libdw1t64 libelf1t64 libfido2-1 libgcrypt20 libpwquality1 libqrencode4 ocaml-doc elpa-tuareg camlp4 python3-doc python3-tk python3-venv python3.14-venv python3.14-doc binfmt-support readline-doc systemd-container systemd-homed systemd-userdbd systemd-boot systemd-resolved systemd-repart libtss2-tcti-device0 polkitd Recommended packages: librsvg2-common libheif-plugin-aomenc | libheif-plugin-rav1e | libheif-plugin-svtenc at-spi2-core manpages manpages-dev libglib2.0-data xdg-user-dirs ibus-gtk3 libgtk-3-bin libheif-plugin-x265 libheif-plugin-aomenc krb5-locales libgpm2 ocaml-man libkmod2 file libfindlib-ocaml-dev ledit | readline-editor psmisc linux-sysctl-defaults ca-certificates systemd-timesyncd | time-daemon systemd-cryptsetup libnss-systemd The following NEW packages will be installed: adwaita-icon-theme at-spi2-common binutils binutils-common binutils-x86-64-linux-gnu bubblewrap coq cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-16-base gcc-x86-64-linux-gnu glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcloudproviders0 libcolord2 libcom-err2 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libctf-nobfd0 libctf0 libcups2t64 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libde265-0 libepoxy0 libexpat1 libffi8 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libglib2.0-0t64 libglycin-2-0 libgnutls30t64 libgomp1 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libhwasan0 libhwy1t64 libidn2-0 libisl23 libitm1 libjansson4 libjxl0.11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libp11-kit0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 libproc2-1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib libquadmath0 libreadline8t64 librsvg2-2 libsframe3 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libtasn1-6 libthai-data libthai0 libtsan2 libubsan1 libunistring5 libwayland-client0 libwayland-cursor0 libwayland-egl1 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2-16 libxrandr2 libxrender1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp procps python3 python3-minimal python3.14 python3.14-minimal readline-common rocqide rpcsvc-proto shared-mime-info systemd systemd-sysv xkb-data The following packages will be upgraded: libc-bin libc-gconv-modules-extra libc6 3 upgraded, 173 newly installed, 0 to remove and 9 not upgraded. Need to get 259 MB of archives. After this operation, 1074 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian experimental/main amd64 libc-gconv-modules-extra amd64 2.43-1 [1126 kB] Get:2 http://deb.debian.org/debian experimental/main amd64 libc6 amd64 2.43-1 [1888 kB] Get:3 http://deb.debian.org/debian experimental/main amd64 libc-bin amd64 2.43-1 [642 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libsystemd-shared amd64 259.1-1 [2379 kB] Get:5 http://deb.debian.org/debian sid/main amd64 systemd amd64 259.1-1 [3267 kB] Get:6 http://deb.debian.org/debian sid/main amd64 systemd-sysv amd64 259.1-1 [65.3 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libdbus-1-3 amd64 1.16.2-3 [179 kB] Get:8 http://deb.debian.org/debian sid/main amd64 dbus-bin amd64 1.16.2-3 [80.3 kB] Get:9 http://deb.debian.org/debian sid/main amd64 dbus-session-bus-common all 1.16.2-3 [52.6 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libapparmor1 amd64 4.1.6-2 [44.4 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.7.4-1 [116 kB] Get:12 http://deb.debian.org/debian sid/main amd64 dbus-daemon amd64 1.16.2-3 [160 kB] Get:13 http://deb.debian.org/debian sid/main amd64 dbus-system-bus-common all 1.16.2-3 [53.8 kB] Get:14 http://deb.debian.org/debian sid/main amd64 dbus amd64 1.16.2-3 [72.0 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libpython3.14-minimal amd64 3.14.3-1 [897 kB] Get:16 http://deb.debian.org/debian sid/main amd64 python3.14-minimal amd64 3.14.3-1 [2406 kB] Get:17 http://deb.debian.org/debian experimental/main amd64 python3-minimal amd64 3.14.2-1 [27.6 kB] Get:18 http://deb.debian.org/debian sid/main amd64 media-types all 14.0.0 [30.8 kB] Get:19 http://deb.debian.org/debian sid/main amd64 netbase all 6.5 [12.4 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libffi8 amd64 3.5.2-3+b1 [26.4 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.6+20251231-1 [137 kB] Get:22 http://deb.debian.org/debian sid/main amd64 readline-common all 8.3-4 [74.8 kB] Get:23 http://deb.debian.org/debian sid/main amd64 libreadline8t64 amd64 8.3-4 [181 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libsqlite3-0 amd64 3.46.1-9 [920 kB] Get:25 http://deb.debian.org/debian sid/main amd64 libpython3.14-stdlib amd64 3.14.3-1 [2263 kB] Get:26 http://deb.debian.org/debian sid/main amd64 python3.14 amd64 3.14.3-1 [836 kB] Get:27 http://deb.debian.org/debian experimental/main amd64 libpython3-stdlib amd64 3.14.2-1 [10.6 kB] Get:28 http://deb.debian.org/debian experimental/main amd64 python3 amd64 3.14.2-1 [27.6 kB] Get:29 http://deb.debian.org/debian experimental/main amd64 libproc2-1 amd64 2:4.0.6-1 [71.3 kB] Get:30 http://deb.debian.org/debian experimental/main amd64 procps amd64 2:4.0.6-1 [985 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libpam-systemd amd64 259.1-1 [315 kB] Get:32 http://deb.debian.org/debian sid/main amd64 bubblewrap amd64 0.11.0-2 [52.0 kB] Get:33 http://deb.debian.org/debian sid/main amd64 libbrotli1 amd64 1.2.0-3 [320 kB] Get:34 http://deb.debian.org/debian sid/main amd64 libpng16-16t64 amd64 1.6.55-1 [288 kB] Get:35 http://deb.debian.org/debian sid/main amd64 libfreetype6 amd64 2.14.1+dfsg-2 [493 kB] Get:36 http://deb.debian.org/debian sid/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB] Get:37 http://deb.debian.org/debian sid/main amd64 fonts-dejavu-core all 2.37-8 [840 kB] Get:38 http://deb.debian.org/debian sid/main amd64 fontconfig-config amd64 2.17.1-5 [56.1 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libfontconfig1 amd64 2.17.1-5 [132 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libpixman-1-0 amd64 0.46.4-1+b1 [259 kB] Get:41 http://deb.debian.org/debian sid/main amd64 libxau6 amd64 1:1.0.11-1+b1 [20.8 kB] Get:42 http://deb.debian.org/debian sid/main amd64 libxdmcp6 amd64 1:1.1.5-2 [27.9 kB] Get:43 http://deb.debian.org/debian sid/main amd64 libxcb1 amd64 1.17.0-2+b2 [144 kB] Get:44 http://deb.debian.org/debian sid/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get:45 http://deb.debian.org/debian sid/main amd64 libx11-6 amd64 2:1.8.12-1+b1 [824 kB] Get:46 http://deb.debian.org/debian sid/main amd64 libxcb-render0 amd64 1.17.0-2+b2 [115 kB] Get:47 http://deb.debian.org/debian sid/main amd64 libxcb-shm0 amd64 1.17.0-2+b2 [105 kB] Get:48 http://deb.debian.org/debian sid/main amd64 libxext6 amd64 2:1.3.4-1+b4 [50.7 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libxrender1 amd64 1:0.9.12-1+b1 [27.7 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libcairo2 amd64 1.18.4-3 [544 kB] Get:51 http://deb.debian.org/debian experimental/main amd64 gcc-16-base amd64 16-20260208-1 [54.4 kB] Get:52 http://deb.debian.org/debian experimental/main amd64 libatomic1 amd64 16-20260208-1 [10.5 kB] Get:53 http://deb.debian.org/debian sid/main amd64 libglib2.0-0t64 amd64 2.87.2-3 [1552 kB] Get:54 http://deb.debian.org/debian sid/main amd64 libsharpyuv0 amd64 1.5.0-0.1+b1 [116 kB] Get:55 http://deb.debian.org/debian sid/main amd64 libdav1d7 amd64 1.5.3-1+b1 [564 kB] Get:56 http://deb.debian.org/debian sid/main amd64 libheif-plugin-dav1d amd64 1.21.2-2 [20.3 kB] Get:57 http://deb.debian.org/debian sid/main amd64 libde265-0 amd64 1.0.16-1+b1 [195 kB] Get:58 http://deb.debian.org/debian sid/main amd64 libheif-plugin-libde265 amd64 1.21.2-2 [17.8 kB] Get:59 http://deb.debian.org/debian sid/main amd64 libheif1 amd64 1.21.2-2 [648 kB] Get:60 http://deb.debian.org/debian experimental/main amd64 libhwy1t64 amd64 1.3.1~git20251202.ee36c83-3 [782 kB] Get:61 http://deb.debian.org/debian sid/main amd64 liblcms2-2 amd64 2.17-1 [163 kB] Get:62 http://deb.debian.org/debian sid/main amd64 libjxl0.11 amd64 0.11.1-6 [1165 kB] Get:63 http://deb.debian.org/debian sid/main amd64 libcairo-gobject2 amd64 1.18.4-3 [130 kB] Get:64 http://deb.debian.org/debian sid/main amd64 fontconfig amd64 2.17.1-5 [191 kB] Get:65 http://deb.debian.org/debian sid/main amd64 libfribidi0 amd64 1.0.16-5 [26.7 kB] Get:66 http://deb.debian.org/debian sid/main amd64 libgraphite2-3 amd64 1.3.14-11+b1 [77.0 kB] Get:67 http://deb.debian.org/debian sid/main amd64 libharfbuzz0b amd64 12.3.2-1 [514 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libthai-data all 0.1.30-1 [172 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libdatrie1 amd64 0.2.14-1 [39.6 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libthai0 amd64 0.1.30-1 [52.2 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libpango-1.0-0 amd64 1.57.0-1 [229 kB] Get:72 http://deb.debian.org/debian sid/main amd64 libpangoft2-1.0-0 amd64 1.57.0-1 [58.7 kB] Get:73 http://deb.debian.org/debian sid/main amd64 libpangocairo-1.0-0 amd64 1.57.0-1 [36.1 kB] Get:74 http://deb.debian.org/debian sid/main amd64 libxml2-16 amd64 2.15.1+dfsg-2+b1 [641 kB] Get:75 http://deb.debian.org/debian sid/main amd64 librsvg2-2 amd64 2.61.3+dfsg-3+b1 [1828 kB] Get:76 http://deb.debian.org/debian sid/main amd64 glycin-loaders amd64 2.0.8-1 [2781 kB] Get:77 http://deb.debian.org/debian sid/main amd64 glycin-thumbnailers amd64 2.0.8-1 [1053 kB] Get:78 http://deb.debian.org/debian sid/main amd64 libgdk-pixbuf2.0-common all 2.44.5+dfsg-4 [315 kB] Get:79 http://deb.debian.org/debian sid/main amd64 shared-mime-info amd64 2.4-5+b3 [758 kB] Get:80 http://deb.debian.org/debian sid/main amd64 libglycin-2-0 amd64 2.0.8-1 [1423 kB] Get:81 http://deb.debian.org/debian sid/main amd64 libgdk-pixbuf-2.0-0 amd64 2.44.5+dfsg-4 [99.0 kB] Get:82 http://deb.debian.org/debian experimental/main amd64 gtk-update-icon-cache amd64 4.21.5+ds-2 [54.0 kB] Get:83 http://deb.debian.org/debian sid/main amd64 hicolor-icon-theme all 0.18-2 [11.8 kB] Get:84 http://deb.debian.org/debian sid/main amd64 adwaita-icon-theme all 50~alpha-1 [508 kB] Get:85 http://deb.debian.org/debian sid/main amd64 at-spi2-common all 2.59.1-2 [174 kB] Get:86 http://deb.debian.org/debian sid/main amd64 libsframe3 amd64 2.46-1 [84.5 kB] Get:87 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.46-1 [2632 kB] Get:88 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.46-1 [549 kB] Get:89 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.46-1 [821 kB] Get:90 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.46-1 [160 kB] Get:91 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.46-1 [92.2 kB] Get:92 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b4 [40.1 kB] Get:93 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.46-1 [1058 kB] Get:94 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.46-1 [282 kB] Get:95 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-3+b2 [1138 kB] Get:96 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.4.0-3 [606 kB] Get:97 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.4.0-3 [505 kB] Get:98 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.8-1+b3 [195 kB] Get:99 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-1+b4 [111 kB] Get:100 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml amd64 9.1.0+dfsg-3+b2 [25.0 MB] Get:101 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.4.0-3 [6478 kB] Get:102 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.4.0-3 [39.3 MB] Get:103 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.4.0-3 [7460 kB] Get:104 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.6+20251231-1 [106 kB] Get:105 http://deb.debian.org/debian experimental/main amd64 libc-dev-bin amd64 2.43-1 [61.4 kB] Get:106 http://deb.debian.org/debian experimental/main amd64 linux-libc-dev all 6.19-1~exp1 [2566 kB] Get:107 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:108 http://deb.debian.org/debian experimental/main amd64 libc6-dev amd64 2.43-1 [2092 kB] Get:109 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.6+20251231-1 [356 kB] Get:110 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.27-1+b1 [663 kB] Get:111 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.2-2+b1 [729 kB] Get:112 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-2+b1 [52.2 kB] Get:113 http://deb.debian.org/debian sid/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-13 [12.1 MB] Get:114 http://deb.debian.org/debian sid/main amd64 cpp-15 amd64 15.2.0-13 [1276 B] Get:115 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-5 [5324 B] Get:116 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:15.2.0-5 [1564 B] Get:117 http://deb.debian.org/debian experimental/main amd64 libcc1-0 amd64 16-20260208-1 [46.2 kB] Get:118 http://deb.debian.org/debian experimental/main amd64 libgomp1 amd64 16-20260208-1 [151 kB] Get:119 http://deb.debian.org/debian experimental/main amd64 libitm1 amd64 16-20260208-1 [26.9 kB] Get:120 http://deb.debian.org/debian experimental/main amd64 libasan8 amd64 16-20260208-1 [2886 kB] Get:121 http://deb.debian.org/debian experimental/main amd64 liblsan0 amd64 16-20260208-1 [1278 kB] Get:122 http://deb.debian.org/debian experimental/main amd64 libtsan2 amd64 16-20260208-1 [2561 kB] Get:123 http://deb.debian.org/debian experimental/main amd64 libubsan1 amd64 16-20260208-1 [1134 kB] Get:124 http://deb.debian.org/debian experimental/main amd64 libhwasan0 amd64 16-20260208-1 [1578 kB] Get:125 http://deb.debian.org/debian experimental/main amd64 libquadmath0 amd64 16-20260208-1 [147 kB] Get:126 http://deb.debian.org/debian sid/main amd64 libgcc-15-dev amd64 15.2.0-13 [2719 kB] Get:127 http://deb.debian.org/debian sid/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-13 [23.4 MB] Get:128 http://deb.debian.org/debian sid/main amd64 gcc-15 amd64 15.2.0-13 [535 kB] Get:129 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-5 [1436 B] Get:130 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:15.2.0-5 [5160 B] Get:131 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.7+dfsg-3+b1 [375 kB] Get:132 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.4.0-3 [18.8 MB] Get:133 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.8-1+b3 [596 kB] Get:134 http://deb.debian.org/debian experimental/main amd64 coq amd64 9.1.0+dfsg-3+b2 [40.2 MB] Get:135 http://deb.debian.org/debian sid/main amd64 dbus-user-session amd64 1.16.2-3 [52.5 kB] Get:136 http://deb.debian.org/debian sid/main amd64 libdconf1 amd64 0.49.0-4 [43.9 kB] Get:137 http://deb.debian.org/debian sid/main amd64 dconf-service amd64 0.49.0-4 [34.0 kB] Get:138 http://deb.debian.org/debian sid/main amd64 dconf-gsettings-backend amd64 0.49.0-4 [30.0 kB] Get:139 http://deb.debian.org/debian sid/main amd64 libatk1.0-0t64 amd64 2.59.1-2 [53.2 kB] Get:140 http://deb.debian.org/debian sid/main amd64 libxi6 amd64 2:1.8.2-2 [79.8 kB] Get:141 http://deb.debian.org/debian sid/main amd64 libatspi2.0-0t64 amd64 2.59.1-2 [82.1 kB] Get:142 http://deb.debian.org/debian sid/main amd64 libatk-bridge2.0-0t64 amd64 2.59.1-2 [70.2 kB] Get:143 http://deb.debian.org/debian sid/main amd64 libavahi-common-data amd64 0.8-18 [113 kB] Get:144 http://deb.debian.org/debian sid/main amd64 libavahi-common3 amd64 0.8-18 [45.2 kB] Get:145 http://deb.debian.org/debian sid/main amd64 libavahi-client3 amd64 0.8-18 [49.2 kB] Get:146 http://deb.debian.org/debian sid/main amd64 libcloudproviders0 amd64 0.4.0-2 [29.1 kB] Get:147 http://deb.debian.org/debian sid/main amd64 libcolord2 amd64 1.4.8-2+b1 [141 kB] Get:148 http://deb.debian.org/debian experimental/main amd64 libcom-err2 amd64 1.47.3~rc3-1 [26.1 kB] Get:149 http://deb.debian.org/debian sid/main amd64 libunistring5 amd64 1.3-2+b1 [466 kB] Get:150 http://deb.debian.org/debian sid/main amd64 libidn2-0 amd64 2.3.8-4+b1 [110 kB] Get:151 http://deb.debian.org/debian experimental/main amd64 libp11-kit0 amd64 0.26.2-1 [469 kB] Get:152 http://deb.debian.org/debian sid/main amd64 libtasn1-6 amd64 4.21.0-2 [50.4 kB] Get:153 http://deb.debian.org/debian sid/main amd64 libgnutls30t64 amd64 3.8.12-2 [1518 kB] Get:154 http://deb.debian.org/debian sid/main amd64 libkrb5support0 amd64 1.22.1-2 [33.1 kB] Get:155 http://deb.debian.org/debian sid/main amd64 libk5crypto3 amd64 1.22.1-2 [81.1 kB] Get:156 http://deb.debian.org/debian sid/main amd64 libkeyutils1 amd64 1.6.3-6+b1 [9784 B] Get:157 http://deb.debian.org/debian sid/main amd64 libkrb5-3 amd64 1.22.1-2 [337 kB] Get:158 http://deb.debian.org/debian sid/main amd64 libgssapi-krb5-2 amd64 1.22.1-2 [139 kB] Get:159 http://deb.debian.org/debian sid/main amd64 libcups2t64 amd64 2.4.16-1 [254 kB] Get:160 http://deb.debian.org/debian sid/main amd64 libepoxy0 amd64 1.5.10-2+b1 [196 kB] Get:161 http://deb.debian.org/debian sid/main amd64 libwayland-client0 amd64 1.24.0-2+b2 [28.8 kB] Get:162 http://deb.debian.org/debian sid/main amd64 libwayland-cursor0 amd64 1.24.0-2+b2 [12.3 kB] Get:163 http://deb.debian.org/debian sid/main amd64 libwayland-egl1 amd64 1.24.0-2+b2 [6216 B] Get:164 http://deb.debian.org/debian sid/main amd64 libxcomposite1 amd64 1:0.4.6-1+b1 [16.6 kB] Get:165 http://deb.debian.org/debian sid/main amd64 libxfixes3 amd64 1:6.0.0-2+b5 [20.3 kB] Get:166 http://deb.debian.org/debian sid/main amd64 libxcursor1 amd64 1:1.2.3-1+b1 [40.3 kB] Get:167 http://deb.debian.org/debian sid/main amd64 libxdamage1 amd64 1:1.1.7-1 [16.0 kB] Get:168 http://deb.debian.org/debian sid/main amd64 libxinerama1 amd64 2:1.1.4-3+b5 [16.0 kB] Get:169 http://deb.debian.org/debian sid/main amd64 xkb-data all 2.46-2 [830 kB] Get:170 http://deb.debian.org/debian sid/main amd64 libxkbcommon0 amd64 1.13.1-1 [148 kB] Get:171 http://deb.debian.org/debian sid/main amd64 libxrandr2 amd64 2:1.5.4-1+b4 [36.5 kB] Get:172 http://deb.debian.org/debian sid/main amd64 libgtk-3-common all 3.24.51-4 [4923 kB] Get:173 http://deb.debian.org/debian sid/main amd64 libgtk-3-0t64 amd64 3.24.51-4 [2932 kB] Get:174 http://deb.debian.org/debian sid/main amd64 libgtksourceview-3.0-common all 3.24.11-7 [276 kB] Get:175 http://deb.debian.org/debian sid/main amd64 libgtksourceview-3.0-1 amd64 3.24.11-7 [225 kB] Get:176 http://deb.debian.org/debian experimental/main amd64 rocqide amd64 9.1.0+dfsg-3+b2 [1948 kB] Preconfiguring packages ... Fetched 259 MB in 6s (42.4 MB/s) (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 ... 4909 files and directories currently installed.) Preparing to unpack .../libc-gconv-modules-extra_2.43-1_amd64.deb ... Unpacking libc-gconv-modules-extra:amd64 (2.43-1) over (2.42-13) ... Setting up libc-gconv-modules-extra:amd64 (2.43-1) ... (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 ... 4909 files and directories currently installed.) Preparing to unpack .../libc6_2.43-1_amd64.deb ... Unpacking libc6:amd64 (2.43-1) over (2.42-13) ... Setting up libc6:amd64 (2.43-1) ... (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 ... 4909 files and directories currently installed.) Preparing to unpack .../libc-bin_2.43-1_amd64.deb ... Unpacking libc-bin (2.43-1) over (2.42-13) ... Setting up libc-bin (2.43-1) ... Selecting previously unselected package libsystemd-shared: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 ... 4909 files and directories currently installed.) Preparing to unpack .../libsystemd-shared_259.1-1_amd64.deb ... Unpacking libsystemd-shared:amd64 (259.1-1) ... Setting up libsystemd-shared:amd64 (259.1-1) ... Selecting previously unselected package systemd. (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 ... 4917 files and directories currently installed.) Preparing to unpack .../systemd_259.1-1_amd64.deb ... Unpacking systemd (259.1-1) ... Setting up systemd (259.1-1) ... Created symlink '/etc/systemd/system/getty.target.wants/getty@tty1.service' → '/usr/lib/systemd/system/getty@.service'. Created symlink '/etc/systemd/system/multi-user.target.wants/remote-fs.target' → '/usr/lib/systemd/system/remote-fs.target'. Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-pstore.service' → '/usr/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. [ESC][0;1;39m/usr/lib/tmpfiles.d/legacy.conf:14: Duplicate line for path "/run/lock", ignoring.[ESC][0m [ESC][0;1;31m"/home" already exists and is not a directory.[ESC][0m 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 ... 5940 files and directories currently installed.) Preparing to unpack .../00-systemd-sysv_259.1-1_amd64.deb ... Unpacking systemd-sysv (259.1-1) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../01-libdbus-1-3_1.16.2-3_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.16.2-3) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../02-dbus-bin_1.16.2-3_amd64.deb ... Unpacking dbus-bin (1.16.2-3) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../03-dbus-session-bus-common_1.16.2-3_all.deb ... Unpacking dbus-session-bus-common (1.16.2-3) ... Selecting previously unselected package libapparmor1:amd64. Preparing to unpack .../04-libapparmor1_4.1.6-2_amd64.deb ... Unpacking libapparmor1:amd64 (4.1.6-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../05-libexpat1_2.7.4-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.4-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../06-dbus-daemon_1.16.2-3_amd64.deb ... Unpacking dbus-daemon (1.16.2-3) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../07-dbus-system-bus-common_1.16.2-3_all.deb ... Unpacking dbus-system-bus-common (1.16.2-3) ... Selecting previously unselected package dbus. Preparing to unpack .../08-dbus_1.16.2-3_amd64.deb ... Unpacking dbus (1.16.2-3) ... Selecting previously unselected package libpython3.14-minimal:amd64. Preparing to unpack .../09-libpython3.14-minimal_3.14.3-1_amd64.deb ... Unpacking libpython3.14-minimal:amd64 (3.14.3-1) ... Selecting previously unselected package python3.14-minimal. Preparing to unpack .../10-python3.14-minimal_3.14.3-1_amd64.deb ... Unpacking python3.14-minimal (3.14.3-1) ... Setting up libpython3.14-minimal:amd64 (3.14.3-1) ... Setting up libexpat1:amd64 (2.7.4-1) ... Setting up python3.14-minimal (3.14.3-1) ... Selecting previously unselected package python3-minimal. (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 ... 6389 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.14.2-1_amd64.deb ... Unpacking python3-minimal (3.14.2-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_14.0.0_all.deb ... Unpacking media-types (14.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../03-libffi8_3.5.2-3+b1_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-3+b1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../04-libncursesw6_6.6+20251231-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.6+20251231-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../05-readline-common_8.3-4_all.deb ... Unpacking readline-common (8.3-4) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../06-libreadline8t64_8.3-4_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-4) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../07-libsqlite3-0_3.46.1-9_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.46.1-9) ... Selecting previously unselected package libpython3.14-stdlib:amd64. Preparing to unpack .../08-libpython3.14-stdlib_3.14.3-1_amd64.deb ... Unpacking libpython3.14-stdlib:amd64 (3.14.3-1) ... Selecting previously unselected package python3.14. Preparing to unpack .../09-python3.14_3.14.3-1_amd64.deb ... Unpacking python3.14 (3.14.3-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../10-libpython3-stdlib_3.14.2-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.14.2-1) ... Setting up python3-minimal (3.14.2-1) ... Selecting previously unselected package python3. (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 ... 6919 files and directories currently installed.) Preparing to unpack .../000-python3_3.14.2-1_amd64.deb ... Unpacking python3 (3.14.2-1) ... Selecting previously unselected package libproc2-1:amd64. Preparing to unpack .../001-libproc2-1_2%3a4.0.6-1_amd64.deb ... Unpacking libproc2-1:amd64 (2:4.0.6-1) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.6-1_amd64.deb ... Unpacking procps (2:4.0.6-1) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../003-libpam-systemd_259.1-1_amd64.deb ... Unpacking libpam-systemd:amd64 (259.1-1) ... Selecting previously unselected package bubblewrap. Preparing to unpack .../004-bubblewrap_0.11.0-2_amd64.deb ... Unpacking bubblewrap (0.11.0-2) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../005-libbrotli1_1.2.0-3_amd64.deb ... Unpacking libbrotli1:amd64 (1.2.0-3) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../006-libpng16-16t64_1.6.55-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.55-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../007-libfreetype6_2.14.1+dfsg-2_amd64.deb ... Unpacking libfreetype6:amd64 (2.14.1+dfsg-2) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../008-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../009-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../010-fontconfig-config_2.17.1-5_amd64.deb ... Unpacking fontconfig-config (2.17.1-5) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../011-libfontconfig1_2.17.1-5_amd64.deb ... Unpacking libfontconfig1:amd64 (2.17.1-5) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../012-libpixman-1-0_0.46.4-1+b1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.46.4-1+b1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../013-libxau6_1%3a1.0.11-1+b1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1+b1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../014-libxdmcp6_1%3a1.1.5-2_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../015-libxcb1_1.17.0-2+b2_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../016-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../017-libx11-6_2%3a1.8.12-1+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1+b1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../018-libxcb-render0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../019-libxcb-shm0_1.17.0-2+b2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../020-libxext6_2%3a1.3.4-1+b4_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b4) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../021-libxrender1_1%3a0.9.12-1+b1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1+b1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../022-libcairo2_1.18.4-3_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-3) ... Selecting previously unselected package gcc-16-base:amd64. Preparing to unpack .../023-gcc-16-base_16-20260208-1_amd64.deb ... Unpacking gcc-16-base:amd64 (16-20260208-1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../024-libatomic1_16-20260208-1_amd64.deb ... Unpacking libatomic1:amd64 (16-20260208-1) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../025-libglib2.0-0t64_2.87.2-3_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.87.2-3) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../026-libsharpyuv0_1.5.0-0.1+b1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.5.0-0.1+b1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../027-libdav1d7_1.5.3-1+b1_amd64.deb ... Unpacking libdav1d7:amd64 (1.5.3-1+b1) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../028-libheif-plugin-dav1d_1.21.2-2_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.21.2-2) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../029-libde265-0_1.0.16-1+b1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.16-1+b1) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../030-libheif-plugin-libde265_1.21.2-2_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.21.2-2) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../031-libheif1_1.21.2-2_amd64.deb ... Unpacking libheif1:amd64 (1.21.2-2) ... Selecting previously unselected package libhwy1t64:amd64. Preparing to unpack .../032-libhwy1t64_1.3.1~git20251202.ee36c83-3_amd64.deb ... Unpacking libhwy1t64:amd64 (1.3.1~git20251202.ee36c83-3) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../033-liblcms2-2_2.17-1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.17-1) ... Selecting previously unselected package libjxl0.11:amd64. Preparing to unpack .../034-libjxl0.11_0.11.1-6_amd64.deb ... Unpacking libjxl0.11:amd64 (0.11.1-6) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../035-libcairo-gobject2_1.18.4-3_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.18.4-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../036-fontconfig_2.17.1-5_amd64.deb ... Unpacking fontconfig (2.17.1-5) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../037-libfribidi0_1.0.16-5_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.16-5) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../038-libgraphite2-3_1.3.14-11+b1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-11+b1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../039-libharfbuzz0b_12.3.2-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (12.3.2-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../040-libthai-data_0.1.30-1_all.deb ... Unpacking libthai-data (0.1.30-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../041-libdatrie1_0.2.14-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.14-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../042-libthai0_0.1.30-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.30-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../043-libpango-1.0-0_1.57.0-1_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.57.0-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../044-libpangoft2-1.0-0_1.57.0-1_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.57.0-1) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../045-libpangocairo-1.0-0_1.57.0-1_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.57.0-1) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../046-libxml2-16_2.15.1+dfsg-2+b1_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.1+dfsg-2+b1) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../047-librsvg2-2_2.61.3+dfsg-3+b1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.61.3+dfsg-3+b1) ... Selecting previously unselected package glycin-loaders. Preparing to unpack .../048-glycin-loaders_2.0.8-1_amd64.deb ... Unpacking glycin-loaders (2.0.8-1) ... Selecting previously unselected package glycin-thumbnailers. Preparing to unpack .../049-glycin-thumbnailers_2.0.8-1_amd64.deb ... Unpacking glycin-thumbnailers (2.0.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../050-libgdk-pixbuf2.0-common_2.44.5+dfsg-4_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.44.5+dfsg-4) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../051-shared-mime-info_2.4-5+b3_amd64.deb ... Unpacking shared-mime-info (2.4-5+b3) ... Selecting previously unselected package libglycin-2-0:amd64. Preparing to unpack .../052-libglycin-2-0_2.0.8-1_amd64.deb ... Unpacking libglycin-2-0:amd64 (2.0.8-1) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../053-libgdk-pixbuf-2.0-0_2.44.5+dfsg-4_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.44.5+dfsg-4) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../054-gtk-update-icon-cache_4.21.5+ds-2_amd64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (4.21.5+ds-2) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../055-hicolor-icon-theme_0.18-2_all.deb ... Unpacking hicolor-icon-theme (0.18-2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../056-adwaita-icon-theme_50~alpha-1_all.deb ... Unpacking adwaita-icon-theme (50~alpha-1) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../057-at-spi2-common_2.59.1-2_all.deb ... Unpacking at-spi2-common (2.59.1-2) ... Selecting previously unselected package libsframe3:amd64. Preparing to unpack .../058-libsframe3_2.46-1_amd64.deb ... Unpacking libsframe3:amd64 (2.46-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../059-binutils-common_2.46-1_amd64.deb ... Unpacking binutils-common:amd64 (2.46-1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../060-libbinutils_2.46-1_amd64.deb ... Unpacking libbinutils:amd64 (2.46-1) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../061-libgprofng0_2.46-1_amd64.deb ... Unpacking libgprofng0:amd64 (2.46-1) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../062-libctf-nobfd0_2.46-1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.46-1) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../063-libctf0_2.46-1_amd64.deb ... Unpacking libctf0:amd64 (2.46-1) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../064-libjansson4_2.14-2+b4_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b4) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../065-binutils-x86-64-linux-gnu_2.46-1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.46-1) ... Selecting previously unselected package binutils. Preparing to unpack .../066-binutils_2.46-1_amd64.deb ... Unpacking binutils (2.46-1) ... Selecting previously unselected package libcoq-core. Preparing to unpack .../067-libcoq-core_9.1.0+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core (9.1.0+dfsg-3+b2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../068-libstdlib-ocaml_5.4.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.4.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../069-ocaml-base_5.4.0-3_amd64.deb ... Unpacking ocaml-base (5.4.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../070-libfindlib-ocaml_1.9.8-1+b3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../071-libzarith-ocaml_1.14-1+b4_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b4) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../072-libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb ... Unpacking libcoq-core-ocaml (9.1.0+dfsg-3+b2) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../073-libstdlib-ocaml-dev_5.4.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.4.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../074-libcompiler-libs-ocaml-dev_5.4.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.4.0-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../075-ocaml-interp_5.4.0-3_amd64.deb ... Unpacking ocaml-interp (5.4.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../076-libncurses6_6.6+20251231-1_amd64.deb ... Unpacking libncurses6:amd64 (6.6+20251231-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../077-libc-dev-bin_2.43-1_amd64.deb ... Unpacking libc-dev-bin (2.43-1) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../078-linux-libc-dev_6.19-1~exp1_all.deb ... Unpacking linux-libc-dev (6.19-1~exp1) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../079-rpcsvc-proto_1.4.3-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.3-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../080-libc6-dev_2.43-1_amd64.deb ... Unpacking libc6-dev:amd64 (2.43-1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../081-libncurses-dev_6.6+20251231-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.6+20251231-1) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../082-libisl23_0.27-1+b1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1+b1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../083-libmpfr6_4.2.2-2+b1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.2-2+b1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../084-libmpc3_1.3.1-2+b1_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-2+b1) ... Selecting previously unselected package cpp-15-x86-64-linux-gnu. Preparing to unpack .../085-cpp-15-x86-64-linux-gnu_15.2.0-13_amd64.deb ... Unpacking cpp-15-x86-64-linux-gnu (15.2.0-13) ... Selecting previously unselected package cpp-15. Preparing to unpack .../086-cpp-15_15.2.0-13_amd64.deb ... Unpacking cpp-15 (15.2.0-13) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../087-cpp-x86-64-linux-gnu_4%3a15.2.0-5_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:15.2.0-5) ... Selecting previously unselected package cpp. Preparing to unpack .../088-cpp_4%3a15.2.0-5_amd64.deb ... Unpacking cpp (4:15.2.0-5) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../089-libcc1-0_16-20260208-1_amd64.deb ... Unpacking libcc1-0:amd64 (16-20260208-1) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../090-libgomp1_16-20260208-1_amd64.deb ... Unpacking libgomp1:amd64 (16-20260208-1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../091-libitm1_16-20260208-1_amd64.deb ... Unpacking libitm1:amd64 (16-20260208-1) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../092-libasan8_16-20260208-1_amd64.deb ... Unpacking libasan8:amd64 (16-20260208-1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../093-liblsan0_16-20260208-1_amd64.deb ... Unpacking liblsan0:amd64 (16-20260208-1) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../094-libtsan2_16-20260208-1_amd64.deb ... Unpacking libtsan2:amd64 (16-20260208-1) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../095-libubsan1_16-20260208-1_amd64.deb ... Unpacking libubsan1:amd64 (16-20260208-1) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../096-libhwasan0_16-20260208-1_amd64.deb ... Unpacking libhwasan0:amd64 (16-20260208-1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../097-libquadmath0_16-20260208-1_amd64.deb ... Unpacking libquadmath0:amd64 (16-20260208-1) ... Selecting previously unselected package libgcc-15-dev:amd64. Preparing to unpack .../098-libgcc-15-dev_15.2.0-13_amd64.deb ... Unpacking libgcc-15-dev:amd64 (15.2.0-13) ... Selecting previously unselected package gcc-15-x86-64-linux-gnu. Preparing to unpack .../099-gcc-15-x86-64-linux-gnu_15.2.0-13_amd64.deb ... Unpacking gcc-15-x86-64-linux-gnu (15.2.0-13) ... Selecting previously unselected package gcc-15. Preparing to unpack .../100-gcc-15_15.2.0-13_amd64.deb ... Unpacking gcc-15 (15.2.0-13) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../101-gcc-x86-64-linux-gnu_4%3a15.2.0-5_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:15.2.0-5) ... Selecting previously unselected package gcc. Preparing to unpack .../102-gcc_4%3a15.2.0-5_amd64.deb ... Unpacking gcc (4:15.2.0-5) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../103-libzstd-dev_1.5.7+dfsg-3+b1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-3+b1) ... Selecting previously unselected package ocaml. Preparing to unpack .../104-ocaml_5.4.0-3_amd64.deb ... Unpacking ocaml (5.4.0-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../105-ocaml-findlib_1.9.8-1+b3_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b3) ... Selecting previously unselected package coq. Preparing to unpack .../106-coq_9.1.0+dfsg-3+b2_amd64.deb ... Unpacking coq (9.1.0+dfsg-3+b2) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../107-dbus-user-session_1.16.2-3_amd64.deb ... Unpacking dbus-user-session (1.16.2-3) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../108-libdconf1_0.49.0-4_amd64.deb ... Unpacking libdconf1:amd64 (0.49.0-4) ... Selecting previously unselected package dconf-service. Preparing to unpack .../109-dconf-service_0.49.0-4_amd64.deb ... Unpacking dconf-service (0.49.0-4) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../110-dconf-gsettings-backend_0.49.0-4_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.49.0-4) ... Selecting previously unselected package libatk1.0-0t64:amd64. Preparing to unpack .../111-libatk1.0-0t64_2.59.1-2_amd64.deb ... Unpacking libatk1.0-0t64:amd64 (2.59.1-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../112-libxi6_2%3a1.8.2-2_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-2) ... Selecting previously unselected package libatspi2.0-0t64:amd64. Preparing to unpack .../113-libatspi2.0-0t64_2.59.1-2_amd64.deb ... Unpacking libatspi2.0-0t64:amd64 (2.59.1-2) ... Selecting previously unselected package libatk-bridge2.0-0t64:amd64. Preparing to unpack .../114-libatk-bridge2.0-0t64_2.59.1-2_amd64.deb ... Unpacking libatk-bridge2.0-0t64:amd64 (2.59.1-2) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../115-libavahi-common-data_0.8-18_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-18) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../116-libavahi-common3_0.8-18_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-18) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../117-libavahi-client3_0.8-18_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-18) ... Selecting previously unselected package libcloudproviders0:amd64. Preparing to unpack .../118-libcloudproviders0_0.4.0-2_amd64.deb ... Unpacking libcloudproviders0:amd64 (0.4.0-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../119-libcolord2_1.4.8-2+b1_amd64.deb ... Unpacking libcolord2:amd64 (1.4.8-2+b1) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../120-libcom-err2_1.47.3~rc3-1_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.3~rc3-1) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../121-libunistring5_1.3-2+b1_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2+b1) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../122-libidn2-0_2.3.8-4+b1_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-4+b1) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../123-libp11-kit0_0.26.2-1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.26.2-1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../124-libtasn1-6_4.21.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.21.0-2) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../125-libgnutls30t64_3.8.12-2_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.12-2) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../126-libkrb5support0_1.22.1-2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.22.1-2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../127-libk5crypto3_1.22.1-2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.22.1-2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../128-libkeyutils1_1.6.3-6+b1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6+b1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../129-libkrb5-3_1.22.1-2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.22.1-2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../130-libgssapi-krb5-2_1.22.1-2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.22.1-2) ... Selecting previously unselected package libcups2t64:amd64. Preparing to unpack .../131-libcups2t64_2.4.16-1_amd64.deb ... Unpacking libcups2t64:amd64 (2.4.16-1) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../132-libepoxy0_1.5.10-2+b1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.10-2+b1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../133-libwayland-client0_1.24.0-2+b2_amd64.deb ... Unpacking libwayland-client0:amd64 (1.24.0-2+b2) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../134-libwayland-cursor0_1.24.0-2+b2_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.24.0-2+b2) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../135-libwayland-egl1_1.24.0-2+b2_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.24.0-2+b2) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../136-libxcomposite1_1%3a0.4.6-1+b1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.6-1+b1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../137-libxfixes3_1%3a6.0.0-2+b5_amd64.deb ... Unpacking libxfixes3:amd64 (1:6.0.0-2+b5) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../138-libxcursor1_1%3a1.2.3-1+b1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.3-1+b1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../139-libxdamage1_1%3a1.1.7-1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.7-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../140-libxinerama1_2%3a1.1.4-3+b5_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-3+b5) ... Selecting previously unselected package xkb-data. Preparing to unpack .../141-xkb-data_2.46-2_all.deb ... Unpacking xkb-data (2.46-2) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../142-libxkbcommon0_1.13.1-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.13.1-1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../143-libxrandr2_2%3a1.5.4-1+b4_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.4-1+b4) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../144-libgtk-3-common_3.24.51-4_all.deb ... Unpacking libgtk-3-common (3.24.51-4) ... Selecting previously unselected package libgtk-3-0t64:amd64. Preparing to unpack .../145-libgtk-3-0t64_3.24.51-4_amd64.deb ... Unpacking libgtk-3-0t64:amd64 (3.24.51-4) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../146-libgtksourceview-3.0-common_3.24.11-7_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-7) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../147-libgtksourceview-3.0-1_3.24.11-7_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-7) ... Selecting previously unselected package rocqide. Preparing to unpack .../148-rocqide_9.1.0+dfsg-3+b2_amd64.deb ... Unpacking rocqide (9.1.0+dfsg-3+b2) ... Setting up libhwy1t64:amd64 (1.3.1~git20251202.ee36c83-3) ... Setting up media-types (14.0.0) ... Setting up bubblewrap (0.11.0-2) ... Setting up libgraphite2-3:amd64 (1.3.14-11+b1) ... Setting up liblcms2-2:amd64 (2.17-1) ... Setting up libpixman-1-0:amd64 (0.46.4-1+b1) ... Setting up libsharpyuv0:amd64 (1.5.0-0.1+b1) ... Setting up systemd-sysv (259.1-1) ... Setting up libxau6:amd64 (1:1.0.11-1+b1) ... Setting up libxdmcp6:amd64 (1:1.1.5-2) ... Setting up libkeyutils1:amd64 (1.6.3-6+b1) ... Setting up libapparmor1:amd64 (4.1.6-2) ... Setting up libxcb1:amd64 (1.17.0-2+b2) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-3+b1) ... Setting up hicolor-icon-theme (0.18-2) ... Setting up libdatrie1:amd64 (0.2.14-1) ... Setting up libxcb-render0:amd64 (1.17.0-2+b2) ... Setting up libxml2-16:amd64 (2.15.1+dfsg-2+b1) ... Setting up libbrotli1:amd64 (1.2.0-3) ... Setting up libsqlite3-0:amd64 (3.46.1-9) ... Setting up libgdk-pixbuf2.0-common (2.44.5+dfsg-4) ... Setting up binutils-common:amd64 (2.46-1) ... Setting up libsframe3:amd64 (2.46-1) ... Setting up linux-libc-dev (6.19-1~exp1) ... Setting up libctf-nobfd0:amd64 (2.46-1) ... Setting up xkb-data (2.46-2) ... Setting up libcoq-core (9.1.0+dfsg-3+b2) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b2) ... Setting up libcom-err2:amd64 (1.47.3~rc3-1) ... Setting up gcc-16-base:amd64 (16-20260208-1) ... Setting up libgomp1:amd64 (16-20260208-1) ... Setting up libjansson4:amd64 (2.14-2+b4) ... Setting up libkrb5support0:amd64 (1.22.1-2) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libproc2-1:amd64 (2:4.0.6-1) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libepoxy0:amd64 (1.5.10-2+b1) ... Setting up libmpfr6:amd64 (4.2.2-2+b1) ... Setting up libavahi-common-data:amd64 (0.8-18) ... Setting up libncurses6:amd64 (6.6+20251231-1) ... Setting up libdbus-1-3:amd64 (1.16.2-3) ... Setting up libfribidi0:amd64 (1.0.16-5) ... Setting up libquadmath0:amd64 (16-20260208-1) ... Setting up libstdlib-ocaml (5.4.0-3) ... Setting up libunistring5:amd64 (1.3-2+b1) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:amd64 (1.6.55-1) ... Setting up libmpc3:amd64 (1.3.1-2+b1) ... Setting up libatomic1:amd64 (16-20260208-1) ... Setting up ocaml-base (5.4.0-3) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up libncursesw6:amd64 (6.6+20251231-1) ... Setting up libk5crypto3:amd64 (1.22.1-2) ... Setting up libubsan1:amd64 (16-20260208-1) ... Setting up libffi8:amd64 (3.5.2-3+b1) ... Setting up libdav1d7:amd64 (1.5.3-1+b1) ... Setting up libhwasan0:amd64 (16-20260208-1) ... Setting up at-spi2-common (2.59.1-2) ... Setting up dbus-session-bus-common (1.16.2-3) ... Setting up libasan8:amd64 (16-20260208-1) ... Setting up procps (2:4.0.6-1) ... Setting up libgtksourceview-3.0-common (3.24.11-7) ... Setting up libtasn1-6:amd64 (4.21.0-2) ... Setting up libx11-6:amd64 (2:1.8.12-1+b1) ... Setting up libthai-data (0.1.30-1) ... Setting up netbase (6.5) ... Setting up libkrb5-3:amd64 (1.22.1-2) ... Setting up libwayland-egl1:amd64 (1.24.0-2+b2) ... Setting up libtsan2:amd64 (16-20260208-1) ... Setting up libbinutils:amd64 (2.46-1) ... Setting up dbus-system-bus-common (1.16.2-3) ... Creating group 'messagebus' with GID 997. Creating user 'messagebus' (System Message Bus) with UID 997 and GID 997. Setting up libisl23:amd64 (0.27-1+b1) ... Setting up libde265-0:amd64 (1.0.16-1+b1) ... Setting up libc-dev-bin (2.43-1) ... Setting up libxcomposite1:amd64 (1:0.4.6-1+b1) ... Setting up libjxl0.11:amd64 (0.11.1-6) ... Setting up readline-common (8.3-4) ... Setting up libcc1-0:amd64 (16-20260208-1) ... Setting up dbus-bin (1.16.2-3) ... Setting up liblsan0:amd64 (16-20260208-1) ... Setting up libitm1:amd64 (16-20260208-1) ... Setting up libxkbcommon0:amd64 (1.13.1-1) ... Setting up libwayland-client0:amd64 (1.24.0-2+b2) ... Setting up libctf0:amd64 (2.46-1) ... Setting up libxdamage1:amd64 (1:1.1.7-1) ... Setting up libgcc-15-dev:amd64 (15.2.0-13) ... Setting up libxrender1:amd64 (1:0.9.12-1+b1) ... Setting up libstdlib-ocaml-dev (5.4.0-3) ... Setting up fontconfig-config (2.17.1-5) ... Setting up libavahi-common3:amd64 (0.8-18) ... Setting up libfindlib-ocaml (1.9.8-1+b3) ... Setting up libxext6:amd64 (2:1.3.4-1+b4) ... Setting up libidn2-0:amd64 (2.3.8-4+b1) ... Setting up dbus-daemon (1.16.2-3) ... Setting up libzarith-ocaml (1.14-1+b4) ... Setting up cpp-15-x86-64-linux-gnu (15.2.0-13) ... Setting up libthai0:amd64 (0.1.30-1) ... Setting up libcompiler-libs-ocaml-dev (5.4.0-3) ... Setting up libglib2.0-0t64:amd64 (2.87.2-3) ... Setting up libgprofng0:amd64 (2.46-1) ... Setting up ocaml-interp (5.4.0-3) ... Setting up libfreetype6:amd64 (2.14.1+dfsg-2) ... Setting up libxfixes3:amd64 (1:6.0.0-2+b5) ... Setting up dbus (1.16.2-3) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up shared-mime-info (2.4-5+b3) ... Setting up libp11-kit0:amd64 (0.26.2-1) ... Setting up libxinerama1:amd64 (2:1.1.4-3+b5) ... Setting up ocaml-findlib (1.9.8-1+b3) ... Setting up libgssapi-krb5-2:amd64 (1.22.1-2) ... Setting up libxrandr2:amd64 (2:1.5.4-1+b4) ... Setting up libreadline8t64:amd64 (8.3-4) ... Setting up libcoq-core-ocaml (9.1.0+dfsg-3+b2) ... Setting up cpp-15 (15.2.0-13) ... Setting up libwayland-cursor0:amd64 (1.24.0-2+b2) ... Setting up libpam-systemd:amd64 (259.1-1) ... Setting up libc6-dev:amd64 (2.43-1) ... Setting up libharfbuzz0b:amd64 (12.3.2-1) ... Setting up libfontconfig1:amd64 (2.17.1-5) ... Setting up libavahi-client3:amd64 (0.8-18) ... Setting up binutils-x86-64-linux-gnu (2.46-1) ... Setting up cpp-x86-64-linux-gnu (4:15.2.0-5) ... Setting up libgnutls30t64:amd64 (3.8.12-2) ... Setting up fontconfig (2.17.1-5) ... Regenerating fonts cache... done. Setting up libncurses-dev:amd64 (6.6+20251231-1) ... Setting up libatk1.0-0t64:amd64 (2.59.1-2) ... Setting up libxi6:amd64 (2:1.8.2-2) ... Setting up libpython3.14-stdlib:amd64 (3.14.3-1) ... Setting up libxcursor1:amd64 (1:1.2.3-1+b1) ... Setting up libpango-1.0-0:amd64 (1.57.0-1) ... Setting up libcloudproviders0:amd64 (0.4.0-2) ... Setting up binutils (2.46-1) ... Setting up libcairo2:amd64 (1.18.4-3) ... Setting up libcolord2:amd64 (1.4.8-2+b1) ... Setting up libdconf1:amd64 (0.49.0-4) ... Setting up gcc-15-x86-64-linux-gnu (15.2.0-13) ... Setting up dbus-user-session (1.16.2-3) ... Setting up gcc-15 (15.2.0-13) ... Setting up libatspi2.0-0t64:amd64 (2.59.1-2) ... Setting up cpp (4:15.2.0-5) ... Setting up libcairo-gobject2:amd64 (1.18.4-3) ... Setting up python3.14 (3.14.3-1) ... Setting up libpangoft2-1.0-0:amd64 (1.57.0-1) ... Setting up libcups2t64:amd64 (2.4.16-1) ... Setting up libpangocairo-1.0-0:amd64 (1.57.0-1) ... Setting up libpython3-stdlib:amd64 (3.14.2-1) ... Setting up libatk-bridge2.0-0t64:amd64 (2.59.1-2) ... Setting up gcc-x86-64-linux-gnu (4:15.2.0-5) ... Setting up dconf-service (0.49.0-4) ... Setting up python3 (3.14.2-1) ... Setting up gcc (4:15.2.0-5) ... Setting up dconf-gsettings-backend:amd64 (0.49.0-4) ... Setting up ocaml (5.4.0-3) ... Setting up coq (9.1.0+dfsg-3+b2) ... Setting up libgtk-3-common (3.24.51-4) ... Setting up librsvg2-2:amd64 (2.61.3+dfsg-3+b1) ... Setting up libheif-plugin-dav1d:amd64 (1.21.2-2) ... Setting up libheif-plugin-libde265:amd64 (1.21.2-2) ... Setting up libheif1:amd64 (1.21.2-2) ... Setting up glycin-loaders (2.0.8-1) ... Setting up libglycin-2-0:amd64 (2.0.8-1) ... Setting up glycin-thumbnailers (2.0.8-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.44.5+dfsg-4) ... Setting up gtk-update-icon-cache (4.21.5+ds-2) ... Setting up adwaita-icon-theme (50~alpha-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 libgtk-3-0t64:amd64 (3.24.51-4) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-7) ... Setting up rocqide (9.1.0+dfsg-3+b2) ... Processing triggers for libc-bin (2.43-1) ... Processing triggers for systemd (259.1-1) ... 0m52.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '-t', 'experimental', 'install', 'rocqide'] 0m52.8s INFO: Running scripts post_install 0m52.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_install_exceptions'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_install_exceptions'] 0m52.9s INFO: Running scripts post_distupgrade 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_exceptions'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_exceptions'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m52.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_zz_backports'] 0m52.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_distupgrade_zz_backports'] 0m52.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m54.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m54.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m55.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m55.4s INFO: Running scripts pre_install 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_database-server'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_database-server'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_exceptions'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_exceptions'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_extras'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_extras'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy'] 0m55.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 1 http://deb.debian.org/debian experimental/main amd64 Packages release o=Debian,a=experimental,n=rc-buggy,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m55.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy'] 0m55.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy', 'rocqide'] 0m55.5s DUMP: rocqide: Installed: 9.1.0+dfsg-3+b2 Candidate: 9.1.0+dfsg-3+b2 Version table: *** 9.1.0+dfsg-3+b2 100 1 http://deb.debian.org/debian experimental/main amd64 Packages 100 /var/lib/dpkg/status 0m55.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-cache', 'policy', 'rocqide'] 0m55.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '-t', 'experimental', 'install', 'rocqide=9.1.0+dfsg-3+b2'] 0m56.0s DUMP: Reading package lists... Building dependency tree... Reading state information... rocqide is already the newest version (9.1.0+dfsg-3+b2). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 9 not upgraded. 0m56.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '-t', 'experimental', 'install', 'rocqide=9.1.0+dfsg-3+b2'] 0m56.0s INFO: Running scripts post_install 0m56.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_install_exceptions'] 0m56.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/post_install_exceptions'] 0m56.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m57.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 0m58.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', '-ac', '--ignore-obsolete'] 1m2.6s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', '-ac', '--ignore-obsolete'] 1m2.6s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m2.6s DUMP: 0.15.9~deb12u1 1m2.6s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m2.6s INFO: Running adequate version 0.15.9~deb12u1 now. 1m2.6s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'rocqide'] 1m2.7s DUMP: rocqide: broken-symlink /usr/share/man/man1/rocqide.byte.1 -> coqide.1 rocqide: broken-symlink /usr/share/man/man1/rocqide.opt.1 -> coqide.1 1m2.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'rocqide'] 1m2.7s ERROR: WARN: Inadequate results from running adequate! rocqide: broken-symlink /usr/share/man/man1/rocqide.byte.1 -> coqide.1 rocqide: broken-symlink /usr/share/man/man1/rocqide.opt.1 -> coqide.1 1m2.7s ERROR: WARN: Running adequate resulted in less interesting tags found: broken-symlink 1m2.7s INFO: Running scripts pre_remove 1m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_exceptions'] 1m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'tmp/scripts/pre_remove_exceptions'] 1m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m7.0s DUMP: install ok installed adwaita-icon-theme adwaita-icon-theme 50~alpha-1 install ok installed apt apt 3.1.15 install ok installed at-spi2-common at-spi2-common 2.59.1-2 install ok installed base-files base-files 14 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-2 install ok installed binutils binutils 2.46-1 install ok installed binutils-common:amd64 binutils-common 2.46-1 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.46-1 install ok installed bsdutils bsdutils 1:2.41.3-3 install ok installed bubblewrap bubblewrap 0.11.0-2 install ok installed coq coq 9.1.0+dfsg-3+b2 install ok installed coreutils coreutils 9.7-3 install ok installed cpp cpp 4:15.2.0-5 install ok installed cpp-15 cpp-15 15.2.0-13 install ok installed cpp-15-x86-64-linux-gnu cpp-15-x86-64-linux-gnu 15.2.0-13 install ok installed cpp-x86-64-linux-gnu cpp-x86-64-linux-gnu 4:15.2.0-5 install ok installed dash dash 0.5.12-12 install ok installed dbus dbus 1.16.2-3 install ok installed dbus-bin dbus-bin 1.16.2-3 install ok installed dbus-daemon dbus-daemon 1.16.2-3 install ok installed dbus-session-bus-common dbus-session-bus-common 1.16.2-3 install ok installed dbus-system-bus-common dbus-system-bus-common 1.16.2-3 install ok installed dbus-user-session dbus-user-session 1.16.2-3 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.49.0-4 install ok installed dconf-service dconf-service 0.49.0-4 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.5 install ok installed findutils findutils 4.10.0-3 install ok installed fontconfig fontconfig 2.17.1-5 install ok installed fontconfig-config fontconfig-config 2.17.1-5 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-8 install ok installed fonts-dejavu-mono fonts-dejavu-mono 2.37-8 install ok installed gcc gcc 4:15.2.0-5 install ok installed gcc-15 gcc-15 15.2.0-13 install ok installed gcc-15-base:amd64 gcc-15-base 15.2.0-13 install ok installed gcc-15-x86-64-linux-gnu gcc-15-x86-64-linux-gnu 15.2.0-13 install ok installed gcc-16-base:amd64 gcc-16-base 16-20260208-1 install ok installed gcc-x86-64-linux-gnu gcc-x86-64-linux-gnu 4:15.2.0-5 install ok installed glycin-loaders glycin-loaders 2.0.8-1 install ok installed glycin-thumbnailers glycin-thumbnailers 2.0.8-1 install ok installed grep grep 3.12-1 install ok installed gtk-update-icon-cache gtk-update-icon-cache 4.21.5+ds-2 install ok installed gzip gzip 1.13-1 install ok installed hicolor-icon-theme hicolor-icon-theme 0.18-2 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.3.2-2+b2 install ok installed libapparmor1:amd64 libapparmor1 4.1.6-2 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.1.15 install ok installed libasan8:amd64 libasan8 16-20260208-1 install ok installed libatk-bridge2.0-0t64:amd64 libatk-bridge2.0-0t64 2.59.1-2 install ok installed libatk1.0-0t64:amd64 libatk1.0-0t64 2.59.1-2 install ok installed libatomic1:amd64 libatomic1 16-20260208-1 install ok installed libatspi2.0-0t64:amd64 libatspi2.0-0t64 2.59.1-2 install ok installed libattr1:amd64 libattr1 1:2.5.2-3+b1 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b1 install ok installed libavahi-client3:amd64 libavahi-client3 0.8-18 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.8-18 install ok installed libavahi-common3:amd64 libavahi-common3 0.8-18 install ok installed libbinutils:amd64 libbinutils 2.46-1 install ok installed libblkid1:amd64 libblkid1 2.41.3-3 install ok installed libbrotli1:amd64 libbrotli1 1.2.0-3 install ok installed libbsd0:amd64 libbsd0 0.12.2-2+b1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b1 install ok installed libc-bin libc-bin 2.43-1 install ok installed libc-dev-bin libc-dev-bin 2.43-1 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.43-1 install ok installed libc6:amd64 libc6 2.43-1 install ok installed libc6-dev:amd64 libc6-dev 2.43-1 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.18.4-3 install ok installed libcairo2:amd64 libcairo2 1.18.4-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b2 install ok installed libcap2:amd64 libcap2 1:2.75-10+b5 install ok installed libcc1-0:amd64 libcc1-0 16-20260208-1 install ok installed libcloudproviders0:amd64 libcloudproviders0 0.4.0-2 install ok installed libcolord2:amd64 libcolord2 1.4.8-2+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.3~rc3-1 install ok installed libcompiler-libs-ocaml-dev libcompiler-libs-ocaml-dev 5.4.0-3 install ok installed libcoq-core libcoq-core 9.1.0+dfsg-3+b2 install ok installed libcoq-core-ocaml libcoq-core-ocaml 9.1.0+dfsg-3+b2 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.1-1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.46-1 install ok installed libctf0:amd64 libctf0 2.46-1 install ok installed libcups2t64:amd64 libcups2t64 2.4.16-1 install ok installed libdatrie1:amd64 libdatrie1 0.2.14-1 install ok installed libdav1d7:amd64 libdav1d7 1.5.3-1+b1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.16.2-3 install ok installed libdconf1:amd64 libdconf1 0.49.0-4 install ok installed libde265-0:amd64 libde265-0 1.0.16-1+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.282+b2 install ok installed libepoxy0:amd64 libepoxy0 1.5.10-2+b1 install ok installed libexpat1:amd64 libexpat1 2.7.4-1 install ok installed libffi8:amd64 libffi8 3.5.2-3+b1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.8-1+b3 install ok installed libfontconfig1:amd64 libfontconfig1 2.17.1-5 install ok installed libfreetype6:amd64 libfreetype6 2.14.1+dfsg-2 install ok installed libfribidi0:amd64 libfribidi0 1.0.16-5 install ok installed libgcc-15-dev:amd64 libgcc-15-dev 15.2.0-13 install ok installed libgcc-s1:amd64 libgcc-s1 15.2.0-13 install ok installed libgdk-pixbuf-2.0-0:amd64 libgdk-pixbuf-2.0-0 2.44.5+dfsg-4 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.44.5+dfsg-4 install ok installed libglib2.0-0t64:amd64 libglib2.0-0t64 2.87.2-3 install ok installed libglycin-2-0:amd64 libglycin-2-0 2.0.8-1 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b1 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.12-2 install ok installed libgomp1:amd64 libgomp1 16-20260208-1 install ok installed libgprofng0:amd64 libgprofng0 2.46-1 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.14-11+b1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.22.1-2 install ok installed libgtk-3-0t64:amd64 libgtk-3-0t64 3.24.51-4 install ok installed libgtk-3-common libgtk-3-common 3.24.51-4 install ok installed libgtksourceview-3.0-1:amd64 libgtksourceview-3.0-1 3.24.11-7 install ok installed libgtksourceview-3.0-common libgtksourceview-3.0-common 3.24.11-7 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 12.3.2-1 install ok installed libheif-plugin-dav1d:amd64 libheif-plugin-dav1d 1.21.2-2 install ok installed libheif-plugin-libde265:amd64 libheif-plugin-libde265 1.21.2-2 install ok installed libheif1:amd64 libheif1 1.21.2-2 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1 install ok installed libhwasan0:amd64 libhwasan0 16-20260208-1 install ok installed libhwy1t64:amd64 libhwy1t64 1.3.1~git20251202.ee36c83-3 install ok installed libidn2-0:amd64 libidn2-0 2.3.8-4+b1 install ok installed libisl23:amd64 libisl23 0.27-1+b1 install ok installed libitm1:amd64 libitm1 16-20260208-1 install ok installed libjansson4:amd64 libjansson4 2.14-2+b4 install ok installed libjxl0.11:amd64 libjxl0.11 0.11.1-6 install ok installed libk5crypto3:amd64 libk5crypto3 1.22.1-2 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-6+b1 install ok installed libkrb5-3:amd64 libkrb5-3 1.22.1-2 install ok installed libkrb5support0:amd64 libkrb5support0 1.22.1-2 install ok installed liblcms2-2:amd64 liblcms2-2 2.17-1 install ok installed liblsan0:amd64 liblsan0 16-20260208-1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-6 install ok installed liblzma5:amd64 liblzma5 5.8.2-2 install ok installed libmd0:amd64 libmd0 1.1.0-2+b2 install ok installed libmount1:amd64 libmount1 2.41.3-3 install ok installed libmpc3:amd64 libmpc3 1.3.1-2+b1 install ok installed libmpfr6:amd64 libmpfr6 4.2.2-2+b1 install ok installed libncurses-dev:amd64 libncurses-dev 6.6+20251231-1 install ok installed libncurses6:amd64 libncurses6 6.6+20251231-1 install ok installed libncursesw6:amd64 libncursesw6 6.6+20251231-1 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.26.2-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5+b1 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam-systemd:amd64 libpam-systemd 259.1-1 install ok installed libpam0g:amd64 libpam0g 1.7.0-5+b1 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.57.0-1 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.57.0-1 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.57.0-1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1+b1 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.46.4-1+b1 install ok installed libpng16-16t64:amd64 libpng16-16t64 1.6.55-1 install ok installed libproc2-1:amd64 libproc2-1 2:4.0.6-1 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.14.2-1 install ok installed libpython3.14-minimal:amd64 libpython3.14-minimal 3.14.3-1 install ok installed libpython3.14-stdlib:amd64 libpython3.14-stdlib 3.14.3-1 install ok installed libquadmath0:amd64 libquadmath0 16-20260208-1 install ok installed libreadline8t64:amd64 libreadline8t64 8.3-4 install ok installed librsvg2-2:amd64 librsvg2-2 2.61.3+dfsg-3+b1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2+b1 install ok installed libselinux1:amd64 libselinux1 3.9-4+b1 install ok installed libsemanage-common libsemanage-common 3.9-1 install ok installed libsemanage2:amd64 libsemanage2 3.9-1+b1 install ok installed libsepol2:amd64 libsepol2 3.9-2 install ok installed libsframe3:amd64 libsframe3 2.46-1 install ok installed libsharpyuv0:amd64 libsharpyuv0 1.5.0-0.1+b1 install ok installed libsmartcols1:amd64 libsmartcols1 2.41.3-3 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-9 install ok installed libssl3t64:amd64 libssl3t64 3.5.5-1 install ok installed libstdc++6:amd64 libstdc++6 15.2.0-13 install ok installed libstdlib-ocaml libstdlib-ocaml 5.4.0-3 install ok installed libstdlib-ocaml-dev libstdlib-ocaml-dev 5.4.0-3 install ok installed libsystemd-shared:amd64 libsystemd-shared 259.1-1 install ok installed libsystemd0:amd64 libsystemd0 259.1-1 install ok installed libtasn1-6:amd64 libtasn1-6 4.21.0-2 install ok installed libthai-data libthai-data 0.1.30-1 install ok installed libthai0:amd64 libthai0 0.1.30-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20251231-1 install ok installed libtsan2:amd64 libtsan2 16-20260208-1 install ok installed libubsan1:amd64 libubsan1 16-20260208-1 install ok installed libudev1:amd64 libudev1 259.1-1 install ok installed libunistring5:amd64 libunistring5 1.3-2+b1 install ok installed libuuid1:amd64 libuuid1 2.41.3-3 install ok installed libwayland-client0:amd64 libwayland-client0 1.24.0-2+b2 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.24.0-2+b2 install ok installed libwayland-egl1:amd64 libwayland-egl1 1.24.0-2+b2 install ok installed libx11-6:amd64 libx11-6 2:1.8.12-1+b1 install ok installed libx11-data libx11-data 2:1.8.12-1 install ok installed libxau6:amd64 libxau6 1:1.0.11-1+b1 install ok installed libxcb-render0:amd64 libxcb-render0 1.17.0-2+b2 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.17.0-2+b2 install ok installed libxcb1:amd64 libxcb1 1.17.0-2+b2 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.6-1+b1 install ok installed libxcursor1:amd64 libxcursor1 1:1.2.3-1+b1 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.7-1 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.5-2 install ok installed libxext6:amd64 libxext6 2:1.3.4-1+b4 install ok installed libxfixes3:amd64 libxfixes3 1:6.0.0-2+b5 install ok installed libxi6:amd64 libxi6 2:1.8.2-2 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.4-3+b5 install ok installed libxkbcommon0:amd64 libxkbcommon0 1.13.1-1 install ok installed libxml2-16:amd64 libxml2-16 2.15.1+dfsg-2+b1 install ok installed libxrandr2:amd64 libxrandr2 2:1.5.4-1+b4 install ok installed libxrender1:amd64 libxrender1 1:0.9.12-1+b1 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b1 install ok installed libzarith-ocaml libzarith-ocaml 1.14-1+b4 install ok installed libzstd-dev:amd64 libzstd-dev 1.5.7+dfsg-3+b1 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-3+b1 install ok installed linux-libc-dev linux-libc-dev 6.19-1~exp1 install ok installed login login 1:4.16.0-2+really2.41.3-3 install ok installed login.defs login.defs 1:4.19.2-1 install ok installed mawk mawk 1.3.4.20260129-1 install ok installed media-types media-types 14.0.0 install ok installed mount mount 2.41.3-3 install ok installed ncurses-base ncurses-base 6.6+20251231-1 install ok installed ncurses-bin ncurses-bin 6.6+20251231-1 install ok installed netbase netbase 6.5 install ok installed ocaml ocaml 5.4.0-3 install ok installed ocaml-base ocaml-base 5.4.0-3 install ok installed ocaml-findlib ocaml-findlib 1.9.8-1+b3 install ok installed ocaml-interp ocaml-interp 5.4.0-3 install ok installed openssl-provider-legacy openssl-provider-legacy 3.5.5-1 install ok installed passwd passwd 1:4.19.2-1 install ok installed perl-base perl-base 5.40.1-7 install ok installed procps procps 2:4.0.6-1 install ok installed python3 python3 3.14.2-1 install ok installed python3-minimal python3-minimal 3.14.2-1 install ok installed python3.14 python3.14 3.14.3-1 install ok installed python3.14-minimal python3.14-minimal 3.14.3-1 install ok installed readline-common readline-common 8.3-4 install ok installed rocqide rocqide 9.1.0+dfsg-3+b2 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-2 install ok installed shared-mime-info shared-mime-info 2.4-5+b3 install ok installed sqv sqv 1.3.0-5 install ok installed systemd systemd 259.1-1 install ok installed systemd-sysv systemd-sysv 259.1-1 install ok installed sysvinit-utils sysvinit-utils 3.15-6 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025c-3 install ok installed util-linux util-linux 2.41.3-3 install ok installed xkb-data xkb-data 2.46-2 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-2 1m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '--no-install-recommends', '--force-yes', 'install', 'libc-bin=2.42-13', 'libc-gconv-modules-extra:amd64=2.42-13', 'libc6:amd64=2.42-13', 'adwaita-icon-theme-', 'at-spi2-common-', 'binutils-', 'binutils-common:amd64-', 'binutils-x86-64-linux-gnu-', 'bubblewrap-', 'coq-', 'cpp-', 'cpp-15-', 'cpp-15-x86-64-linux-gnu-', 'cpp-x86-64-linux-gnu-', 'dbus-', 'dbus-bin-', 'dbus-daemon-', 'dbus-session-bus-common-', 'dbus-system-bus-common-', 'dbus-user-session-', 'dconf-gsettings-backend:amd64-', 'dconf-service-', 'fontconfig-', 'fontconfig-config-', 'fonts-dejavu-core-', 'fonts-dejavu-mono-', 'gcc-', 'gcc-15-', 'gcc-15-x86-64-linux-gnu-', 'gcc-16-base:amd64-', 'gcc-x86-64-linux-gnu-', 'glycin-loaders-', 'glycin-thumbnailers-', 'gtk-update-icon-cache-', 'hicolor-icon-theme-', 'libapparmor1:amd64-', 'libasan8:amd64-', 'libatk-bridge2.0-0t64:amd64-', 'libatk1.0-0t64:amd64-', 'libatomic1:amd64-', 'libatspi2.0-0t64:amd64-', 'libavahi-client3:amd64-', 'libavahi-common-data:amd64-', 'libavahi-common3:amd64-', 'libbinutils:amd64-', 'libbrotli1:amd64-', 'libc-dev-bin-', 'libc6-dev:amd64-', 'libcairo-gobject2:amd64-', 'libcairo2:amd64-', 'libcc1-0:amd64-', 'libcloudproviders0:amd64-', 'libcolord2:amd64-', 'libcom-err2:amd64-', 'libcompiler-libs-ocaml-dev-', 'libcoq-core-', 'libcoq-core-ocaml-', 'libctf-nobfd0:amd64-', 'libctf0:amd64-', 'libcups2t64:amd64-', 'libdatrie1:amd64-', 'libdav1d7:amd64-', 'libdbus-1-3:amd64-', 'libdconf1:amd64-', 'libde265-0:amd64-', 'libepoxy0:amd64-', 'libexpat1:amd64-', 'libffi8:amd64-', 'libfindlib-ocaml-', 'libfontconfig1:amd64-', 'libfreetype6:amd64-', 'libfribidi0:amd64-', 'libgcc-15-dev:amd64-', 'libgdk-pixbuf-2.0-0:amd64-', 'libgdk-pixbuf2.0-common-', 'libglib2.0-0t64:amd64-', 'libglycin-2-0:amd64-', 'libgnutls30t64:amd64-', 'libgomp1:amd64-', 'libgprofng0:amd64-', 'libgraphite2-3:amd64-', 'libgssapi-krb5-2:amd64-', 'libgtk-3-0t64:amd64-', 'libgtk-3-common-', 'libgtksourceview-3.0-1:amd64-', 'libgtksourceview-3.0-common-', 'libharfbuzz0b:amd64-', 'libheif-plugin-dav1d:amd64-', 'libheif-plugin-libde265:amd64-', 'libheif1:amd64-', 'libhwasan0:amd64-', 'libhwy1t64:amd64-', 'libidn2-0:amd64-', 'libisl23:amd64-', 'libitm1:amd64-', 'libjansson4:amd64-', 'libjxl0.11:amd64-', 'libk5crypto3:amd64-', 'libkeyutils1:amd64-', 'libkrb5-3:amd64-', 'libkrb5support0:amd64-', 'liblcms2-2:amd64-', 'liblsan0:amd64-', 'libmpc3:amd64-', 'libmpfr6:amd64-', 'libncurses-dev:amd64-', 'libncurses6:amd64-', 'libncursesw6:amd64-', 'libp11-kit0:amd64-', 'libpam-systemd:amd64-', 'libpango-1.0-0:amd64-', 'libpangocairo-1.0-0:amd64-', 'libpangoft2-1.0-0:amd64-', 'libpixman-1-0:amd64-', 'libpng16-16t64:amd64-', 'libproc2-1:amd64-', 'libpython3-stdlib:amd64-', 'libpython3.14-minimal:amd64-', 'libpython3.14-stdlib:amd64-', 'libquadmath0:amd64-', 'libreadline8t64:amd64-', 'librsvg2-2:amd64-', 'libsframe3:amd64-', 'libsharpyuv0:amd64-', 'libsqlite3-0:amd64-', 'libstdlib-ocaml-', 'libstdlib-ocaml-dev-', 'libsystemd-shared:amd64-', 'libtasn1-6:amd64-', 'libthai-data-', 'libthai0:amd64-', 'libtsan2:amd64-', 'libubsan1:amd64-', 'libunistring5:amd64-', 'libwayland-client0:amd64-', 'libwayland-cursor0:amd64-', 'libwayland-egl1:amd64-', 'libx11-6:amd64-', 'libx11-data-', 'libxau6:amd64-', 'libxcb-render0:amd64-', 'libxcb-shm0:amd64-', 'libxcb1:amd64-', 'libxcomposite1:amd64-', 'libxcursor1:amd64-', 'libxdamage1:amd64-', 'libxdmcp6:amd64-', 'libxext6:amd64-', 'libxfixes3:amd64-', 'libxi6:amd64-', 'libxinerama1:amd64-', 'libxkbcommon0:amd64-', 'libxml2-16:amd64-', 'libxrandr2:amd64-', 'libxrender1:amd64-', 'libzarith-ocaml-', 'libzstd-dev:amd64-', 'linux-libc-dev-', 'media-types-', 'netbase-', 'ocaml-', 'ocaml-base-', 'ocaml-findlib-', 'ocaml-interp-', 'procps-', 'python3-', 'python3-minimal-', 'python3.14-', 'python3.14-minimal-', 'readline-common-', 'rpcsvc-proto-', 'shared-mime-info-', 'systemd-', 'systemd-sysv-', 'xkb-data-', 'rocqide-'] 1m7.5s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages will be REMOVED: adwaita-icon-theme at-spi2-common binutils binutils-common binutils-x86-64-linux-gnu bubblewrap coq cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-16-base gcc-x86-64-linux-gnu glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcloudproviders0 libcolord2 libcom-err2 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libctf-nobfd0 libctf0 libcups2t64 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libde265-0 libepoxy0 libexpat1 libffi8 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libglib2.0-0t64 libglycin-2-0 libgnutls30t64 libgomp1 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libhwasan0 libhwy1t64 libidn2-0 libisl23 libitm1 libjansson4 libjxl0.11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libp11-kit0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 libproc2-1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib libquadmath0 libreadline8t64 librsvg2-2 libsframe3 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libtasn1-6 libthai-data libthai0 libtsan2 libubsan1 libunistring5 libwayland-client0 libwayland-cursor0 libwayland-egl1 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2-16 libxrandr2 libxrender1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp procps python3 python3-minimal python3.14 python3.14-minimal readline-common rocqide rpcsvc-proto shared-mime-info systemd systemd-sysv xkb-data The following packages will be DOWNGRADED: libc-bin libc-gconv-modules-extra libc6 WARNING: The following essential packages will be removed. This should NOT be done unless you know exactly what you are doing! systemd-sysv systemd (due to systemd-sysv) 0 upgraded, 0 newly installed, 3 downgraded, 173 to remove and 0 not upgraded. Need to get 3580 kB of archives. After this operation, 1074 MB disk space will be freed. W: --force-yes is deprecated, use one of the options starting with --allow instead. E: Removing essential system-critical packages is not permitted. This might break the system. 1m7.5s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod', 'apt-get', '-y', '--no-install-recommends', '--force-yes', 'install', 'libc-bin=2.42-13', 'libc-gconv-modules-extra:amd64=2.42-13', 'libc6:amd64=2.42-13', 'adwaita-icon-theme-', 'at-spi2-common-', 'binutils-', 'binutils-common:amd64-', 'binutils-x86-64-linux-gnu-', 'bubblewrap-', 'coq-', 'cpp-', 'cpp-15-', 'cpp-15-x86-64-linux-gnu-', 'cpp-x86-64-linux-gnu-', 'dbus-', 'dbus-bin-', 'dbus-daemon-', 'dbus-session-bus-common-', 'dbus-system-bus-common-', 'dbus-user-session-', 'dconf-gsettings-backend:amd64-', 'dconf-service-', 'fontconfig-', 'fontconfig-config-', 'fonts-dejavu-core-', 'fonts-dejavu-mono-', 'gcc-', 'gcc-15-', 'gcc-15-x86-64-linux-gnu-', 'gcc-16-base:amd64-', 'gcc-x86-64-linux-gnu-', 'glycin-loaders-', 'glycin-thumbnailers-', 'gtk-update-icon-cache-', 'hicolor-icon-theme-', 'libapparmor1:amd64-', 'libasan8:amd64-', 'libatk-bridge2.0-0t64:amd64-', 'libatk1.0-0t64:amd64-', 'libatomic1:amd64-', 'libatspi2.0-0t64:amd64-', 'libavahi-client3:amd64-', 'libavahi-common-data:amd64-', 'libavahi-common3:amd64-', 'libbinutils:amd64-', 'libbrotli1:amd64-', 'libc-dev-bin-', 'libc6-dev:amd64-', 'libcairo-gobject2:amd64-', 'libcairo2:amd64-', 'libcc1-0:amd64-', 'libcloudproviders0:amd64-', 'libcolord2:amd64-', 'libcom-err2:amd64-', 'libcompiler-libs-ocaml-dev-', 'libcoq-core-', 'libcoq-core-ocaml-', 'libctf-nobfd0:amd64-', 'libctf0:amd64-', 'libcups2t64:amd64-', 'libdatrie1:amd64-', 'libdav1d7:amd64-', 'libdbus-1-3:amd64-', 'libdconf1:amd64-', 'libde265-0:amd64-', 'libepoxy0:amd64-', 'libexpat1:amd64-', 'libffi8:amd64-', 'libfindlib-ocaml-', 'libfontconfig1:amd64-', 'libfreetype6:amd64-', 'libfribidi0:amd64-', 'libgcc-15-dev:amd64-', 'libgdk-pixbuf-2.0-0:amd64-', 'libgdk-pixbuf2.0-common-', 'libglib2.0-0t64:amd64-', 'libglycin-2-0:amd64-', 'libgnutls30t64:amd64-', 'libgomp1:amd64-', 'libgprofng0:amd64-', 'libgraphite2-3:amd64-', 'libgssapi-krb5-2:amd64-', 'libgtk-3-0t64:amd64-', 'libgtk-3-common-', 'libgtksourceview-3.0-1:amd64-', 'libgtksourceview-3.0-common-', 'libharfbuzz0b:amd64-', 'libheif-plugin-dav1d:amd64-', 'libheif-plugin-libde265:amd64-', 'libheif1:amd64-', 'libhwasan0:amd64-', 'libhwy1t64:amd64-', 'libidn2-0:amd64-', 'libisl23:amd64-', 'libitm1:amd64-', 'libjansson4:amd64-', 'libjxl0.11:amd64-', 'libk5crypto3:amd64-', 'libkeyutils1:amd64-', 'libkrb5-3:amd64-', 'libkrb5support0:amd64-', 'liblcms2-2:amd64-', 'liblsan0:amd64-', 'libmpc3:amd64-', 'libmpfr6:amd64-', 'libncurses-dev:amd64-', 'libncurses6:amd64-', 'libncursesw6:amd64-', 'libp11-kit0:amd64-', 'libpam-systemd:amd64-', 'libpango-1.0-0:amd64-', 'libpangocairo-1.0-0:amd64-', 'libpangoft2-1.0-0:amd64-', 'libpixman-1-0:amd64-', 'libpng16-16t64:amd64-', 'libproc2-1:amd64-', 'libpython3-stdlib:amd64-', 'libpython3.14-minimal:amd64-', 'libpython3.14-stdlib:amd64-', 'libquadmath0:amd64-', 'libreadline8t64:amd64-', 'librsvg2-2:amd64-', 'libsframe3:amd64-', 'libsharpyuv0:amd64-', 'libsqlite3-0:amd64-', 'libstdlib-ocaml-', 'libstdlib-ocaml-dev-', 'libsystemd-shared:amd64-', 'libtasn1-6:amd64-', 'libthai-data-', 'libthai0:amd64-', 'libtsan2:amd64-', 'libubsan1:amd64-', 'libunistring5:amd64-', 'libwayland-client0:amd64-', 'libwayland-cursor0:amd64-', 'libwayland-egl1:amd64-', 'libx11-6:amd64-', 'libx11-data-', 'libxau6:amd64-', 'libxcb-render0:amd64-', 'libxcb-shm0:amd64-', 'libxcb1:amd64-', 'libxcomposite1:amd64-', 'libxcursor1:amd64-', 'libxdamage1:amd64-', 'libxdmcp6:amd64-', 'libxext6:amd64-', 'libxfixes3:amd64-', 'libxi6:amd64-', 'libxinerama1:amd64-', 'libxkbcommon0:amd64-', 'libxml2-16:amd64-', 'libxrandr2:amd64-', 'libxrender1:amd64-', 'libzarith-ocaml-', 'libzstd-dev:amd64-', 'linux-libc-dev-', 'media-types-', 'netbase-', 'ocaml-', 'ocaml-base-', 'ocaml-findlib-', 'ocaml-interp-', 'procps-', 'python3-', 'python3-minimal-', 'python3.14-', 'python3.14-minimal-', 'readline-common-', 'rpcsvc-proto-', 'shared-mime-info-', 'systemd-', 'systemd-sysv-', 'xkb-data-', 'rocqide-'] Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages will be REMOVED: adwaita-icon-theme at-spi2-common binutils binutils-common binutils-x86-64-linux-gnu bubblewrap coq cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu dbus dbus-bin dbus-daemon dbus-session-bus-common dbus-system-bus-common dbus-user-session dconf-gsettings-backend dconf-service fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-16-base gcc-x86-64-linux-gnu glycin-loaders glycin-thumbnailers gtk-update-icon-cache hicolor-icon-theme libapparmor1 libasan8 libatk-bridge2.0-0t64 libatk1.0-0t64 libatomic1 libatspi2.0-0t64 libavahi-client3 libavahi-common-data libavahi-common3 libbinutils libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcc1-0 libcloudproviders0 libcolord2 libcom-err2 libcompiler-libs-ocaml-dev libcoq-core libcoq-core-ocaml libctf-nobfd0 libctf0 libcups2t64 libdatrie1 libdav1d7 libdbus-1-3 libdconf1 libde265-0 libepoxy0 libexpat1 libffi8 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-15-dev libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libglib2.0-0t64 libglycin-2-0 libgnutls30t64 libgomp1 libgprofng0 libgraphite2-3 libgssapi-krb5-2 libgtk-3-0t64 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libheif-plugin-dav1d libheif-plugin-libde265 libheif1 libhwasan0 libhwy1t64 libidn2-0 libisl23 libitm1 libjansson4 libjxl0.11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libp11-kit0 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpixman-1-0 libpng16-16t64 libproc2-1 libpython3-stdlib libpython3.14-minimal libpython3.14-stdlib libquadmath0 libreadline8t64 librsvg2-2 libsframe3 libsharpyuv0 libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev libsystemd-shared libtasn1-6 libthai-data libthai0 libtsan2 libubsan1 libunistring5 libwayland-client0 libwayland-cursor0 libwayland-egl1 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2-16 libxrandr2 libxrender1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp procps python3 python3-minimal python3.14 python3.14-minimal readline-common rocqide rpcsvc-proto shared-mime-info systemd systemd-sysv xkb-data The following packages will be DOWNGRADED: libc-bin libc-gconv-modules-extra libc6 WARNING: The following essential packages will be removed. This should NOT be done unless you know exactly what you are doing! systemd-sysv systemd (due to systemd-sysv) 0 upgraded, 0 newly installed, 3 downgraded, 173 to remove and 0 not upgraded. Need to get 3580 kB of archives. After this operation, 1074 MB disk space will be freed. W: --force-yes is deprecated, use one of the options starting with --allow instead. E: Removing essential system-critical packages is not permitted. This might break the system. 1m8.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/shm'] 1m8.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/shm'] 1m8.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/console'] 1m8.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/console'] 1m8.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/ptmx'] 1m8.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/ptmx'] 1m8.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts'] 1m8.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/dev/pts'] 1m8.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/proc'] 1m8.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod/proc'] 1m8.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 1m9.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp8l8z9xod'] 1m9.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp8l8z9xod 1m9.6s ERROR: piuparts run ends. ret=1 End: 2026-02-15 05:08:40 GMT