Start: 2020-01-08 19:11:33 GMT [testing] Package: boogie Version: 2.4.1+dfsg-0.1 Installed-Size: 41 Maintainer: Benjamin Barenblat Architecture: all Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220) Suggests: libgtk2.0-0 Description: verifiable programming language (compiler) Homepage: http://research.microsoft.com/en-us/projects/boogie/ Description-md5: ff05d0b0aea623bace962f4c12b777bd Section: cli-mono Priority: optional Filename: pool/main/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb Size: 16596 MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2 SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07 [sid] Package: boogie Version: 2.4.1+dfsg-0.1 Installed-Size: 41 Maintainer: Benjamin Barenblat Architecture: all Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220) Suggests: libgtk2.0-0 Description: verifiable programming language (compiler) Homepage: http://research.microsoft.com/en-us/projects/boogie/ Description-md5: ff05d0b0aea623bace962f4c12b777bd Section: cli-mono Priority: optional Filename: pool/main/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb Size: 16596 MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2 SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07 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 --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt boogie=2.4.1+dfsg-0.1 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.1.0~201912291631~1.0.1-69-gfda3b882 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 --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt boogie=2.4.1+dfsg-0.1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.19.0-6-amd64 #1 SMP Debian 4.19.67-2+deb10u2 (2019-11-11) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp9phbhw8w 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp9phbhw8w 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz'] 0m2.0s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/proc'] 0m2.1s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/proc'] 0m2.1s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts'] 0m2.1s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts'] 0m2.1s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/ptmx'] 0m2.1s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/ptmx'] 0m2.1s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/console'] 0m2.1s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/console'] 0m2.1s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/shm'] 0m2.1s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/shm'] 0m2.1s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ bullseye main 0m2.1s DEBUG: Created policy-rc.d and chmodded it. 0m2.1s DEBUG: Created resolv.conf. 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp9phbhw8w/tmp/scripts/ 0m2.1s INFO: Running scripts post_chroot_unpack 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'update'] 0m5.5s DUMP: Get:1 http://mirror-ubc.debian.org/debian bullseye InRelease [113 kB] Get:2 http://mirror-ubc.debian.org/debian bullseye/main amd64 Packages [7614 kB] Get:3 http://mirror-ubc.debian.org/debian bullseye/main Translation-en [5785 kB] Fetched 13.5 MB in 3s (5000 kB/s) Reading package lists... 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'update'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-yf', 'dist-upgrade'] 0m5.8s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-yf', 'dist-upgrade'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.1s DUMP: 0358cad2e4cb64193254b5a96824dcfc - 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.1s INFO: Running scripts post_setup 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_dummy_users'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_dummy_users'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_forbid_home'] 0m7.2s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_forbid_home'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.2s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' dpkg-divert: warning: diverting file '/bin/sync' from an Essential package with rename is dangerous, use --no-rename '/bin/sync' -> 'true' 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_minimize'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_minimize'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_zz_backports'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_setup_zz_backports'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.2s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.4 install ok installed base-files base-files 11 install ok installed base-passwd base-passwd 3.5.47 install ok installed bash bash 5.0-5 install ok installed bsdutils bsdutils 1:2.34-0.1 install ok installed coreutils coreutils 8.30-3+b1 install ok installed dash dash 0.5.10.2-6 install ok installed debconf debconf 1.5.73 install ok installed debian-archive-keyring debian-archive-keyring 2019.1 install ok installed debianutils debianutils 4.9.1 install ok installed diffutils diffutils 1:3.7-3 install ok installed dpkg dpkg 1.19.7 install ok installed e2fsprogs e2fsprogs 1.45.4-1 install ok installed fdisk fdisk 2.34-0.1 install ok installed findutils findutils 4.7.0-1 install ok installed gcc-9-base:amd64 gcc-9-base 9.2.1-22 install ok installed gpgv gpgv 2.2.17-3 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3+b1 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.57 install ok installed libacl1:amd64 libacl1 2.2.53-5 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.48-5 install ok installed libaudit-common libaudit-common 1:2.8.5-2 install ok installed libaudit1:amd64 libaudit1 1:2.8.5-2+b1 install ok installed libblkid1:amd64 libblkid1 2.34-0.1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-2 install ok installed libc-bin libc-bin 2.29-7 install ok installed libc6:amd64 libc6 2.29-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.1+b1 install ok installed libcom-err2:amd64 libcom-err2 1.45.4-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.10-10 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.6 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.250 install ok installed libext2fs2:amd64 libext2fs2 1.45.4-1 install ok installed libfdisk1:amd64 libfdisk1 2.34-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libgcc1:amd64 libgcc1 1:9.2.1-22 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.5-3 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4 install ok installed libgnutls30:amd64 libgnutls30 3.6.11.1-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.36-7 install ok installed libhogweed5:amd64 libhogweed5 3.5.1+really3.5.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.2.0-2 install ok installed liblz4-1:amd64 liblz4-1 1.9.2-2 install ok installed liblzma5:amd64 liblzma5 5.2.4-1+b1 install ok installed libmount1:amd64 libmount1 2.34-0.1 install ok installed libncursesw6:amd64 libncursesw6 6.1+20191019-1 install ok installed libnettle7:amd64 libnettle7 3.5.1+really3.5.1-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.18.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.3.1-5 install ok installed libpam-modules-bin libpam-modules-bin 1.3.1-5 install ok installed libpam-runtime libpam-runtime 1.3.1-5 install ok installed libpam0g:amd64 libpam0g 1.3.1-5 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.34-7 install ok installed libpcre3:amd64 libpcre3 2:8.39-12+b1 install ok installed libseccomp2:amd64 libseccomp2 2.4.2-2 install ok installed libselinux1:amd64 libselinux1 3.0-1 install ok installed libsemanage-common libsemanage-common 3.0-1 install ok installed libsemanage1:amd64 libsemanage1 3.0-1 install ok installed libsepol1:amd64 libsepol1 3.0-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.34-0.1 install ok installed libss2:amd64 libss2 1.45.4-1 install ok installed libstdc++6:amd64 libstdc++6 9.2.1-22 install ok installed libsystemd0:amd64 libsystemd0 244-3 install ok installed libtasn1-6:amd64 libtasn1-6 4.15.0-2 install ok installed libtinfo6:amd64 libtinfo6 6.1+20191019-1 install ok installed libudev1:amd64 libudev1 244-3 install ok installed libunistring2:amd64 libunistring2 0.9.10-2 install ok installed libuuid1:amd64 libuuid1 2.34-0.1 install ok installed libzstd1:amd64 libzstd1 1.4.4+dfsg-1 install ok installed login login 1:4.8-1 install ok installed logsave logsave 1.45.4-1 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mount mount 2.34-0.1 install ok installed ncurses-base ncurses-base 6.1+20191019-1 install ok installed ncurses-bin ncurses-bin 6.1+20191019-1 install ok installed passwd passwd 1:4.8-1 install ok installed perl-base perl-base 5.30.0-9 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.96-1 install ok installed tar tar 1.30+dfsg-6+b1 install ok installed tzdata tzdata 2019c-3 install ok installed util-linux util-linux 2.34-0.1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1+b1 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.2s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m7.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m7.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m7.7s INFO: Running scripts is_testable 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/is_testable_uninstallable'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/is_testable_uninstallable'] 0m7.7s INFO: Running scripts pre_test 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_test_exceptions'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_test_exceptions'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_test_root_password'] 0m7.7s DUMP: New password: Retype new password: passwd: password updated successfully 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_test_root_password'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'show', '--no-all-versions', 'boogie'] 0m7.9s DUMP: Package: boogie Version: 2.4.1+dfsg-0.1 Installed-Size: 41 Maintainer: Benjamin Barenblat Architecture: all Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220) Suggests: libgtk2.0-0 Description-en: verifiable programming language (compiler) Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice. . This package contains the Boogie compiler, as well as bvd, the Boogie Verification Debugger. Description-md5: ff05d0b0aea623bace962f4c12b777bd Homepage: http://research.microsoft.com/en-us/projects/boogie/ Section: cli-mono Priority: optional Filename: pool/main/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb Size: 16596 MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2 SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'show', '--no-all-versions', 'boogie'] 0m7.9s INFO: apt-cache knows about the following packages: boogie 0m7.9s INFO: Running scripts pre_install 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m8.0s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian bullseye/main amd64 Packages release o=Debian,a=testing,n=bullseye,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m8.0s DUMP: boogie: Installed: (none) Candidate: 2.4.1+dfsg-0.1 Version table: 2.4.1+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian bullseye/main amd64 Packages 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie'] 0m24.6s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu fontconfig-config fonts-dejavu-core libbinutils libboogie-cil libbsd0 libcairo2 libexif12 libexpat1 libfontconfig1 libfreetype6 libgdiplus libgif7 libglib2.0-0 libjbig0 libjpeg62-turbo libmono-accessibility4.0-cil libmono-corlib4.5-cil libmono-i18n-west4.0-cil libmono-i18n4.0-cil libmono-microsoft-csharp4.0-cil libmono-posix4.0-cil libmono-security4.0-cil libmono-system-configuration4.0-cil libmono-system-core4.0-cil libmono-system-data4.0-cil libmono-system-drawing4.0-cil libmono-system-enterpriseservices4.0-cil libmono-system-numerics4.0-cil libmono-system-runtime-caching4.0-cil libmono-system-runtime-serialization-formatters-soap4.0-cil libmono-system-security4.0-cil libmono-system-transactions4.0-cil libmono-system-windows-forms4.0-cil libmono-system-xml4.0-cil libmono-system4.0-cil libmono-webbrowser4.0-cil libpixman-1-0 libpng16-16 libtiff5 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxrender1 mono-4.0-gac mono-gac mono-mcs mono-runtime mono-runtime-common mono-runtime-sgen sensible-utils ucf z3 Suggested packages: binutils-doc libgtk2.0-0 libmono-i18n4.0-all libcups2 libgnomeui-0 librsvg2-2 shared-mime-info libasound2 libgamin0 xdg-utils | libgnome2-0 | konqueror Recommended packages: libglib2.0-data shared-mime-info xdg-user-dirs ca-certificates-mono libmono-btls-interface4.0-cil libgluezilla cli-common pkg-config binfmt-support The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu boogie fontconfig-config fonts-dejavu-core libbinutils libboogie-cil libbsd0 libcairo2 libexif12 libexpat1 libfontconfig1 libfreetype6 libgdiplus libgif7 libglib2.0-0 libjbig0 libjpeg62-turbo libmono-accessibility4.0-cil libmono-corlib4.5-cil libmono-i18n-west4.0-cil libmono-i18n4.0-cil libmono-microsoft-csharp4.0-cil libmono-posix4.0-cil libmono-security4.0-cil libmono-system-configuration4.0-cil libmono-system-core4.0-cil libmono-system-data4.0-cil libmono-system-drawing4.0-cil libmono-system-enterpriseservices4.0-cil libmono-system-numerics4.0-cil libmono-system-runtime-caching4.0-cil libmono-system-runtime-serialization-formatters-soap4.0-cil libmono-system-security4.0-cil libmono-system-transactions4.0-cil libmono-system-windows-forms4.0-cil libmono-system-xml4.0-cil libmono-system4.0-cil libmono-webbrowser4.0-cil libpixman-1-0 libpng16-16 libtiff5 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxrender1 mono-4.0-gac mono-gac mono-mcs mono-runtime mono-runtime-common mono-runtime-sgen sensible-utils ucf z3 0 upgraded, 62 newly installed, 0 to remove and 0 not upgraded. Need to get 29.1 MB of archives. After this operation, 104 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian bullseye/main amd64 sensible-utils all 0.0.12+nmu1 [16.0 kB] Get:2 http://mirror-ubc.debian.org/debian bullseye/main amd64 ucf all 3.0038+nmu1 [69.0 kB] Get:3 http://mirror-ubc.debian.org/debian bullseye/main amd64 binutils-common amd64 2.33.1-6 [2087 kB] Get:4 http://mirror-ubc.debian.org/debian bullseye/main amd64 libbinutils amd64 2.33.1-6 [468 kB] Get:5 http://mirror-ubc.debian.org/debian bullseye/main amd64 binutils-x86-64-linux-gnu amd64 2.33.1-6 [1612 kB] Get:6 http://mirror-ubc.debian.org/debian bullseye/main amd64 binutils amd64 2.33.1-6 [58.1 kB] Get:7 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-core4.0-cil all 5.18.0.240+dfsg-3 [318 kB] Get:8 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-numerics4.0-cil all 5.18.0.240+dfsg-3 [71.5 kB] Get:9 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-xml4.0-cil all 5.18.0.240+dfsg-3 [839 kB] Get:10 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-security4.0-cil all 5.18.0.240+dfsg-3 [131 kB] Get:11 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-configuration4.0-cil all 5.18.0.240+dfsg-3 [77.8 kB] Get:12 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system4.0-cil all 5.18.0.240+dfsg-3 [812 kB] Get:13 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-security4.0-cil all 5.18.0.240+dfsg-3 [142 kB] Get:14 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-4.0-gac all 5.18.0.240+dfsg-3 [176 kB] Get:15 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-gac all 5.18.0.240+dfsg-3 [41.5 kB] Get:16 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime-common amd64 5.18.0.240+dfsg-3+b1 [942 kB] Get:17 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime-sgen amd64 5.18.0.240+dfsg-3+b1 [1629 kB] Get:18 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime amd64 5.18.0.240+dfsg-3+b1 [37.8 kB] Get:19 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-corlib4.5-cil all 5.18.0.240+dfsg-3 [1249 kB] Get:20 http://mirror-ubc.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.9-1 [94.3 kB] Get:21 http://mirror-ubc.debian.org/debian bullseye/main amd64 libpng16-16 amd64 1.6.37-1 [292 kB] Get:22 http://mirror-ubc.debian.org/debian bullseye/main amd64 libfreetype6 amd64 2.10.1-2 [392 kB] Get:23 http://mirror-ubc.debian.org/debian bullseye/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:24 http://mirror-ubc.debian.org/debian bullseye/main amd64 fontconfig-config all 2.13.1-2 [280 kB] Get:25 http://mirror-ubc.debian.org/debian bullseye/main amd64 libfontconfig1 amd64 2.13.1-2+b1 [347 kB] Get:26 http://mirror-ubc.debian.org/debian bullseye/main amd64 libpixman-1-0 amd64 0.36.0-1 [537 kB] Get:27 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxau6 amd64 1:1.0.8-1+b2 [19.9 kB] Get:28 http://mirror-ubc.debian.org/debian bullseye/main amd64 libbsd0 amd64 0.10.0-1 [107 kB] Get:29 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:30 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb1 amd64 1.13.1-2 [137 kB] Get:31 http://mirror-ubc.debian.org/debian bullseye/main amd64 libx11-data all 2:1.6.8-1 [298 kB] Get:32 http://mirror-ubc.debian.org/debian bullseye/main amd64 libx11-6 amd64 2:1.6.8-1 [756 kB] Get:33 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb-render0 amd64 1.13.1-2 [109 kB] Get:34 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb-shm0 amd64 1.13.1-2 [99.2 kB] Get:35 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:36 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:37 http://mirror-ubc.debian.org/debian bullseye/main amd64 libcairo2 amd64 1.16.0-4 [689 kB] Get:38 http://mirror-ubc.debian.org/debian bullseye/main amd64 libexif12 amd64 0.6.21-5.1 [325 kB] Get:39 http://mirror-ubc.debian.org/debian bullseye/main amd64 libgif7 amd64 5.1.9-1 [44.7 kB] Get:40 http://mirror-ubc.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.62.4-1 [1320 kB] Get:41 http://mirror-ubc.debian.org/debian bullseye/main amd64 libjpeg62-turbo amd64 1:1.5.2-2+b1 [134 kB] Get:42 http://mirror-ubc.debian.org/debian bullseye/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:43 http://mirror-ubc.debian.org/debian bullseye/main amd64 libwebp6 amd64 0.6.1-2+b1 [261 kB] Get:44 http://mirror-ubc.debian.org/debian bullseye/main amd64 libtiff5 amd64 4.1.0+git191117-1 [271 kB] Get:45 http://mirror-ubc.debian.org/debian bullseye/main amd64 libgdiplus amd64 4.2-2+b1 [145 kB] Get:46 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-drawing4.0-cil all 5.18.0.240+dfsg-3 [170 kB] Get:47 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-transactions4.0-cil all 5.18.0.240+dfsg-3 [46.6 kB] Get:48 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-enterpriseservices4.0-cil all 5.18.0.240+dfsg-3 [49.9 kB] Get:49 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-data4.0-cil all 5.18.0.240+dfsg-3 [607 kB] Get:50 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-runtime-caching4.0-cil all 5.18.0.240+dfsg-3 [61.8 kB] Get:51 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-accessibility4.0-cil all 5.18.0.240+dfsg-3 [38.6 kB] Get:52 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-posix4.0-cil all 5.18.0.240+dfsg-3 [105 kB] Get:53 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-runtime-serialization-formatters-soap4.0-cil all 5.18.0.240+dfsg-3 [49.7 kB] Get:54 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-webbrowser4.0-cil all 5.18.0.240+dfsg-3 [81.3 kB] Get:55 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-i18n4.0-cil all 5.18.0.240+dfsg-3 [45.7 kB] Get:56 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-i18n-west4.0-cil all 5.18.0.240+dfsg-3 [48.8 kB] Get:57 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-windows-forms4.0-cil all 5.18.0.240+dfsg-3 [835 kB] Get:58 http://mirror-ubc.debian.org/debian bullseye/main amd64 libboogie-cil all 2.4.1+dfsg-0.1 [587 kB] Get:59 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-microsoft-csharp4.0-cil all 5.18.0.240+dfsg-3 [139 kB] Get:60 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-mcs all 5.18.0.240+dfsg-3 [559 kB] Get:61 http://mirror-ubc.debian.org/debian bullseye/main amd64 z3 amd64 4.8.7-2 [6979 kB] Get:62 http://mirror-ubc.debian.org/debian bullseye/main amd64 boogie all 2.4.1+dfsg-0.1 [16.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 29.1 MB in 1s (29.4 MB/s) Selecting previously unselected package sensible-utils. (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 ... 6535 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) ... Selecting previously unselected package ucf. Preparing to unpack .../01-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../02-binutils-common_2.33.1-6_amd64.deb ... Unpacking binutils-common:amd64 (2.33.1-6) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../03-libbinutils_2.33.1-6_amd64.deb ... Unpacking libbinutils:amd64 (2.33.1-6) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../04-binutils-x86-64-linux-gnu_2.33.1-6_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.33.1-6) ... Selecting previously unselected package binutils. Preparing to unpack .../05-binutils_2.33.1-6_amd64.deb ... Unpacking binutils (2.33.1-6) ... Selecting previously unselected package libmono-system-core4.0-cil. Preparing to unpack .../06-libmono-system-core4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-core4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-numerics4.0-cil. Preparing to unpack .../07-libmono-system-numerics4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-numerics4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-xml4.0-cil. Preparing to unpack .../08-libmono-system-xml4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-xml4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-security4.0-cil. Preparing to unpack .../09-libmono-system-security4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-security4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-configuration4.0-cil. Preparing to unpack .../10-libmono-system-configuration4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-configuration4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system4.0-cil. Preparing to unpack .../11-libmono-system4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-security4.0-cil. Preparing to unpack .../12-libmono-security4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-security4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package mono-4.0-gac. Preparing to unpack .../13-mono-4.0-gac_5.18.0.240+dfsg-3_all.deb ... Unpacking mono-4.0-gac (5.18.0.240+dfsg-3) ... Selecting previously unselected package mono-gac. Preparing to unpack .../14-mono-gac_5.18.0.240+dfsg-3_all.deb ... Unpacking mono-gac (5.18.0.240+dfsg-3) ... Selecting previously unselected package mono-runtime-common. Preparing to unpack .../15-mono-runtime-common_5.18.0.240+dfsg-3+b1_amd64.deb ... Unpacking mono-runtime-common (5.18.0.240+dfsg-3+b1) ... Selecting previously unselected package mono-runtime-sgen. Preparing to unpack .../16-mono-runtime-sgen_5.18.0.240+dfsg-3+b1_amd64.deb ... Unpacking mono-runtime-sgen (5.18.0.240+dfsg-3+b1) ... Selecting previously unselected package mono-runtime. Preparing to unpack .../17-mono-runtime_5.18.0.240+dfsg-3+b1_amd64.deb ... Unpacking mono-runtime (5.18.0.240+dfsg-3+b1) ... Selecting previously unselected package libmono-corlib4.5-cil. Preparing to unpack .../18-libmono-corlib4.5-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-corlib4.5-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../19-libexpat1_2.2.9-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../20-libpng16-16_1.6.37-1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../21-libfreetype6_2.10.1-2_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../22-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../23-fontconfig-config_2.13.1-2_all.deb ... Unpacking fontconfig-config (2.13.1-2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../24-libfontconfig1_2.13.1-2+b1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2+b1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../25-libpixman-1-0_0.36.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.36.0-1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../26-libxau6_1%3a1.0.8-1+b2_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1+b2) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../27-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../28-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../29-libxcb1_1.13.1-2_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../30-libx11-data_2%3a1.6.8-1_all.deb ... Unpacking libx11-data (2:1.6.8-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../31-libx11-6_2%3a1.6.8-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.8-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../32-libxcb-render0_1.13.1-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.13.1-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../33-libxcb-shm0_1.13.1-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.13.1-2) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../34-libxext6_2%3a1.3.3-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1+b2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../35-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../36-libcairo2_1.16.0-4_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4) ... Selecting previously unselected package libexif12:amd64. Preparing to unpack .../37-libexif12_0.6.21-5.1_amd64.deb ... Unpacking libexif12:amd64 (0.6.21-5.1) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../38-libgif7_5.1.9-1_amd64.deb ... Unpacking libgif7:amd64 (5.1.9-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../39-libglib2.0-0_2.62.4-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.62.4-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../40-libjpeg62-turbo_1%3a1.5.2-2+b1_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.2-2+b1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../41-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../42-libwebp6_0.6.1-2+b1_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2+b1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../43-libtiff5_4.1.0+git191117-1_amd64.deb ... Unpacking libtiff5:amd64 (4.1.0+git191117-1) ... Selecting previously unselected package libgdiplus. Preparing to unpack .../44-libgdiplus_4.2-2+b1_amd64.deb ... Unpacking libgdiplus (4.2-2+b1) ... Selecting previously unselected package libmono-system-drawing4.0-cil. Preparing to unpack .../45-libmono-system-drawing4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-drawing4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-transactions4.0-cil. Preparing to unpack .../46-libmono-system-transactions4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-transactions4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-enterpriseservices4.0-cil. Preparing to unpack .../47-libmono-system-enterpriseservices4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-data4.0-cil. Preparing to unpack .../48-libmono-system-data4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-data4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-runtime-caching4.0-cil. Preparing to unpack .../49-libmono-system-runtime-caching4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-runtime-caching4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-accessibility4.0-cil. Preparing to unpack .../50-libmono-accessibility4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-accessibility4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-posix4.0-cil. Preparing to unpack .../51-libmono-posix4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-posix4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-runtime-serialization-formatters-soap4.0-cil. Preparing to unpack .../52-libmono-system-runtime-serialization-formatters-soap4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-runtime-serialization-formatters-soap4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-webbrowser4.0-cil. Preparing to unpack .../53-libmono-webbrowser4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-webbrowser4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-i18n4.0-cil. Preparing to unpack .../54-libmono-i18n4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-i18n4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-i18n-west4.0-cil. Preparing to unpack .../55-libmono-i18n-west4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-i18n-west4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-windows-forms4.0-cil. Preparing to unpack .../56-libmono-system-windows-forms4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-windows-forms4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libboogie-cil. Preparing to unpack .../57-libboogie-cil_2.4.1+dfsg-0.1_all.deb ... Unpacking libboogie-cil (2.4.1+dfsg-0.1) ... Selecting previously unselected package libmono-microsoft-csharp4.0-cil. Preparing to unpack .../58-libmono-microsoft-csharp4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-microsoft-csharp4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package mono-mcs. Preparing to unpack .../59-mono-mcs_5.18.0.240+dfsg-3_all.deb ... Unpacking mono-mcs (5.18.0.240+dfsg-3) ... Selecting previously unselected package z3. Preparing to unpack .../60-z3_4.8.7-2_amd64.deb ... Unpacking z3 (4.8.7-2) ... Selecting previously unselected package boogie. Preparing to unpack .../61-boogie_2.4.1+dfsg-0.1_all.deb ... Unpacking boogie (2.4.1+dfsg-0.1) ... Setting up libexpat1:amd64 (2.2.9-1) ... Setting up libpixman-1-0:amd64 (0.36.0-1) ... Setting up libxau6:amd64 (1:1.0.8-1+b2) ... Setting up libglib2.0-0:amd64 (2.62.4-1) ... No schema files found: doing nothing. Setting up binutils-common:amd64 (2.33.1-6) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up z3 (4.8.7-2) ... Setting up libjpeg62-turbo:amd64 (1:1.5.2-2+b1) ... Setting up libx11-data (2:1.6.8-1) ... Setting up libexif12:amd64 (0.6.21-5.1) ... Setting up libpng16-16:amd64 (1.6.37-1) ... Setting up libwebp6:amd64 (0.6.1-2+b1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libgif7:amd64 (5.1.9-1) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up libtiff5:amd64 (4.1.0+git191117-1) ... Setting up libbinutils:amd64 (2.33.1-6) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up binutils-x86-64-linux-gnu (2.33.1-6) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libxcb1:amd64 (1.13.1-2) ... Setting up libxcb-render0:amd64 (1.13.1-2) ... Setting up libxcb-shm0:amd64 (1.13.1-2) ... Setting up binutils (2.33.1-6) ... Setting up libfreetype6:amd64 (2.10.1-2) ... Setting up ucf (3.0038+nmu1) ... Setting up libx11-6:amd64 (2:1.6.8-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up fontconfig-config (2.13.1-2) ... Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up libfontconfig1:amd64 (2.13.1-2+b1) ... Setting up libcairo2:amd64 (1.16.0-4) ... Setting up libgdiplus (4.2-2+b1) ... Setting up mono-runtime-sgen (5.18.0.240+dfsg-3+b1) ... Setting up mono-runtime (5.18.0.240+dfsg-3+b1) ... update-alternatives: using /usr/bin/mono to provide /usr/bin/cli (cli) in auto mode Setting up libmono-corlib4.5-cil (5.18.0.240+dfsg-3) ... Setting up libmono-accessibility4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-configuration4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-security4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-i18n4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-numerics4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-i18n-west4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-transactions4.0-cil (5.18.0.240+dfsg-3) ... Setting up mono-4.0-gac (5.18.0.240+dfsg-3) ... Setting up mono-gac (5.18.0.240+dfsg-3) ... update-alternatives: using /usr/bin/gacutil to provide /usr/bin/cli-gacutil (global-assembly-cache-tool) in auto mode Setting up mono-runtime-common (5.18.0.240+dfsg-3+b1) ... Setting up libmono-system-core4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-posix4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-webbrowser4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-security4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-drawing4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-microsoft-csharp4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-xml4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-data4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-runtime-caching4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-runtime-serialization-formatters-soap4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-windows-forms4.0-cil (5.18.0.240+dfsg-3) ... Setting up mono-mcs (5.18.0.240+dfsg-3) ... Setting up libboogie-cil (2.4.1+dfsg-0.1) ... Setting up boogie (2.4.1+dfsg-0.1) ... Processing triggers for libc-bin (2.29-7) ... 0m24.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie'] 0m24.6s INFO: Running scripts post_install 0m24.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m24.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m24.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m24.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m24.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp9phbhw8w to sid 0m24.9s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ sid main 0m25.0s INFO: Running scripts pre_distupgrade 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_exceptions'] 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_exceptions'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'update'] 0m29.4s DUMP: Get:1 http://mirror-ubc.debian.org/debian sid InRelease [142 kB] Get:2 http://mirror-ubc.debian.org/debian sid/main amd64 Packages [8251 kB] Get:3 http://mirror-ubc.debian.org/debian sid/main Translation-en [6191 kB] Fetched 14.6 MB in 3s (4235 kB/s) Reading package lists... 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'update'] 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-yf', 'dist-upgrade'] 0m46.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libctf-nobfd0 libctf0 The following packages will be upgraded: binutils binutils-common binutils-x86-64-linux-gnu e2fsprogs libbinutils libc-bin libc6 libcom-err2 libext2fs2 libgdiplus libmono-accessibility4.0-cil libmono-corlib4.5-cil libmono-i18n-west4.0-cil libmono-i18n4.0-cil libmono-microsoft-csharp4.0-cil libmono-posix4.0-cil libmono-security4.0-cil libmono-system-configuration4.0-cil libmono-system-core4.0-cil libmono-system-data4.0-cil libmono-system-drawing4.0-cil libmono-system-enterpriseservices4.0-cil libmono-system-numerics4.0-cil libmono-system-runtime-caching4.0-cil libmono-system-runtime-serialization-formatters-soap4.0-cil libmono-system-security4.0-cil libmono-system-transactions4.0-cil libmono-system-windows-forms4.0-cil libmono-system-xml4.0-cil libmono-system4.0-cil libmono-webbrowser4.0-cil libss2 libxcb-render0 libxcb-shm0 libxcb1 logsave mawk mono-4.0-gac mono-gac mono-mcs mono-runtime mono-runtime-common mono-runtime-sgen 43 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 18.8 MB of archives. After this operation, 42.0 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian sid/main amd64 libc6 amd64 2.29-8 [2806 kB] Get:2 http://mirror-ubc.debian.org/debian sid/main amd64 libc-bin amd64 2.29-8 [794 kB] Get:3 http://mirror-ubc.debian.org/debian sid/main amd64 logsave amd64 1.45.5-1 [72.0 kB] Get:4 http://mirror-ubc.debian.org/debian sid/main amd64 libext2fs2 amd64 1.45.5-1 [247 kB] Get:5 http://mirror-ubc.debian.org/debian sid/main amd64 e2fsprogs amd64 1.45.5-1 [593 kB] Get:6 http://mirror-ubc.debian.org/debian sid/main amd64 mawk amd64 1.3.3-19 [84.8 kB] Get:7 http://mirror-ubc.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.33.50.20200107-1 [1585 kB] Get:8 http://mirror-ubc.debian.org/debian sid/main amd64 libbinutils amd64 2.33.50.20200107-1 [469 kB] Get:9 http://mirror-ubc.debian.org/debian sid/main amd64 binutils amd64 2.33.50.20200107-1 [58.3 kB] Get:10 http://mirror-ubc.debian.org/debian sid/main amd64 binutils-common amd64 2.33.50.20200107-1 [2010 kB] Get:11 http://mirror-ubc.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.33.50.20200107-1 [100 kB] Get:12 http://mirror-ubc.debian.org/debian sid/main amd64 libctf0 amd64 2.33.50.20200107-1 [45.8 kB] Get:13 http://mirror-ubc.debian.org/debian sid/main amd64 libcom-err2 amd64 1.45.5-1 [71.3 kB] Get:14 http://mirror-ubc.debian.org/debian sid/main amd64 libgdiplus amd64 6.0.4+dfsg-1 [162 kB] Get:15 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-core4.0-cil all 5.18.0.240+dfsg-5 [318 kB] Get:16 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-numerics4.0-cil all 5.18.0.240+dfsg-5 [71.7 kB] Get:17 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-xml4.0-cil all 5.18.0.240+dfsg-5 [839 kB] Get:18 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-security4.0-cil all 5.18.0.240+dfsg-5 [131 kB] Get:19 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-configuration4.0-cil all 5.18.0.240+dfsg-5 [77.9 kB] Get:20 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system4.0-cil all 5.18.0.240+dfsg-5 [814 kB] Get:21 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-security4.0-cil all 5.18.0.240+dfsg-5 [143 kB] Get:22 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime amd64 5.18.0.240+dfsg-5 [37.6 kB] Get:23 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime-sgen amd64 5.18.0.240+dfsg-5 [1629 kB] Get:24 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime-common amd64 5.18.0.240+dfsg-5 [941 kB] Get:25 http://mirror-ubc.debian.org/debian sid/main amd64 mono-gac all 5.18.0.240+dfsg-5 [41.6 kB] Get:26 http://mirror-ubc.debian.org/debian sid/main amd64 mono-4.0-gac all 5.18.0.240+dfsg-5 [176 kB] Get:27 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-corlib4.5-cil all 5.18.0.240+dfsg-5 [1250 kB] Get:28 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-accessibility4.0-cil all 5.18.0.240+dfsg-5 [38.7 kB] Get:29 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-i18n4.0-cil all 5.18.0.240+dfsg-5 [45.8 kB] Get:30 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-i18n-west4.0-cil all 5.18.0.240+dfsg-5 [48.9 kB] Get:31 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-microsoft-csharp4.0-cil all 5.18.0.240+dfsg-5 [139 kB] Get:32 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-posix4.0-cil all 5.18.0.240+dfsg-5 [105 kB] Get:33 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-transactions4.0-cil all 5.18.0.240+dfsg-5 [46.6 kB] Get:34 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-enterpriseservices4.0-cil all 5.18.0.240+dfsg-5 [49.9 kB] Get:35 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-data4.0-cil all 5.18.0.240+dfsg-5 [607 kB] Get:36 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-drawing4.0-cil all 5.18.0.240+dfsg-5 [170 kB] Get:37 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-runtime-caching4.0-cil all 5.18.0.240+dfsg-5 [61.9 kB] Get:38 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-runtime-serialization-formatters-soap4.0-cil all 5.18.0.240+dfsg-5 [49.8 kB] Get:39 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-webbrowser4.0-cil all 5.18.0.240+dfsg-5 [81.4 kB] Get:40 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-windows-forms4.0-cil all 5.18.0.240+dfsg-5 [831 kB] Get:41 http://mirror-ubc.debian.org/debian sid/main amd64 libss2 amd64 1.45.5-1 [75.8 kB] Get:42 http://mirror-ubc.debian.org/debian sid/main amd64 libxcb1 amd64 1.13.1-3 [137 kB] Get:43 http://mirror-ubc.debian.org/debian sid/main amd64 libxcb-render0 amd64 1.13.1-3 [109 kB] Get:44 http://mirror-ubc.debian.org/debian sid/main amd64 libxcb-shm0 amd64 1.13.1-3 [99.2 kB] Get:45 http://mirror-ubc.debian.org/debian sid/main amd64 mono-mcs all 5.18.0.240+dfsg-5 [559 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 18.8 MB in 1s (30.8 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 ... 7828 files and directories currently installed.) Preparing to unpack .../libc6_2.29-8_amd64.deb ... Unpacking libc6:amd64 (2.29-8) over (2.29-7) ... Setting up libc6:amd64 (2.29-8) ... (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 ... 7828 files and directories currently installed.) Preparing to unpack .../libc-bin_2.29-8_amd64.deb ... Unpacking libc-bin (2.29-8) over (2.29-7) ... Setting up libc-bin (2.29-8) ... (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 ... 7828 files and directories currently installed.) Preparing to unpack .../logsave_1.45.5-1_amd64.deb ... Unpacking logsave (1.45.5-1) over (1.45.4-1) ... Preparing to unpack .../libext2fs2_1.45.5-1_amd64.deb ... Unpacking libext2fs2:amd64 (1.45.5-1) over (1.45.4-1) ... Setting up libext2fs2:amd64 (1.45.5-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7828 files and directories currently installed.) Preparing to unpack .../00-e2fsprogs_1.45.5-1_amd64.deb ... Unpacking e2fsprogs (1.45.5-1) over (1.45.4-1) ... Preparing to unpack .../01-mawk_1.3.3-19_amd64.deb ... Unpacking mawk (1.3.3-19) over (1.3.3-17+b3) ... Preparing to unpack .../02-binutils-x86-64-linux-gnu_2.33.50.20200107-1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.33.50.20200107-1) over (2.33.1-6) ... Preparing to unpack .../03-libbinutils_2.33.50.20200107-1_amd64.deb ... Unpacking libbinutils:amd64 (2.33.50.20200107-1) over (2.33.1-6) ... Preparing to unpack .../04-binutils_2.33.50.20200107-1_amd64.deb ... Unpacking binutils (2.33.50.20200107-1) over (2.33.1-6) ... Preparing to unpack .../05-binutils-common_2.33.50.20200107-1_amd64.deb ... Unpacking binutils-common:amd64 (2.33.50.20200107-1) over (2.33.1-6) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../06-libctf-nobfd0_2.33.50.20200107-1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.33.50.20200107-1) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../07-libctf0_2.33.50.20200107-1_amd64.deb ... Unpacking libctf0:amd64 (2.33.50.20200107-1) ... Preparing to unpack .../08-libcom-err2_1.45.5-1_amd64.deb ... Unpacking libcom-err2:amd64 (1.45.5-1) over (1.45.4-1) ... Preparing to unpack .../09-libgdiplus_6.0.4+dfsg-1_amd64.deb ... Unpacking libgdiplus (6.0.4+dfsg-1) over (4.2-2+b1) ... Preparing to unpack .../10-libmono-system-core4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-core4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../11-libmono-system-numerics4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-numerics4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../12-libmono-system-xml4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-xml4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../13-libmono-system-security4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-security4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../14-libmono-system-configuration4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-configuration4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../15-libmono-system4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../16-libmono-security4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-security4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../17-mono-runtime_5.18.0.240+dfsg-5_amd64.deb ... Unpacking mono-runtime (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3+b1) ... Preparing to unpack .../18-mono-runtime-sgen_5.18.0.240+dfsg-5_amd64.deb ... Unpacking mono-runtime-sgen (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3+b1) ... Preparing to unpack .../19-mono-runtime-common_5.18.0.240+dfsg-5_amd64.deb ... Unpacking mono-runtime-common (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3+b1) ... Preparing to unpack .../20-mono-gac_5.18.0.240+dfsg-5_all.deb ... Unpacking mono-gac (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../21-mono-4.0-gac_5.18.0.240+dfsg-5_all.deb ... Unpacking mono-4.0-gac (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../22-libmono-corlib4.5-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-corlib4.5-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../23-libmono-accessibility4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-accessibility4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../24-libmono-i18n4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-i18n4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../25-libmono-i18n-west4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-i18n-west4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../26-libmono-microsoft-csharp4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-microsoft-csharp4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../27-libmono-posix4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-posix4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../28-libmono-system-transactions4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-transactions4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../29-libmono-system-enterpriseservices4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../30-libmono-system-data4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-data4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../31-libmono-system-drawing4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-drawing4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../32-libmono-system-runtime-caching4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-runtime-caching4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../33-libmono-system-runtime-serialization-formatters-soap4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-runtime-serialization-formatters-soap4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../34-libmono-webbrowser4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-webbrowser4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../35-libmono-system-windows-forms4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-windows-forms4.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../36-libss2_1.45.5-1_amd64.deb ... Unpacking libss2:amd64 (1.45.5-1) over (1.45.4-1) ... Preparing to unpack .../37-libxcb1_1.13.1-3_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../38-libxcb-render0_1.13.1-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../39-libxcb-shm0_1.13.1-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../40-mono-mcs_5.18.0.240+dfsg-5_all.deb ... Unpacking mono-mcs (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Setting up libxcb1:amd64 (1.13.1-3) ... Setting up libxcb-render0:amd64 (1.13.1-3) ... Setting up binutils-common:amd64 (2.33.50.20200107-1) ... Setting up libgdiplus (6.0.4+dfsg-1) ... Setting up libctf-nobfd0:amd64 (2.33.50.20200107-1) ... Setting up libxcb-shm0:amd64 (1.13.1-3) ... Setting up libcom-err2:amd64 (1.45.5-1) ... Setting up libss2:amd64 (1.45.5-1) ... Setting up logsave (1.45.5-1) ... Setting up mawk (1.3.3-19) ... Setting up libbinutils:amd64 (2.33.50.20200107-1) ... Setting up libctf0:amd64 (2.33.50.20200107-1) ... Setting up e2fsprogs (1.45.5-1) ... Setting up binutils-x86-64-linux-gnu (2.33.50.20200107-1) ... Setting up binutils (2.33.50.20200107-1) ... Setting up libmono-system-xml4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-configuration4.0-cil (5.18.0.240+dfsg-5) ... Setting up mono-runtime-sgen (5.18.0.240+dfsg-5) ... Setting up mono-runtime (5.18.0.240+dfsg-5) ... Setting up libmono-system4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-corlib4.5-cil (5.18.0.240+dfsg-5) ... Setting up libmono-accessibility4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-security4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-i18n4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-numerics4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-posix4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-webbrowser4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-runtime-serialization-formatters-soap4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-i18n-west4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-security4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-drawing4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-transactions4.0-cil (5.18.0.240+dfsg-5) ... Setting up mono-4.0-gac (5.18.0.240+dfsg-5) ... Setting up mono-gac (5.18.0.240+dfsg-5) ... Setting up mono-runtime-common (5.18.0.240+dfsg-5) ... Setting up libmono-system-core4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-microsoft-csharp4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-data4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-runtime-caching4.0-cil (5.18.0.240+dfsg-5) ... Setting up libmono-system-windows-forms4.0-cil (5.18.0.240+dfsg-5) ... Setting up mono-mcs (5.18.0.240+dfsg-5) ... Processing triggers for libc-bin (2.29-8) ... 0m46.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-yf', 'dist-upgrade'] 0m46.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m46.4s DUMP: f30763f875568924dedd0e0a97ba9aab - 0m46.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m46.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'show', '--no-all-versions', 'boogie'] 0m46.6s DUMP: Package: boogie Version: 2.4.1+dfsg-0.1 Installed-Size: 41 Maintainer: Benjamin Barenblat Architecture: all Depends: libboogie-cil (= 2.4.1+dfsg-0.1), mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-windows-forms4.0-cil (>= 5.16.0.220) Suggests: libgtk2.0-0 Description-en: verifiable programming language (compiler) Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice. . This package contains the Boogie compiler, as well as bvd, the Boogie Verification Debugger. Description-md5: ff05d0b0aea623bace962f4c12b777bd Homepage: http://research.microsoft.com/en-us/projects/boogie/ Section: cli-mono Priority: optional Filename: pool/main/b/boogie/boogie_2.4.1+dfsg-0.1_all.deb Size: 16596 MD5sum: ab1a5e306512ac2a6d0e6fb76f1f97d2 SHA256: 2f34d2e2c45912a4257421a2c647718840ef657ded471f465f1d530f89ae3f07 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'show', '--no-all-versions', 'boogie'] 0m46.6s INFO: apt-cache knows about the following packages: boogie 0m46.6s INFO: Running scripts pre_install 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m46.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m46.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m46.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 0m46.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m46.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m46.8s DUMP: boogie: Installed: 2.4.1+dfsg-0.1 Candidate: 2.4.1+dfsg-0.1 Version table: *** 2.4.1+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m46.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m46.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie'] 0m47.2s DUMP: Reading package lists... Building dependency tree... Reading state information... boogie is already the newest version (2.4.1+dfsg-0.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie'] 0m47.2s INFO: Running scripts post_install 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m47.2s INFO: Running scripts post_distupgrade 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_exceptions'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_exceptions'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_zz_backports'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_distupgrade_zz_backports'] 0m47.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m47.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m47.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m47.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m47.9s INFO: Running scripts pre_install 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_database-server'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_exceptions'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_extras'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m48.0s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m48.1s DUMP: boogie: Installed: 2.4.1+dfsg-0.1 Candidate: 2.4.1+dfsg-0.1 Version table: *** 2.4.1+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-cache', 'policy', 'boogie'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie=2.4.1+dfsg-0.1'] 0m48.5s DUMP: Reading package lists... Building dependency tree... Reading state information... boogie is already the newest version (2.4.1+dfsg-0.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', '-y', 'install', 'boogie=2.4.1+dfsg-0.1'] 0m48.5s INFO: Running scripts post_install 0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_install_exceptions'] 0m48.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m48.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m49.2s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', '-ac', '--ignore-obsolete'] 0m50.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', '-ac', '--ignore-obsolete'] 0m50.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m50.0s DUMP: 0.15.2 0m50.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m50.0s INFO: Running adequate version 0.15.2 now. 0m50.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'boogie'] 0m50.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'boogie'] 0m50.1s INFO: Running scripts pre_remove 0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m50.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m50.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m51.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_exceptions'] 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/pre_remove_exceptions'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m51.2s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.4 install ok installed base-files base-files 11 install ok installed base-passwd base-passwd 3.5.47 install ok installed bash bash 5.0-5 install ok installed binutils binutils 2.33.50.20200107-1 install ok installed binutils-common:amd64 binutils-common 2.33.50.20200107-1 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.33.50.20200107-1 install ok installed boogie boogie 2.4.1+dfsg-0.1 install ok installed bsdutils bsdutils 1:2.34-0.1 install ok installed coreutils coreutils 8.30-3+b1 install ok installed dash dash 0.5.10.2-6 install ok installed debconf debconf 1.5.73 install ok installed debian-archive-keyring debian-archive-keyring 2019.1 install ok installed debianutils debianutils 4.9.1 install ok installed diffutils diffutils 1:3.7-3 install ok installed dpkg dpkg 1.19.7 install ok installed e2fsprogs e2fsprogs 1.45.5-1 install ok installed fdisk fdisk 2.34-0.1 install ok installed findutils findutils 4.7.0-1 install ok installed fontconfig-config fontconfig-config 2.13.1-2 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-1 install ok installed gcc-9-base:amd64 gcc-9-base 9.2.1-22 install ok installed gpgv gpgv 2.2.17-3 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3+b1 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.57 install ok installed libacl1:amd64 libacl1 2.2.53-5 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.48-5 install ok installed libaudit-common libaudit-common 1:2.8.5-2 install ok installed libaudit1:amd64 libaudit1 1:2.8.5-2+b1 install ok installed libbinutils:amd64 libbinutils 2.33.50.20200107-1 install ok installed libblkid1:amd64 libblkid1 2.34-0.1 install ok installed libboogie-cil libboogie-cil 2.4.1+dfsg-0.1 install ok installed libbsd0:amd64 libbsd0 0.10.0-1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-2 install ok installed libc-bin libc-bin 2.29-8 install ok installed libc6:amd64 libc6 2.29-8 install ok installed libcairo2:amd64 libcairo2 1.16.0-4 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.1+b1 install ok installed libcom-err2:amd64 libcom-err2 1.45.5-1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.10-10 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.33.50.20200107-1 install ok installed libctf0:amd64 libctf0 2.33.50.20200107-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.6 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.250 install ok installed libexif12:amd64 libexif12 0.6.21-5.1 install ok installed libexpat1:amd64 libexpat1 2.2.9-1 install ok installed libext2fs2:amd64 libext2fs2 1.45.5-1 install ok installed libfdisk1:amd64 libfdisk1 2.34-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libfontconfig1:amd64 libfontconfig1 2.13.1-2+b1 install ok installed libfreetype6:amd64 libfreetype6 2.10.1-2 install ok installed libgcc1:amd64 libgcc1 1:9.2.1-22 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.5-3 install ok installed libgdiplus libgdiplus 6.0.4+dfsg-1 install ok installed libgif7:amd64 libgif7 5.1.9-1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.62.4-1 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4 install ok installed libgnutls30:amd64 libgnutls30 3.6.11.1-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.36-7 install ok installed libhogweed5:amd64 libhogweed5 3.5.1+really3.5.1-2 install ok installed libidn2-0:amd64 libidn2-0 2.2.0-2 install ok installed libjbig0:amd64 libjbig0 2.1-3.1+b2 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:1.5.2-2+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.2-2 install ok installed liblzma5:amd64 liblzma5 5.2.4-1+b1 install ok installed libmono-accessibility4.0-cil libmono-accessibility4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-corlib4.5-cil libmono-corlib4.5-cil 5.18.0.240+dfsg-5 install ok installed libmono-i18n-west4.0-cil libmono-i18n-west4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-i18n4.0-cil libmono-i18n4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-microsoft-csharp4.0-cil libmono-microsoft-csharp4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-posix4.0-cil libmono-posix4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-security4.0-cil libmono-security4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-configuration4.0-cil libmono-system-configuration4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-core4.0-cil libmono-system-core4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-data4.0-cil libmono-system-data4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-drawing4.0-cil libmono-system-drawing4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-enterpriseservices4.0-cil libmono-system-enterpriseservices4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-numerics4.0-cil libmono-system-numerics4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-runtime-caching4.0-cil libmono-system-runtime-caching4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-runtime-serialization-formatters-soap4.0-cil libmono-system-runtime-serialization-formatters-soap4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-security4.0-cil libmono-system-security4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-transactions4.0-cil libmono-system-transactions4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-windows-forms4.0-cil libmono-system-windows-forms4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system-xml4.0-cil libmono-system-xml4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-system4.0-cil libmono-system4.0-cil 5.18.0.240+dfsg-5 install ok installed libmono-webbrowser4.0-cil libmono-webbrowser4.0-cil 5.18.0.240+dfsg-5 install ok installed libmount1:amd64 libmount1 2.34-0.1 install ok installed libncursesw6:amd64 libncursesw6 6.1+20191019-1 install ok installed libnettle7:amd64 libnettle7 3.5.1+really3.5.1-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.18.1-2 install ok installed libpam-modules:amd64 libpam-modules 1.3.1-5 install ok installed libpam-modules-bin libpam-modules-bin 1.3.1-5 install ok installed libpam-runtime libpam-runtime 1.3.1-5 install ok installed libpam0g:amd64 libpam0g 1.3.1-5 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.34-7 install ok installed libpcre3:amd64 libpcre3 2:8.39-12+b1 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.36.0-1 install ok installed libpng16-16:amd64 libpng16-16 1.6.37-1 install ok installed libseccomp2:amd64 libseccomp2 2.4.2-2 install ok installed libselinux1:amd64 libselinux1 3.0-1 install ok installed libsemanage-common libsemanage-common 3.0-1 install ok installed libsemanage1:amd64 libsemanage1 3.0-1 install ok installed libsepol1:amd64 libsepol1 3.0-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.34-0.1 install ok installed libss2:amd64 libss2 1.45.5-1 install ok installed libstdc++6:amd64 libstdc++6 9.2.1-22 install ok installed libsystemd0:amd64 libsystemd0 244-3 install ok installed libtasn1-6:amd64 libtasn1-6 4.15.0-2 install ok installed libtiff5:amd64 libtiff5 4.1.0+git191117-1 install ok installed libtinfo6:amd64 libtinfo6 6.1+20191019-1 install ok installed libudev1:amd64 libudev1 244-3 install ok installed libunistring2:amd64 libunistring2 0.9.10-2 install ok installed libuuid1:amd64 libuuid1 2.34-0.1 install ok installed libwebp6:amd64 libwebp6 0.6.1-2+b1 install ok installed libx11-6:amd64 libx11-6 2:1.6.8-1 install ok installed libx11-data libx11-data 2:1.6.8-1 install ok installed libxau6:amd64 libxau6 1:1.0.8-1+b2 install ok installed libxcb-render0:amd64 libxcb-render0 1.13.1-3 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.13.1-3 install ok installed libxcb1:amd64 libxcb1 1.13.1-3 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3 install ok installed libxext6:amd64 libxext6 2:1.3.3-1+b2 install ok installed libxrender1:amd64 libxrender1 1:0.9.10-1 install ok installed libzstd1:amd64 libzstd1 1.4.4+dfsg-1 install ok installed login login 1:4.8-1 install ok installed logsave logsave 1.45.5-1 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.3-19 install ok installed mono-4.0-gac mono-4.0-gac 5.18.0.240+dfsg-5 install ok installed mono-gac mono-gac 5.18.0.240+dfsg-5 install ok installed mono-mcs mono-mcs 5.18.0.240+dfsg-5 install ok installed mono-runtime mono-runtime 5.18.0.240+dfsg-5 install ok installed mono-runtime-common mono-runtime-common 5.18.0.240+dfsg-5 install ok installed mono-runtime-sgen mono-runtime-sgen 5.18.0.240+dfsg-5 install ok installed mount mount 2.34-0.1 install ok installed ncurses-base ncurses-base 6.1+20191019-1 install ok installed ncurses-bin ncurses-bin 6.1+20191019-1 install ok installed passwd passwd 1:4.8-1 install ok installed perl-base perl-base 5.30.0-9 install ok installed sed sed 4.7-1 install ok installed sensible-utils sensible-utils 0.0.12+nmu1 install ok installed sysvinit-utils sysvinit-utils 2.96-1 install ok installed tar tar 1.30+dfsg-6+b1 install ok installed tzdata tzdata 2019c-3 install ok installed ucf ucf 3.0038+nmu1 install ok installed util-linux util-linux 2.34-0.1 install ok installed z3 z3 4.8.7-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1+b1 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'fontconfig-config', 'fonts-dejavu-core', 'libbinutils:amd64', 'libboogie-cil', 'libbsd0:amd64', 'libcairo2:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexif12:amd64', 'libexpat1:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgdiplus', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libmono-accessibility4.0-cil', 'libmono-corlib4.5-cil', 'libmono-i18n-west4.0-cil', 'libmono-i18n4.0-cil', 'libmono-microsoft-csharp4.0-cil', 'libmono-posix4.0-cil', 'libmono-security4.0-cil', 'libmono-system-configuration4.0-cil', 'libmono-system-core4.0-cil', 'libmono-system-data4.0-cil', 'libmono-system-drawing4.0-cil', 'libmono-system-enterpriseservices4.0-cil', 'libmono-system-numerics4.0-cil', 'libmono-system-runtime-caching4.0-cil', 'libmono-system-runtime-serialization-formatters-soap4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-transactions4.0-cil', 'libmono-system-windows-forms4.0-cil', 'libmono-system-xml4.0-cil', 'libmono-system4.0-cil', 'libmono-webbrowser4.0-cil', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libtiff5:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxrender1:amd64', 'mono-4.0-gac', 'mono-gac', 'mono-mcs', 'mono-runtime', 'mono-runtime-common', 'mono-runtime-sgen', 'sensible-utils', 'ucf', 'z3', 'boogie'] 0m52.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 boogie fontconfig-config fonts-dejavu-core libbinutils libboogie-cil libbsd0 libcairo2 libctf-nobfd0 libctf0 libexif12 libexpat1 libfontconfig1 libfreetype6 libgdiplus libgif7 libglib2.0-0 libjbig0 libjpeg62-turbo libmono-accessibility4.0-cil libmono-corlib4.5-cil libmono-i18n-west4.0-cil libmono-i18n4.0-cil libmono-microsoft-csharp4.0-cil libmono-posix4.0-cil libmono-security4.0-cil libmono-system-configuration4.0-cil libmono-system-core4.0-cil libmono-system-data4.0-cil libmono-system-drawing4.0-cil libmono-system-enterpriseservices4.0-cil libmono-system-numerics4.0-cil libmono-system-runtime-caching4.0-cil libmono-system-runtime-serialization-formatters-soap4.0-cil libmono-system-security4.0-cil libmono-system-transactions4.0-cil libmono-system-windows-forms4.0-cil libmono-system-xml4.0-cil libmono-system4.0-cil libmono-webbrowser4.0-cil libpixman-1-0 libpng16-16 libtiff5 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxrender1 mono-4.0-gac mono-gac mono-mcs mono-runtime mono-runtime-common mono-runtime-sgen sensible-utils ucf z3 0 upgraded, 0 newly installed, 64 to remove and 0 not upgraded. After this operation, 104 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 ... 7831 files and directories currently installed.) Removing boogie (2.4.1+dfsg-0.1) ... Removing mono-mcs (5.18.0.240+dfsg-5) ... Removing libboogie-cil (2.4.1+dfsg-0.1) ... Removing libmono-system-windows-forms4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-drawing4.0-cil (5.18.0.240+dfsg-5) ... Removing libgdiplus (6.0.4+dfsg-1) ... Removing libcairo2:amd64 (1.16.0-4) ... Removing libfontconfig1:amd64 (2.13.1-2+b1) ... Removing fontconfig-config (2.13.1-2) ... Removing fonts-dejavu-core (2.37-1) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libxext6:amd64 (2:1.3.3-1+b2) ... Removing libx11-6:amd64 (2:1.6.8-1) ... Removing libxcb-shm0:amd64 (1.13.1-3) ... Removing libexif12:amd64 (0.6.21-5.1) ... Removing libexpat1:amd64 (2.2.9-1) ... Removing libfreetype6:amd64 (2.10.1-2) ... Removing libgif7:amd64 (5.1.9-1) ... Removing libglib2.0-0:amd64 (2.62.4-1) ... Removing libtiff5:amd64 (4.1.0+git191117-1) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:1.5.2-2+b1) ... Removing libmono-accessibility4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-webbrowser4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-i18n-west4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-i18n4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-microsoft-csharp4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-posix4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-runtime-caching4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-data4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-runtime-serialization-formatters-soap4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-transactions4.0-cil (5.18.0.240+dfsg-5) ... Removing libpixman-1-0:amd64 (0.36.0-1) ... Removing libpng16-16:amd64 (1.6.37-1) ... Removing libwebp6:amd64 (0.6.1-2+b1) ... Removing libx11-data (2:1.6.8-1) ... Removing libxcb-render0:amd64 (1.13.1-3) ... Removing ucf (3.0038+nmu1) ... Removing sensible-utils (0.0.12+nmu1) ... Removing z3 (4.8.7-2) ... Removing libxcb1:amd64 (1.13.1-3) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.10.0-1) ... Removing libxau6:amd64 (1:1.0.8-1+b2) ... Removing libmono-system4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-configuration4.0-cil (5.18.0.240+dfsg-5) ... Removing mono-runtime-common (5.18.0.240+dfsg-5) ... Removing mono-gac (5.18.0.240+dfsg-5) ... Removing mono-4.0-gac (5.18.0.240+dfsg-5) ... Removing binutils (2.33.50.20200107-1) ... Removing binutils-x86-64-linux-gnu (2.33.50.20200107-1) ... Removing libctf0:amd64 (2.33.50.20200107-1) ... Removing libbinutils:amd64 (2.33.50.20200107-1) ... Removing binutils-common:amd64 (2.33.50.20200107-1) ... Removing libctf-nobfd0:amd64 (2.33.50.20200107-1) ... Removing libmono-security4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-security4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-numerics4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-xml4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-core4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-corlib4.5-cil (5.18.0.240+dfsg-5) ... dpkg: warning: while removing libmono-corlib4.5-cil, directory '/usr/lib/mono' not empty so not removed Removing mono-runtime (5.18.0.240+dfsg-5) ... Removing mono-runtime-sgen (5.18.0.240+dfsg-5) ... Processing triggers for libc-bin (2.29-8) ... 0m52.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'fontconfig-config', 'fonts-dejavu-core', 'libbinutils:amd64', 'libboogie-cil', 'libbsd0:amd64', 'libcairo2:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexif12:amd64', 'libexpat1:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgdiplus', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libmono-accessibility4.0-cil', 'libmono-corlib4.5-cil', 'libmono-i18n-west4.0-cil', 'libmono-i18n4.0-cil', 'libmono-microsoft-csharp4.0-cil', 'libmono-posix4.0-cil', 'libmono-security4.0-cil', 'libmono-system-configuration4.0-cil', 'libmono-system-core4.0-cil', 'libmono-system-data4.0-cil', 'libmono-system-drawing4.0-cil', 'libmono-system-enterpriseservices4.0-cil', 'libmono-system-numerics4.0-cil', 'libmono-system-runtime-caching4.0-cil', 'libmono-system-runtime-serialization-formatters-soap4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-transactions4.0-cil', 'libmono-system-windows-forms4.0-cil', 'libmono-system-xml4.0-cil', 'libmono-system4.0-cil', 'libmono-webbrowser4.0-cil', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libtiff5:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxrender1:amd64', 'mono-4.0-gac', 'mono-gac', 'mono-mcs', 'mono-runtime', 'mono-runtime-common', 'mono-runtime-sgen', 'sensible-utils', 'ucf', 'z3', 'boogie'] 0m52.3s INFO: Running scripts post_remove 0m52.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_remove_exceptions'] 0m52.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_remove_exceptions'] 0m52.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'fontconfig-config', 'fonts-dejavu-core', 'libbinutils:amd64', 'libboogie-cil', 'libbsd0:amd64', 'libcairo2:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexif12:amd64', 'libexpat1:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgdiplus', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libmono-accessibility4.0-cil', 'libmono-corlib4.5-cil', 'libmono-i18n-west4.0-cil', 'libmono-i18n4.0-cil', 'libmono-microsoft-csharp4.0-cil', 'libmono-posix4.0-cil', 'libmono-security4.0-cil', 'libmono-system-configuration4.0-cil', 'libmono-system-core4.0-cil', 'libmono-system-data4.0-cil', 'libmono-system-drawing4.0-cil', 'libmono-system-enterpriseservices4.0-cil', 'libmono-system-numerics4.0-cil', 'libmono-system-runtime-caching4.0-cil', 'libmono-system-runtime-serialization-formatters-soap4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-transactions4.0-cil', 'libmono-system-windows-forms4.0-cil', 'libmono-system-xml4.0-cil', 'libmono-system4.0-cil', 'libmono-webbrowser4.0-cil', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libtiff5:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxrender1:amd64', 'mono-4.0-gac', 'mono-gac', 'mono-mcs', 'mono-runtime', 'mono-runtime-common', 'mono-runtime-sgen', 'sensible-utils', 'ucf', 'z3'] 0m52.7s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed dpkg: warning: ignoring request to remove binutils-common which isn't installed dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed (Reading database ... 6577 files and directories currently installed.) Purging configuration files for fontconfig-config (2.13.1-2) ... Purging configuration files for fonts-dejavu-core (2.37-1) ... dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libboogie-cil which isn't installed dpkg: warning: ignoring request to remove libbsd0 which isn't installed dpkg: warning: ignoring request to remove libcairo2 which isn't installed 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 libexif12 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed dpkg: warning: ignoring request to remove libfontconfig1 which isn't installed dpkg: warning: ignoring request to remove libfreetype6 which isn't installed dpkg: warning: ignoring request to remove libgdiplus which isn't installed dpkg: warning: ignoring request to remove libgif7 which isn't installed Purging configuration files for libglib2.0-0:amd64 (2.62.4-1) ... dpkg: warning: ignoring request to remove libjbig0 which isn't installed dpkg: warning: ignoring request to remove libjpeg62-turbo which isn't installed dpkg: warning: ignoring request to remove libmono-accessibility4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-corlib4.5-cil which isn't installed dpkg: warning: ignoring request to remove libmono-i18n-west4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-i18n4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-microsoft-csharp4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-posix4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-security4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-configuration4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-core4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-data4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-drawing4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-enterpriseservices4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-numerics4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-runtime-caching4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-runtime-serialization-formatters-soap4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-security4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-transactions4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-windows-forms4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system-xml4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-system4.0-cil which isn't installed dpkg: warning: ignoring request to remove libmono-webbrowser4.0-cil which isn't installed dpkg: warning: ignoring request to remove libpixman-1-0 which isn't installed dpkg: warning: ignoring request to remove libpng16-16 which isn't installed dpkg: warning: ignoring request to remove libtiff5 which isn't installed dpkg: warning: ignoring request to remove libwebp6 which isn't installed dpkg: warning: ignoring request to remove libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed dpkg: warning: ignoring request to remove libxau6 which isn't installed dpkg: warning: ignoring request to remove libxcb-render0 which isn't installed dpkg: warning: ignoring request to remove libxcb-shm0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove mono-4.0-gac which isn't installed dpkg: warning: ignoring request to remove mono-gac which isn't installed dpkg: warning: ignoring request to remove mono-mcs which isn't installed dpkg: warning: ignoring request to remove mono-runtime which isn't installed Purging configuration files for mono-runtime-common (5.18.0.240+dfsg-5) ... dpkg: warning: ignoring request to remove mono-runtime-sgen which isn't installed dpkg: warning: ignoring request to remove sensible-utils which isn't installed Purging configuration files for ucf (3.0038+nmu1) ... dpkg: warning: ignoring request to remove z3 which isn't installed 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'fontconfig-config', 'fonts-dejavu-core', 'libbinutils:amd64', 'libboogie-cil', 'libbsd0:amd64', 'libcairo2:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libexif12:amd64', 'libexpat1:amd64', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libgdiplus', 'libgif7:amd64', 'libglib2.0-0:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libmono-accessibility4.0-cil', 'libmono-corlib4.5-cil', 'libmono-i18n-west4.0-cil', 'libmono-i18n4.0-cil', 'libmono-microsoft-csharp4.0-cil', 'libmono-posix4.0-cil', 'libmono-security4.0-cil', 'libmono-system-configuration4.0-cil', 'libmono-system-core4.0-cil', 'libmono-system-data4.0-cil', 'libmono-system-drawing4.0-cil', 'libmono-system-enterpriseservices4.0-cil', 'libmono-system-numerics4.0-cil', 'libmono-system-runtime-caching4.0-cil', 'libmono-system-runtime-serialization-formatters-soap4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-transactions4.0-cil', 'libmono-system-windows-forms4.0-cil', 'libmono-system-xml4.0-cil', 'libmono-system4.0-cil', 'libmono-webbrowser4.0-cil', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libtiff5:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxrender1:amd64', 'mono-4.0-gac', 'mono-gac', 'mono-mcs', 'mono-runtime', 'mono-runtime-common', 'mono-runtime-sgen', 'sensible-utils', 'ucf', 'z3'] 0m52.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', 'boogie'] 0m52.7s DUMP: dpkg: warning: ignoring request to remove boogie which isn't installed 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', 'boogie'] 0m52.7s INFO: Running scripts post_purge 0m52.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_purge_exceptions'] 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_purge_exceptions'] 0m52.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', '--pending'] 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--purge', '--pending'] 0m52.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--remove', '--pending'] 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg', '--remove', '--pending'] 0m52.7s INFO: Running scripts post_test 0m52.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_test_exceptions'] 0m52.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'tmp/scripts/post_test_exceptions'] 0m52.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m53.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m53.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-divert', '--list'] 0m53.0s DUMP: local diversion of /bin/sync to /bin/sync.distrib 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 diversion of /bin/sh to /bin/sh.distrib by dash 0m53.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'dpkg-divert', '--list'] 0m53.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'clean'] 0m53.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w', 'apt-get', 'clean'] 0m53.0s DEBUG: Recording chroot state 0m53.4s INFO: Warning: Package purging left files on system: /usr/lib/mono/ owned by: mono-mcs, libmono-system-windows-forms4.0-cil, libmono-webbrowser4.0-cil, libmono-system-runtime-serialization-formatters-soap4.0-cil, libmono-system-runtime-caching4.0-cil, libmono-system-drawing4.0-cil, libmono-system-data4.0-cil, libmono-system-enterpriseservices4.0-cil, libmono-system-transactions4.0-cil, libmono-posix4.0-cil, libmono-microsoft-csharp4.0-cil, libmono-i18n-west4.0-cil, libmono-i18n4.0-cil, libmono-accessibility4.0-cil, libmono-corlib4.5-cil, mono-4.0-gac, libmono-security4.0-cil, libmono-system4.0-cil, libmono-system-configuration4.0-cil, libmono-system-security4.0-cil, libmono-system-xml4.0-cil, libmono-system-numerics4.0-cil, libmono-system-core4.0-cil /usr/lib/mono/aot-cache/ not owned /usr/lib/mono/aot-cache/amd64/ not owned 0m53.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/shm'] 0m53.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/shm'] 0m53.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/console'] 0m53.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/console'] 0m53.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/ptmx'] 0m53.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/ptmx'] 0m53.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts'] 0m53.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/dev/pts'] 0m53.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/proc'] 0m53.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w/proc'] 0m53.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m53.9s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp9phbhw8w'] 0m53.9s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp9phbhw8w 0m53.9s INFO: PASS: Upgrading between Debian distributions. 0m53.9s INFO: PASS: All tests. 0m53.9s INFO: piuparts run ends. ret=0 End: 2020-01-08 19:12:27 GMT