Start: 2020-01-22 03:55:14 GMT [testing] Package: dafny Version: 2.3.0+dfsg-0.1 Installed-Size: 1852 Maintainer: Benjamin Barenblat Architecture: all Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220), libmono-system4.0-cil (>= 5.18.0.240) Description: programming language with program correctness verifier Homepage: https://research.microsoft.com/en-us/projects/dafny/ Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e Section: devel Priority: optional Filename: pool/main/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb Size: 489744 MD5sum: d0e6b5a1a420c046e6e191d2e83162ca SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8 [sid] Package: dafny Version: 2.3.0+dfsg-0.1 Installed-Size: 1852 Maintainer: Benjamin Barenblat Architecture: all Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220), libmono-system4.0-cil (>= 5.18.0.240) Description: programming language with program correctness verifier Homepage: https://research.microsoft.com/en-us/projects/dafny/ Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e Section: devel Priority: optional Filename: pool/main/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb Size: 489744 MD5sum: d0e6b5a1a420c046e6e191d2e83162ca SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8 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 dafny=2.3.0+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.1 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 dafny=2.3.0+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/tmpri8qs2re 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpri8qs2re 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz'] 0m1.9s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/bullseye_amd64.tar.gz'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/proc'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/proc'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/ptmx'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/ptmx'] 0m2.0s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/console'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/console'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/shm'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/shm'] 0m2.0s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ bullseye main 0m2.0s DEBUG: Created policy-rc.d and chmodded it. 0m2.0s DEBUG: Created resolv.conf. 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpri8qs2re/tmp/scripts/ 0m2.0s INFO: Running scripts post_chroot_unpack 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '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 [5802 kB] Fetched 13.5 MB in 3s (5128 kB/s) Reading package lists... 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', 'update'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-yf', 'dist-upgrade'] 0m5.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-yf', 'dist-upgrade'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.2s DUMP: 520890febbf9a15866f2ae1c897c456b - 0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m6.2s INFO: Running scripts post_setup 0m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_dummy_users'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_dummy_users'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_forbid_home'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.1s 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.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_minimize'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_minimize'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_zz_backports'] 0m7.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_setup_zz_backports'] 0m7.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.1s 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.5-2 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.19-1 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-9 install ok installed libc6:amd64 libc6 2.29-9 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-2 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.5-2 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.5-2 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.5-2 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.3-20 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-2.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.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m7.1s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m7.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m7.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m7.5s INFO: Running scripts is_testable 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/is_testable_uninstallable'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/is_testable_uninstallable'] 0m7.5s INFO: Running scripts pre_test 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_test_exceptions'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_test_exceptions'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_test_root_password'] 0m7.5s DUMP: New password: Retype new password: passwd: password updated successfully 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_test_root_password'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'show', '--no-all-versions', 'dafny'] 0m7.7s DUMP: Package: dafny Version: 2.3.0+dfsg-0.1 Installed-Size: 1852 Maintainer: Benjamin Barenblat Architecture: all Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220), libmono-system4.0-cil (>= 5.18.0.240) Description-en: programming language with program correctness verifier Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones. Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e Homepage: https://research.microsoft.com/en-us/projects/dafny/ Section: devel Priority: optional Filename: pool/main/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb Size: 489744 MD5sum: d0e6b5a1a420c046e6e191d2e83162ca SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'show', '--no-all-versions', 'dafny'] 0m7.7s INFO: apt-cache knows about the following packages: dafny 0m7.7s INFO: Running scripts pre_install 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m7.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m7.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m7.9s 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: 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m7.9s DUMP: dafny: Installed: (none) Candidate: 2.3.0+dfsg-0.1 Version table: 2.3.0+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian bullseye/main amd64 Packages 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny'] 0m25.5s 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-runtime-serialization4.0-cil libmono-system-security4.0-cil libmono-system-servicemodel-internals0.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 libmono-i18n4.0-all libcups2 libgnomeui-0 libgtk2.0-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 dafny 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-runtime-serialization4.0-cil libmono-system-security4.0-cil libmono-system-servicemodel-internals0.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, 64 newly installed, 0 to remove and 0 not upgraded. Need to get 29.7 MB of archives. After this operation, 107 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-corlib4.5-cil all 5.18.0.240+dfsg-3 [1249 kB] Get:8 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-core4.0-cil all 5.18.0.240+dfsg-3 [318 kB] Get:9 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:10 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-xml4.0-cil all 5.18.0.240+dfsg-3 [839 kB] Get:11 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-security4.0-cil all 5.18.0.240+dfsg-3 [131 kB] Get:12 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:13 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system4.0-cil all 5.18.0.240+dfsg-3 [812 kB] Get:14 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-security4.0-cil all 5.18.0.240+dfsg-3 [142 kB] Get:15 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-4.0-gac all 5.18.0.240+dfsg-3 [176 kB] Get:16 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-gac all 5.18.0.240+dfsg-3 [41.5 kB] Get:17 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime-common amd64 5.18.0.240+dfsg-3+b1 [942 kB] Get:18 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime-sgen amd64 5.18.0.240+dfsg-3+b1 [1629 kB] Get:19 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-runtime amd64 5.18.0.240+dfsg-3+b1 [37.8 kB] Get:20 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-microsoft-csharp4.0-cil all 5.18.0.240+dfsg-3 [139 kB] Get:21 http://mirror-ubc.debian.org/debian bullseye/main amd64 mono-mcs all 5.18.0.240+dfsg-3 [559 kB] Get:22 http://mirror-ubc.debian.org/debian bullseye/main amd64 z3 amd64 4.8.7-4 [6801 kB] Get:23 http://mirror-ubc.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.9-1 [94.3 kB] Get:24 http://mirror-ubc.debian.org/debian bullseye/main amd64 libpng16-16 amd64 1.6.37-1 [292 kB] Get:25 http://mirror-ubc.debian.org/debian bullseye/main amd64 libfreetype6 amd64 2.10.1-2 [392 kB] Get:26 http://mirror-ubc.debian.org/debian bullseye/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:27 http://mirror-ubc.debian.org/debian bullseye/main amd64 fontconfig-config all 2.13.1-2 [280 kB] Get:28 http://mirror-ubc.debian.org/debian bullseye/main amd64 libfontconfig1 amd64 2.13.1-2+b1 [347 kB] Get:29 http://mirror-ubc.debian.org/debian bullseye/main amd64 libpixman-1-0 amd64 0.36.0-1 [537 kB] Get:30 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxau6 amd64 1:1.0.8-1+b2 [19.9 kB] Get:31 http://mirror-ubc.debian.org/debian bullseye/main amd64 libbsd0 amd64 0.10.0-1 [107 kB] Get:32 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:33 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb1 amd64 1.13.1-2 [137 kB] Get:34 http://mirror-ubc.debian.org/debian bullseye/main amd64 libx11-data all 2:1.6.8-1 [298 kB] Get:35 http://mirror-ubc.debian.org/debian bullseye/main amd64 libx11-6 amd64 2:1.6.8-1 [756 kB] Get:36 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb-render0 amd64 1.13.1-2 [109 kB] Get:37 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxcb-shm0 amd64 1.13.1-2 [99.2 kB] Get:38 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:39 http://mirror-ubc.debian.org/debian bullseye/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:40 http://mirror-ubc.debian.org/debian bullseye/main amd64 libcairo2 amd64 1.16.0-4 [689 kB] Get:41 http://mirror-ubc.debian.org/debian bullseye/main amd64 libexif12 amd64 0.6.21-5.1 [325 kB] Get:42 http://mirror-ubc.debian.org/debian bullseye/main amd64 libgif7 amd64 5.1.9-1 [44.7 kB] Get:43 http://mirror-ubc.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.62.4-1 [1320 kB] Get:44 http://mirror-ubc.debian.org/debian bullseye/main amd64 libjpeg62-turbo amd64 1:1.5.2-2+b1 [134 kB] Get:45 http://mirror-ubc.debian.org/debian bullseye/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:46 http://mirror-ubc.debian.org/debian bullseye/main amd64 libwebp6 amd64 0.6.1-2+b1 [261 kB] Get:47 http://mirror-ubc.debian.org/debian bullseye/main amd64 libtiff5 amd64 4.1.0+git191117-2 [271 kB] Get:48 http://mirror-ubc.debian.org/debian bullseye/main amd64 libgdiplus amd64 4.2-2+b1 [145 kB] Get:49 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-drawing4.0-cil all 5.18.0.240+dfsg-3 [170 kB] Get:50 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:51 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:52 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-data4.0-cil all 5.18.0.240+dfsg-3 [607 kB] Get:53 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:54 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-accessibility4.0-cil all 5.18.0.240+dfsg-3 [38.6 kB] Get:55 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-posix4.0-cil all 5.18.0.240+dfsg-3 [105 kB] Get:56 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:57 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-webbrowser4.0-cil all 5.18.0.240+dfsg-3 [81.3 kB] Get:58 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-i18n4.0-cil all 5.18.0.240+dfsg-3 [45.7 kB] Get:59 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:60 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:61 http://mirror-ubc.debian.org/debian bullseye/main amd64 libboogie-cil all 2.4.1+dfsg-0.1 [587 kB] Get:62 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-servicemodel-internals0.0-cil all 5.18.0.240+dfsg-3 [105 kB] Get:63 http://mirror-ubc.debian.org/debian bullseye/main amd64 libmono-system-runtime-serialization4.0-cil all 5.18.0.240+dfsg-3 [272 kB] Get:64 http://mirror-ubc.debian.org/debian bullseye/main amd64 dafny all 2.3.0+dfsg-0.1 [490 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 29.7 MB in 1s (29.9 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 ... 6534 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-corlib4.5-cil. Preparing to unpack .../06-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 libmono-system-core4.0-cil. Preparing to unpack .../07-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 .../08-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 .../09-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 .../10-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 .../11-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 .../12-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 .../13-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 .../14-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 .../15-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 .../16-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 .../17-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 .../18-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-microsoft-csharp4.0-cil. Preparing to unpack .../19-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 .../20-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 .../21-z3_4.8.7-4_amd64.deb ... Unpacking z3 (4.8.7-4) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../22-libexpat1_2.2.9-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../23-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 .../24-libfreetype6_2.10.1-2_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../25-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../26-fontconfig-config_2.13.1-2_all.deb ... Unpacking fontconfig-config (2.13.1-2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../27-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 .../28-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 .../29-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 .../30-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../31-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 .../32-libxcb1_1.13.1-2_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../33-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 .../34-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 .../35-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 .../36-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 .../37-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 .../38-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 .../39-libcairo2_1.16.0-4_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4) ... Selecting previously unselected package libexif12:amd64. Preparing to unpack .../40-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 .../41-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 .../42-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 .../43-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 .../44-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 .../45-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 .../46-libtiff5_4.1.0+git191117-2_amd64.deb ... Unpacking libtiff5:amd64 (4.1.0+git191117-2) ... Selecting previously unselected package libgdiplus. Preparing to unpack .../47-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 .../48-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 .../49-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 .../50-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 .../51-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 .../52-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 .../53-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 .../54-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 .../55-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 .../56-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 .../57-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 .../58-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 .../59-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 .../60-libboogie-cil_2.4.1+dfsg-0.1_all.deb ... Unpacking libboogie-cil (2.4.1+dfsg-0.1) ... Selecting previously unselected package libmono-system-servicemodel-internals0.0-cil. Preparing to unpack .../61-libmono-system-servicemodel-internals0.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-servicemodel-internals0.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package libmono-system-runtime-serialization4.0-cil. Preparing to unpack .../62-libmono-system-runtime-serialization4.0-cil_5.18.0.240+dfsg-3_all.deb ... Unpacking libmono-system-runtime-serialization4.0-cil (5.18.0.240+dfsg-3) ... Selecting previously unselected package dafny. Preparing to unpack .../63-dafny_2.3.0+dfsg-0.1_all.deb ... Unpacking dafny (2.3.0+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-4) ... 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-2) ... 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-security4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system4.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-posix4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-webbrowser4.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-security4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-drawing4.0-cil (5.18.0.240+dfsg-3) ... Setting up mono-4.0-gac (5.18.0.240+dfsg-3) ... Setting up libmono-system-configuration4.0-cil (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-microsoft-csharp4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-transactions4.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-servicemodel-internals0.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-enterpriseservices4.0-cil (5.18.0.240+dfsg-3) ... Setting up libmono-system-runtime-serialization4.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 mono-mcs (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-windows-forms4.0-cil (5.18.0.240+dfsg-3) ... Setting up libboogie-cil (2.4.1+dfsg-0.1) ... Setting up dafny (2.3.0+dfsg-0.1) ... Processing triggers for libc-bin (2.29-9) ... 0m25.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny'] 0m25.5s INFO: Running scripts post_install 0m25.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m25.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m25.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m25.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m25.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpri8qs2re to sid 0m25.9s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ sid main 0m25.9s INFO: Running scripts pre_distupgrade 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m25.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_exceptions'] 0m25.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_exceptions'] 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m25.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m25.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m25.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m25.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', 'update'] 0m29.2s 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 [8232 kB] Get:3 http://mirror-ubc.debian.org/debian sid/main Translation-en [6192 kB] Fetched 14.6 MB in 3s (5685 kB/s) Reading package lists... 0m29.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', 'update'] 0m29.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-yf', 'dist-upgrade'] 0m43.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libctf-nobfd0 libctf0 libffi7 The following packages will be upgraded: binutils binutils-common binutils-x86-64-linux-gnu gcc-9-base libbinutils libgcc1 libgdiplus libglib2.0-0 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-runtime-serialization4.0-cil libmono-system-security4.0-cil libmono-system-servicemodel-internals0.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 libp11-kit0 libstdc++6 libxcb-render0 libxcb-shm0 libxcb1 mono-4.0-gac mono-gac mono-mcs mono-runtime mono-runtime-common mono-runtime-sgen 42 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 16.9 MB of archives. After this operation, 92.2 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian sid/main amd64 gcc-9-base amd64 9.2.1-24 [195 kB] Get:2 http://mirror-ubc.debian.org/debian sid/main amd64 libstdc++6 amd64 9.2.1-24 [502 kB] Get:3 http://mirror-ubc.debian.org/debian sid/main amd64 libgcc1 amd64 1:9.2.1-24 [40.5 kB] Get:4 http://mirror-ubc.debian.org/debian sid/main amd64 libffi7 amd64 3.3-3 [22.9 kB] Get:5 http://mirror-ubc.debian.org/debian sid/main amd64 libp11-kit0 amd64 0.23.18.1-2+b1 [322 kB] Get:6 http://mirror-ubc.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.33.50.20200115-2 [1589 kB] Get:7 http://mirror-ubc.debian.org/debian sid/main amd64 libbinutils amd64 2.33.50.20200115-2 [469 kB] Get:8 http://mirror-ubc.debian.org/debian sid/main amd64 binutils amd64 2.33.50.20200115-2 [58.6 kB] Get:9 http://mirror-ubc.debian.org/debian sid/main amd64 binutils-common amd64 2.33.50.20200115-2 [2010 kB] Get:10 http://mirror-ubc.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.33.50.20200115-2 [100 kB] Get:11 http://mirror-ubc.debian.org/debian sid/main amd64 libctf0 amd64 2.33.50.20200115-2 [45.8 kB] Get:12 http://mirror-ubc.debian.org/debian sid/main amd64 libglib2.0-0 amd64 2.62.4-1+b1 [1319 kB] Get:13 http://mirror-ubc.debian.org/debian sid/main amd64 libgdiplus amd64 6.0.4+dfsg-1 [162 kB] Get:14 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-core4.0-cil all 5.18.0.240+dfsg-5 [318 kB] Get:15 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:16 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-xml4.0-cil all 5.18.0.240+dfsg-5 [839 kB] Get:17 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-security4.0-cil all 5.18.0.240+dfsg-5 [131 kB] Get:18 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:19 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system4.0-cil all 5.18.0.240+dfsg-5 [814 kB] Get:20 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-security4.0-cil all 5.18.0.240+dfsg-5 [143 kB] Get:21 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime amd64 5.18.0.240+dfsg-5 [37.6 kB] Get:22 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime-sgen amd64 5.18.0.240+dfsg-5 [1629 kB] Get:23 http://mirror-ubc.debian.org/debian sid/main amd64 mono-runtime-common amd64 5.18.0.240+dfsg-5 [941 kB] Get:24 http://mirror-ubc.debian.org/debian sid/main amd64 mono-gac all 5.18.0.240+dfsg-5 [41.6 kB] Get:25 http://mirror-ubc.debian.org/debian sid/main amd64 mono-4.0-gac all 5.18.0.240+dfsg-5 [176 kB] Get:26 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-corlib4.5-cil all 5.18.0.240+dfsg-5 [1250 kB] Get:27 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-accessibility4.0-cil all 5.18.0.240+dfsg-5 [38.7 kB] Get:28 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-i18n4.0-cil all 5.18.0.240+dfsg-5 [45.8 kB] Get:29 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:30 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-microsoft-csharp4.0-cil all 5.18.0.240+dfsg-5 [139 kB] Get:31 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-posix4.0-cil all 5.18.0.240+dfsg-5 [105 kB] Get:32 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:33 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:34 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-data4.0-cil all 5.18.0.240+dfsg-5 [607 kB] Get:35 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-drawing4.0-cil all 5.18.0.240+dfsg-5 [170 kB] Get:36 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:37 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:38 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-servicemodel-internals0.0-cil all 5.18.0.240+dfsg-5 [105 kB] Get:39 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-system-runtime-serialization4.0-cil all 5.18.0.240+dfsg-5 [272 kB] Get:40 http://mirror-ubc.debian.org/debian sid/main amd64 libmono-webbrowser4.0-cil all 5.18.0.240+dfsg-5 [81.4 kB] Get:41 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: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 16.9 MB in 1s (32.0 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7859 files and directories currently installed.) Preparing to unpack .../gcc-9-base_9.2.1-24_amd64.deb ... Unpacking gcc-9-base:amd64 (9.2.1-24) over (9.2.1-22) ... Setting up gcc-9-base:amd64 (9.2.1-24) ... (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 ... 7859 files and directories currently installed.) Preparing to unpack .../libstdc++6_9.2.1-24_amd64.deb ... Unpacking libstdc++6:amd64 (9.2.1-24) over (9.2.1-22) ... Setting up libstdc++6:amd64 (9.2.1-24) ... (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 ... 7859 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a9.2.1-24_amd64.deb ... Unpacking libgcc1:amd64 (1:9.2.1-24) over (1:9.2.1-22) ... Setting up libgcc1:amd64 (1:9.2.1-24) ... Selecting previously unselected package libffi7:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7859 files and directories currently installed.) Preparing to unpack .../libffi7_3.3-3_amd64.deb ... Unpacking libffi7:amd64 (3.3-3) ... Setting up libffi7:amd64 (3.3-3) ... (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 ... 7864 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.18.1-2+b1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.18.1-2+b1) over (0.23.18.1-2) ... Setting up libp11-kit0:amd64 (0.23.18.1-2+b1) ... (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 ... 7865 files and directories currently installed.) Preparing to unpack .../00-binutils-x86-64-linux-gnu_2.33.50.20200115-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.33.50.20200115-2) over (2.33.1-6) ... Preparing to unpack .../01-libbinutils_2.33.50.20200115-2_amd64.deb ... Unpacking libbinutils:amd64 (2.33.50.20200115-2) over (2.33.1-6) ... Preparing to unpack .../02-binutils_2.33.50.20200115-2_amd64.deb ... Unpacking binutils (2.33.50.20200115-2) over (2.33.1-6) ... Preparing to unpack .../03-binutils-common_2.33.50.20200115-2_amd64.deb ... Unpacking binutils-common:amd64 (2.33.50.20200115-2) over (2.33.1-6) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../04-libctf-nobfd0_2.33.50.20200115-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.33.50.20200115-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../05-libctf0_2.33.50.20200115-2_amd64.deb ... Unpacking libctf0:amd64 (2.33.50.20200115-2) ... Preparing to unpack .../06-libglib2.0-0_2.62.4-1+b1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.62.4-1+b1) over (2.62.4-1) ... Preparing to unpack .../07-libgdiplus_6.0.4+dfsg-1_amd64.deb ... Unpacking libgdiplus (6.0.4+dfsg-1) over (4.2-2+b1) ... Preparing to unpack .../08-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 .../09-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 .../10-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 .../11-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 .../12-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 .../13-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 .../14-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 .../15-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 .../16-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 .../17-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 .../18-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 .../19-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 .../20-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 .../21-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 .../22-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 .../23-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 .../24-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 .../25-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 .../26-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 .../27-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 .../28-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 .../29-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 .../30-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 .../31-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 .../32-libmono-system-servicemodel-internals0.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-servicemodel-internals0.0-cil (5.18.0.240+dfsg-5) over (5.18.0.240+dfsg-3) ... Preparing to unpack .../33-libmono-system-runtime-serialization4.0-cil_5.18.0.240+dfsg-5_all.deb ... Unpacking libmono-system-runtime-serialization4.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-libxcb1_1.13.1-3_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../37-libxcb-render0_1.13.1-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../38-libxcb-shm0_1.13.1-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.13.1-3) over (1.13.1-2) ... Preparing to unpack .../39-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 libglib2.0-0:amd64 (2.62.4-1+b1) ... No schema files found: doing nothing. Setting up binutils-common:amd64 (2.33.50.20200115-2) ... Setting up libgdiplus (6.0.4+dfsg-1) ... Setting up libctf-nobfd0:amd64 (2.33.50.20200115-2) ... Setting up libxcb-shm0:amd64 (1.13.1-3) ... Setting up libbinutils:amd64 (2.33.50.20200115-2) ... Setting up libctf0:amd64 (2.33.50.20200115-2) ... Setting up binutils-x86-64-linux-gnu (2.33.50.20200115-2) ... Setting up binutils (2.33.50.20200115-2) ... 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 libmono-security4.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-system-servicemodel-internals0.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-system-runtime-serialization4.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-9) ... 0m43.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-yf', 'dist-upgrade'] 0m43.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m44.2s DUMP: c6065158e9fc8f237719730fd3a5f31f - 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m44.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'show', '--no-all-versions', 'dafny'] 0m44.4s DUMP: Package: dafny Version: 2.3.0+dfsg-0.1 Installed-Size: 1852 Maintainer: Benjamin Barenblat Architecture: all Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libboogie-cil, libmono-corlib4.5-cil (>= 5.18.0.240), libmono-system-core4.0-cil (>= 5.18.0.240), libmono-system-numerics4.0-cil (>= 5.16.0.220), libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220), libmono-system4.0-cil (>= 5.18.0.240) Description-en: programming language with program correctness verifier Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones. Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e Homepage: https://research.microsoft.com/en-us/projects/dafny/ Section: devel Priority: optional Filename: pool/main/d/dafny/dafny_2.3.0+dfsg-0.1_all.deb Size: 489744 MD5sum: d0e6b5a1a420c046e6e191d2e83162ca SHA256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'show', '--no-all-versions', 'dafny'] 0m44.4s INFO: apt-cache knows about the following packages: dafny 0m44.4s INFO: Running scripts pre_install 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m44.5s 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: 0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m44.5s DUMP: dafny: Installed: 2.3.0+dfsg-0.1 Candidate: 2.3.0+dfsg-0.1 Version table: *** 2.3.0+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m44.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m44.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny'] 0m44.9s DUMP: Reading package lists... Building dependency tree... Reading state information... dafny is already the newest version (2.3.0+dfsg-0.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny'] 0m44.9s INFO: Running scripts post_install 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m44.9s INFO: Running scripts post_distupgrade 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_exceptions'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_exceptions'] 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m44.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_zz_backports'] 0m44.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_distupgrade_zz_backports'] 0m44.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m45.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m45.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m45.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m45.8s INFO: Running scripts pre_install 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_database-server'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_exceptions'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_extras'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m45.8s 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: 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m45.9s DUMP: dafny: Installed: 2.3.0+dfsg-0.1 Candidate: 2.3.0+dfsg-0.1 Version table: *** 2.3.0+dfsg-0.1 500 500 http://mirror-ubc.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m45.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-cache', 'policy', 'dafny'] 0m45.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny=2.3.0+dfsg-0.1'] 0m46.3s DUMP: Reading package lists... Building dependency tree... Reading state information... dafny is already the newest version (2.3.0+dfsg-0.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m46.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', '-y', 'install', 'dafny=2.3.0+dfsg-0.1'] 0m46.3s INFO: Running scripts post_install 0m46.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m46.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_install_exceptions'] 0m46.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m46.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m47.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '-ac', '--ignore-obsolete'] 0m47.9s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '-ac', '--ignore-obsolete'] 0m47.9s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m48.0s DUMP: 0.15.2 0m48.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m48.0s INFO: Running adequate version 0.15.2 now. 0m48.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dafny'] 0m48.0s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dafny'] 0m48.0s INFO: Running scripts pre_remove 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m48.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m48.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_exceptions'] 0m49.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/pre_remove_exceptions'] 0m49.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m49.3s 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.20200115-2 install ok installed binutils-common:amd64 binutils-common 2.33.50.20200115-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.33.50.20200115-2 install ok installed bsdutils bsdutils 1:2.34-0.1 install ok installed coreutils coreutils 8.30-3+b1 install ok installed dafny dafny 2.3.0+dfsg-0.1 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-2 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-24 install ok installed gpgv gpgv 2.2.19-1 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.20200115-2 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-9 install ok installed libc6:amd64 libc6 2.29-9 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-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.10-10 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.33.50.20200115-2 install ok installed libctf0:amd64 libctf0 2.33.50.20200115-2 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-2 install ok installed libfdisk1:amd64 libfdisk1 2.34-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libffi7:amd64 libffi7 3.3-3 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-24 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+b1 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-runtime-serialization4.0-cil libmono-system-runtime-serialization4.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-servicemodel-internals0.0-cil libmono-system-servicemodel-internals0.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+b1 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-2 install ok installed libstdc++6:amd64 libstdc++6 9.2.1-24 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-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 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-2 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.3-20 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-2.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-4 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1+b1 0m49.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m49.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '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-runtime-serialization4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-servicemodel-internals0.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', 'dafny'] 0m50.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 dafny 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-runtime-serialization4.0-cil libmono-system-security4.0-cil libmono-system-servicemodel-internals0.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, 66 to remove and 0 not upgraded. After this operation, 107 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 ... 7870 files and directories currently installed.) Removing dafny (2.3.0+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+b1) ... Removing libtiff5:amd64 (4.1.0+git191117-2) ... 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-serialization4.0-cil (5.18.0.240+dfsg-5) ... Removing libmono-system-servicemodel-internals0.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-4) ... 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.20200115-2) ... Removing binutils-x86-64-linux-gnu (2.33.50.20200115-2) ... Removing libctf0:amd64 (2.33.50.20200115-2) ... Removing libbinutils:amd64 (2.33.50.20200115-2) ... Removing binutils-common:amd64 (2.33.50.20200115-2) ... Removing libctf-nobfd0:amd64 (2.33.50.20200115-2) ... 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-9) ... 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '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-runtime-serialization4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-servicemodel-internals0.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', 'dafny'] 0m50.3s INFO: Running scripts post_remove 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_remove_exceptions'] 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_remove_exceptions'] 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '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-runtime-serialization4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-servicemodel-internals0.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'] 0m50.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 ... 6583 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+b1) ... 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-runtime-serialization4.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-servicemodel-internals0.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 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', '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-runtime-serialization4.0-cil', 'libmono-system-security4.0-cil', 'libmono-system-servicemodel-internals0.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'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--purge', 'dafny'] 0m50.7s DUMP: dpkg: warning: ignoring request to remove dafny which isn't installed 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--purge', 'dafny'] 0m50.7s INFO: Running scripts post_purge 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_purge_exceptions'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_purge_exceptions'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--purge', '--pending'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--purge', '--pending'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--remove', '--pending'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg', '--remove', '--pending'] 0m50.7s INFO: Running scripts post_test 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_test_exceptions'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'tmp/scripts/post_test_exceptions'] 0m50.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m51.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m51.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-divert', '--list'] 0m51.2s 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 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'dpkg-divert', '--list'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', 'clean'] 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpri8qs2re', 'apt-get', 'clean'] 0m51.2s DEBUG: Recording chroot state 0m51.6s 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-serialization4.0-cil, libmono-system-servicemodel-internals0.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 0m51.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/shm'] 0m52.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/shm'] 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/console'] 0m52.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/console'] 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/ptmx'] 0m52.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/ptmx'] 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts'] 0m52.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/dev/pts'] 0m52.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/proc'] 0m52.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpri8qs2re/proc'] 0m52.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m52.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpri8qs2re'] 0m52.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpri8qs2re 0m52.1s INFO: PASS: Upgrading between Debian distributions. 0m52.1s INFO: PASS: All tests. 0m52.1s INFO: piuparts run ends. ret=0 End: 2020-01-22 03:56:06 GMT