Start: 2019-02-25 05:20:08 UTC [buster] Package: coq Version: 8.9.0-1 Installed-Size: 233951 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.9.0+4.05.0 Depends: coq-theories (= 8.9.0-1), libcoq-ocaml-m8xw4, ocaml-base-nox-4.05.0, python3:any, libc6 (>= 2.28), ocaml-nox, ocaml-findlib Suggests: proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 926eb6cdfd9251e496fab8f89399a189 Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.9.0-1_amd64.deb Size: 58990560 MD5sum: ae022e4a30565deffd948b4362b51aa9 SHA256: cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 [buster-proposed] Package: coq Version: 8.9.0-1 Installed-Size: 233951 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.9.0+4.05.0 Depends: coq-theories (= 8.9.0-1), libcoq-ocaml-m8xw4, ocaml-base-nox-4.05.0, python3:any, libc6 (>= 2.28), ocaml-nox, ocaml-findlib Suggests: proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 926eb6cdfd9251e496fab8f89399a189 Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.9.0-1_amd64.deb Size: 58990560 MD5sum: ae022e4a30565deffd948b4362b51aa9 SHA256: cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/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/buster_amd64.tar.gz -d buster -d buster-proposed -B reference-chroot-metadata.dat --apt coq=8.9.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 0.98~201902141516~0.97-23-ga308323a 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/buster_amd64.tar.gz -d buster -d buster-proposed -B reference-chroot-metadata.dat --apt coq=8.9.0-1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-8-amd64 #1 SMP Debian 4.9.144-3.1 (2019-02-19) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpUFwtHq 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/buster_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpUFwtHq 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/buster_amd64.tar.gz'] 0m2.6s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/buster_amd64.tar.gz'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/proc'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/proc'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts'] 0m2.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/ptmx'] 0m2.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/ptmx'] 0m2.6s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/console'] 0m2.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/console'] 0m2.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/shm'] 0m2.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/shm'] 0m2.6s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ buster main 0m2.6s DEBUG: Created policy-rc.d and chmodded it. 0m2.6s DEBUG: Created resolv.conf. 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpUFwtHq/tmp/scripts/ 0m2.6s INFO: Running scripts post_chroot_unpack 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'update'] 0m8.4s DUMP: Get:1 http://mirror-ubc.debian.org/debian buster InRelease [158 kB] Get:2 http://mirror-ubc.debian.org/debian buster/main amd64 Packages [7977 kB] Get:3 http://mirror-ubc.debian.org/debian buster/main Translation-en [5996 kB] Fetched 14.1 MB in 5s (3100 kB/s) Reading package lists... 0m8.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'update'] 0m8.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-yf', 'dist-upgrade'] 0m13.5s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... The following packages will be upgraded: apt base-passwd gcc-8-base libapt-pkg5.0 libc-bin libc6 libdebconfclient0 libgcc1 libncursesw6 libpam-modules libpam-modules-bin libpam-runtime libpam0g libseccomp2 libstdc++6 libsystemd0 libtinfo6 libudev1 ncurses-base ncurses-bin sysvinit-utils 21 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 9170 kB of archives. After this operation, 129 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian buster/main amd64 ncurses-bin amd64 6.1+20181013-2 [406 kB] Get:2 http://mirror-ubc.debian.org/debian buster/main amd64 gcc-8-base amd64 8.2.0-21 [190 kB] Get:3 http://mirror-ubc.debian.org/debian buster/main amd64 libgcc1 amd64 1:8.2.0-21 [40.7 kB] Get:4 http://mirror-ubc.debian.org/debian buster/main amd64 libstdc++6 amd64 8.2.0-21 [393 kB] Get:5 http://mirror-ubc.debian.org/debian buster/main amd64 libc6 amd64 2.28-7 [2863 kB] Get:6 http://mirror-ubc.debian.org/debian buster/main amd64 libudev1 amd64 240-6 [146 kB] Get:7 http://mirror-ubc.debian.org/debian buster/main amd64 libapt-pkg5.0 amd64 1.8.0~rc3 [966 kB] Get:8 http://mirror-ubc.debian.org/debian buster/main amd64 libseccomp2 amd64 2.3.3-4 [41.4 kB] Get:9 http://mirror-ubc.debian.org/debian buster/main amd64 apt amd64 1.8.0~rc3 [1356 kB] Get:10 http://mirror-ubc.debian.org/debian buster/main amd64 libdebconfclient0 amd64 0.247 [48.9 kB] Get:11 http://mirror-ubc.debian.org/debian buster/main amd64 base-passwd amd64 3.5.46 [56.7 kB] Get:12 http://mirror-ubc.debian.org/debian buster/main amd64 libc-bin amd64 2.28-7 [789 kB] Get:13 http://mirror-ubc.debian.org/debian buster/main amd64 ncurses-base all 6.1+20181013-2 [258 kB] Get:14 http://mirror-ubc.debian.org/debian buster/main amd64 sysvinit-utils amd64 2.93-8 [78.4 kB] Get:15 http://mirror-ubc.debian.org/debian buster/main amd64 libpam0g amd64 1.3.1-5 [126 kB] Get:16 http://mirror-ubc.debian.org/debian buster/main amd64 libpam-modules-bin amd64 1.3.1-5 [107 kB] Get:17 http://mirror-ubc.debian.org/debian buster/main amd64 libpam-modules amd64 1.3.1-5 [309 kB] Get:18 http://mirror-ubc.debian.org/debian buster/main amd64 libsystemd0 amd64 240-6 [326 kB] Get:19 http://mirror-ubc.debian.org/debian buster/main amd64 libpam-runtime all 1.3.1-5 [211 kB] Get:20 http://mirror-ubc.debian.org/debian buster/main amd64 libtinfo6 amd64 6.1+20181013-2 [325 kB] Get:21 http://mirror-ubc.debian.org/debian buster/main amd64 libncursesw6 amd64 6.1+20181013-2 [132 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 9170 kB in 0s (57.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 ... 6357 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1+20181013-2_amd64.deb ... Unpacking ncurses-bin (6.1+20181013-2) over (6.1+20181013-1) ... Setting up ncurses-bin (6.1+20181013-2) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../gcc-8-base_8.2.0-21_amd64.deb ... Unpacking gcc-8-base:amd64 (8.2.0-21) over (8.2.0-20) ... Setting up gcc-8-base:amd64 (8.2.0-21) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.2.0-21_amd64.deb ... Unpacking libgcc1:amd64 (1:8.2.0-21) over (1:8.2.0-20) ... Setting up libgcc1:amd64 (1:8.2.0-21) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libstdc++6_8.2.0-21_amd64.deb ... Unpacking libstdc++6:amd64 (8.2.0-21) over (8.2.0-20) ... Setting up libstdc++6:amd64 (8.2.0-21) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libc6_2.28-7_amd64.deb ... Unpacking libc6:amd64 (2.28-7) over (2.28-6) ... Setting up libc6:amd64 (2.28-7) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libudev1_240-6_amd64.deb ... Unpacking libudev1:amd64 (240-6) over (240-5) ... Setting up libudev1:amd64 (240-6) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.8.0~rc3_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.8.0~rc3) over (1.8.0~rc2) ... Setting up libapt-pkg5.0:amd64 (1.8.0~rc3) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.3-4_amd64.deb ... Unpacking libseccomp2:amd64 (2.3.3-4) over (2.3.3-3) ... Setting up libseccomp2:amd64 (2.3.3-4) ... (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 ... 6357 files and directories currently installed.) Preparing to unpack .../apt_1.8.0~rc3_amd64.deb ... Unpacking apt (1.8.0~rc3) over (1.8.0~rc2) ... Setting up apt (1.8.0~rc3) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.247_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.247) over (0.246) ... Setting up libdebconfclient0:amd64 (0.247) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.46_amd64.deb ... Unpacking base-passwd (3.5.46) over (3.5.45) ... Setting up base-passwd (3.5.46) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libc-bin_2.28-7_amd64.deb ... Unpacking libc-bin (2.28-7) over (2.28-6) ... Setting up libc-bin (2.28-7) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1+20181013-2_all.deb ... Unpacking ncurses-base (6.1+20181013-2) over (6.1+20181013-1) ... Setting up ncurses-base (6.1+20181013-2) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.93-8_amd64.deb ... Unpacking sysvinit-utils (2.93-8) over (2.93-6) ... Setting up sysvinit-utils (2.93-8) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6369 files and directories currently installed.) Preparing to unpack .../libpam0g_1.3.1-5_amd64.deb ... Unpacking libpam0g:amd64 (1.3.1-5) over (1.1.8-4) ... Setting up libpam0g:amd64 (1.3.1-5) ... Checking for services that may need to be restarted...Checking init scripts... Nothing to restart. (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5_amd64.deb ... Unpacking libpam-modules-bin (1.3.1-5) over (1.1.8-4) ... Setting up libpam-modules-bin (1.3.1-5) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5_amd64.deb ... Unpacking libpam-modules:amd64 (1.3.1-5) over (1.1.8-4) ... Setting up libpam-modules:amd64 (1.3.1-5) ... Installing new version of config file /etc/security/access.conf ... Installing new version of config file /etc/security/limits.conf ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libsystemd0_240-6_amd64.deb ... Unpacking libsystemd0:amd64 (240-6) over (240-5) ... Setting up libsystemd0:amd64 (240-6) ... (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 ... 6369 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5_all.deb ... Unpacking libpam-runtime (1.3.1-5) over (1.1.8-4) ... Setting up libpam-runtime (1.3.1-5) ... (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 ... 6429 files and directories currently installed.) Preparing to unpack .../libtinfo6_6.1+20181013-2_amd64.deb ... Unpacking libtinfo6:amd64 (6.1+20181013-2) over (6.1+20181013-1) ... Setting up libtinfo6:amd64 (6.1+20181013-2) ... (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 ... 6429 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.1+20181013-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.1+20181013-2) over (6.1+20181013-1) ... Setting up libncursesw6:amd64 (6.1+20181013-2) ... Processing triggers for libc-bin (2.28-7) ... 0m13.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-yf', 'dist-upgrade'] 0m13.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m13.8s DUMP: ee5f2a55ce1390f193b32938004109c7 - 0m13.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m13.8s INFO: Running scripts post_setup 0m13.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_dummy_users'] 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_dummy_users'] 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_forbid_home'] 0m14.9s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_forbid_home'] 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_force-unsafe-io'] 0m15.0s 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' 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_force-unsafe-io'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_minimize'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_minimize'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_squeeze-backports'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_squeeze-backports'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_zz_backports'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_setup_zz_backports'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m15.0s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.0~rc3 install ok installed base-files base-files 10.1 install ok installed base-passwd base-passwd 3.5.46 install ok installed bash bash 5.0-2 install ok installed bsdutils bsdutils 1:2.33.1-0.1 install ok installed coreutils coreutils 8.30-1 install ok installed dash dash 0.5.10.2-5 install ok installed debconf debconf 1.5.70 install ok installed debian-archive-keyring debian-archive-keyring 2018.1 install ok installed debianutils debianutils 4.8.6.1 install ok installed diffutils diffutils 1:3.6-1 install ok installed dpkg dpkg 1.19.2 install ok installed e2fsprogs e2fsprogs 1.44.5-1 install ok installed fdisk fdisk 2.33.1-0.1 install ok installed findutils findutils 4.6.0+git+20190105-2 install ok installed gcc-8-base:amd64 gcc-8-base 8.2.0-21 install ok installed gpgv gpgv 2.2.12-1 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3 install ok installed hostname hostname 3.21 install ok installed init-system-helpers init-system-helpers 1.56+nmu1 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.0~rc3 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.8.4-2 install ok installed libaudit1:amd64 libaudit1 1:2.8.4-2 install ok installed libblkid1:amd64 libblkid1 2.33.1-0.1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-9 install ok installed libc-bin libc-bin 2.28-7 install ok installed libc6:amd64 libc6 2.28-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2 install ok installed libcom-err2:amd64 libcom-err2 1.44.5-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.3 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.247 install ok installed libext2fs2:amd64 libext2fs2 1.44.5-1 install ok installed libfdisk1:amd64 libfdisk1 2.33.1-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libgcc1:amd64 libgcc1 1:8.2.0-21 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.4-5 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4 install ok installed libgnutls30:amd64 libgnutls30 3.6.6-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.35-1 install ok installed libhogweed4:amd64 libhogweed4 3.4.1-1 install ok installed libidn2-0:amd64 libidn2-0 2.0.5-1 install ok installed liblz4-1:amd64 liblz4-1 1.8.3-1 install ok installed liblzma5:amd64 liblzma5 5.2.4-1 install ok installed libmount1:amd64 libmount1 2.33.1-0.1 install ok installed libncursesw6:amd64 libncursesw6 6.1+20181013-2 install ok installed libnettle6:amd64 libnettle6 3.4.1-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.14-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 libpcre3:amd64 libpcre3 2:8.39-11 install ok installed libseccomp2:amd64 libseccomp2 2.3.3-4 install ok installed libselinux1:amd64 libselinux1 2.8-1+b1 install ok installed libsemanage-common libsemanage-common 2.8-2 install ok installed libsemanage1:amd64 libsemanage1 2.8-2 install ok installed libsepol1:amd64 libsepol1 2.8-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.33.1-0.1 install ok installed libss2:amd64 libss2 1.44.5-1 install ok installed libstdc++6:amd64 libstdc++6 8.2.0-21 install ok installed libsystemd0:amd64 libsystemd0 240-6 install ok installed libtasn1-6:amd64 libtasn1-6 4.13-3 install ok installed libtinfo6:amd64 libtinfo6 6.1+20181013-2 install ok installed libudev1:amd64 libudev1 240-6 install ok installed libunistring2:amd64 libunistring2 0.9.10-1 install ok installed libuuid1:amd64 libuuid1 2.33.1-0.1 install ok installed libzstd1:amd64 libzstd1 1.3.8+dfsg-3 install ok installed login login 1:4.5-1.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mount mount 2.33.1-0.1 install ok installed ncurses-base ncurses-base 6.1+20181013-2 install ok installed ncurses-bin ncurses-bin 6.1+20181013-2 install ok installed passwd passwd 1:4.5-1.1 install ok installed perl-base perl-base 5.28.1-4 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.93-8 install ok installed tar tar 1.30+dfsg-5 install ok installed tzdata tzdata 2018i-1 install ok installed util-linux util-linux 2.33.1-0.1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m15.0s DEBUG: Loading chroot meta data from reference-chroot-metadata.dat 0m15.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 0m16.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 0m16.2s INFO: Running scripts is_testable 0m16.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/is_testable_uninstallable'] 0m16.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/is_testable_uninstallable'] 0m16.3s INFO: Running scripts pre_test 0m16.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_test_exceptions'] 0m16.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_test_exceptions'] 0m16.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_test_root_password'] 0m16.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m16.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_test_root_password'] 0m16.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m16.6s DUMP: Package: coq Version: 8.9.0-1 Installed-Size: 233951 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.9.0+4.05.0 Depends: coq-theories (= 8.9.0-1), libcoq-ocaml-m8xw4, ocaml-base-nox-4.05.0, python3:any, libc6 (>= 2.28), ocaml-nox, ocaml-findlib Suggests: proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. Description-md5: 926eb6cdfd9251e496fab8f89399a189 Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.9.0-1_amd64.deb Size: 58990560 MD5sum: ae022e4a30565deffd948b4362b51aa9 SHA256: cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m16.6s INFO: apt-cache knows about the following packages: coq 0m16.6s INFO: Running scripts pre_install 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 0m16.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages release o=Debian,a=testing,n=buster,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 0m16.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 0m16.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 0m16.8s DUMP: coq: Installed: (none) Candidate: 8.9.0-1 Version table: 8.9.0-1 500 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages 0m16.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 0m16.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq'] 0m54.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common Suggested packages: binutils-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-8-locales gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-8-multilib gcc-8-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan5-dbg liblsan0-dbg libtsan0-dbg libubsan1-dbg libmpx2-dbg libquadmath0-dbg glibc-doc ncurses-doc camlp4 ocaml-doc tuareg-mode | ocaml-mode python3-doc python3-tk python3-venv python3.7-venv python3.7-doc binfmt-support readline-doc Recommended packages: manpages manpages-dev libgpm2 bzip2 file xz-utils libfindlib-ocaml-dev ledit | readline-editor The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common 0 upgraded, 51 newly installed, 0 to remove and 0 not upgraded. Need to get 185 MB of archives. After this operation, 880 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian buster/main amd64 libssl1.1 amd64 1.1.1a-1 [1527 kB] Get:2 http://mirror-ubc.debian.org/debian buster/main amd64 libpython3.7-minimal amd64 3.7.2-2 [588 kB] Get:3 http://mirror-ubc.debian.org/debian buster/main amd64 libexpat1 amd64 2.2.6-1 [105 kB] Get:4 http://mirror-ubc.debian.org/debian buster/main amd64 python3.7-minimal amd64 3.7.2-2 [1734 kB] Get:5 http://mirror-ubc.debian.org/debian buster/main amd64 python3-minimal amd64 3.7.2-1 [36.6 kB] Get:6 http://mirror-ubc.debian.org/debian buster/main amd64 mime-support all 3.62 [37.2 kB] Get:7 http://mirror-ubc.debian.org/debian buster/main amd64 libmpdec2 amd64 2.4.2-2 [87.2 kB] Get:8 http://mirror-ubc.debian.org/debian buster/main amd64 readline-common all 7.0-5 [70.6 kB] Get:9 http://mirror-ubc.debian.org/debian buster/main amd64 libreadline7 amd64 7.0-5 [151 kB] Get:10 http://mirror-ubc.debian.org/debian buster/main amd64 libsqlite3-0 amd64 3.26.0+fossilbc891ac6b-2 [635 kB] Get:11 http://mirror-ubc.debian.org/debian buster/main amd64 libpython3.7-stdlib amd64 3.7.2-2 [1731 kB] Get:12 http://mirror-ubc.debian.org/debian buster/main amd64 python3.7 amd64 3.7.2-2 [323 kB] Get:13 http://mirror-ubc.debian.org/debian buster/main amd64 libpython3-stdlib amd64 3.7.2-1 [20.0 kB] Get:14 http://mirror-ubc.debian.org/debian buster/main amd64 python3 amd64 3.7.2-1 [61.5 kB] Get:15 http://mirror-ubc.debian.org/debian buster/main amd64 binutils-common amd64 2.31.1-11 [2072 kB] Get:16 http://mirror-ubc.debian.org/debian buster/main amd64 libbinutils amd64 2.31.1-11 [479 kB] Get:17 http://mirror-ubc.debian.org/debian buster/main amd64 binutils-x86-64-linux-gnu amd64 2.31.1-11 [1823 kB] Get:18 http://mirror-ubc.debian.org/debian buster/main amd64 binutils amd64 2.31.1-11 [56.3 kB] Get:19 http://mirror-ubc.debian.org/debian buster/main amd64 coq-theories amd64 8.9.0-1 [29.7 MB] Get:20 http://mirror-ubc.debian.org/debian buster/main amd64 libncurses6 amd64 6.1+20181013-2 [102 kB] Get:21 http://mirror-ubc.debian.org/debian buster/main amd64 ocaml-base-nox amd64 4.05.0-11 [654 kB] Get:22 http://mirror-ubc.debian.org/debian buster/main amd64 libcoq-ocaml amd64 8.9.0-1 [5463 kB] Get:23 http://mirror-ubc.debian.org/debian buster/main amd64 libc-dev-bin amd64 2.28-7 [275 kB] Get:24 http://mirror-ubc.debian.org/debian buster/main amd64 linux-libc-dev amd64 4.19.16-1 [1130 kB] Get:25 http://mirror-ubc.debian.org/debian buster/main amd64 libc6-dev amd64 2.28-7 [2691 kB] Get:26 http://mirror-ubc.debian.org/debian buster/main amd64 libncurses-dev amd64 6.1+20181013-2 [333 kB] Get:27 http://mirror-ubc.debian.org/debian buster/main amd64 libncurses5-dev amd64 6.1+20181013-2 [940 B] Get:28 http://mirror-ubc.debian.org/debian buster/main amd64 ocaml-compiler-libs amd64 4.05.0-11 [19.0 MB] Get:29 http://mirror-ubc.debian.org/debian buster/main amd64 ocaml-interp amd64 4.05.0-11 [3582 kB] Get:30 http://mirror-ubc.debian.org/debian buster/main amd64 libisl19 amd64 0.20-2 [587 kB] Get:31 http://mirror-ubc.debian.org/debian buster/main amd64 libmpfr6 amd64 4.0.2-1 [775 kB] Get:32 http://mirror-ubc.debian.org/debian buster/main amd64 libmpc3 amd64 1.1.0-1 [41.3 kB] Get:33 http://mirror-ubc.debian.org/debian buster/main amd64 cpp-8 amd64 8.2.0-21 [8913 kB] Get:34 http://mirror-ubc.debian.org/debian buster/main amd64 cpp amd64 4:8.2.0-2 [19.3 kB] Get:35 http://mirror-ubc.debian.org/debian buster/main amd64 libcc1-0 amd64 8.2.0-21 [46.6 kB] Get:36 http://mirror-ubc.debian.org/debian buster/main amd64 libgomp1 amd64 8.2.0-21 [75.7 kB] Get:37 http://mirror-ubc.debian.org/debian buster/main amd64 libitm1 amd64 8.2.0-21 [27.7 kB] Get:38 http://mirror-ubc.debian.org/debian buster/main amd64 libatomic1 amd64 8.2.0-21 [8876 B] Get:39 http://mirror-ubc.debian.org/debian buster/main amd64 libasan5 amd64 8.2.0-21 [362 kB] Get:40 http://mirror-ubc.debian.org/debian buster/main amd64 liblsan0 amd64 8.2.0-21 [131 kB] Get:41 http://mirror-ubc.debian.org/debian buster/main amd64 libtsan0 amd64 8.2.0-21 [283 kB] Get:42 http://mirror-ubc.debian.org/debian buster/main amd64 libubsan1 amd64 8.2.0-21 [120 kB] Get:43 http://mirror-ubc.debian.org/debian buster/main amd64 libmpx2 amd64 8.2.0-21 [11.4 kB] Get:44 http://mirror-ubc.debian.org/debian buster/main amd64 libquadmath0 amd64 8.2.0-21 [133 kB] Get:45 http://mirror-ubc.debian.org/debian buster/main amd64 libgcc-8-dev amd64 8.2.0-21 [2297 kB] Get:46 http://mirror-ubc.debian.org/debian buster/main amd64 gcc-8 amd64 8.2.0-21 [9442 kB] Get:47 http://mirror-ubc.debian.org/debian buster/main amd64 gcc amd64 4:8.2.0-2 [5192 B] Get:48 http://mirror-ubc.debian.org/debian buster/main amd64 ocaml-nox amd64 4.05.0-11 [27.6 MB] Get:49 http://mirror-ubc.debian.org/debian buster/main amd64 libfindlib-ocaml amd64 1.7.3-2+b1 [167 kB] Get:50 http://mirror-ubc.debian.org/debian buster/main amd64 ocaml-findlib amd64 1.7.3-2+b1 [370 kB] Get:51 http://mirror-ubc.debian.org/debian buster/main amd64 coq amd64 8.9.0-1 [59.0 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 185 MB in 3s (59.5 MB/s) Selecting previously unselected package libssl1.1:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6431 files and directories currently installed.) Preparing to unpack .../libssl1.1_1.1.1a-1_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1a-1) ... Selecting previously unselected package libpython3.7-minimal:amd64. Preparing to unpack .../libpython3.7-minimal_3.7.2-2_amd64.deb ... Unpacking libpython3.7-minimal:amd64 (3.7.2-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.6-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.6-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.2-2_amd64.deb ... Unpacking python3.7-minimal (3.7.2-2) ... Setting up libssl1.1:amd64 (1.1.1a-1) ... Setting up libpython3.7-minimal:amd64 (3.7.2-2) ... Setting up libexpat1:amd64 (2.2.6-1) ... Setting up python3.7-minimal (3.7.2-2) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6692 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.2-1_amd64.deb ... Unpacking python3-minimal (3.7.2-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.62_all.deb ... Unpacking mime-support (3.62) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../2-libmpdec2_2.4.2-2_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_7.0-5_all.deb ... Unpacking readline-common (7.0-5) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../4-libreadline7_7.0-5_amd64.deb ... Unpacking libreadline7:amd64 (7.0-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../5-libsqlite3-0_3.26.0+fossilbc891ac6b-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.26.0+fossilbc891ac6b-2) ... Selecting previously unselected package libpython3.7-stdlib:amd64. Preparing to unpack .../6-libpython3.7-stdlib_3.7.2-2_amd64.deb ... Unpacking libpython3.7-stdlib:amd64 (3.7.2-2) ... Selecting previously unselected package python3.7. Preparing to unpack .../7-python3.7_3.7.2-2_amd64.deb ... Unpacking python3.7 (3.7.2-2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.7.2-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.7.2-1) ... Setting up python3-minimal (3.7.2-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 7158 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.2-1_amd64.deb ... Unpacking python3 (3.7.2-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../01-binutils-common_2.31.1-11_amd64.deb ... Unpacking binutils-common:amd64 (2.31.1-11) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../02-libbinutils_2.31.1-11_amd64.deb ... Unpacking libbinutils:amd64 (2.31.1-11) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../03-binutils-x86-64-linux-gnu_2.31.1-11_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.31.1-11) ... Selecting previously unselected package binutils. Preparing to unpack .../04-binutils_2.31.1-11_amd64.deb ... Unpacking binutils (2.31.1-11) ... Selecting previously unselected package coq-theories. Preparing to unpack .../05-coq-theories_8.9.0-1_amd64.deb ... Unpacking coq-theories (8.9.0-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../06-libncurses6_6.1+20181013-2_amd64.deb ... Unpacking libncurses6:amd64 (6.1+20181013-2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../07-ocaml-base-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-11) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../08-libcoq-ocaml_8.9.0-1_amd64.deb ... Unpacking libcoq-ocaml (8.9.0-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../09-libc-dev-bin_2.28-7_amd64.deb ... Unpacking libc-dev-bin (2.28-7) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../10-linux-libc-dev_4.19.16-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.19.16-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../11-libc6-dev_2.28-7_amd64.deb ... Unpacking libc6-dev:amd64 (2.28-7) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../12-libncurses-dev_6.1+20181013-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.1+20181013-2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../13-libncurses5-dev_6.1+20181013-2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1+20181013-2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../14-ocaml-compiler-libs_4.05.0-11_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-11) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../15-ocaml-interp_4.05.0-11_amd64.deb ... Unpacking ocaml-interp (4.05.0-11) ... Selecting previously unselected package libisl19:amd64. Preparing to unpack .../16-libisl19_0.20-2_amd64.deb ... Unpacking libisl19:amd64 (0.20-2) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../17-libmpfr6_4.0.2-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.0.2-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../18-libmpc3_1.1.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.1.0-1) ... Selecting previously unselected package cpp-8. Preparing to unpack .../19-cpp-8_8.2.0-21_amd64.deb ... Unpacking cpp-8 (8.2.0-21) ... Selecting previously unselected package cpp. Preparing to unpack .../20-cpp_4%3a8.2.0-2_amd64.deb ... Unpacking cpp (4:8.2.0-2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../21-libcc1-0_8.2.0-21_amd64.deb ... Unpacking libcc1-0:amd64 (8.2.0-21) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../22-libgomp1_8.2.0-21_amd64.deb ... Unpacking libgomp1:amd64 (8.2.0-21) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../23-libitm1_8.2.0-21_amd64.deb ... Unpacking libitm1:amd64 (8.2.0-21) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../24-libatomic1_8.2.0-21_amd64.deb ... Unpacking libatomic1:amd64 (8.2.0-21) ... Selecting previously unselected package libasan5:amd64. Preparing to unpack .../25-libasan5_8.2.0-21_amd64.deb ... Unpacking libasan5:amd64 (8.2.0-21) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../26-liblsan0_8.2.0-21_amd64.deb ... Unpacking liblsan0:amd64 (8.2.0-21) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../27-libtsan0_8.2.0-21_amd64.deb ... Unpacking libtsan0:amd64 (8.2.0-21) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../28-libubsan1_8.2.0-21_amd64.deb ... Unpacking libubsan1:amd64 (8.2.0-21) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../29-libmpx2_8.2.0-21_amd64.deb ... Unpacking libmpx2:amd64 (8.2.0-21) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../30-libquadmath0_8.2.0-21_amd64.deb ... Unpacking libquadmath0:amd64 (8.2.0-21) ... Selecting previously unselected package libgcc-8-dev:amd64. Preparing to unpack .../31-libgcc-8-dev_8.2.0-21_amd64.deb ... Unpacking libgcc-8-dev:amd64 (8.2.0-21) ... Selecting previously unselected package gcc-8. Preparing to unpack .../32-gcc-8_8.2.0-21_amd64.deb ... Unpacking gcc-8 (8.2.0-21) ... Selecting previously unselected package gcc. Preparing to unpack .../33-gcc_4%3a8.2.0-2_amd64.deb ... Unpacking gcc (4:8.2.0-2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../34-ocaml-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-nox (4.05.0-11) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../35-libfindlib-ocaml_1.7.3-2+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.7.3-2+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../36-ocaml-findlib_1.7.3-2+b1_amd64.deb ... Unpacking ocaml-findlib (1.7.3-2+b1) ... Selecting previously unselected package coq. Preparing to unpack .../37-coq_8.9.0-1_amd64.deb ... Unpacking coq (8.9.0-1) ... Setting up libquadmath0:amd64 (8.2.0-21) ... Setting up libgomp1:amd64 (8.2.0-21) ... Setting up libatomic1:amd64 (8.2.0-21) ... Setting up readline-common (7.0-5) ... Setting up libcc1-0:amd64 (8.2.0-21) ... Setting up mime-support (3.62) ... Setting up libreadline7:amd64 (7.0-5) ... Setting up libtsan0:amd64 (8.2.0-21) ... Setting up linux-libc-dev:amd64 (4.19.16-1) ... Setting up libmpfr6:amd64 (4.0.2-1) ... Setting up liblsan0:amd64 (8.2.0-21) ... Setting up binutils-common:amd64 (2.31.1-11) ... Setting up libmpx2:amd64 (8.2.0-21) ... Processing triggers for libc-bin (2.28-7) ... Setting up libsqlite3-0:amd64 (3.26.0+fossilbc891ac6b-2) ... Setting up libmpc3:amd64 (1.1.0-1) ... Setting up libc-dev-bin (2.28-7) ... Setting up libc6-dev:amd64 (2.28-7) ... Setting up libasan5:amd64 (8.2.0-21) ... Setting up libncurses6:amd64 (6.1+20181013-2) ... Setting up libitm1:amd64 (8.2.0-21) ... Setting up libmpdec2:amd64 (2.4.2-2) ... Setting up libubsan1:amd64 (8.2.0-21) ... Setting up libisl19:amd64 (0.20-2) ... Setting up cpp-8 (8.2.0-21) ... Setting up cpp (4:8.2.0-2) ... Setting up libpython3.7-stdlib:amd64 (3.7.2-2) ... Setting up libbinutils:amd64 (2.31.1-11) ... Setting up ocaml-base-nox (4.05.0-11) ... Setting up python3.7 (3.7.2-2) ... Setting up libgcc-8-dev:amd64 (8.2.0-21) ... Setting up libncurses-dev:amd64 (6.1+20181013-2) ... Setting up libfindlib-ocaml (1.7.3-2+b1) ... Setting up ocaml-findlib (1.7.3-2+b1) ... Setting up binutils-x86-64-linux-gnu (2.31.1-11) ... Setting up libcoq-ocaml (8.9.0-1) ... Setting up libpython3-stdlib:amd64 (3.7.2-1) ... Setting up python3 (3.7.2-1) ... Setting up libncurses5-dev:amd64 (6.1+20181013-2) ... Setting up binutils (2.31.1-11) ... Setting up gcc-8 (8.2.0-21) ... Setting up gcc (4:8.2.0-2) ... Setting up coq-theories (8.9.0-1) ... Setting up ocaml-interp (4.05.0-11) ... Setting up ocaml-nox (4.05.0-11) ... Setting up coq (8.9.0-1) ... Setting up ocaml-compiler-libs (4.05.0-11) ... Processing triggers for libc-bin (2.28-7) ... 0m54.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq'] 0m54.8s INFO: Running scripts post_install 0m54.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 0m54.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 0m54.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 0m55.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 0m55.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpUFwtHq to buster-proposed 0m55.9s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ buster main deb http://security.debian.org buster/updates main deb http://mirror-ubc.debian.org/debian/ buster-updates main deb http://mirror-ubc.debian.org/debian/ buster-proposed-updates main 0m55.9s INFO: Running scripts pre_distupgrade 0m55.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m55.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m55.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_exceptions'] 0m55.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_exceptions'] 0m55.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m55.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m55.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m55.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m55.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m56.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m56.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'update'] 0m58.3s DUMP: Hit:1 http://mirror-ubc.debian.org/debian buster InRelease Get:2 http://mirror-ubc.debian.org/debian buster-updates InRelease [46.8 kB] Get:3 http://mirror-ubc.debian.org/debian buster-proposed-updates InRelease [52.0 kB] Get:4 http://security-cdn.debian.org buster/updates InRelease [38.3 kB] Fetched 137 kB in 1s (125 kB/s) Reading package lists... 0m58.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'update'] 0m58.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-yf', 'dist-upgrade'] 0m58.7s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m58.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-yf', 'dist-upgrade'] 0m58.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m58.9s DUMP: ee5f2a55ce1390f193b32938004109c7 - 0m58.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m58.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m59.2s DUMP: Package: coq Version: 8.9.0-1 Installed-Size: 233951 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.9.0+4.05.0 Depends: coq-theories (= 8.9.0-1), libcoq-ocaml-m8xw4, ocaml-base-nox-4.05.0, python3:any, libc6 (>= 2.28), ocaml-nox, ocaml-findlib Suggests: proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. Description-md5: 926eb6cdfd9251e496fab8f89399a189 Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.9.0-1_amd64.deb Size: 58990560 MD5sum: ae022e4a30565deffd948b4362b51aa9 SHA256: cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m59.2s INFO: apt-cache knows about the following packages: coq 0m59.2s INFO: Running scripts pre_install 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m59.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m59.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 0m59.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages release o=Debian,a=testing,n=buster,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 0m59.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 0m59.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 0m59.3s DUMP: coq: Installed: 8.9.0-1 Candidate: 8.9.0-1 Version table: *** 8.9.0-1 500 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages 100 /var/lib/dpkg/status 0m59.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 0m59.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq'] 0m59.7s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version (8.9.0-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq'] 0m59.7s INFO: Running scripts post_install 0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 0m59.7s INFO: Running scripts post_distupgrade 0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m59.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m59.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_exceptions'] 0m59.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_exceptions'] 0m59.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m59.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m59.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m59.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m59.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_zz_backports'] 0m59.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_distupgrade_zz_backports'] 0m59.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m0.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m0.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m1.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m1.7s INFO: Running scripts pre_install 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 1m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_database-server'] 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 1m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_exceptions'] 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 1m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_extras'] 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 1m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture'] 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 1m1.8s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages release o=Debian,a=testing,n=buster,l=Debian,c=main,b=amd64 origin mirror-ubc.debian.org Pinned packages: 1m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy'] 1m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 1m1.9s DUMP: coq: Installed: 8.9.0-1 Candidate: 8.9.0-1 Version table: *** 8.9.0-1 500 500 http://mirror-ubc.debian.org/debian buster/main amd64 Packages 100 /var/lib/dpkg/status 1m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-cache', 'policy', 'coq'] 1m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq=8.9.0-1'] 1m2.4s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version (8.9.0-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', '-y', 'install', 'coq=8.9.0-1'] 1m2.4s INFO: Running scripts post_install 1m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 1m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_install_exceptions'] 1m2.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m3.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m3.2s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.0~rc3 install ok installed base-files base-files 10.1 install ok installed base-passwd base-passwd 3.5.46 install ok installed bash bash 5.0-2 install ok installed binutils binutils 2.31.1-11 install ok installed binutils-common:amd64 binutils-common 2.31.1-11 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.31.1-11 install ok installed bsdutils bsdutils 1:2.33.1-0.1 install ok installed coq coq 8.9.0-1 install ok installed coq-theories coq-theories 8.9.0-1 install ok installed coreutils coreutils 8.30-1 install ok installed cpp cpp 4:8.2.0-2 install ok installed cpp-8 cpp-8 8.2.0-21 install ok installed dash dash 0.5.10.2-5 install ok installed debconf debconf 1.5.70 install ok installed debian-archive-keyring debian-archive-keyring 2018.1 install ok installed debianutils debianutils 4.8.6.1 install ok installed diffutils diffutils 1:3.6-1 install ok installed dpkg dpkg 1.19.2 install ok installed e2fsprogs e2fsprogs 1.44.5-1 install ok installed fdisk fdisk 2.33.1-0.1 install ok installed findutils findutils 4.6.0+git+20190105-2 install ok installed gcc gcc 4:8.2.0-2 install ok installed gcc-8 gcc-8 8.2.0-21 install ok installed gcc-8-base:amd64 gcc-8-base 8.2.0-21 install ok installed gpgv gpgv 2.2.12-1 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3 install ok installed hostname hostname 3.21 install ok installed init-system-helpers init-system-helpers 1.56+nmu1 install ok installed libacl1:amd64 libacl1 2.2.52-3+b1 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.0~rc3 install ok installed libasan5:amd64 libasan5 8.2.0-21 install ok installed libatomic1:amd64 libatomic1 8.2.0-21 install ok installed libattr1:amd64 libattr1 1:2.4.47-2+b2 install ok installed libaudit-common libaudit-common 1:2.8.4-2 install ok installed libaudit1:amd64 libaudit1 1:2.8.4-2 install ok installed libbinutils:amd64 libbinutils 2.31.1-11 install ok installed libblkid1:amd64 libblkid1 2.33.1-0.1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-9 install ok installed libc-bin libc-bin 2.28-7 install ok installed libc-dev-bin libc-dev-bin 2.28-7 install ok installed libc6:amd64 libc6 2.28-7 install ok installed libc6-dev:amd64 libc6-dev 2.28-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2 install ok installed libcc1-0:amd64 libcc1-0 8.2.0-21 install ok installed libcom-err2:amd64 libcom-err2 1.44.5-1 install ok installed libcoq-ocaml libcoq-ocaml 8.9.0-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.3 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.247 install ok installed libexpat1:amd64 libexpat1 2.2.6-1 install ok installed libext2fs2:amd64 libext2fs2 1.44.5-1 install ok installed libfdisk1:amd64 libfdisk1 2.33.1-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libfindlib-ocaml libfindlib-ocaml 1.7.3-2+b1 install ok installed libgcc-8-dev:amd64 libgcc-8-dev 8.2.0-21 install ok installed libgcc1:amd64 libgcc1 1:8.2.0-21 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.4-5 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4 install ok installed libgnutls30:amd64 libgnutls30 3.6.6-2 install ok installed libgomp1:amd64 libgomp1 8.2.0-21 install ok installed libgpg-error0:amd64 libgpg-error0 1.35-1 install ok installed libhogweed4:amd64 libhogweed4 3.4.1-1 install ok installed libidn2-0:amd64 libidn2-0 2.0.5-1 install ok installed libisl19:amd64 libisl19 0.20-2 install ok installed libitm1:amd64 libitm1 8.2.0-21 install ok installed liblsan0:amd64 liblsan0 8.2.0-21 install ok installed liblz4-1:amd64 liblz4-1 1.8.3-1 install ok installed liblzma5:amd64 liblzma5 5.2.4-1 install ok installed libmount1:amd64 libmount1 2.33.1-0.1 install ok installed libmpc3:amd64 libmpc3 1.1.0-1 install ok installed libmpdec2:amd64 libmpdec2 2.4.2-2 install ok installed libmpfr6:amd64 libmpfr6 4.0.2-1 install ok installed libmpx2:amd64 libmpx2 8.2.0-21 install ok installed libncurses-dev:amd64 libncurses-dev 6.1+20181013-2 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.1+20181013-2 install ok installed libncurses6:amd64 libncurses6 6.1+20181013-2 install ok installed libncursesw6:amd64 libncursesw6 6.1+20181013-2 install ok installed libnettle6:amd64 libnettle6 3.4.1-1 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.14-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 libpcre3:amd64 libpcre3 2:8.39-11 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.7.2-1 install ok installed libpython3.7-minimal:amd64 libpython3.7-minimal 3.7.2-2 install ok installed libpython3.7-stdlib:amd64 libpython3.7-stdlib 3.7.2-2 install ok installed libquadmath0:amd64 libquadmath0 8.2.0-21 install ok installed libreadline7:amd64 libreadline7 7.0-5 install ok installed libseccomp2:amd64 libseccomp2 2.3.3-4 install ok installed libselinux1:amd64 libselinux1 2.8-1+b1 install ok installed libsemanage-common libsemanage-common 2.8-2 install ok installed libsemanage1:amd64 libsemanage1 2.8-2 install ok installed libsepol1:amd64 libsepol1 2.8-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.33.1-0.1 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.26.0+fossilbc891ac6b-2 install ok installed libss2:amd64 libss2 1.44.5-1 install ok installed libssl1.1:amd64 libssl1.1 1.1.1a-1 install ok installed libstdc++6:amd64 libstdc++6 8.2.0-21 install ok installed libsystemd0:amd64 libsystemd0 240-6 install ok installed libtasn1-6:amd64 libtasn1-6 4.13-3 install ok installed libtinfo6:amd64 libtinfo6 6.1+20181013-2 install ok installed libtsan0:amd64 libtsan0 8.2.0-21 install ok installed libubsan1:amd64 libubsan1 8.2.0-21 install ok installed libudev1:amd64 libudev1 240-6 install ok installed libunistring2:amd64 libunistring2 0.9.10-1 install ok installed libuuid1:amd64 libuuid1 2.33.1-0.1 install ok installed libzstd1:amd64 libzstd1 1.3.8+dfsg-3 install ok installed linux-libc-dev:amd64 linux-libc-dev 4.19.16-1 install ok installed login login 1:4.5-1.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mime-support mime-support 3.62 install ok installed mount mount 2.33.1-0.1 install ok installed ncurses-base ncurses-base 6.1+20181013-2 install ok installed ncurses-bin ncurses-bin 6.1+20181013-2 install ok installed ocaml-base-nox ocaml-base-nox 4.05.0-11 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.05.0-11 install ok installed ocaml-findlib ocaml-findlib 1.7.3-2+b1 install ok installed ocaml-interp ocaml-interp 4.05.0-11 install ok installed ocaml-nox ocaml-nox 4.05.0-11 install ok installed passwd passwd 1:4.5-1.1 install ok installed perl-base perl-base 5.28.1-4 install ok installed python3 python3 3.7.2-1 install ok installed python3-minimal python3-minimal 3.7.2-1 install ok installed python3.7 python3.7 3.7.2-2 install ok installed python3.7-minimal python3.7-minimal 3.7.2-2 install ok installed readline-common readline-common 7.0-5 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.93-8 install ok installed tar tar 1.30+dfsg-5 install ok installed tzdata tzdata 2018i-1 install ok installed util-linux util-linux 2.33.1-0.1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1 1m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m4.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', '-ac', '--ignore-obsolete'] 1m7.1s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', '-ac', '--ignore-obsolete'] 1m7.1s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m7.2s DUMP: 0.15.1 1m7.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m7.2s INFO: Running adequate version 0.15.1 now. 1m7.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'coq'] 1m7.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'coq'] 1m7.4s INFO: Running scripts pre_remove 1m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_exceptions'] 1m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/pre_remove_exceptions'] 1m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'remove', 'libpython3.7-stdlib:amd64', 'ocaml-findlib', 'python3.7-minimal', 'libreadline7:amd64', 'ocaml-compiler-libs', 'gcc-8', 'libpython3-stdlib:amd64', 'libmpx2:amd64', 'libsqlite3-0:amd64', 'libbinutils:amd64', 'gcc', 'ocaml-nox', 'binutils-x86-64-linux-gnu', 'libfindlib-ocaml', 'binutils-common:amd64', 'libcc1-0:amd64', 'libssl1.1:amd64', 'libquadmath0:amd64', 'libgcc-8-dev:amd64', 'libncurses-dev:amd64', 'ocaml-interp', 'libc6-dev:amd64', 'liblsan0:amd64', 'libasan5:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libexpat1:amd64', 'python3-minimal', 'libncurses6:amd64', 'libmpdec2:amd64', 'readline-common', 'mime-support', 'libatomic1:amd64', 'libisl19:amd64', 'python3', 'libncurses5-dev:amd64', 'ocaml-base-nox', 'libcoq-ocaml', 'cpp-8', 'libubsan1:amd64', 'libitm1:amd64', 'python3.7', 'libpython3.7-minimal:amd64', 'libgomp1:amd64', 'libc-dev-bin', 'coq-theories', 'cpp', 'libtsan0:amd64', 'linux-libc-dev:amd64', 'binutils', 'coq'] 1m10.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common 0 upgraded, 0 newly installed, 51 to remove and 0 not upgraded. After this operation, 880 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 ... 16107 files and directories currently installed.) Removing libncurses5-dev:amd64 (6.1+20181013-2) ... Removing coq (8.9.0-1) ... Removing coq-theories (8.9.0-1) ... Removing ocaml-compiler-libs (4.05.0-11) ... Removing ocaml-nox (4.05.0-11) ... Removing ocaml-interp (4.05.0-11) ... Removing gcc (4:8.2.0-2) ... Removing gcc-8 (8.2.0-21) ... Removing binutils (2.31.1-11) ... Removing binutils-x86-64-linux-gnu (2.31.1-11) ... Removing libbinutils:amd64 (2.31.1-11) ... Removing binutils-common:amd64 (2.31.1-11) ... Removing cpp (4:8.2.0-2) ... Removing cpp-8 (8.2.0-21) ... Removing libgcc-8-dev:amd64 (8.2.0-21) ... Removing libasan5:amd64 (8.2.0-21) ... Removing libatomic1:amd64 (8.2.0-21) ... Removing libncurses-dev:amd64 (6.1+20181013-2) ... Removing libc6-dev:amd64 (2.28-7) ... Removing libc-dev-bin (2.28-7) ... Removing libcc1-0:amd64 (8.2.0-21) ... Removing libcoq-ocaml (8.9.0-1) ... Removing python3 (3.7.2-1) ... Removing python3-minimal (3.7.2-1) ... Removing python3.7 (3.7.2-2) ... Removing python3.7-minimal (3.7.2-2) ... Removing libexpat1:amd64 (2.2.6-1) ... Removing ocaml-findlib (1.7.3-2+b1) ... Removing libfindlib-ocaml (1.7.3-2+b1) ... Removing libgomp1:amd64 (8.2.0-21) ... Removing libisl19:amd64 (0.20-2) ... Removing libitm1:amd64 (8.2.0-21) ... Removing liblsan0:amd64 (8.2.0-21) ... Removing libmpc3:amd64 (1.1.0-1) ... Removing libpython3-stdlib:amd64 (3.7.2-1) ... Removing libpython3.7-stdlib:amd64 (3.7.2-2) ... find: '/usr/lib/python3': No such file or directory Removing libmpdec2:amd64 (2.4.2-2) ... Removing libmpfr6:amd64 (4.0.2-1) ... Removing libmpx2:amd64 (8.2.0-21) ... Removing ocaml-base-nox (4.05.0-11) ... Removing libncurses6:amd64 (6.1+20181013-2) ... Removing libpython3.7-minimal:amd64 (3.7.2-2) ... find: '/usr/lib/python3': No such file or directory Removing libquadmath0:amd64 (8.2.0-21) ... Removing libreadline7:amd64 (7.0-5) ... Removing libsqlite3-0:amd64 (3.26.0+fossilbc891ac6b-2) ... Removing libssl1.1:amd64 (1.1.1a-1) ... Removing libtsan0:amd64 (8.2.0-21) ... Removing libubsan1:amd64 (8.2.0-21) ... Removing linux-libc-dev:amd64 (4.19.16-1) ... Removing mime-support (3.62) ... Removing readline-common (7.0-5) ... Processing triggers for libc-bin (2.28-7) ... 1m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'remove', 'libpython3.7-stdlib:amd64', 'ocaml-findlib', 'python3.7-minimal', 'libreadline7:amd64', 'ocaml-compiler-libs', 'gcc-8', 'libpython3-stdlib:amd64', 'libmpx2:amd64', 'libsqlite3-0:amd64', 'libbinutils:amd64', 'gcc', 'ocaml-nox', 'binutils-x86-64-linux-gnu', 'libfindlib-ocaml', 'binutils-common:amd64', 'libcc1-0:amd64', 'libssl1.1:amd64', 'libquadmath0:amd64', 'libgcc-8-dev:amd64', 'libncurses-dev:amd64', 'ocaml-interp', 'libc6-dev:amd64', 'liblsan0:amd64', 'libasan5:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libexpat1:amd64', 'python3-minimal', 'libncurses6:amd64', 'libmpdec2:amd64', 'readline-common', 'mime-support', 'libatomic1:amd64', 'libisl19:amd64', 'python3', 'libncurses5-dev:amd64', 'ocaml-base-nox', 'libcoq-ocaml', 'cpp-8', 'libubsan1:amd64', 'libitm1:amd64', 'python3.7', 'libpython3.7-minimal:amd64', 'libgomp1:amd64', 'libc-dev-bin', 'coq-theories', 'cpp', 'libtsan0:amd64', 'linux-libc-dev:amd64', 'binutils', 'coq'] 1m10.7s INFO: Running scripts post_remove 1m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_remove_exceptions'] 1m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_remove_exceptions'] 1m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', 'libpython3.7-stdlib:amd64', 'ocaml-findlib', 'python3.7-minimal', 'libreadline7:amd64', 'ocaml-compiler-libs', 'gcc-8', 'libpython3-stdlib:amd64', 'libmpx2:amd64', 'libsqlite3-0:amd64', 'libbinutils:amd64', 'gcc', 'ocaml-nox', 'binutils-x86-64-linux-gnu', 'libfindlib-ocaml', 'binutils-common:amd64', 'libcc1-0:amd64', 'libssl1.1:amd64', 'libquadmath0:amd64', 'libgcc-8-dev:amd64', 'libncurses-dev:amd64', 'ocaml-interp', 'libc6-dev:amd64', 'liblsan0:amd64', 'libasan5:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libexpat1:amd64', 'python3-minimal', 'libncurses6:amd64', 'libmpdec2:amd64', 'readline-common', 'mime-support', 'libatomic1:amd64', 'libisl19:amd64', 'python3', 'libncurses5-dev:amd64', 'ocaml-base-nox', 'libcoq-ocaml', 'cpp-8', 'libubsan1:amd64', 'libitm1:amd64', 'python3.7', 'libpython3.7-minimal:amd64', 'libgomp1:amd64', 'libc-dev-bin', 'coq-theories', 'cpp', 'libtsan0:amd64', 'linux-libc-dev:amd64', 'binutils'] 1m10.9s DUMP: dpkg: warning: ignoring request to remove libpython3.7-stdlib which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed (Reading database ... 6436 files and directories currently installed.) Purging configuration files for python3.7-minimal (3.7.2-2) ... dpkg: warning: ignoring request to remove libreadline7 which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove gcc-8 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed dpkg: warning: ignoring request to remove libmpx2 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed Purging configuration files for ocaml-nox (4.05.0-11) ... dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed Purging configuration files for libfindlib-ocaml (1.7.3-2+b1) ... dpkg: warning: ignoring request to remove binutils-common which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed Purging configuration files for libssl1.1:amd64 (1.1.1a-1) ... dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libgcc-8-dev which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libasan5 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libmpdec2 which isn't installed Purging configuration files for readline-common (7.0-5) ... Purging configuration files for mime-support (3.62) ... dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libisl19 which isn't installed Purging configuration files for python3 (3.7.2-1) ... dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed dpkg: warning: ignoring request to remove libcoq-ocaml which isn't installed dpkg: warning: ignoring request to remove cpp-8 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove python3.7 which isn't installed Purging configuration files for libpython3.7-minimal:amd64 (3.7.2-2) ... dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove coq-theories which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed dpkg: warning: ignoring request to remove binutils which isn't installed 1m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', 'libpython3.7-stdlib:amd64', 'ocaml-findlib', 'python3.7-minimal', 'libreadline7:amd64', 'ocaml-compiler-libs', 'gcc-8', 'libpython3-stdlib:amd64', 'libmpx2:amd64', 'libsqlite3-0:amd64', 'libbinutils:amd64', 'gcc', 'ocaml-nox', 'binutils-x86-64-linux-gnu', 'libfindlib-ocaml', 'binutils-common:amd64', 'libcc1-0:amd64', 'libssl1.1:amd64', 'libquadmath0:amd64', 'libgcc-8-dev:amd64', 'libncurses-dev:amd64', 'ocaml-interp', 'libc6-dev:amd64', 'liblsan0:amd64', 'libasan5:amd64', 'libmpc3:amd64', 'libmpfr6:amd64', 'libexpat1:amd64', 'python3-minimal', 'libncurses6:amd64', 'libmpdec2:amd64', 'readline-common', 'mime-support', 'libatomic1:amd64', 'libisl19:amd64', 'python3', 'libncurses5-dev:amd64', 'ocaml-base-nox', 'libcoq-ocaml', 'cpp-8', 'libubsan1:amd64', 'libitm1:amd64', 'python3.7', 'libpython3.7-minimal:amd64', 'libgomp1:amd64', 'libc-dev-bin', 'coq-theories', 'cpp', 'libtsan0:amd64', 'linux-libc-dev:amd64', 'binutils'] 1m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', 'coq'] 1m10.9s DUMP: dpkg: warning: ignoring request to remove coq which isn't installed 1m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', 'coq'] 1m10.9s INFO: Running scripts post_purge 1m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_purge_exceptions'] 1m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_purge_exceptions'] 1m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', '--pending'] 1m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--purge', '--pending'] 1m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--remove', '--pending'] 1m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg', '--remove', '--pending'] 1m10.9s INFO: Running scripts post_test 1m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_test_exceptions'] 1m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'tmp/scripts/post_test_exceptions'] 1m11.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m11.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-divert', '--list'] 1m11.3s 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 1m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'dpkg-divert', '--list'] 1m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'clean'] 1m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpUFwtHq', 'apt-get', 'clean'] 1m11.4s DEBUG: Recording chroot state 1m12.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/shm'] 1m12.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/shm'] 1m12.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/console'] 1m12.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/console'] 1m12.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/ptmx'] 1m12.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/ptmx'] 1m12.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts'] 1m12.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/dev/pts'] 1m12.6s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/proc'] 1m12.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpUFwtHq/proc'] 1m12.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m12.7s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpUFwtHq'] 1m12.7s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpUFwtHq 1m12.7s INFO: PASS: Upgrading between Debian distributions. 1m12.7s INFO: PASS: All tests. 1m12.7s INFO: piuparts run ends. ret=0 End: 2019-02-25 05:21:21 UTC