Start: 2018-09-30 13:46:37 UTC [wheezy] Package: libaac-tactics-coq Source: aac-tactics Version: 0.2.pl2-7 Installed-Size: 2445 Maintainer: Debian OCaml Maintainers Architecture: all Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 0.2.pl2-7), coq-8.3pl4+3.12.1 Description: Coq tactics for reasoning modulo AC (theories) Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Tag: role::shared-lib Section: math Priority: optional Filename: pool/main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb Size: 320756 MD5sum: 6f21314fa0b532ff876ee735bfac8827 SHA1: ab3587301015e7df69abecbda02eedafda232bec SHA256: a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 [wheezy-lts] Package: libaac-tactics-coq Source: aac-tactics Version: 0.2.pl2-7 Installed-Size: 2445 Maintainer: Debian OCaml Maintainers Architecture: all Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 0.2.pl2-7), coq-8.3pl4+3.12.1 Description: Coq tactics for reasoning modulo AC (theories) Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Tag: role::shared-lib Section: math Priority: optional Filename: pool/main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb Size: 320756 MD5sum: 6f21314fa0b532ff876ee735bfac8827 SHA1: ab3587301015e7df69abecbda02eedafda232bec SHA256: a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 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 --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror.bm.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy -d wheezy-lts -B reference-chroot-metadata.dat --apt libaac-tactics-coq=0.2.pl2-7 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.93~201809241021~0.92-22-g1ffcf128 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror.bm.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy -d wheezy-lts -B reference-chroot-metadata.dat --apt libaac-tactics-coq=0.2.pl2-7 0m0.0s INFO: Running on: Linux piu-slave-bm-a 4.9.0-8-amd64 #1 SMP Debian 4.9.110-3+deb9u4 (2018-08-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpnCn1PB 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpnCn1PB 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/proc'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/proc'] 0m1.9s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts'] 0m1.9s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts'] 0m1.9s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/ptmx'] 0m1.9s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/ptmx'] 0m1.9s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/console'] 0m2.0s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/console'] 0m2.0s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/run/shm'] 0m2.0s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/run/shm'] 0m2.0s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ wheezy main 0m2.0s DEBUG: Created policy-rc.d and chmodded it. 0m2.0s DEBUG: Created resolv.conf. 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpnCn1PB/tmp/scripts/ 0m2.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpnCn1PB/tmp/scripts/ 0m2.0s INFO: Running scripts post_chroot_unpack 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'update'] 0m4.7s DUMP: Hit http://mirror.bm.debian.org wheezy Release.gpg Hit http://mirror.bm.debian.org wheezy Release Hit http://mirror.bm.debian.org wheezy/main amd64 Packages Hit http://mirror.bm.debian.org wheezy/main Translation-en Reading package lists... 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'update'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-yf', 'dist-upgrade'] 0m5.2s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-yf', 'dist-upgrade'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.6s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m5.6s INFO: Running scripts post_setup 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_dummy_users'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_dummy_users'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_experimental'] 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_experimental'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_forbid_home'] 0m7.2s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_forbid_home'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.2s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' `/bin/sync' -> `true' 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_force-unsafe-io'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_minimize'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_minimize'] 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_squeeze-backports'] 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m8.7s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 335 kB of archives. After this operation, 1327 kB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:2 http://mirror.bm.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 335 kB in 0s (13.4 MB/s) Selecting previously unselected package adduser. (Reading database ... 6639 files and directories currently installed.) Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up adduser (3.113+nmu3) ... Setting up ucf (3.0025+nmu3) ... 0m8.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m8.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_zz_backports'] 0m8.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_setup_zz_backports'] 0m8.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.7s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m8.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m8.7s DEBUG: Loading chroot meta data from reference-chroot-metadata.dat 0m9.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m10.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m10.9s INFO: Running scripts is_testable 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/is_testable_uninstallable'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/is_testable_uninstallable'] 0m11.0s INFO: Running scripts pre_test 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_test_exceptions'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_test_exceptions'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_test_root_password'] 0m11.0s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_test_root_password'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'show', '--no-all-versions', 'libaac-tactics-coq'] 0m11.0s DUMP: Package: libaac-tactics-coq Source: aac-tactics Version: 0.2.pl2-7 Installed-Size: 2445 Maintainer: Debian OCaml Maintainers Architecture: all Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 0.2.pl2-7), coq-8.3pl4+3.12.1 Description-en: Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library. Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Tag: role::shared-lib Section: math Priority: optional Filename: pool/main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb Size: 320756 MD5sum: 6f21314fa0b532ff876ee735bfac8827 SHA1: ab3587301015e7df69abecbda02eedafda232bec SHA256: a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'show', '--no-all-versions', 'libaac-tactics-coq'] 0m11.0s INFO: apt-cache knows about the following packages: libaac-tactics-coq 0m11.0s INFO: Running scripts pre_install 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m11.2s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror.bm.debian.org/debian/ wheezy/main Translation-en 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m11.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m11.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m11.2s DUMP: libaac-tactics-coq: Installed: (none) Candidate: 0.2.pl2-7 Version table: 0.2.pl2-7 0 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages 0m11.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m11.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq'] 0m30.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaac-tactics-ocaml libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core Suggested packages: aspell-doc spellutils ocaml-nox proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc ispell jed-extra cups-common libenchant-voikko rng-tools krb5-doc krb5-user librsvg2-common gvfs libjasper-runtime ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp Recommended packages: dbus enchant libglib2.0-data hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary krb5-locales libgpm2 xml-core The following NEW packages will be installed: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaac-tactics-coq libaac-tactics-ocaml libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core 0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 85.6 MB of archives. After this operation, 302 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ wheezy/main libgdbm3 amd64 1.8.3-11 [46.9 kB] Get:2 http://mirror.bm.debian.org/debian/ wheezy/main libncursesw5 amd64 5.9-10 [141 kB] Get:3 http://mirror.bm.debian.org/debian/ wheezy/main libgpg-error0 amd64 1.10-3.1 [77.9 kB] Get:4 http://mirror.bm.debian.org/debian/ wheezy/main libgcrypt11 amd64 1.5.0-5+deb7u4 [301 kB] Get:5 http://mirror.bm.debian.org/debian/ wheezy/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:6 http://mirror.bm.debian.org/debian/ wheezy/main libtasn1-3 amd64 2.13-2+deb7u2 [67.8 kB] Get:7 http://mirror.bm.debian.org/debian/ wheezy/main libgnutls26 amd64 2.12.20-8+deb7u5 [620 kB] Get:8 http://mirror.bm.debian.org/debian/ wheezy/main libkeyutils1 amd64 1.5.5-3+deb7u1 [8664 B] Get:9 http://mirror.bm.debian.org/debian/ wheezy/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u7 [50.5 kB] Get:10 http://mirror.bm.debian.org/debian/ wheezy/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u7 [113 kB] Get:11 http://mirror.bm.debian.org/debian/ wheezy/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u7 [394 kB] Get:12 http://mirror.bm.debian.org/debian/ wheezy/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u7 [150 kB] Get:13 http://mirror.bm.debian.org/debian/ wheezy/main libpcre3 amd64 1:8.30-5 [242 kB] Get:14 http://mirror.bm.debian.org/debian/ wheezy/main libxml2 amd64 2.8.0+dfsg1-7+wheezy5 [906 kB] Get:15 http://mirror.bm.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:16 http://mirror.bm.debian.org/debian/ wheezy/main libglib2.0-0 amd64 2.33.12+really2.32.4-5 [1838 kB] Get:17 http://mirror.bm.debian.org/debian/ wheezy/main libatk1.0-data all 2.4.0-2 [240 kB] Get:18 http://mirror.bm.debian.org/debian/ wheezy/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:19 http://mirror.bm.debian.org/debian/ wheezy/main libavahi-common-data amd64 0.6.31-2 [135 kB] Get:20 http://mirror.bm.debian.org/debian/ wheezy/main libavahi-common3 amd64 0.6.31-2 [54.6 kB] Get:21 http://mirror.bm.debian.org/debian/ wheezy/main libdbus-1-3 amd64 1.6.8-1+deb7u6 [174 kB] Get:22 http://mirror.bm.debian.org/debian/ wheezy/main libavahi-client3 amd64 0.6.31-2 [59.5 kB] Get:23 http://mirror.bm.debian.org/debian/ wheezy/main libexpat1 amd64 2.1.0-1+deb7u2 [139 kB] Get:24 http://mirror.bm.debian.org/debian/ wheezy/main libfreetype6 amd64 2.4.9-1.1+deb7u3 [452 kB] Get:25 http://mirror.bm.debian.org/debian/ wheezy/main ttf-dejavu-core all 2.33-3 [1021 kB] Get:26 http://mirror.bm.debian.org/debian/ wheezy/main fontconfig-config all 2.9.0-7.1 [233 kB] Get:27 http://mirror.bm.debian.org/debian/ wheezy/main libfontconfig1 amd64 2.9.0-7.1 [300 kB] Get:28 http://mirror.bm.debian.org/debian/ wheezy/main libpixman-1-0 amd64 0.26.0-4+deb7u2 [427 kB] Get:29 http://mirror.bm.debian.org/debian/ wheezy/main libpng12-0 amd64 1.2.49-1+deb7u2 [191 kB] Get:30 http://mirror.bm.debian.org/debian/ wheezy/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:31 http://mirror.bm.debian.org/debian/ wheezy/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:32 http://mirror.bm.debian.org/debian/ wheezy/main libxcb1 amd64 1.8.1-2+deb7u1 [50.2 kB] Get:33 http://mirror.bm.debian.org/debian/ wheezy/main libx11-data all 2:1.5.0-1+deb7u2 [194 kB] Get:34 http://mirror.bm.debian.org/debian/ wheezy/main libx11-6 amd64 2:1.5.0-1+deb7u2 [901 kB] Get:35 http://mirror.bm.debian.org/debian/ wheezy/main libxcb-render0 amd64 1.8.1-2+deb7u1 [18.6 kB] Get:36 http://mirror.bm.debian.org/debian/ wheezy/main libxcb-shm0 amd64 1.8.1-2+deb7u1 [10.4 kB] Get:37 http://mirror.bm.debian.org/debian/ wheezy/main libxrender1 amd64 1:0.9.7-1+deb7u2 [32.9 kB] Get:38 http://mirror.bm.debian.org/debian/ wheezy/main libcairo2 amd64 1.12.2-3 [912 kB] Get:39 http://mirror.bm.debian.org/debian/ wheezy/main libcups2 amd64 1.5.3-5+deb7u6 [256 kB] Get:40 http://mirror.bm.debian.org/debian/ wheezy/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:41 http://mirror.bm.debian.org/debian/ wheezy/main libjpeg8 amd64 8d-1+deb7u1 [138 kB] Get:42 http://mirror.bm.debian.org/debian/ wheezy/main libjasper1 amd64 1.900.1-13+deb7u4 [160 kB] Get:43 http://mirror.bm.debian.org/debian/ wheezy/main libjbig0 amd64 2.0-2+deb7u1 [32.6 kB] Get:44 http://mirror.bm.debian.org/debian/ wheezy/main libtiff4 amd64 3.9.6-11 [202 kB] Get:45 http://mirror.bm.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u3 [287 kB] Get:46 http://mirror.bm.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u3 [160 kB] Get:47 http://mirror.bm.debian.org/debian/ wheezy/main libgtk2.0-common all 2.24.10-2 [3081 kB] Get:48 http://mirror.bm.debian.org/debian/ wheezy/main libthai-data all 0.1.18-2 [154 kB] Get:49 http://mirror.bm.debian.org/debian/ wheezy/main libthai0 amd64 0.1.18-2 [42.3 kB] Get:50 http://mirror.bm.debian.org/debian/ wheezy/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:51 http://mirror.bm.debian.org/debian/ wheezy/main fontconfig amd64 2.9.0-7.1 [348 kB] Get:52 http://mirror.bm.debian.org/debian/ wheezy/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:53 http://mirror.bm.debian.org/debian/ wheezy/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:54 http://mirror.bm.debian.org/debian/ wheezy/main libxfixes3 amd64 1:5.0-4+deb7u1 [21.3 kB] Get:55 http://mirror.bm.debian.org/debian/ wheezy/main libxcursor1 amd64 1:1.1.13-1+deb7u1 [27.1 kB] Get:56 http://mirror.bm.debian.org/debian/ wheezy/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:57 http://mirror.bm.debian.org/debian/ wheezy/main libxext6 amd64 2:1.3.1-2+deb7u1 [54.8 kB] Get:58 http://mirror.bm.debian.org/debian/ wheezy/main libxi6 amd64 2:1.6.1-1+deb7u1 [75.7 kB] Get:59 http://mirror.bm.debian.org/debian/ wheezy/main libxinerama1 amd64 2:1.1.2-1+deb7u1 [16.9 kB] Get:60 http://mirror.bm.debian.org/debian/ wheezy/main libxrandr2 amd64 2:1.3.2-2+deb7u1 [33.0 kB] Get:61 http://mirror.bm.debian.org/debian/ wheezy/main shared-mime-info amd64 1.0-1+b1 [595 kB] Get:62 http://mirror.bm.debian.org/debian/ wheezy/main libgtk2.0-0 amd64 2.24.10-2 [2200 kB] Get:63 http://mirror.bm.debian.org/debian/ wheezy/main libhunspell-1.3-0 amd64 1.3.2-4 [174 kB] Get:64 http://mirror.bm.debian.org/debian/ wheezy/main libaspell15 amd64 0.60.7~20110707-1 [707 kB] Get:65 http://mirror.bm.debian.org/debian/ wheezy/main dictionaries-common all 1.12.11 [302 kB] Get:66 http://mirror.bm.debian.org/debian/ wheezy/main aspell amd64 0.60.7~20110707-1 [362 kB] Get:67 http://mirror.bm.debian.org/debian/ wheezy/main aspell-en all 7.1-0-1 [268 kB] Get:68 http://mirror.bm.debian.org/debian/ wheezy/main coq-theories all 8.3.pl4+dfsg-2 [54.4 MB] Get:69 http://mirror.bm.debian.org/debian/ wheezy/main emacsen-common all 2.0.5 [20.9 kB] Get:70 http://mirror.bm.debian.org/debian/ wheezy/main ocaml-base-nox amd64 3.12.1-4 [663 kB] Get:71 http://mirror.bm.debian.org/debian/ wheezy/main libglade2-0 amd64 1:2.6.4-1 [89.0 kB] Get:72 http://mirror.bm.debian.org/debian/ wheezy/main libenchant1c2a amd64 1.6.0-7 [85.4 kB] Get:73 http://mirror.bm.debian.org/debian/ wheezy/main libgtkspell0 amd64 2.0.16-1 [28.9 kB] Get:74 http://mirror.bm.debian.org/debian/ wheezy/main liblablgtk2-ocaml amd64 2.14.2+dfsg-3 [1026 kB] Get:75 http://mirror.bm.debian.org/debian/ wheezy/main libcoq-ocaml amd64 8.3.pl4+dfsg-2 [2101 kB] Get:76 http://mirror.bm.debian.org/debian/ wheezy/main coq amd64 8.3.pl4+dfsg-2 [5687 kB] Get:77 http://mirror.bm.debian.org/debian/ wheezy/main libaac-tactics-ocaml amd64 0.2.pl2-7 [145 kB] Get:78 http://mirror.bm.debian.org/debian/ wheezy/main libaac-tactics-coq all 0.2.pl2-7 [321 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 85.6 MB in 3s (26.6 MB/s) Selecting previously unselected package libgdbm3:amd64. (Reading database ... 6768 files and directories currently installed.) Unpacking libgdbm3:amd64 (from .../libgdbm3_1.8.3-11_amd64.deb) ... Selecting previously unselected package libncursesw5:amd64. Unpacking libncursesw5:amd64 (from .../libncursesw5_5.9-10_amd64.deb) ... Selecting previously unselected package libgpg-error0:amd64. Unpacking libgpg-error0:amd64 (from .../libgpg-error0_1.10-3.1_amd64.deb) ... Selecting previously unselected package libgcrypt11:amd64. Unpacking libgcrypt11:amd64 (from .../libgcrypt11_1.5.0-5+deb7u4_amd64.deb) ... Selecting previously unselected package libp11-kit0:amd64. Unpacking libp11-kit0:amd64 (from .../libp11-kit0_0.12-3_amd64.deb) ... Selecting previously unselected package libtasn1-3:amd64. Unpacking libtasn1-3:amd64 (from .../libtasn1-3_2.13-2+deb7u2_amd64.deb) ... Selecting previously unselected package libgnutls26:amd64. Unpacking libgnutls26:amd64 (from .../libgnutls26_2.12.20-8+deb7u5_amd64.deb) ... Selecting previously unselected package libkeyutils1:amd64. Unpacking libkeyutils1:amd64 (from .../libkeyutils1_1.5.5-3+deb7u1_amd64.deb) ... Selecting previously unselected package libkrb5support0:amd64. Unpacking libkrb5support0:amd64 (from .../libkrb5support0_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libk5crypto3:amd64. Unpacking libk5crypto3:amd64 (from .../libk5crypto3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libkrb5-3:amd64. Unpacking libkrb5-3:amd64 (from .../libkrb5-3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Unpacking libgssapi-krb5-2:amd64 (from .../libgssapi-krb5-2_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.30-5_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.8.0+dfsg1-7+wheezy5_amd64.deb) ... Selecting previously unselected package libffi5:amd64. Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.33.12+really2.32.4-5_amd64.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:amd64. Unpacking libatk1.0-0:amd64 (from .../libatk1.0-0_2.4.0-2_amd64.deb) ... Selecting previously unselected package libavahi-common-data:amd64. Unpacking libavahi-common-data:amd64 (from .../libavahi-common-data_0.6.31-2_amd64.deb) ... Selecting previously unselected package libavahi-common3:amd64. Unpacking libavahi-common3:amd64 (from .../libavahi-common3_0.6.31-2_amd64.deb) ... Selecting previously unselected package libdbus-1-3:amd64. Unpacking libdbus-1-3:amd64 (from .../libdbus-1-3_1.6.8-1+deb7u6_amd64.deb) ... Selecting previously unselected package libavahi-client3:amd64. Unpacking libavahi-client3:amd64 (from .../libavahi-client3_0.6.31-2_amd64.deb) ... Selecting previously unselected package libexpat1:amd64. Unpacking libexpat1:amd64 (from .../libexpat1_2.1.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.9-1.1+deb7u3_amd64.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-3_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-7.1_all.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpixman-1-0:amd64. Unpacking libpixman-1-0:amd64 (from .../libpixman-1-0_0.26.0-4+deb7u2_amd64.deb) ... Selecting previously unselected package libpng12-0:amd64. Unpacking libpng12-0:amd64 (from .../libpng12-0_1.2.49-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxau6:amd64. Unpacking libxau6:amd64 (from .../libxau6_1%3a1.0.7-1_amd64.deb) ... Selecting previously unselected package libxdmcp6:amd64. Unpacking libxdmcp6:amd64 (from .../libxdmcp6_1%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxcb1:amd64. Unpacking libxcb1:amd64 (from .../libxcb1_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1+deb7u2_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxcb-render0:amd64. Unpacking libxcb-render0:amd64 (from .../libxcb-render0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxcb-shm0:amd64. Unpacking libxcb-shm0:amd64 (from .../libxcb-shm0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxrender1:amd64. Unpacking libxrender1:amd64 (from .../libxrender1_1%3a0.9.7-1+deb7u2_amd64.deb) ... Selecting previously unselected package libcairo2:amd64. Unpacking libcairo2:amd64 (from .../libcairo2_1.12.2-3_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.5.3-5+deb7u6_amd64.deb) ... Selecting previously unselected package libdatrie1:amd64. Unpacking libdatrie1:amd64 (from .../libdatrie1_0.2.5-3_amd64.deb) ... Selecting previously unselected package libjpeg8:amd64. Unpacking libjpeg8:amd64 (from .../libjpeg8_8d-1+deb7u1_amd64.deb) ... Selecting previously unselected package libjasper1:amd64. Unpacking libjasper1:amd64 (from .../libjasper1_1.900.1-13+deb7u4_amd64.deb) ... Selecting previously unselected package libjbig0:amd64. Unpacking libjbig0:amd64 (from .../libjbig0_2.0-2+deb7u1_amd64.deb) ... Selecting previously unselected package libtiff4:amd64. Unpacking libtiff4:amd64 (from .../libtiff4_3.9.6-11_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1+deb7u3_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Unpacking libgdk-pixbuf2.0-0:amd64 (from .../libgdk-pixbuf2.0-0_2.26.1-1+deb7u3_amd64.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-2_all.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.18-2_all.deb) ... Selecting previously unselected package libthai0:amd64. Unpacking libthai0:amd64 (from .../libthai0_0.1.18-2_amd64.deb) ... Selecting previously unselected package libxft2:amd64. Unpacking libxft2:amd64 (from .../libxft2_2.3.1-1_amd64.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpango1.0-0:amd64. Unpacking libpango1.0-0:amd64 (from .../libpango1.0-0_1.30.0-1_amd64.deb) ... Selecting previously unselected package libxcomposite1:amd64. Unpacking libxcomposite1:amd64 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ... Selecting previously unselected package libxfixes3:amd64. Unpacking libxfixes3:amd64 (from .../libxfixes3_1%3a5.0-4+deb7u1_amd64.deb) ... Selecting previously unselected package libxcursor1:amd64. Unpacking libxcursor1:amd64 (from .../libxcursor1_1%3a1.1.13-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxdamage1:amd64. Unpacking libxdamage1:amd64 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ... Selecting previously unselected package libxext6:amd64. Unpacking libxext6:amd64 (from .../libxext6_2%3a1.3.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxi6:amd64. Unpacking libxi6:amd64 (from .../libxi6_2%3a1.6.1-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxinerama1:amd64. Unpacking libxinerama1:amd64 (from .../libxinerama1_2%3a1.1.2-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxrandr2:amd64. Unpacking libxrandr2:amd64 (from .../libxrandr2_2%3a1.3.2-2+deb7u1_amd64.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-1+b1_amd64.deb) ... Selecting previously unselected package libgtk2.0-0:amd64. Unpacking libgtk2.0-0:amd64 (from .../libgtk2.0-0_2.24.10-2_amd64.deb) ... Selecting previously unselected package libhunspell-1.3-0:amd64. Unpacking libhunspell-1.3-0:amd64 (from .../libhunspell-1.3-0_1.3.2-4_amd64.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.11_all.deb) ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Selecting previously unselected package aspell. Unpacking aspell (from .../aspell_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ... Selecting previously unselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.3.pl4+dfsg-2_all.deb) ... Selecting previously unselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_2.0.5_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4_amd64.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_amd64.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_amd64.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_amd64.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_amd64.deb) ... Selecting previously unselected package libcoq-ocaml. Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb) ... Selecting previously unselected package coq. Unpacking coq (from .../coq_8.3.pl4+dfsg-2_amd64.deb) ... Selecting previously unselected package libaac-tactics-ocaml. Unpacking libaac-tactics-ocaml (from .../libaac-tactics-ocaml_0.2.pl2-7_amd64.deb) ... Selecting previously unselected package libaac-tactics-coq. Unpacking libaac-tactics-coq (from .../libaac-tactics-coq_0.2.pl2-7_all.deb) ... Setting up libgdbm3:amd64 (1.8.3-11) ... Setting up libncursesw5:amd64 (5.9-10) ... Setting up libgpg-error0:amd64 (1.10-3.1) ... Setting up libgcrypt11:amd64 (1.5.0-5+deb7u4) ... Setting up libp11-kit0:amd64 (0.12-3) ... Setting up libtasn1-3:amd64 (2.13-2+deb7u2) ... Setting up libgnutls26:amd64 (2.12.20-8+deb7u5) ... Setting up libkeyutils1:amd64 (1.5.5-3+deb7u1) ... Setting up libkrb5support0:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libpcre3:amd64 (1:8.30-5) ... Setting up libxml2:amd64 (2.8.0+dfsg1-7+wheezy5) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up libglib2.0-0:amd64 (2.33.12+really2.32.4-5) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0:amd64 (2.4.0-2) ... Setting up libavahi-common-data:amd64 (0.6.31-2) ... Setting up libavahi-common3:amd64 (0.6.31-2) ... Setting up libdbus-1-3:amd64 (1.6.8-1+deb7u6) ... Setting up libavahi-client3:amd64 (0.6.31-2) ... Setting up libexpat1:amd64 (2.1.0-1+deb7u2) ... Setting up libfreetype6:amd64 (2.4.9-1.1+deb7u3) ... Setting up ttf-dejavu-core (2.33-3) ... Setting up fontconfig-config (2.9.0-7.1) ... Setting up libfontconfig1:amd64 (2.9.0-7.1) ... Setting up libpixman-1-0:amd64 (0.26.0-4+deb7u2) ... Setting up libpng12-0:amd64 (1.2.49-1+deb7u2) ... Setting up libxau6:amd64 (1:1.0.7-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.8.1-2+deb7u1) ... Setting up libx11-data (2:1.5.0-1+deb7u2) ... Setting up libx11-6:amd64 (2:1.5.0-1+deb7u2) ... Setting up libxcb-render0:amd64 (1.8.1-2+deb7u1) ... Setting up libxcb-shm0:amd64 (1.8.1-2+deb7u1) ... Setting up libxrender1:amd64 (1:0.9.7-1+deb7u2) ... Setting up libcairo2:amd64 (1.12.2-3) ... Setting up libcups2:amd64 (1.5.3-5+deb7u6) ... Setting up libdatrie1:amd64 (0.2.5-3) ... Setting up libjpeg8:amd64 (8d-1+deb7u1) ... Setting up libjasper1:amd64 (1.900.1-13+deb7u4) ... Setting up libjbig0:amd64 (2.0-2+deb7u1) ... Setting up libtiff4:amd64 (3.9.6-11) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1+deb7u3) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1+deb7u3) ... Setting up libgtk2.0-common (2.24.10-2) ... Setting up libthai-data (0.1.18-2) ... Setting up libthai0:amd64 (0.1.18-2) ... Setting up libxft2:amd64 (2.3.1-1) ... Setting up fontconfig (2.9.0-7.1) ... Regenerating fonts cache... done. Setting up libpango1.0-0:amd64 (1.30.0-1) ... Setting up libxcomposite1:amd64 (1:0.4.3-2) ... Setting up libxfixes3:amd64 (1:5.0-4+deb7u1) ... Setting up libxcursor1:amd64 (1:1.1.13-1+deb7u1) ... Setting up libxdamage1:amd64 (1:1.1.3-2) ... Setting up libxext6:amd64 (2:1.3.1-2+deb7u1) ... Setting up libxi6:amd64 (2:1.6.1-1+deb7u1) ... Setting up libxinerama1:amd64 (2:1.1.2-1+deb7u1) ... Setting up libxrandr2:amd64 (2:1.3.2-2+deb7u1) ... Setting up shared-mime-info (1.0-1+b1) ... Setting up libgtk2.0-0:amd64 (2.24.10-2) ... Setting up libhunspell-1.3-0:amd64 (1.3.2-4) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.11) ... Install dictionaries-common for emacs Setting up emacsen-common (2.0.5) ... Setting up ocaml-base-nox (3.12.1-4) ... Setting up libglade2-0 (1:2.6.4-1) ... Processing triggers for dictionaries-common ... aspell-autobuildhash: processing: en [en-common] aspell-autobuildhash: processing: en [en-variant_0] aspell-autobuildhash: processing: en [en-variant_1] aspell-autobuildhash: processing: en [en-variant_2] aspell-autobuildhash: processing: en [en-w_accents-only] aspell-autobuildhash: processing: en [en-wo_accents-only] aspell-autobuildhash: processing: en [en_CA-variant_0] aspell-autobuildhash: processing: en [en_CA-variant_1] aspell-autobuildhash: processing: en [en_CA-w_accents-only] aspell-autobuildhash: processing: en [en_CA-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-variant_0] aspell-autobuildhash: processing: en [en_GB-variant_1] aspell-autobuildhash: processing: en [en_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-1) ... Processing triggers for dictionaries-common ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common ... Setting up libenchant1c2a (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ... Setting up libcoq-ocaml (8.3.pl4+dfsg-2) ... Setting up libaac-tactics-ocaml (0.2.pl2-7) ... Setting up coq-theories (8.3.pl4+dfsg-2) ... Setting up coq (8.3.pl4+dfsg-2) ... Install coq for emacs Setting up libaac-tactics-coq (0.2.pl2-7) ... 0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq'] 0m30.3s INFO: Running scripts post_install 0m30.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m30.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m30.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m32.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m32.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpnCn1PB to wheezy-lts 0m32.1s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ wheezy main deb http://security.debian.org wheezy/updates main 0m32.1s INFO: Running scripts pre_distupgrade 0m32.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m32.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m32.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_exceptions'] 0m32.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_exceptions'] 0m32.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m32.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m32.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_wheezy'] 0m32.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_wheezy'] 0m32.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m32.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m32.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m32.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m32.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'update'] 0m35.5s DUMP: Hit http://mirror.bm.debian.org wheezy Release.gpg Hit http://mirror.bm.debian.org wheezy Release Get:1 http://security.debian.org wheezy/updates Release.gpg [1601 B] Hit http://mirror.bm.debian.org wheezy/main amd64 Packages Hit http://mirror.bm.debian.org wheezy/main Translation-en Get:2 http://security.debian.org wheezy/updates Release [52.3 kB] Get:3 http://security.debian.org wheezy/updates/main amd64 Packages [589 kB] Get:4 http://security.debian.org wheezy/updates/main Translation-en [338 kB] Fetched 981 kB in 1s (624 kB/s) Reading package lists... 0m35.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'update'] 0m35.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-yf', 'dist-upgrade'] 0m46.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: bash fontconfig fontconfig-config gnupg gpgv libc-bin libc6 libcairo2 libcups2 libdb5.1 libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgssapi-krb5-2 libjasper1 libk5crypto3 libkrb5-3 libkrb5support0 libtasn1-3 libtiff4 libx11-6 libx11-data libxcursor1 libxfixes3 libxi6 libxml2 libxrandr2 libxrender1 login multiarch-support ocaml-base-nox passwd perl-base sensible-utils tar tzdata 40 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 22.7 MB of archives. After this operation, 919 kB of additional disk space will be used. Get:1 http://security.debian.org/ wheezy/updates/main bash amd64 4.2+dfsg-0.1+deb7u4 [1499 kB] Get:2 http://security.debian.org/ wheezy/updates/main login amd64 1:4.1.5.1-1+deb7u1 [984 kB] Get:3 http://security.debian.org/ wheezy/updates/main perl-base amd64 5.14.2-21+deb7u6 [1534 kB] Get:4 http://security.debian.org/ wheezy/updates/main tar amd64 1.26+dfsg-0.1+deb7u1 [984 kB] Get:5 http://security.debian.org/ wheezy/updates/main libc-bin amd64 2.13-38+deb7u12 [1275 kB] Get:6 http://security.debian.org/ wheezy/updates/main libc6 amd64 2.13-38+deb7u12 [4226 kB] Get:7 http://security.debian.org/ wheezy/updates/main libdb5.1 amd64 5.1.29-5+deb7u1 [723 kB] Get:8 http://security.debian.org/ wheezy/updates/main libgcrypt11 amd64 1.5.0-5+deb7u6 [301 kB] Get:9 http://security.debian.org/ wheezy/updates/main libtasn1-3 amd64 2.13-2+deb7u5 [68.9 kB] Get:10 http://security.debian.org/ wheezy/updates/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u9 [114 kB] Get:11 http://security.debian.org/ wheezy/updates/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u9 [150 kB] Get:12 http://security.debian.org/ wheezy/updates/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u9 [394 kB] Get:13 http://security.debian.org/ wheezy/updates/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u9 [50.7 kB] Get:14 http://security.debian.org/ wheezy/updates/main libexpat1 amd64 2.1.0-1+deb7u5 [139 kB] Get:15 http://security.debian.org/ wheezy/updates/main libfreetype6 amd64 2.4.9-1.1+deb7u7 [454 kB] Get:16 http://security.debian.org/ wheezy/updates/main libfontconfig1 amd64 2.9.0-7.1+deb7u1 [300 kB] Get:17 http://security.debian.org/ wheezy/updates/main fontconfig-config all 2.9.0-7.1+deb7u1 [233 kB] Get:18 http://security.debian.org/ wheezy/updates/main libx11-data all 2:1.5.0-1+deb7u4 [189 kB] Get:19 http://security.debian.org/ wheezy/updates/main libx11-6 amd64 2:1.5.0-1+deb7u4 [902 kB] Get:20 http://security.debian.org/ wheezy/updates/main libxrender1 amd64 1:0.9.7-1+deb7u3 [33.5 kB] Get:21 http://security.debian.org/ wheezy/updates/main libcairo2 amd64 1.12.2-3+deb7u1 [912 kB] Get:22 http://security.debian.org/ wheezy/updates/main libcups2 amd64 1.5.3-5+deb7u8 [256 kB] Get:23 http://security.debian.org/ wheezy/updates/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u8 [161 kB] Get:24 http://security.debian.org/ wheezy/updates/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u8 [288 kB] Get:25 http://security.debian.org/ wheezy/updates/main libjasper1 amd64 1.900.1-13+deb7u6 [161 kB] Get:26 http://security.debian.org/ wheezy/updates/main libtiff4 amd64 3.9.6-11+deb7u11 [207 kB] Get:27 http://security.debian.org/ wheezy/updates/main libxfixes3 amd64 1:5.0-4+deb7u2 [21.6 kB] Get:28 http://security.debian.org/ wheezy/updates/main libxcursor1 amd64 1:1.1.13-1+deb7u2 [27.1 kB] Get:29 http://security.debian.org/ wheezy/updates/main libxi6 amd64 2:1.6.1-1+deb7u3 [76.4 kB] Get:30 http://security.debian.org/ wheezy/updates/main libxml2 amd64 2.8.0+dfsg1-7+wheezy12 [907 kB] Get:31 http://security.debian.org/ wheezy/updates/main libxrandr2 amd64 2:1.3.2-2+deb7u2 [33.9 kB] Get:32 http://security.debian.org/ wheezy/updates/main libffi5 amd64 3.0.10-3+deb7u2 [25.5 kB] Get:33 http://security.debian.org/ wheezy/updates/main gpgv amd64 1.4.12-7+deb7u9 [229 kB] Get:34 http://security.debian.org/ wheezy/updates/main gnupg amd64 1.4.12-7+deb7u9 [1954 kB] Get:35 http://security.debian.org/ wheezy/updates/main passwd amd64 1:4.1.5.1-1+deb7u1 [1262 kB] Get:36 http://security.debian.org/ wheezy/updates/main sensible-utils all 0.0.7+deb7u1 [9000 B] Get:37 http://security.debian.org/ wheezy/updates/main tzdata all 2018e-0+deb7u1 [496 kB] Get:38 http://security.debian.org/ wheezy/updates/main multiarch-support amd64 2.13-38+deb7u12 [152 kB] Get:39 http://security.debian.org/ wheezy/updates/main fontconfig amd64 2.9.0-7.1+deb7u1 [348 kB] Get:40 http://security.debian.org/ wheezy/updates/main ocaml-base-nox amd64 3.12.1-4+deb7u1 [650 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 22.7 MB in 2s (11.2 MB/s) (Reading database ... 10456 files and directories currently installed.) Preparing to replace bash 4.2+dfsg-0.1+deb7u3 (using .../bash_4.2+dfsg-0.1+deb7u4_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.2+dfsg-0.1+deb7u4) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 10456 files and directories currently installed.) Preparing to replace login 1:4.1.5.1-1 (using .../login_1%3a4.1.5.1-1+deb7u1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.5.1-1+deb7u1) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace perl-base 5.14.2-21+deb7u3 (using .../perl-base_5.14.2-21+deb7u6_amd64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-21+deb7u6) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace tar 1.26+dfsg-0.1 (using .../tar_1.26+dfsg-0.1+deb7u1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.26+dfsg-0.1+deb7u1) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace libc-bin 2.13-38+deb7u10 (using .../libc-bin_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-38+deb7u12) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace libc6:amd64 2.13-38+deb7u10 (using .../libc6_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement libc6:amd64 ... Setting up libc6:amd64 (2.13-38+deb7u12) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace libdb5.1:amd64 5.1.29-5 (using .../libdb5.1_5.1.29-5+deb7u1_amd64.deb) ... Unpacking replacement libdb5.1:amd64 ... Setting up libdb5.1:amd64 (5.1.29-5+deb7u1) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace libgcrypt11:amd64 1.5.0-5+deb7u4 (using .../libgcrypt11_1.5.0-5+deb7u6_amd64.deb) ... Unpacking replacement libgcrypt11:amd64 ... Preparing to replace libtasn1-3:amd64 2.13-2+deb7u2 (using .../libtasn1-3_2.13-2+deb7u5_amd64.deb) ... Unpacking replacement libtasn1-3:amd64 ... Preparing to replace libk5crypto3:amd64 1.10.1+dfsg-5+deb7u7 (using .../libk5crypto3_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Unpacking replacement libk5crypto3:amd64 ... Preparing to replace libgssapi-krb5-2:amd64 1.10.1+dfsg-5+deb7u7 (using .../libgssapi-krb5-2_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Unpacking replacement libgssapi-krb5-2:amd64 ... Preparing to replace libkrb5-3:amd64 1.10.1+dfsg-5+deb7u7 (using .../libkrb5-3_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Unpacking replacement libkrb5-3:amd64 ... Preparing to replace libkrb5support0:amd64 1.10.1+dfsg-5+deb7u7 (using .../libkrb5support0_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Unpacking replacement libkrb5support0:amd64 ... Preparing to replace libexpat1:amd64 2.1.0-1+deb7u2 (using .../libexpat1_2.1.0-1+deb7u5_amd64.deb) ... Unpacking replacement libexpat1:amd64 ... Preparing to replace libfreetype6:amd64 2.4.9-1.1+deb7u3 (using .../libfreetype6_2.4.9-1.1+deb7u7_amd64.deb) ... Unpacking replacement libfreetype6:amd64 ... Preparing to replace libfontconfig1:amd64 2.9.0-7.1 (using .../libfontconfig1_2.9.0-7.1+deb7u1_amd64.deb) ... Unpacking replacement libfontconfig1:amd64 ... Preparing to replace fontconfig-config 2.9.0-7.1 (using .../fontconfig-config_2.9.0-7.1+deb7u1_all.deb) ... Unpacking replacement fontconfig-config ... Preparing to replace libx11-data 2:1.5.0-1+deb7u2 (using .../libx11-data_2%3a1.5.0-1+deb7u4_all.deb) ... Unpacking replacement libx11-data ... Preparing to replace libx11-6:amd64 2:1.5.0-1+deb7u2 (using .../libx11-6_2%3a1.5.0-1+deb7u4_amd64.deb) ... Unpacking replacement libx11-6:amd64 ... Preparing to replace libxrender1:amd64 1:0.9.7-1+deb7u2 (using .../libxrender1_1%3a0.9.7-1+deb7u3_amd64.deb) ... Unpacking replacement libxrender1:amd64 ... Preparing to replace libcairo2:amd64 1.12.2-3 (using .../libcairo2_1.12.2-3+deb7u1_amd64.deb) ... Unpacking replacement libcairo2:amd64 ... Preparing to replace libcups2:amd64 1.5.3-5+deb7u6 (using .../libcups2_1.5.3-5+deb7u8_amd64.deb) ... Unpacking replacement libcups2:amd64 ... Preparing to replace libgdk-pixbuf2.0-0:amd64 2.26.1-1+deb7u3 (using .../libgdk-pixbuf2.0-0_2.26.1-1+deb7u8_amd64.deb) ... Unpacking replacement libgdk-pixbuf2.0-0:amd64 ... Preparing to replace libgdk-pixbuf2.0-common 2.26.1-1+deb7u3 (using .../libgdk-pixbuf2.0-common_2.26.1-1+deb7u8_all.deb) ... Unpacking replacement libgdk-pixbuf2.0-common ... Preparing to replace libjasper1:amd64 1.900.1-13+deb7u4 (using .../libjasper1_1.900.1-13+deb7u6_amd64.deb) ... Unpacking replacement libjasper1:amd64 ... Preparing to replace libtiff4:amd64 3.9.6-11 (using .../libtiff4_3.9.6-11+deb7u11_amd64.deb) ... Unpacking replacement libtiff4:amd64 ... Preparing to replace libxfixes3:amd64 1:5.0-4+deb7u1 (using .../libxfixes3_1%3a5.0-4+deb7u2_amd64.deb) ... Unpacking replacement libxfixes3:amd64 ... Preparing to replace libxcursor1:amd64 1:1.1.13-1+deb7u1 (using .../libxcursor1_1%3a1.1.13-1+deb7u2_amd64.deb) ... Unpacking replacement libxcursor1:amd64 ... Preparing to replace libxi6:amd64 2:1.6.1-1+deb7u1 (using .../libxi6_2%3a1.6.1-1+deb7u3_amd64.deb) ... Unpacking replacement libxi6:amd64 ... Preparing to replace libxml2:amd64 2.8.0+dfsg1-7+wheezy5 (using .../libxml2_2.8.0+dfsg1-7+wheezy12_amd64.deb) ... Unpacking replacement libxml2:amd64 ... Preparing to replace libxrandr2:amd64 2:1.3.2-2+deb7u1 (using .../libxrandr2_2%3a1.3.2-2+deb7u2_amd64.deb) ... Unpacking replacement libxrandr2:amd64 ... Preparing to replace libffi5:amd64 3.0.10-3 (using .../libffi5_3.0.10-3+deb7u2_amd64.deb) ... Unpacking replacement libffi5:amd64 ... Preparing to replace gpgv 1.4.12-7+deb7u7 (using .../gpgv_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.12-7+deb7u9) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace gnupg 1.4.12-7+deb7u7 (using .../gnupg_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.12-7+deb7u9) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace passwd 1:4.1.5.1-1 (using .../passwd_1%3a4.1.5.1-1+deb7u1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.5.1-1+deb7u1) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace sensible-utils 0.0.7 (using .../sensible-utils_0.0.7+deb7u1_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.7+deb7u1) ... (Reading database ... 10456 files and directories currently installed.) Preparing to replace tzdata 2016d-0+deb7u1 (using .../tzdata_2018e-0+deb7u1_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2018e-0+deb7u1) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Sep 30 13:47:21 UTC 2018. Universal Time is now: Sun Sep 30 13:47:21 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 10468 files and directories currently installed.) Preparing to replace multiarch-support 2.13-38+deb7u10 (using .../multiarch-support_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-38+deb7u12) ... (Reading database ... 10468 files and directories currently installed.) Preparing to replace fontconfig 2.9.0-7.1 (using .../fontconfig_2.9.0-7.1+deb7u1_amd64.deb) ... Unpacking replacement fontconfig ... Preparing to replace ocaml-base-nox 3.12.1-4 (using .../ocaml-base-nox_3.12.1-4+deb7u1_amd64.deb) ... Unpacking replacement ocaml-base-nox ... Setting up libgcrypt11:amd64 (1.5.0-5+deb7u6) ... Setting up libtasn1-3:amd64 (2.13-2+deb7u5) ... Setting up libkrb5support0:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libexpat1:amd64 (2.1.0-1+deb7u5) ... Setting up libfreetype6:amd64 (2.4.9-1.1+deb7u7) ... Setting up fontconfig-config (2.9.0-7.1+deb7u1) ... Setting up libfontconfig1:amd64 (2.9.0-7.1+deb7u1) ... Setting up libx11-data (2:1.5.0-1+deb7u4) ... Setting up libx11-6:amd64 (2:1.5.0-1+deb7u4) ... Setting up libxrender1:amd64 (1:0.9.7-1+deb7u3) ... Setting up libcairo2:amd64 (1.12.2-3+deb7u1) ... Setting up libcups2:amd64 (1.5.3-5+deb7u8) ... Setting up libjasper1:amd64 (1.900.1-13+deb7u6) ... Setting up libtiff4:amd64 (3.9.6-11+deb7u11) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1+deb7u8) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1+deb7u8) ... Setting up libxfixes3:amd64 (1:5.0-4+deb7u2) ... Setting up libxcursor1:amd64 (1:1.1.13-1+deb7u2) ... Setting up libxi6:amd64 (2:1.6.1-1+deb7u3) ... Setting up libxml2:amd64 (2.8.0+dfsg1-7+wheezy12) ... Setting up libxrandr2:amd64 (2:1.3.2-2+deb7u2) ... Setting up libffi5:amd64 (3.0.10-3+deb7u2) ... Setting up fontconfig (2.9.0-7.1+deb7u1) ... Regenerating fonts cache... done. Setting up ocaml-base-nox (3.12.1-4+deb7u1) ... 0m46.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-yf', 'dist-upgrade'] 0m46.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m47.1s DUMP: fb1ccc436f778eea085ae099e3151787 - 0m47.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m47.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'show', '--no-all-versions', 'libaac-tactics-coq'] 0m47.2s DUMP: Package: libaac-tactics-coq Source: aac-tactics Version: 0.2.pl2-7 Installed-Size: 2445 Maintainer: Debian OCaml Maintainers Architecture: all Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 0.2.pl2-7), coq-8.3pl4+3.12.1 Description-en: Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library. Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Tag: role::shared-lib Section: math Priority: optional Filename: pool/main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb Size: 320756 MD5sum: 6f21314fa0b532ff876ee735bfac8827 SHA1: ab3587301015e7df69abecbda02eedafda232bec SHA256: a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'show', '--no-all-versions', 'libaac-tactics-coq'] 0m47.2s INFO: apt-cache knows about the following packages: libaac-tactics-coq 0m47.2s INFO: Running scripts pre_install 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m47.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m47.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m47.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main Translation-en 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror.bm.debian.org/debian/ wheezy/main Translation-en 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m47.3s DUMP: libaac-tactics-coq: Installed: 0.2.pl2-7 Candidate: 0.2.pl2-7 Version table: *** 0.2.pl2-7 0 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m47.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m47.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq'] 0m47.8s DUMP: Reading package lists... Building dependency tree... Reading state information... libaac-tactics-coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m47.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq'] 0m47.8s INFO: Running scripts post_install 0m47.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m47.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m47.8s INFO: Running scripts post_distupgrade 0m47.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_exceptions'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_exceptions'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_experimental'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_experimental'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_hack_debsums'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_hack_debsums'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_zz_backports'] 0m47.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_distupgrade_zz_backports'] 0m47.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m49.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m49.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m51.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m51.2s INFO: Running scripts pre_install 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_database-server'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_exceptions'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m51.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_extras'] 0m51.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m51.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture'] 0m51.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m51.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m51.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m51.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main Translation-en 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror.bm.debian.org/debian/ wheezy/main Translation-en 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m51.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy'] 0m51.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m51.4s DUMP: libaac-tactics-coq: Installed: 0.2.pl2-7 Candidate: 0.2.pl2-7 Version table: *** 0.2.pl2-7 0 500 http://mirror.bm.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m51.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-cache', 'policy', 'libaac-tactics-coq'] 0m51.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq=0.2.pl2-7'] 0m51.8s DUMP: Reading package lists... Building dependency tree... Reading state information... libaac-tactics-coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m51.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', '-y', 'install', 'libaac-tactics-coq=0.2.pl2-7'] 0m51.8s INFO: Running scripts post_install 0m51.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m51.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_install_exceptions'] 0m51.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m53.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 0m53.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m53.5s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed aspell aspell 0.60.7~20110707-1 install ok installed aspell-en aspell-en 7.1-0-1 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u4 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coq coq 8.3.pl4+dfsg-2 install ok installed coq-theories coq-theories 8.3.pl4+dfsg-2 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed dictionaries-common dictionaries-common 1.12.11 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed emacsen-common emacsen-common 2.0.5 install ok installed findutils findutils 4.4.2-4 install ok installed fontconfig fontconfig 2.9.0-7.1+deb7u1 install ok installed fontconfig-config fontconfig-config 2.9.0-7.1+deb7u1 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u9 install ok installed gpgv gpgv 1.4.12-7+deb7u9 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libaac-tactics-coq libaac-tactics-coq 0.2.pl2-7 install ok installed libaac-tactics-ocaml libaac-tactics-ocaml 0.2.pl2-7 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libaspell15 libaspell15 0.60.7~20110707-1 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.4.0-2 install ok installed libatk1.0-data libatk1.0-data 2.4.0-2 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.31-2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.31-2 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.31-2 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u12 install ok installed libc6:amd64 libc6 2.13-38+deb7u12 install ok installed libcairo2:amd64 libcairo2 1.12.2-3+deb7u1 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libcoq-ocaml libcoq-ocaml 8.3.pl4+dfsg-2 install ok installed libcups2:amd64 libcups2 1.5.3-5+deb7u8 install ok installed libdatrie1:amd64 libdatrie1 0.2.5-3 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5+deb7u1 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.6.8-1+deb7u6 install ok installed libenchant1c2a libenchant1c2a 1.6.0-7 install ok installed libexpat1:amd64 libexpat1 2.1.0-1+deb7u5 install ok installed libffi5:amd64 libffi5 3.0.10-3+deb7u2 install ok installed libfontconfig1:amd64 libfontconfig1 2.9.0-7.1+deb7u1 install ok installed libfreetype6:amd64 libfreetype6 2.4.9-1.1+deb7u7 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libgcrypt11:amd64 libgcrypt11 1.5.0-5+deb7u6 install ok installed libgdbm3:amd64 libgdbm3 1.8.3-11 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.26.1-1+deb7u8 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.26.1-1+deb7u8 install ok installed libglade2-0 libglade2-0 1:2.6.4-1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.33.12+really2.32.4-5 install ok installed libgnutls26:amd64 libgnutls26 2.12.20-8+deb7u5 install ok installed libgpg-error0:amd64 libgpg-error0 1.10-3.1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.10.1+dfsg-5+deb7u9 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.10-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.10-2 install ok installed libgtkspell0 libgtkspell0 2.0.16-1 install ok installed libhunspell-1.3-0:amd64 libhunspell-1.3-0 1.3.2-4 install ok installed libjasper1:amd64 libjasper1 1.900.1-13+deb7u6 install ok installed libjbig0:amd64 libjbig0 2.0-2+deb7u1 install ok installed libjpeg8:amd64 libjpeg8 8d-1+deb7u1 install ok installed libk5crypto3:amd64 libk5crypto3 1.10.1+dfsg-5+deb7u9 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.5-3+deb7u1 install ok installed libkrb5-3:amd64 libkrb5-3 1.10.1+dfsg-5+deb7u9 install ok installed libkrb5support0:amd64 libkrb5support0 1.10.1+dfsg-5+deb7u9 install ok installed liblablgtk2-ocaml liblablgtk2-ocaml 2.14.2+dfsg-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libncursesw5:amd64 libncursesw5 5.9-10 install ok installed libp11-kit0:amd64 libp11-kit0 0.12-3 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libpango1.0-0:amd64 libpango1.0-0 1.30.0-1 install ok installed libpcre3:amd64 libpcre3 1:8.30-5 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.26.0-4+deb7u2 install ok installed libpng12-0:amd64 libpng12-0 1.2.49-1+deb7u2 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtasn1-3:amd64 libtasn1-3 2.13-2+deb7u5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libthai-data libthai-data 0.1.18-2 install ok installed libthai0:amd64 libthai0 0.1.18-2 install ok installed libtiff4:amd64 libtiff4 3.9.6-11+deb7u11 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed libx11-6:amd64 libx11-6 2:1.5.0-1+deb7u4 install ok installed libx11-data libx11-data 2:1.5.0-1+deb7u4 install ok installed libxau6:amd64 libxau6 1:1.0.7-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.8.1-2+deb7u1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.8.1-2+deb7u1 install ok installed libxcb1:amd64 libxcb1 1.8.1-2+deb7u1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.3-2 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.13-1+deb7u2 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.3-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.1-1 install ok installed libxext6:amd64 libxext6 2:1.3.1-2+deb7u1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0-4+deb7u2 install ok installed libxft2:amd64 libxft2 2.3.1-1 install ok installed libxi6:amd64 libxi6 2:1.6.1-1+deb7u3 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.2-1+deb7u1 install ok installed libxml2:amd64 libxml2 2.8.0+dfsg1-7+wheezy12 install ok installed libxrandr2:amd64 libxrandr2 2:1.3.2-2+deb7u2 install ok installed libxrender1:amd64 libxrender1 1:0.9.7-1+deb7u3 install ok installed login login 1:4.1.5.1-1+deb7u1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u12 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed ocaml-base-nox ocaml-base-nox 3.12.1-4+deb7u1 install ok installed passwd passwd 1:4.1.5.1-1+deb7u1 install ok installed perl-base perl-base 5.14.2-21+deb7u6 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7+deb7u1 install ok installed shared-mime-info shared-mime-info 1.0-1+b1 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1+deb7u1 install ok installed ttf-dejavu-core ttf-dejavu-core 2.33-3 install ok installed tzdata tzdata 2018e-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m53.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m55.2s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', '-ac', '--ignore-obsolete'] 0m57.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', '-ac', '--ignore-obsolete'] 0m57.8s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m57.9s DUMP: 0.15.1 0m57.9s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m57.9s INFO: Running adequate version 0.15.1 now. 0m57.9s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'libaac-tactics-coq'] 0m58.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'libaac-tactics-coq'] 0m58.1s INFO: Running scripts pre_remove 0m58.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m58.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m58.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m58.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m58.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_exceptions'] 1m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/pre_remove_exceptions'] 1m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libaac-tactics-ocaml', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'coq', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'libaac-tactics-coq'] 1m4.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaac-tactics-coq libaac-tactics-ocaml libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core 0 upgraded, 0 newly installed, 78 to remove and 0 not upgraded. After this operation, 302 MB disk space will be freed. (Reading database ... 10468 files and directories currently installed.) Removing libaac-tactics-coq ... Removing libaac-tactics-ocaml ... Removing coq ... Remove coq for emacs Removing coq-theories ... Removing libcoq-ocaml ... Removing liblablgtk2-ocaml ... Removing libgtkspell0 ... Removing libenchant1c2a ... Removing aspell-en ... Removing aspell ... Removing dictionaries-common ... Removing 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Removing emacsen-common ... Removing libglade2-0 ... Removing libgtk2.0-0:amd64 ... Removing libpango1.0-0:amd64 ... Removing fontconfig ... Removing libcairo2:amd64 ... Removing libxft2:amd64 ... Removing libfontconfig1:amd64 ... Removing fontconfig-config ... Removing libaspell15 ... Removing libatk1.0-0:amd64 ... Removing libatk1.0-data ... Removing libcups2:amd64 ... Removing libavahi-client3:amd64 ... Removing libavahi-common3:amd64 ... Removing libavahi-common-data:amd64 ... Removing libthai0:amd64 ... Removing libdatrie1:amd64 ... Removing libdbus-1-3:amd64 ... Removing libexpat1:amd64 ... Removing libgdk-pixbuf2.0-0:amd64 ... Removing shared-mime-info ... Removing libglib2.0-0:amd64 ... Removing libffi5:amd64 ... Removing libfreetype6:amd64 ... Removing libgnutls26:amd64 ... Removing libgcrypt11:amd64 ... Removing ocaml-base-nox ... Removing libgdbm3:amd64 ... Removing libgdk-pixbuf2.0-common ... Removing libgpg-error0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Removing libgtk2.0-common ... Removing libhunspell-1.3-0:amd64 ... Removing libjasper1:amd64 ... Removing libtiff4:amd64 ... Removing libjbig0:amd64 ... Removing libjpeg8:amd64 ... Removing libkrb5-3:amd64 ... Removing libk5crypto3:amd64 ... Removing libkrb5support0:amd64 ... Removing libkeyutils1:amd64 ... Removing libncursesw5:amd64 ... Removing libp11-kit0:amd64 ... Removing libpcre3:amd64 ... Removing libpixman-1-0:amd64 ... Removing libpng12-0:amd64 ... Removing libtasn1-3:amd64 ... Removing libthai-data ... Removing libxrandr2:amd64 ... Removing libxcursor1:amd64 ... Removing libxrender1:amd64 ... Removing libxi6:amd64 ... Removing libxdamage1:amd64 ... Removing libxfixes3:amd64 ... Removing libxinerama1:amd64 ... Removing libxext6:amd64 ... Removing libxcomposite1:amd64 ... Removing libx11-6:amd64 ... Removing libx11-data ... Removing libxcb-shm0:amd64 ... Removing libxcb-render0:amd64 ... Removing libxcb1:amd64 ... Removing libxau6:amd64 ... Removing libxdmcp6:amd64 ... Removing libxml2:amd64 ... Removing ttf-dejavu-core ... 1m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libaac-tactics-ocaml', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'coq', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'libaac-tactics-coq'] 1m4.9s INFO: Running scripts post_remove 1m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_remove_exceptions'] 1m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_remove_exceptions'] 1m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_remove_extras'] 1m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_remove_extras'] 1m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libaac-tactics-ocaml', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'coq', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 1m6.1s DUMP: dpkg: warning: ignoring request to remove libx11-data which isn't installed (Reading database ... 6829 files and directories currently installed.) Removing libcairo2:amd64 ... Purging configuration files for libcairo2:amd64 ... Removing libgdk-pixbuf2.0-0:amd64 ... Purging configuration files for libgdk-pixbuf2.0-0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Purging configuration files for libgssapi-krb5-2:amd64 ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... Removing libxi6:amd64 ... Purging configuration files for libxi6:amd64 ... Removing libgcrypt11:amd64 ... Purging configuration files for libgcrypt11:amd64 ... dpkg: warning: ignoring request to remove libthai-data which isn't installed Removing libxinerama1:amd64 ... Purging configuration files for libxinerama1:amd64 ... Removing libk5crypto3:amd64 ... Purging configuration files for libk5crypto3:amd64 ... Removing libffi5:amd64 ... Purging configuration files for libffi5:amd64 ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libfreetype6:amd64 ... Purging configuration files for libfreetype6:amd64 ... dpkg: warning: ignoring request to remove libjpeg8 which isn't installed Removing libkeyutils1:amd64 ... Purging configuration files for libkeyutils1:amd64 ... Removing libgnutls26:amd64 ... Purging configuration files for libgnutls26:amd64 ... Removing libpixman-1-0:amd64 ... Purging configuration files for libpixman-1-0:amd64 ... Removing libtasn1-3:amd64 ... Purging configuration files for libtasn1-3:amd64 ... Removing libncursesw5:amd64 ... Purging configuration files for libncursesw5:amd64 ... dpkg: warning: ignoring request to remove liblablgtk2-ocaml which isn't installed Removing libtiff4:amd64 ... Purging configuration files for libtiff4:amd64 ... dpkg: warning: ignoring request to remove libaac-tactics-ocaml which isn't installed Removing libdbus-1-3:amd64 ... Purging configuration files for libdbus-1-3:amd64 ... Removing libxcursor1:amd64 ... Purging configuration files for libxcursor1:amd64 ... Removing libdatrie1:amd64 ... Purging configuration files for libdatrie1:amd64 ... Removing libxfixes3:amd64 ... Purging configuration files for libxfixes3:amd64 ... Removing libgdbm3:amd64 ... Purging configuration files for libgdbm3:amd64 ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing libpcre3:amd64 ... Purging configuration files for libpcre3:amd64 ... dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed Removing libgtk2.0-0:amd64 ... Purging configuration files for libgtk2.0-0:amd64 ... Removing libjasper1:amd64 ... Purging configuration files for libjasper1:amd64 ... Removing libxcb1:amd64 ... Purging configuration files for libxcb1:amd64 ... Removing emacsen-common ... Purging configuration files for emacsen-common ... Removing coq ... Purging configuration files for coq ... Removing libgpg-error0:amd64 ... Purging configuration files for libgpg-error0:amd64 ... Removing libxdamage1:amd64 ... Purging configuration files for libxdamage1:amd64 ... Removing libx11-6:amd64 ... Purging configuration files for libx11-6:amd64 ... Removing libxdmcp6:amd64 ... Purging configuration files for libxdmcp6:amd64 ... Removing libjbig0:amd64 ... Purging configuration files for libjbig0:amd64 ... Removing libgtk2.0-common ... Purging configuration files for libgtk2.0-common ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing libxcb-shm0:amd64 ... Purging configuration files for libxcb-shm0:amd64 ... Removing libhunspell-1.3-0:amd64 ... Purging configuration files for libhunspell-1.3-0:amd64 ... Removing libpango1.0-0:amd64 ... Purging configuration files for libpango1.0-0:amd64 ... Removing libkrb5support0:amd64 ... Purging configuration files for libkrb5support0:amd64 ... Removing libglib2.0-0:amd64 ... Purging configuration files for libglib2.0-0:amd64 ... Removing libxau6:amd64 ... Purging configuration files for libxau6:amd64 ... Removing libpng12-0:amd64 ... Purging configuration files for libpng12-0:amd64 ... Removing libxrender1:amd64 ... Purging configuration files for libxrender1:amd64 ... Removing dictionaries-common ... Purging configuration files for dictionaries-common ... Removing libxml2:amd64 ... Purging configuration files for libxml2:amd64 ... Removing libxcomposite1:amd64 ... Purging configuration files for libxcomposite1:amd64 ... Removing libxrandr2:amd64 ... Purging configuration files for libxrandr2:amd64 ... dpkg: warning: ignoring request to remove ttf-dejavu-core which isn't installed dpkg: warning: ignoring request to remove aspell which isn't installed dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed Removing libxft2:amd64 ... Purging configuration files for libxft2:amd64 ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... dpkg: warning: ignoring request to remove libcoq-ocaml which isn't installed Removing libxext6:amd64 ... Purging configuration files for libxext6:amd64 ... Removing libatk1.0-0:amd64 ... Purging configuration files for libatk1.0-0:amd64 ... dpkg: warning: ignoring request to remove libenchant1c2a which isn't installed Removing libexpat1:amd64 ... Purging configuration files for libexpat1:amd64 ... dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed Removing libkrb5-3:amd64 ... Purging configuration files for libkrb5-3:amd64 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed Removing libfontconfig1:amd64 ... Purging configuration files for libfontconfig1:amd64 ... Removing libthai0:amd64 ... Purging configuration files for libthai0:amd64 ... dpkg: warning: ignoring request to remove coq-theories which isn't installed Removing libcups2:amd64 ... Purging configuration files for libcups2:amd64 ... Removing libavahi-common3:amd64 ... Purging configuration files for libavahi-common3:amd64 ... Removing libavahi-client3:amd64 ... Purging configuration files for libavahi-client3:amd64 ... Removing libxcb-render0:amd64 ... Purging configuration files for libxcb-render0:amd64 ... Removing libp11-kit0:amd64 ... Purging configuration files for libp11-kit0:amd64 ... 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libaac-tactics-ocaml', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'coq', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', 'libaac-tactics-coq'] 1m6.1s DUMP: dpkg: warning: ignoring request to remove libaac-tactics-coq which isn't installed 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', 'libaac-tactics-coq'] 1m6.1s INFO: Running scripts post_purge 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_purge_exceptions'] 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_purge_exceptions'] 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', '--pending'] 1m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--purge', '--pending'] 1m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--remove', '--pending'] 1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg', '--remove', '--pending'] 1m6.2s INFO: Running scripts post_test 1m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_test_exceptions'] 1m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'tmp/scripts/post_test_exceptions'] 1m6.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 1m7.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 1m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-divert', '--list'] 1m7.4s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'dpkg-divert', '--list'] 1m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'clean'] 1m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpnCn1PB', 'apt-get', 'clean'] 1m7.4s DEBUG: Recording chroot state 1m11.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/run/shm'] 1m11.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/run/shm'] 1m11.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/console'] 1m11.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/console'] 1m11.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/ptmx'] 1m11.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/ptmx'] 1m11.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts'] 1m11.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/dev/pts'] 1m11.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/proc'] 1m11.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpnCn1PB/proc'] 1m11.2s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 1m11.3s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpnCn1PB'] 1m11.3s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpnCn1PB 1m11.4s INFO: PASS: Upgrading between Debian distributions. 1m11.4s INFO: PASS: All tests. 1m11.4s INFO: piuparts run ends. ret=0 End: 2018-09-30 13:47:48 UTC