Start: 2024-12-03 17:20:12 GMT [bookworm] Package: coq Source: coq (8.16.1+dfsg-1) Version: 8.16.1+dfsg-1+b2 Installed-Size: 352732 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.16.1+4.13.1 Depends: libcoq-stdlib (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), ocaml-nox, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.16.1+dfsg-1+b2_amd64.deb Size: 93212572 MD5sum: f6794aca0a7a2eea78ddbb0f0bee49b6 SHA256: 6496db435f9585e1f1527d9418070f15977b049c01c37c9bd33f7cc4152f8677 [bookworm-next] Package: coq Source: coq (8.16.1+dfsg-1) Version: 8.16.1+dfsg-1+b2 Installed-Size: 352732 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.16.1+4.13.1 Depends: libcoq-stdlib (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), ocaml-nox, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.16.1+dfsg-1+b2_amd64.deb Size: 93212572 MD5sum: f6794aca0a7a2eea78ddbb0f0bee49b6 SHA256: 6496db435f9585e1f1527d9418070f15977b049c01c37c9bd33f7cc4152f8677 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz -d bookworm -d bookworm-next -B /srv/piuparts.debian.org/slave/refchroot/bookworm2next/reference-chroot-metadata.dat --apt coq=8.16.1+dfsg-1+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.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz -d bookworm -d bookworm-next -B /srv/piuparts.debian.org/slave/refchroot/bookworm2next/reference-chroot-metadata.dat --apt coq=8.16.1+dfsg-1+b2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp9n2xsirh 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp9n2xsirh 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bookworm-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp9n2xsirh/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'update'] 0m0.7s DUMP: Hit:1 http://deb.debian.org/debian bookworm InRelease Reading package lists... 0m0.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'update'] 0m0.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-yf', 'dist-upgrade'] 0m0.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-yf', 'dist-upgrade'] 0m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m1.1s DUMP: 9667be4591f2cce307f0cd9e8fe66190 - 0m1.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m1.1s INFO: Running scripts post_setup 0m1.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_dummy_users'] 0m1.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 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_dummy_users'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_forbid_home'] 0m1.5s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_forbid_home'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.5s 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' 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_minimize'] 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_minimize'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_zz_backports'] 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_setup_zz_backports'] 0m1.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.5s DUMP: install ok installed adduser adduser 3.134 install ok installed apt apt 2.6.1 install ok installed base-files base-files 12.4+deb12u8 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2+b7 install ok installed bsdutils bsdutils 1:2.38.1-5+deb12u2 install ok installed coreutils coreutils 9.1-1 install ok installed dash dash 0.5.12-2 install ok installed debconf debconf 1.5.82 install ok installed debian-archive-keyring debian-archive-keyring 2023.3+deb12u1 install ok installed debianutils debianutils 5.7-0.5~deb12u1 install ok installed diffutils diffutils 1:3.8-4 install ok installed dpkg dpkg 1.21.22 install ok installed e2fsprogs e2fsprogs 1.47.0-2 install ok installed findutils findutils 4.9.0-4 install ok installed gcc-12-base:amd64 gcc-12-base 12.2.0-14 install ok installed gpgv gpgv 2.2.40-1.1 install ok installed grep grep 3.8-5 install ok installed gzip gzip 1.12-1 install ok installed hostname hostname 3.23+nmu1 install ok installed init-system-helpers init-system-helpers 1.65.2 install ok installed libacl1:amd64 libacl1 2.3.1-3 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.6.1 install ok installed libattr1:amd64 libattr1 1:2.5.1-4 install ok installed libaudit-common libaudit-common 1:3.0.9-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.9-1 install ok installed libblkid1:amd64 libblkid1 2.38.1-5+deb12u2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.36-9+deb12u9 install ok installed libc6:amd64 libc6 2.36-9+deb12u9 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.3-1+b3 install ok installed libcap2:amd64 libcap2 1:2.66-4 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.33-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.270 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2 install ok installed libffi8:amd64 libffi8 3.4.4-1 install ok installed libgcc-s1:amd64 libgcc-s1 12.2.0-14 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.1-3 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg1-1.1 install ok installed libgnutls30:amd64 libgnutls30 3.7.9-2+deb12u3 install ok installed libgpg-error0:amd64 libgpg-error0 1.46-1 install ok installed libhogweed6:amd64 libhogweed6 3.8.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.3-1+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.1-0.2 install ok installed libmd0:amd64 libmd0 1.0.4-2 install ok installed libmount1:amd64 libmount1 2.38.1-5+deb12u2 install ok installed libnettle8:amd64 libnettle8 3.8.1-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6+deb12u1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6+deb12u1 install ok installed libpam-runtime libpam-runtime 1.5.2-6+deb12u1 install ok installed libpam0g:amd64 libpam0g 1.5.2-6+deb12u1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+deb12u1 install ok installed libselinux1:amd64 libselinux1 3.4-1+b6 install ok installed libsemanage-common libsemanage-common 3.4-1 install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5 install ok installed libsepol2:amd64 libsepol2 3.4-2.1 install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-5+deb12u2 install ok installed libss2:amd64 libss2 1.47.0-2 install ok installed libstdc++6:amd64 libstdc++6 12.2.0-14 install ok installed libsystemd0:amd64 libsystemd0 252.31-1~deb12u1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.4-4 install ok installed libudev1:amd64 libudev1 252.31-1~deb12u1 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-5+deb12u2 install ok installed libxxhash0:amd64 libxxhash0 0.8.1-1 install ok installed libzstd1:amd64 libzstd1 1.5.4+dfsg2-5 install ok installed login login 1:4.13+dfsg1-1+b1 install ok installed logsave logsave 1.47.0-2 install ok installed mawk mawk 1.3.4.20200120-3.1 install ok installed mount mount 2.38.1-5+deb12u2 install ok installed ncurses-base ncurses-base 6.4-4 install ok installed ncurses-bin ncurses-bin 6.4-4 install ok installed passwd passwd 1:4.13+dfsg1-1+b1 install ok installed perl-base perl-base 5.36.0-7+deb12u1 install ok installed sed sed 4.9-1 install ok installed sysvinit-utils sysvinit-utils 3.06-4 install ok installed tar tar 1.34+dfsg-1.2+deb12u1 install ok installed tzdata tzdata 2024a-0+deb12u1 install ok installed usr-is-merged usr-is-merged 37~deb12u1 install ok installed util-linux util-linux 2.38.1-5+deb12u2 install ok installed util-linux-extra util-linux-extra 2.38.1-5+deb12u2 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m1.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.5s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/bookworm2next/reference-chroot-metadata.dat 0m1.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m1.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m1.7s INFO: Running scripts is_testable 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/is_testable_uninstallable'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/is_testable_uninstallable'] 0m1.7s INFO: Running scripts pre_test 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_test_exceptions'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_test_exceptions'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_test_root_password'] 0m1.8s DUMP: New password: Retype new password: passwd: password updated successfully 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_test_root_password'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m1.8s DUMP: Package: coq Source: coq (8.16.1+dfsg-1) Version: 8.16.1+dfsg-1+b2 Installed-Size: 352732 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.16.1+4.13.1 Depends: libcoq-stdlib (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), ocaml-nox, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. Description-md5: 2c4259e8b83c839ff539d48b854ee31a Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.16.1+dfsg-1+b2_amd64.deb Size: 93212572 MD5sum: f6794aca0a7a2eea78ddbb0f0bee49b6 SHA256: 6496db435f9585e1f1527d9418070f15977b049c01c37c9bd33f7cc4152f8677 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m1.8s INFO: apt-cache knows about the following packages: coq 0m1.8s INFO: Running scripts pre_install 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m1.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.8,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m1.9s DUMP: coq: Installed: (none) Candidate: 8.16.1+dfsg-1+b2 Version table: 8.16.1+dfsg-1+b2 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq'] 0m22.6s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-core-ocaml libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libfindlib-ocaml libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libreadline8 libsqlite3-0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libzarith-ocaml linux-libc-dev media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.11 python3.11-minimal readline-common rpcsvc-proto Suggested packages: binutils-doc coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why coq-doc cpp-doc gcc-12-locales cpp-12-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-12-multilib gcc-12-doc glibc-doc krb5-doc krb5-user ncurses-doc ocaml-doc elpa-tuareg camlp4 python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support readline-doc Recommended packages: manpages manpages-dev libc-devtools krb5-locales libgpm2 ocaml-man file libfindlib-ocaml-dev ledit | readline-editor ca-certificates The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-core-ocaml libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libfindlib-ocaml libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libreadline8 libsqlite3-0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libzarith-ocaml linux-libc-dev media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.11 python3.11-minimal readline-common rpcsvc-proto 0 upgraded, 67 newly installed, 0 to remove and 0 not upgraded. Need to get 308 MB of archives. After this operation, 1276 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libssl3 amd64 3.0.15-1~deb12u1 [2025 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6+deb12u4 [815 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1+deb12u1 [98.9 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6+deb12u4 [2066 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get:6 http://deb.debian.org/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get:7 http://deb.debian.org/debian bookworm/main amd64 libncursesw6 amd64 6.4-4 [134 kB] Get:8 http://deb.debian.org/debian bookworm/main amd64 libkrb5support0 amd64 1.20.1-2+deb12u2 [32.6 kB] Get:9 http://deb.debian.org/debian bookworm/main amd64 libk5crypto3 amd64 1.20.1-2+deb12u2 [78.7 kB] Get:10 http://deb.debian.org/debian bookworm/main amd64 libkeyutils1 amd64 1.6.3-2 [8808 B] Get:11 http://deb.debian.org/debian bookworm/main amd64 libkrb5-3 amd64 1.20.1-2+deb12u2 [332 kB] Get:12 http://deb.debian.org/debian bookworm/main amd64 libgssapi-krb5-2 amd64 1.20.1-2+deb12u2 [135 kB] Get:13 http://deb.debian.org/debian bookworm/main amd64 libtirpc-common all 1.3.3+ds-1 [14.0 kB] Get:14 http://deb.debian.org/debian bookworm/main amd64 libtirpc3 amd64 1.3.3+ds-1 [85.2 kB] Get:15 http://deb.debian.org/debian bookworm/main amd64 libnsl2 amd64 1.3.0-2 [39.5 kB] Get:16 http://deb.debian.org/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get:17 http://deb.debian.org/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get:18 http://deb.debian.org/debian bookworm/main amd64 libsqlite3-0 amd64 3.40.1-2+deb12u1 [839 kB] Get:19 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6+deb12u4 [1797 kB] Get:20 http://deb.debian.org/debian bookworm/main amd64 python3.11 amd64 3.11.2-6+deb12u4 [573 kB] Get:21 http://deb.debian.org/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get:22 http://deb.debian.org/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get:23 http://deb.debian.org/debian bookworm/main amd64 binutils-common amd64 2.40-2 [2487 kB] Get:24 http://deb.debian.org/debian bookworm/main amd64 libbinutils amd64 2.40-2 [572 kB] Get:25 http://deb.debian.org/debian bookworm/main amd64 libctf-nobfd0 amd64 2.40-2 [153 kB] Get:26 http://deb.debian.org/debian bookworm/main amd64 libctf0 amd64 2.40-2 [89.8 kB] Get:27 http://deb.debian.org/debian bookworm/main amd64 libgprofng0 amd64 2.40-2 [812 kB] Get:28 http://deb.debian.org/debian bookworm/main amd64 libjansson4 amd64 2.14-2 [40.8 kB] Get:29 http://deb.debian.org/debian bookworm/main amd64 binutils-x86-64-linux-gnu amd64 2.40-2 [2246 kB] Get:30 http://deb.debian.org/debian bookworm/main amd64 binutils amd64 2.40-2 [65.0 kB] Get:31 http://deb.debian.org/debian bookworm/main amd64 libcoq-stdlib amd64 8.16.1+dfsg-1+b2 [21.5 MB] Get:32 http://deb.debian.org/debian bookworm/main amd64 ocaml-base amd64 4.13.1-4 [668 kB] Get:33 http://deb.debian.org/debian bookworm/main amd64 libfindlib-ocaml amd64 1.9.6-1+b1 [169 kB] Get:34 http://deb.debian.org/debian bookworm/main amd64 libzarith-ocaml amd64 1.12-1+b1 [56.5 kB] Get:35 http://deb.debian.org/debian bookworm/main amd64 libcoq-core-ocaml amd64 8.16.1+dfsg-1+b2 [22.6 MB] Get:36 http://deb.debian.org/debian bookworm/main amd64 ocaml-compiler-libs amd64 4.13.1-4 [31.0 MB] Get:37 http://deb.debian.org/debian bookworm/main amd64 ocaml-interp amd64 4.13.1-4 [6158 kB] Get:38 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get:39 http://deb.debian.org/debian bookworm/main amd64 libc-dev-bin amd64 2.36-9+deb12u9 [46.7 kB] Get:40 http://deb.debian.org/debian bookworm/main amd64 linux-libc-dev amd64 6.1.115-1 [2066 kB] Get:41 http://deb.debian.org/debian bookworm/main amd64 libcrypt-dev amd64 1:4.4.33-2 [118 kB] Get:42 http://deb.debian.org/debian bookworm/main amd64 libtirpc-dev amd64 1.3.3+ds-1 [191 kB] Get:43 http://deb.debian.org/debian bookworm/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:44 http://deb.debian.org/debian bookworm/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:45 http://deb.debian.org/debian bookworm/main amd64 libc6-dev amd64 2.36-9+deb12u9 [1904 kB] Get:46 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get:47 http://deb.debian.org/debian bookworm/main amd64 libisl23 amd64 0.25-1.1 [683 kB] Get:48 http://deb.debian.org/debian bookworm/main amd64 libmpfr6 amd64 4.2.0-1 [701 kB] Get:49 http://deb.debian.org/debian bookworm/main amd64 libmpc3 amd64 1.3.1-1 [51.5 kB] Get:50 http://deb.debian.org/debian bookworm/main amd64 cpp-12 amd64 12.2.0-14 [9764 kB] Get:51 http://deb.debian.org/debian bookworm/main amd64 cpp amd64 4:12.2.0-3 [6836 B] Get:52 http://deb.debian.org/debian bookworm/main amd64 libcc1-0 amd64 12.2.0-14 [41.7 kB] Get:53 http://deb.debian.org/debian bookworm/main amd64 libgomp1 amd64 12.2.0-14 [116 kB] Get:54 http://deb.debian.org/debian bookworm/main amd64 libitm1 amd64 12.2.0-14 [26.1 kB] Get:55 http://deb.debian.org/debian bookworm/main amd64 libatomic1 amd64 12.2.0-14 [9328 B] Get:56 http://deb.debian.org/debian bookworm/main amd64 libasan8 amd64 12.2.0-14 [2195 kB] Get:57 http://deb.debian.org/debian bookworm/main amd64 liblsan0 amd64 12.2.0-14 [969 kB] Get:58 http://deb.debian.org/debian bookworm/main amd64 libtsan2 amd64 12.2.0-14 [2196 kB] Get:59 http://deb.debian.org/debian bookworm/main amd64 libubsan1 amd64 12.2.0-14 [883 kB] Get:60 http://deb.debian.org/debian bookworm/main amd64 libquadmath0 amd64 12.2.0-14 [144 kB] Get:61 http://deb.debian.org/debian bookworm/main amd64 libgcc-12-dev amd64 12.2.0-14 [2437 kB] Get:62 http://deb.debian.org/debian bookworm/main amd64 gcc-12 amd64 12.2.0-14 [19.3 MB] Get:63 http://deb.debian.org/debian bookworm/main amd64 gcc amd64 4:12.2.0-3 [5216 B] Get:64 http://deb.debian.org/debian bookworm/main amd64 ocaml amd64 4.13.1-4 [72.1 MB] Get:65 http://deb.debian.org/debian bookworm/main amd64 ocaml-nox all 4.13.1-4 [161 kB] Get:66 http://deb.debian.org/debian bookworm/main amd64 ocaml-findlib amd64 1.9.6-1+b1 [481 kB] Get:67 http://deb.debian.org/debian bookworm/main amd64 coq amd64 8.16.1+dfsg-1+b2 [93.2 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 308 MB in 12s (26.4 MB/s) Selecting previously unselected package libssl3: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 ... 6093 files and directories currently installed.) Preparing to unpack .../libssl3_3.0.15-1~deb12u1_amd64.deb ... Unpacking libssl3:amd64 (3.0.15-1~deb12u1) ... Selecting previously unselected package libpython3.11-minimal:amd64. Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u4_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u4) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.5.0-1+deb12u1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1+deb12u1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u4_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6+deb12u4) ... Setting up libssl3:amd64 (3.0.15-1~deb12u1) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u4) ... Setting up libexpat1:amd64 (2.5.0-1+deb12u1) ... Setting up python3.11-minimal (3.11.2-6+deb12u4) ... 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 ... 6421 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../02-libncursesw6_6.4-4_amd64.deb ... Unpacking libncursesw6:amd64 (6.4-4) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../03-libkrb5support0_1.20.1-2+deb12u2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../04-libk5crypto3_1.20.1-2+deb12u2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../05-libkeyutils1_1.6.3-2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../06-libkrb5-3_1.20.1-2+deb12u2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../07-libgssapi-krb5-2_1.20.1-2+deb12u2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../08-libtirpc-common_1.3.3+ds-1_all.deb ... Unpacking libtirpc-common (1.3.3+ds-1) ... Selecting previously unselected package libtirpc3:amd64. Preparing to unpack .../09-libtirpc3_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl2:amd64. Preparing to unpack .../10-libnsl2_1.3.0-2_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../11-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../12-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../13-libsqlite3-0_3.40.1-2+deb12u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../14-libpython3.11-stdlib_3.11.2-6+deb12u4_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u4) ... Selecting previously unselected package python3.11. Preparing to unpack .../15-python3.11_3.11.2-6+deb12u4_amd64.deb ... Unpacking python3.11 (3.11.2-6+deb12u4) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../16-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... 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 ... 6929 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.40-2_amd64.deb ... Unpacking binutils-common:amd64 (2.40-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../02-libbinutils_2.40-2_amd64.deb ... Unpacking libbinutils:amd64 (2.40-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../03-libctf-nobfd0_2.40-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.40-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../04-libctf0_2.40-2_amd64.deb ... Unpacking libctf0:amd64 (2.40-2) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../05-libgprofng0_2.40-2_amd64.deb ... Unpacking libgprofng0:amd64 (2.40-2) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../06-libjansson4_2.14-2_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../07-binutils-x86-64-linux-gnu_2.40-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.40-2) ... Selecting previously unselected package binutils. Preparing to unpack .../08-binutils_2.40-2_amd64.deb ... Unpacking binutils (2.40-2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../09-libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb ... Unpacking libcoq-stdlib (8.16.1+dfsg-1+b2) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../10-ocaml-base_4.13.1-4_amd64.deb ... Unpacking ocaml-base (4.13.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../11-libfindlib-ocaml_1.9.6-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../12-libzarith-ocaml_1.12-1+b1_amd64.deb ... Unpacking libzarith-ocaml (1.12-1+b1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../13-libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb ... Unpacking libcoq-core-ocaml (8.16.1+dfsg-1+b2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../14-ocaml-compiler-libs_4.13.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.13.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../15-ocaml-interp_4.13.1-4_amd64.deb ... Unpacking ocaml-interp (4.13.1-4) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../16-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../17-libc-dev-bin_2.36-9+deb12u9_amd64.deb ... Unpacking libc-dev-bin (2.36-9+deb12u9) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../18-linux-libc-dev_6.1.115-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (6.1.115-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../19-libcrypt-dev_1%3a4.4.33-2_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.33-2) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../20-libtirpc-dev_1.3.3+ds-1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.3+ds-1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../21-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../22-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 .../23-libc6-dev_2.36-9+deb12u9_amd64.deb ... Unpacking libc6-dev:amd64 (2.36-9+deb12u9) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../24-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../25-libisl23_0.25-1.1_amd64.deb ... Unpacking libisl23:amd64 (0.25-1.1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../26-libmpfr6_4.2.0-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.0-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../27-libmpc3_1.3.1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-1) ... Selecting previously unselected package cpp-12. Preparing to unpack .../28-cpp-12_12.2.0-14_amd64.deb ... Unpacking cpp-12 (12.2.0-14) ... Selecting previously unselected package cpp. Preparing to unpack .../29-cpp_4%3a12.2.0-3_amd64.deb ... Unpacking cpp (4:12.2.0-3) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../30-libcc1-0_12.2.0-14_amd64.deb ... Unpacking libcc1-0:amd64 (12.2.0-14) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../31-libgomp1_12.2.0-14_amd64.deb ... Unpacking libgomp1:amd64 (12.2.0-14) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../32-libitm1_12.2.0-14_amd64.deb ... Unpacking libitm1:amd64 (12.2.0-14) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../33-libatomic1_12.2.0-14_amd64.deb ... Unpacking libatomic1:amd64 (12.2.0-14) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../34-libasan8_12.2.0-14_amd64.deb ... Unpacking libasan8:amd64 (12.2.0-14) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../35-liblsan0_12.2.0-14_amd64.deb ... Unpacking liblsan0:amd64 (12.2.0-14) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../36-libtsan2_12.2.0-14_amd64.deb ... Unpacking libtsan2:amd64 (12.2.0-14) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../37-libubsan1_12.2.0-14_amd64.deb ... Unpacking libubsan1:amd64 (12.2.0-14) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../38-libquadmath0_12.2.0-14_amd64.deb ... Unpacking libquadmath0:amd64 (12.2.0-14) ... Selecting previously unselected package libgcc-12-dev:amd64. Preparing to unpack .../39-libgcc-12-dev_12.2.0-14_amd64.deb ... Unpacking libgcc-12-dev:amd64 (12.2.0-14) ... Selecting previously unselected package gcc-12. Preparing to unpack .../40-gcc-12_12.2.0-14_amd64.deb ... Unpacking gcc-12 (12.2.0-14) ... Selecting previously unselected package gcc. Preparing to unpack .../41-gcc_4%3a12.2.0-3_amd64.deb ... Unpacking gcc (4:12.2.0-3) ... Selecting previously unselected package ocaml. Preparing to unpack .../42-ocaml_4.13.1-4_amd64.deb ... Unpacking ocaml (4.13.1-4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../43-ocaml-nox_4.13.1-4_all.deb ... Unpacking ocaml-nox (4.13.1-4) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../44-ocaml-findlib_1.9.6-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.6-1+b1) ... Selecting previously unselected package coq. Preparing to unpack .../45-coq_8.16.1+dfsg-1+b2_amd64.deb ... Unpacking coq (8.16.1+dfsg-1+b2) ... Setting up media-types (10.0.0) ... Setting up libkeyutils1:amd64 (1.6.3-2) ... Setting up libtirpc-common (1.3.3+ds-1) ... Setting up libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Setting up binutils-common:amd64 (2.40-2) ... Setting up linux-libc-dev:amd64 (6.1.115-1) ... Setting up libctf-nobfd0:amd64 (2.40-2) ... Setting up libgomp1:amd64 (12.2.0-14) ... Setting up libjansson4:amd64 (2.14-2) ... Setting up libkrb5support0:amd64 (1.20.1-2+deb12u2) ... Setting up libcoq-stdlib (8.16.1+dfsg-1+b2) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.0-1) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up libquadmath0:amd64 (12.2.0-14) ... Setting up libmpc3:amd64 (1.3.1-1) ... Setting up libatomic1:amd64 (12.2.0-14) ... Setting up ocaml-base (4.13.1-4) ... Setting up libncursesw6:amd64 (6.4-4) ... Setting up libk5crypto3:amd64 (1.20.1-2+deb12u2) ... Setting up libubsan1:amd64 (12.2.0-14) ... Setting up libcrypt-dev:amd64 (1:4.4.33-2) ... Setting up libasan8:amd64 (12.2.0-14) ... Setting up libkrb5-3:amd64 (1.20.1-2+deb12u2) ... Setting up libtsan2:amd64 (12.2.0-14) ... Setting up libbinutils:amd64 (2.40-2) ... Setting up libisl23:amd64 (0.25-1.1) ... Setting up libc-dev-bin (2.36-9+deb12u9) ... Setting up readline-common (8.2-1.3) ... Setting up libcc1-0:amd64 (12.2.0-14) ... Setting up liblsan0:amd64 (12.2.0-14) ... Setting up libitm1:amd64 (12.2.0-14) ... Setting up libctf0:amd64 (2.40-2) ... Setting up cpp-12 (12.2.0-14) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up libfindlib-ocaml (1.9.6-1+b1) ... Setting up libzarith-ocaml (1.12-1+b1) ... Setting up libgprofng0:amd64 (2.40-2) ... Setting up libgcc-12-dev:amd64 (12.2.0-14) ... Setting up ocaml-findlib (1.9.6-1+b1) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... Setting up libcoq-core-ocaml (8.16.1+dfsg-1+b2) ... Setting up cpp (4:12.2.0-3) ... Setting up binutils-x86-64-linux-gnu (2.40-2) ... Setting up libtirpc3:amd64 (1.3.3+ds-1) ... Setting up binutils (2.40-2) ... Setting up libtirpc-dev:amd64 (1.3.3+ds-1) ... Setting up gcc-12 (12.2.0-14) ... Setting up libnsl2:amd64 (1.3.0-2) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u4) ... Setting up gcc (4:12.2.0-3) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up libc6-dev:amd64 (2.36-9+deb12u9) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3.11 (3.11.2-6+deb12u4) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up python3 (3.11.2-1+b1) ... Setting up ocaml-compiler-libs (4.13.1-4) ... Setting up ocaml-interp (4.13.1-4) ... Setting up ocaml (4.13.1-4) ... Setting up ocaml-nox (4.13.1-4) ... Setting up coq (8.16.1+dfsg-1+b2) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... 0m22.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq'] 0m22.6s INFO: Running scripts post_install 0m22.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m22.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m22.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m23.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m23.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp9n2xsirh to bookworm-next 0m23.1s DEBUG: sources.list: deb http://deb.debian.org/debian/ bookworm main deb http://security.debian.org bookworm-security main deb http://deb.debian.org/debian/ bookworm-updates main deb http://deb.debian.org/debian/ bookworm-proposed-updates main 0m23.1s INFO: Running scripts pre_distupgrade 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m23.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_exceptions'] 0m23.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_exceptions'] 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m23.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m23.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m23.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m23.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'update'] 0m24.0s DUMP: Get:1 http://security.debian.org bookworm-security InRelease [48.0 kB] Hit:2 http://deb.debian.org/debian bookworm InRelease Get:3 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:4 http://deb.debian.org/debian bookworm-proposed-updates InRelease [60.6 kB] Get:5 http://security.debian.org bookworm-security/main amd64 Packages [206 kB] Get:6 http://security.debian.org bookworm-security/main Translation-en [127 kB] Get:7 http://deb.debian.org/debian bookworm-updates/main amd64 Packages [2712 B] Get:8 http://deb.debian.org/debian bookworm-updates/main Translation-en [3096 B] Get:9 http://deb.debian.org/debian bookworm-proposed-updates/main amd64 Packages [60.8 kB] Get:10 http://deb.debian.org/debian bookworm-proposed-updates/main Translation-en [39.8 kB] Fetched 603 kB in 0s (1206 kB/s) Reading package lists... 0m24.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'update'] 0m24.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-yf', 'dist-upgrade'] 0m24.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: linux-libc-dev tzdata 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 2372 kB of archives. After this operation, 9216 B of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm-updates/main amd64 tzdata all 2024b-0+deb12u1 [298 kB] Get:2 http://security.debian.org bookworm-security/main amd64 linux-libc-dev amd64 6.1.119-1 [2074 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 2372 kB in 0s (28.0 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 ... 14021 files and directories currently installed.) Preparing to unpack .../tzdata_2024b-0+deb12u1_all.deb ... Unpacking tzdata (2024b-0+deb12u1) over (2024a-0+deb12u1) ... Preparing to unpack .../linux-libc-dev_6.1.119-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (6.1.119-1) over (6.1.115-1) ... Setting up linux-libc-dev:amd64 (6.1.119-1) ... Setting up tzdata (2024b-0+deb12u1) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Dec 3 17:20:37 UTC 2024. Universal Time is now: Tue Dec 3 17:20:37 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. 0m24.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-yf', 'dist-upgrade'] 0m24.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m25.1s DUMP: 8f645f4131037cb1fba17e0e005c0d17 - 0m25.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m25.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m25.2s DUMP: Package: coq Source: coq (8.16.1+dfsg-1) Version: 8.16.1+dfsg-1+b2 Installed-Size: 352732 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.16.1+4.13.1 Depends: libcoq-stdlib (= 8.16.1+dfsg-1+b2), libcoq-core-ocaml-cpf60, libfindlib-ocaml-0thr1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), ocaml-nox, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant 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 coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. Description-md5: 2c4259e8b83c839ff539d48b854ee31a Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.16.1+dfsg-1+b2_amd64.deb Size: 93212572 MD5sum: f6794aca0a7a2eea78ddbb0f0bee49b6 SHA256: 6496db435f9585e1f1527d9418070f15977b049c01c37c9bd33f7cc4152f8677 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m25.2s INFO: apt-cache knows about the following packages: coq 0m25.2s INFO: Running scripts pre_install 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m25.2s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm-proposed-updates/main amd64 Packages release v=12-updates,o=Debian,a=proposed-updates,n=bookworm-proposed-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian bookworm-updates/main amd64 Packages release v=12-updates,o=Debian,a=stable-updates,n=bookworm-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bookworm-security/main amd64 Packages release v=12,o=Debian,a=stable-security,n=bookworm-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.8,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m25.2s DUMP: coq: Installed: 8.16.1+dfsg-1+b2 Candidate: 8.16.1+dfsg-1+b2 Version table: *** 8.16.1+dfsg-1+b2 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 100 /var/lib/dpkg/status 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq'] 0m25.4s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version (8.16.1+dfsg-1+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq'] 0m25.4s INFO: Running scripts post_install 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m25.4s INFO: Running scripts post_distupgrade 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_exceptions'] 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_exceptions'] 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m25.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m25.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_zz_backports'] 0m25.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_distupgrade_zz_backports'] 0m25.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m26.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m26.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m26.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m26.4s INFO: Running scripts pre_install 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_database-server'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_exceptions'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_extras'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m26.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bookworm-proposed-updates/main amd64 Packages release v=12-updates,o=Debian,a=proposed-updates,n=bookworm-proposed-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian bookworm-updates/main amd64 Packages release v=12-updates,o=Debian,a=stable-updates,n=bookworm-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bookworm-security/main amd64 Packages release v=12,o=Debian,a=stable-security,n=bookworm-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bookworm/main amd64 Packages release v=12.8,o=Debian,a=stable,n=bookworm,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m26.5s DUMP: coq: Installed: 8.16.1+dfsg-1+b2 Candidate: 8.16.1+dfsg-1+b2 Version table: *** 8.16.1+dfsg-1+b2 500 500 http://deb.debian.org/debian bookworm/main amd64 Packages 100 /var/lib/dpkg/status 0m26.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-cache', 'policy', 'coq'] 0m26.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq=8.16.1+dfsg-1+b2'] 0m26.6s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version (8.16.1+dfsg-1+b2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', '-y', 'install', 'coq=8.16.1+dfsg-1+b2'] 0m26.6s INFO: Running scripts post_install 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_install_exceptions'] 0m26.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m27.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m27.2s DEBUG: No file moved between /{bin|sbin|lib*} and /usr/{bin|sbin|lib*}. 0m27.2s INFO: /bin converted to /usr/bin by /usr merge 0m27.2s INFO: /lib converted to /usr/lib by /usr merge 0m27.2s INFO: /lib/init converted to /usr/lib/init by /usr merge 0m27.2s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 0m27.2s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 0m27.2s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 0m27.2s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 0m27.2s INFO: /lib/terminfo converted to /usr/lib/terminfo by /usr merge 0m27.2s INFO: /lib/terminfo/E converted to /usr/lib/terminfo/E by /usr merge 0m27.2s INFO: /lib/terminfo/a converted to /usr/lib/terminfo/a by /usr merge 0m27.2s INFO: /lib/terminfo/c converted to /usr/lib/terminfo/c by /usr merge 0m27.2s INFO: /lib/terminfo/d converted to /usr/lib/terminfo/d by /usr merge 0m27.2s INFO: /lib/terminfo/h converted to /usr/lib/terminfo/h by /usr merge 0m27.2s INFO: /lib/terminfo/l converted to /usr/lib/terminfo/l by /usr merge 0m27.2s INFO: /lib/terminfo/m converted to /usr/lib/terminfo/m by /usr merge 0m27.2s INFO: /lib/terminfo/p converted to /usr/lib/terminfo/p by /usr merge 0m27.2s INFO: /lib/terminfo/r converted to /usr/lib/terminfo/r by /usr merge 0m27.2s INFO: /lib/terminfo/s converted to /usr/lib/terminfo/s by /usr merge 0m27.2s INFO: /lib/terminfo/t converted to /usr/lib/terminfo/t by /usr merge 0m27.2s INFO: /lib/terminfo/v converted to /usr/lib/terminfo/v by /usr merge 0m27.2s INFO: /lib/terminfo/w converted to /usr/lib/terminfo/w by /usr merge 0m27.2s INFO: /lib/terminfo/x converted to /usr/lib/terminfo/x by /usr merge 0m27.2s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 0m27.2s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 0m27.2s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m27.2s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 0m27.2s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m27.2s INFO: /sbin converted to /usr/sbin by /usr merge 0m27.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', '-ac', '--ignore-obsolete'] 0m30.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', '-ac', '--ignore-obsolete'] 0m30.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m30.2s DUMP: 0.15.6 0m30.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m30.2s INFO: Running adequate version 0.15.6 now. 0m30.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'coq'] 0m30.4s DUMP: coq: py-file-not-bytecompiled /usr/lib/ocaml/coq-core/tools/TimeFileMaker.py 0m30.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'coq'] 0m30.4s ERROR: WARN: Inadequate results from running adequate! coq: py-file-not-bytecompiled /usr/lib/ocaml/coq-core/tools/TimeFileMaker.py 0m30.4s ERROR: WARN: Running adequate resulted in inadequate tags found: py-file-not-bytecompiled 0m30.4s INFO: Running scripts pre_remove 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m30.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m30.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m31.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m31.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m31.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m31.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m31.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m31.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_exceptions'] 0m31.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/pre_remove_exceptions'] 0m31.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m31.5s DUMP: install ok installed adduser adduser 3.134 install ok installed apt apt 2.6.1 install ok installed base-files base-files 12.4+deb12u8 install ok installed base-passwd base-passwd 3.6.1 install ok installed bash bash 5.2.15-2+b7 install ok installed binutils binutils 2.40-2 install ok installed binutils-common:amd64 binutils-common 2.40-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.40-2 install ok installed bsdutils bsdutils 1:2.38.1-5+deb12u2 install ok installed coq coq 8.16.1+dfsg-1+b2 install ok installed coreutils coreutils 9.1-1 install ok installed cpp cpp 4:12.2.0-3 install ok installed cpp-12 cpp-12 12.2.0-14 install ok installed dash dash 0.5.12-2 install ok installed debconf debconf 1.5.82 install ok installed debian-archive-keyring debian-archive-keyring 2023.3+deb12u1 install ok installed debianutils debianutils 5.7-0.5~deb12u1 install ok installed diffutils diffutils 1:3.8-4 install ok installed dpkg dpkg 1.21.22 install ok installed e2fsprogs e2fsprogs 1.47.0-2 install ok installed findutils findutils 4.9.0-4 install ok installed gcc gcc 4:12.2.0-3 install ok installed gcc-12 gcc-12 12.2.0-14 install ok installed gcc-12-base:amd64 gcc-12-base 12.2.0-14 install ok installed gpgv gpgv 2.2.40-1.1 install ok installed grep grep 3.8-5 install ok installed gzip gzip 1.12-1 install ok installed hostname hostname 3.23+nmu1 install ok installed init-system-helpers init-system-helpers 1.65.2 install ok installed libacl1:amd64 libacl1 2.3.1-3 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.6.1 install ok installed libasan8:amd64 libasan8 12.2.0-14 install ok installed libatomic1:amd64 libatomic1 12.2.0-14 install ok installed libattr1:amd64 libattr1 1:2.5.1-4 install ok installed libaudit-common libaudit-common 1:3.0.9-1 install ok installed libaudit1:amd64 libaudit1 1:3.0.9-1 install ok installed libbinutils:amd64 libbinutils 2.40-2 install ok installed libblkid1:amd64 libblkid1 2.38.1-5+deb12u2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-5+b1 install ok installed libc-bin libc-bin 2.36-9+deb12u9 install ok installed libc-dev-bin libc-dev-bin 2.36-9+deb12u9 install ok installed libc6:amd64 libc6 2.36-9+deb12u9 install ok installed libc6-dev:amd64 libc6-dev 2.36-9+deb12u9 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.3-1+b3 install ok installed libcap2:amd64 libcap2 1:2.66-4 install ok installed libcc1-0:amd64 libcc1-0 12.2.0-14 install ok installed libcom-err2:amd64 libcom-err2 1.47.0-2 install ok installed libcoq-core-ocaml libcoq-core-ocaml 8.16.1+dfsg-1+b2 install ok installed libcoq-stdlib libcoq-stdlib 8.16.1+dfsg-1+b2 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.33-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.33-2 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.40-2 install ok installed libctf0:amd64 libctf0 2.40-2 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg2-1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.270 install ok installed libexpat1:amd64 libexpat1 2.5.0-1+deb12u1 install ok installed libext2fs2:amd64 libext2fs2 1.47.0-2 install ok installed libffi8:amd64 libffi8 3.4.4-1 install ok installed libfindlib-ocaml libfindlib-ocaml 1.9.6-1+b1 install ok installed libgcc-12-dev:amd64 libgcc-12-dev 12.2.0-14 install ok installed libgcc-s1:amd64 libgcc-s1 12.2.0-14 install ok installed libgcrypt20:amd64 libgcrypt20 1.10.1-3 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg1-1.1 install ok installed libgnutls30:amd64 libgnutls30 3.7.9-2+deb12u3 install ok installed libgomp1:amd64 libgomp1 12.2.0-14 install ok installed libgpg-error0:amd64 libgpg-error0 1.46-1 install ok installed libgprofng0:amd64 libgprofng0 2.40-2 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.20.1-2+deb12u2 install ok installed libhogweed6:amd64 libhogweed6 3.8.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.3.3-1+b1 install ok installed libisl23:amd64 libisl23 0.25-1.1 install ok installed libitm1:amd64 libitm1 12.2.0-14 install ok installed libjansson4:amd64 libjansson4 2.14-2 install ok installed libk5crypto3:amd64 libk5crypto3 1.20.1-2+deb12u2 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.3-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.20.1-2+deb12u2 install ok installed libkrb5support0:amd64 libkrb5support0 1.20.1-2+deb12u2 install ok installed liblsan0:amd64 liblsan0 12.2.0-14 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-1 install ok installed liblzma5:amd64 liblzma5 5.4.1-0.2 install ok installed libmd0:amd64 libmd0 1.0.4-2 install ok installed libmount1:amd64 libmount1 2.38.1-5+deb12u2 install ok installed libmpc3:amd64 libmpc3 1.3.1-1 install ok installed libmpfr6:amd64 libmpfr6 4.2.0-1 install ok installed libncurses-dev:amd64 libncurses-dev 6.4-4 install ok installed libncurses6:amd64 libncurses6 6.4-4 install ok installed libncursesw6:amd64 libncursesw6 6.4-4 install ok installed libnettle8:amd64 libnettle8 3.8.1-2 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-2 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.24.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.5.2-6+deb12u1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.2-6+deb12u1 install ok installed libpam-runtime libpam-runtime 1.5.2-6+deb12u1 install ok installed libpam0g:amd64 libpam0g 1.5.2-6+deb12u1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-1 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.11.2-1+b1 install ok installed libpython3.11-minimal:amd64 libpython3.11-minimal 3.11.2-6+deb12u4 install ok installed libpython3.11-stdlib:amd64 libpython3.11-stdlib 3.11.2-6+deb12u4 install ok installed libquadmath0:amd64 libquadmath0 12.2.0-14 install ok installed libreadline8:amd64 libreadline8 8.2-1.3 install ok installed libseccomp2:amd64 libseccomp2 2.5.4-1+deb12u1 install ok installed libselinux1:amd64 libselinux1 3.4-1+b6 install ok installed libsemanage-common libsemanage-common 3.4-1 install ok installed libsemanage2:amd64 libsemanage2 3.4-1+b5 install ok installed libsepol2:amd64 libsepol2 3.4-2.1 install ok installed libsmartcols1:amd64 libsmartcols1 2.38.1-5+deb12u2 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.40.1-2+deb12u1 install ok installed libss2:amd64 libss2 1.47.0-2 install ok installed libssl3:amd64 libssl3 3.0.15-1~deb12u1 install ok installed libstdc++6:amd64 libstdc++6 12.2.0-14 install ok installed libsystemd0:amd64 libsystemd0 252.31-1~deb12u1 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.4-4 install ok installed libtirpc-common libtirpc-common 1.3.3+ds-1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.3+ds-1 install ok installed libtirpc3:amd64 libtirpc3 1.3.3+ds-1 install ok installed libtsan2:amd64 libtsan2 12.2.0-14 install ok installed libubsan1:amd64 libubsan1 12.2.0-14 install ok installed libudev1:amd64 libudev1 252.31-1~deb12u1 install ok installed libunistring2:amd64 libunistring2 1.0-2 install ok installed libuuid1:amd64 libuuid1 2.38.1-5+deb12u2 install ok installed libxxhash0:amd64 libxxhash0 0.8.1-1 install ok installed libzarith-ocaml libzarith-ocaml 1.12-1+b1 install ok installed libzstd1:amd64 libzstd1 1.5.4+dfsg2-5 install ok installed linux-libc-dev:amd64 linux-libc-dev 6.1.119-1 install ok installed login login 1:4.13+dfsg1-1+b1 install ok installed logsave logsave 1.47.0-2 install ok installed mawk mawk 1.3.4.20200120-3.1 install ok installed media-types media-types 10.0.0 install ok installed mount mount 2.38.1-5+deb12u2 install ok installed ncurses-base ncurses-base 6.4-4 install ok installed ncurses-bin ncurses-bin 6.4-4 install ok installed ocaml ocaml 4.13.1-4 install ok installed ocaml-base ocaml-base 4.13.1-4 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.13.1-4 install ok installed ocaml-findlib ocaml-findlib 1.9.6-1+b1 install ok installed ocaml-interp ocaml-interp 4.13.1-4 install ok installed ocaml-nox ocaml-nox 4.13.1-4 install ok installed passwd passwd 1:4.13+dfsg1-1+b1 install ok installed perl-base perl-base 5.36.0-7+deb12u1 install ok installed python3 python3 3.11.2-1+b1 install ok installed python3-minimal python3-minimal 3.11.2-1+b1 install ok installed python3.11 python3.11 3.11.2-6+deb12u4 install ok installed python3.11-minimal python3.11-minimal 3.11.2-6+deb12u4 install ok installed readline-common readline-common 8.2-1.3 install ok installed rpcsvc-proto rpcsvc-proto 1.4.3-1 install ok installed sed sed 4.9-1 install ok installed sysvinit-utils sysvinit-utils 3.06-4 install ok installed tar tar 1.34+dfsg-1.2+deb12u1 install ok installed tzdata tzdata 2024b-0+deb12u1 install ok installed usr-is-merged usr-is-merged 37~deb12u1 install ok installed util-linux util-linux 2.38.1-5+deb12u2 install ok installed util-linux-extra util-linux-extra 2.38.1-5+deb12u2 install ok installed zlib1g:amd64 zlib1g 1:1.2.13.dfsg-1 0m31.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m31.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-core-ocaml', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'libsqlite3-0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto', 'coq'] 0m32.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-12 gcc gcc-12 libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-core-ocaml libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libfindlib-ocaml libgcc-12-dev libgomp1 libgprofng0 libgssapi-krb5-2 libisl23 libitm1 libjansson4 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libnsl-dev libnsl2 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libquadmath0 libreadline8 libsqlite3-0 libssl3 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libzarith-ocaml linux-libc-dev media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.11 python3.11-minimal readline-common rpcsvc-proto 0 upgraded, 0 newly installed, 67 to remove and 0 not upgraded. After this operation, 1276 MB disk space will be freed. (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 ... 14021 files and directories currently installed.) Removing coq (8.16.1+dfsg-1+b2) ... Removing ocaml-nox (4.13.1-4) ... Removing libcoq-core-ocaml (8.16.1+dfsg-1+b2) ... Removing libcoq-stdlib (8.16.1+dfsg-1+b2) ... Removing python3 (3.11.2-1+b1) ... Removing python3.11 (3.11.2-6+deb12u4) ... Removing python3-minimal (3.11.2-1+b1) ... Removing python3.11-minimal (3.11.2-6+deb12u4) ... Removing libexpat1:amd64 (2.5.0-1+deb12u1) ... Removing ocaml-findlib (1.9.6-1+b1) ... Removing libfindlib-ocaml (1.9.6-1+b1) ... Removing libpython3-stdlib:amd64 (3.11.2-1+b1) ... Removing libpython3.11-stdlib:amd64 (3.11.2-6+deb12u4) ... find: '/usr/lib/python3': No such file or directory Removing libpython3.11-minimal:amd64 (3.11.2-6+deb12u4) ... find: '/usr/lib/python3': No such file or directory Removing libreadline8:amd64 (8.2-1.3) ... Removing libsqlite3-0:amd64 (3.40.1-2+deb12u1) ... Removing libzarith-ocaml (1.12-1+b1) ... Removing media-types (10.0.0) ... Removing readline-common (8.2-1.3) ... Removing ocaml-compiler-libs (4.13.1-4) ... Removing ocaml (4.13.1-4) ... Removing ocaml-interp (4.13.1-4) ... Removing gcc (4:12.2.0-3) ... Removing gcc-12 (12.2.0-14) ... Removing binutils (2.40-2) ... Removing binutils-x86-64-linux-gnu (2.40-2) ... Removing libgprofng0:amd64 (2.40-2) ... Removing libctf0:amd64 (2.40-2) ... Removing libbinutils:amd64 (2.40-2) ... Removing binutils-common:amd64 (2.40-2) ... Removing cpp (4:12.2.0-3) ... Removing cpp-12 (12.2.0-14) ... Removing libgcc-12-dev:amd64 (12.2.0-14) ... Removing libasan8:amd64 (12.2.0-14) ... Removing libatomic1:amd64 (12.2.0-14) ... Removing libncurses-dev:amd64 (6.4-4) ... Removing libc6-dev:amd64 (2.36-9+deb12u9) ... Removing libc-dev-bin (2.36-9+deb12u9) ... Removing libcc1-0:amd64 (12.2.0-14) ... Removing libcrypt-dev:amd64 (1:4.4.33-2) ... Removing libctf-nobfd0:amd64 (2.40-2) ... Removing libgomp1:amd64 (12.2.0-14) ... Removing libnsl-dev:amd64 (1.3.0-2) ... Removing libtirpc-dev:amd64 (1.3.3+ds-1) ... Removing libisl23:amd64 (0.25-1.1) ... Removing libitm1:amd64 (12.2.0-14) ... Removing libjansson4:amd64 (2.14-2) ... Removing liblsan0:amd64 (12.2.0-14) ... Removing libmpc3:amd64 (1.3.1-1) ... Removing libmpfr6:amd64 (4.2.0-1) ... Removing libncurses6:amd64 (6.4-4) ... Removing libncursesw6:amd64 (6.4-4) ... Removing libnsl2:amd64 (1.3.0-2) ... Removing libquadmath0:amd64 (12.2.0-14) ... Removing libtsan2:amd64 (12.2.0-14) ... Removing libubsan1:amd64 (12.2.0-14) ... Removing linux-libc-dev:amd64 (6.1.119-1) ... Removing ocaml-base (4.13.1-4) ... Removing rpcsvc-proto (1.4.3-1) ... Removing libtirpc3:amd64 (1.3.3+ds-1) ... Removing libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... Removing libkrb5-3:amd64 (1.20.1-2+deb12u2) ... Removing libk5crypto3:amd64 (1.20.1-2+deb12u2) ... Removing libkeyutils1:amd64 (1.6.3-2) ... Removing libkrb5support0:amd64 (1.20.1-2+deb12u2) ... Removing libssl3:amd64 (3.0.15-1~deb12u1) ... Removing libtirpc-common (1.3.3+ds-1) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... 0m32.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-core-ocaml', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'libsqlite3-0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto', 'coq'] 0m32.3s INFO: Running scripts post_remove 0m32.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_remove_exceptions'] 0m32.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_remove_exceptions'] 0m32.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-core-ocaml', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'libsqlite3-0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 0m32.3s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed (Reading database ... 6099 files and directories currently installed.) Purging configuration files for binutils-common:amd64 (2.40-2) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-12 which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-12 which isn't installed dpkg: warning: ignoring request to remove libasan8 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcoq-core-ocaml which isn't installed dpkg: warning: ignoring request to remove libcoq-stdlib which isn't installed Purging configuration files for libcrypt-dev:amd64 (1:4.4.33-2) ... dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.9.6-1+b1) ... dpkg: warning: ignoring request to remove libgcc-12-dev which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgprofng0 which isn't installed Purging configuration files for libgssapi-krb5-2:amd64 (1.20.1-2+deb12u2) ... dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjansson4 which isn't installed dpkg: warning: ignoring request to remove libk5crypto3 which isn't installed dpkg: warning: ignoring request to remove libkeyutils1 which isn't installed dpkg: warning: ignoring request to remove libkrb5-3 which isn't installed dpkg: warning: ignoring request to remove libkrb5support0 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl-dev which isn't installed dpkg: warning: ignoring request to remove libnsl2 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.11-minimal:amd64 (3.11.2-6+deb12u4) ... dpkg: warning: ignoring request to remove libpython3.11-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libreadline8 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libssl3 which isn't installed Purging configuration files for libtirpc-common (1.3.3+ds-1) ... dpkg: warning: ignoring request to remove libtirpc-dev which isn't installed dpkg: warning: ignoring request to remove libtirpc3 which isn't installed dpkg: warning: ignoring request to remove libtsan2 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for media-types (10.0.0) ... dpkg: warning: ignoring request to remove ocaml which isn't installed dpkg: warning: ignoring request to remove ocaml-base which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed dpkg: warning: ignoring request to remove ocaml-nox which isn't installed Purging configuration files for python3 (3.11.2-1+b1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.11 which isn't installed Purging configuration files for python3.11-minimal (3.11.2-6+deb12u4) ... Purging configuration files for readline-common (8.2-1.3) ... dpkg: warning: ignoring request to remove rpcsvc-proto which isn't installed 0m32.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-12', 'gcc', 'gcc-12', 'libasan8:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-core-ocaml', 'libcoq-stdlib', 'libcrypt-dev:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-12-dev:amd64', 'libgomp1:amd64', 'libgprofng0:amd64', 'libgssapi-krb5-2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjansson4:amd64', 'libk5crypto3:amd64', 'libkeyutils1:amd64', 'libkrb5-3:amd64', 'libkrb5support0:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libnsl2:amd64', 'libpython3-stdlib:amd64', 'libpython3.11-minimal:amd64', 'libpython3.11-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'libsqlite3-0:amd64', 'libssl3:amd64', 'libtirpc-common', 'libtirpc-dev:amd64', 'libtirpc3:amd64', 'libtsan2:amd64', 'libubsan1:amd64', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml', 'ocaml-base', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.11', 'python3.11-minimal', 'readline-common', 'rpcsvc-proto'] 0m32.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', 'coq'] 0m32.4s DUMP: dpkg: warning: ignoring request to remove coq which isn't installed 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', 'coq'] 0m32.4s INFO: Running scripts post_purge 0m32.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_purge_exceptions'] 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_purge_exceptions'] 0m32.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', '--pending'] 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--purge', '--pending'] 0m32.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--remove', '--pending'] 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg', '--remove', '--pending'] 0m32.4s INFO: Running scripts post_test 0m32.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_test_exceptions'] 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'tmp/scripts/post_test_exceptions'] 0m32.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m32.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m32.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-divert', '--list'] 0m32.6s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m32.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'dpkg-divert', '--list'] 0m32.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'clean'] 0m32.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh', 'apt-get', 'clean'] 0m32.6s DEBUG: Recording chroot state 0m33.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/shm'] 0m33.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/shm'] 0m33.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/console'] 0m33.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/console'] 0m33.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/ptmx'] 0m33.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/ptmx'] 0m33.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts'] 0m33.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/dev/pts'] 0m33.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/proc'] 0m33.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh/proc'] 0m33.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m33.3s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9n2xsirh'] 0m33.3s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp9n2xsirh 0m33.3s INFO: PASS: Upgrading between Debian distributions. 0m33.3s INFO: PASS: All tests. 0m33.3s INFO: piuparts run ends. ret=0 End: 2024-12-03 17:20:45 GMT