Start: 2018-01-05 16:04:38 UTC [squeeze] Package: libwhy-coq Priority: optional Section: libdevel Installed-Size: 1244 Maintainer: Debian OCaml Maintainers Architecture: all Source: why Version: 2.26+dfsg-2+squeeze1 Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.2.pl2+3.11.2 Filename: pool/main/w/why/libwhy-coq_2.26+dfsg-2+squeeze1_all.deb Size: 513412 MD5sum: 0a3e89a667639e02e9ca9b84d57551a5 SHA1: 94541db77d704075f796a2ea9c5e773c5bd81718 SHA256: 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 Description: Why library for Coq This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq. Homepage: http://why.lri.fr/ Tag: devel::library, qa::low-popcon [wheezy] Package: libwhy-coq Source: why Version: 2.30+dfsg-5 Installed-Size: 903 Maintainer: Debian OCaml Maintainers Architecture: all Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.3pl4+3.12.1 Description: Why library for Coq Homepage: http://why.lri.fr/ Description-md5: 4954b9c0fd1ffba617423e3142a29a95 Tag: devel::library, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/w/why/libwhy-coq_2.30+dfsg-5_all.deb Size: 417300 MD5sum: a5bd95d569bef816db5fa035c954293d SHA1: 8c75bf78f0278ce006986ca5f35c7c9a4830c17c SHA256: c42a5f842ea00f758bb1a2c4c26f7eccccdcf2827a8f41560a169f879c0663ba 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 --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --no-check-valid-until --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz -d squeeze -d wheezy -B reference-chroot-metadata.dat --apt libwhy-coq=2.30+dfsg-5 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.83~201712142018~0.82-32-ge0ca5430 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --no-check-valid-until --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz -d squeeze -d wheezy -B reference-chroot-metadata.dat --apt libwhy-coq=2.30+dfsg-5 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-4-amd64 #1 SMP Debian 4.9.65-3+deb9u1 (2017-12-23) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpXbEG1t 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpXbEG1t 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/proc'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/proc'] 0m1.8s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts'] 0m1.8s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/ptmx'] 0m1.8s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/ptmx'] 0m1.8s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/console'] 0m1.8s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/console'] 0m1.8s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/shm'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/shm'] 0m1.8s DEBUG: sources.list: deb http://archive.debian.org/debian squeeze main 0m1.9s DEBUG: Created policy-rc.d and chmodded it. 0m1.9s DEBUG: Created resolv.conf. 0m1.9s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpXbEG1t/tmp/scripts/ 0m1.9s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpXbEG1t/tmp/scripts/ 0m1.9s INFO: Running scripts post_chroot_unpack 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'update'] 0m1.9s DUMP: Hit http://archive.debian.org squeeze Release.gpg Ign http://archive.debian.org/debian/ squeeze/main Translation-en Hit http://archive.debian.org squeeze Release Hit http://archive.debian.org squeeze/main amd64 Packages Reading package lists... 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'update'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.3s DUMP: 6a0e4d3b374fdc6be02fc5f39fbf3166 - 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.3s INFO: Running scripts post_setup 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_dummy_users'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_dummy_users'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_forbid_home'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_forbid_home'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_minimize'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_minimize'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m3.4s 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 320 kB of archives. After this operation, 1532 kB of additional disk space will be used. Get:1 http://archive.debian.org/debian/ squeeze/main adduser all 3.112+nmu2 [250 kB] Get:2 http://archive.debian.org/debian/ squeeze/main ucf all 3.0025+nmu1 [69.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 320 kB in 0s (0 B/s) Selecting previously deselected package adduser. (Reading database ... 6138 files and directories currently installed.) Unpacking adduser (from .../adduser_3.112+nmu2_all.deb) ... Selecting previously deselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu1_all.deb) ... Moving old data out of the way Setting up adduser (3.112+nmu2) ... Setting up ucf (3.0025+nmu1) ... 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_zz_backports'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_setup_zz_backports'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.4s DUMP: install ok installed adduser 3.112+nmu2 install ok installed apt 0.8.10.3+squeeze1 install ok installed base-files 6.0squeeze10 install ok installed base-passwd 3.5.22 install ok installed bash 4.1-3 install ok installed bsdutils 1:2.17.2-9 install ok installed coreutils 8.5-1 install ok installed dash 0.5.5.1-7.4 install ok installed debconf 1.5.36.1 install ok installed debconf-i18n 1.5.36.1 install ok installed debian-archive-keyring 2010.08.28+squeeze1 install ok installed debianutils 3.4 install ok installed diffutils 1:3.0-1 install ok installed dpkg 1.15.11 install ok installed e2fslibs 1.41.12-4stable1 install ok installed e2fsprogs 1.41.12-4stable1 install ok installed findutils 4.4.2-1+b1 install ok installed gcc-4.4-base 4.4.5-8 install ok installed gnupg 1.4.10-4+squeeze4 install ok installed gpgv 1.4.10-4+squeeze4 install ok installed grep 2.6.3-3+squeeze1 install ok installed gzip 1.3.12-9+squeeze1 install ok installed hostname 3.04 install ok installed initscripts 2.88dsf-13.1+squeeze1 install ok installed insserv 1.14.0-2 install ok installed libacl1 2.2.49-4 install ok installed libattr1 1:2.4.44-2 install ok installed libblkid1 2.17.2-9 install ok installed libbz2-1.0 1.0.5-6+squeeze1 install ok installed libc-bin 2.11.3-4 install ok installed libc6 2.11.3-4 install ok installed libcomerr2 1.41.12-4stable1 install ok installed libdb4.8 4.8.30-2 install ok installed libgcc1 1:4.4.5-8 install ok installed liblocale-gettext-perl 1.05-6 install ok installed liblzma2 5.0.0-2 install ok installed libncurses5 5.7+20100313-5 install ok installed libpam-modules 1.1.1-6.1+squeeze1 install ok installed libpam-runtime 1.1.1-6.1+squeeze1 install ok installed libpam0g 1.1.1-6.1+squeeze1 install ok installed libreadline6 6.1-3 install ok installed libselinux1 2.0.96-1 install ok installed libsepol1 2.0.41-1 install ok installed libslang2 2.2.2-4 install ok installed libss2 1.41.12-4stable1 install ok installed libstdc++6 4.4.5-8 install ok installed libtext-charwidth-perl 0.04-6 install ok installed libtext-iconv-perl 1.7-2 install ok installed libtext-wrapi18n-perl 0.06-7 install ok installed libusb-0.1-4 2:0.1.12-16 install ok installed libuuid1 2.17.2-9 install ok installed login 1:4.1.4.2+svn3283-2+squeeze1 install ok installed lsb-base 3.2-23.2squeeze1 install ok installed mawk 1.3.3-15 install ok installed mount 2.17.2-9 install ok installed ncurses-base 5.7+20100313-5 install ok installed ncurses-bin 5.7+20100313-5 install ok installed passwd 1:4.1.4.2+svn3283-2+squeeze1 install ok installed perl-base 5.10.1-17squeeze6 install ok installed readline-common 6.1-3 install ok installed sed 4.2.1-7 install ok installed sensible-utils 0.0.4 install ok installed sysv-rc 2.88dsf-13.1+squeeze1 install ok installed sysvinit 2.88dsf-13.1+squeeze1 install ok installed sysvinit-utils 2.88dsf-13.1+squeeze1 install ok installed tar 1.23-3 install ok installed tzdata 2014e-0squeeze1 install ok installed ucf 3.0025+nmu1 install ok installed util-linux 2.17.2-9 install ok installed xz-utils 5.0.0-2 install ok installed zlib1g 1:1.2.3.4.dfsg-3 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.4s DEBUG: Loading chroot meta data from reference-chroot-metadata.dat 0m4.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m4.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m4.2s INFO: Running scripts is_testable 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s INFO: Running scripts pre_test 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_test_root_password'] 0m4.2s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_test_root_password'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'show', 'libwhy-coq'] 0m4.3s DUMP: Package: libwhy-coq Priority: optional Section: libdevel Installed-Size: 1244 Maintainer: Debian OCaml Maintainers Architecture: all Source: why Version: 2.26+dfsg-2+squeeze1 Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.2.pl2+3.11.2 Filename: pool/main/w/why/libwhy-coq_2.26+dfsg-2+squeeze1_all.deb Size: 513412 MD5sum: 0a3e89a667639e02e9ca9b84d57551a5 SHA1: 94541db77d704075f796a2ea9c5e773c5bd81718 SHA256: 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 Description: Why library for Coq This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq. Homepage: http://why.lri.fr/ Tag: devel::library, qa::low-popcon 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'show', 'libwhy-coq'] 0m4.3s INFO: apt-cache knows about the following packages: libwhy-coq 0m4.3s INFO: Running scripts pre_install 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m4.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://archive.debian.org/debian/ squeeze/main amd64 Packages release v=6.0.10,o=Debian,a=oldoldstable,n=squeeze,l=Debian,c=main origin archive.debian.org Pinned packages: 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m4.3s DUMP: libwhy-coq: Installed: (none) Candidate: 2.26+dfsg-2+squeeze1 Version table: 2.26+dfsg-2+squeeze1 0 500 http://archive.debian.org/debian/ squeeze/main amd64 Packages 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq'] 0m6.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils coq coq-theories emacsen-common libgdbm3 ocaml-base-nox Suggested packages: cpp wamerican wordlist whois vacation ocaml-nox proofgeneral-coq ledit readline-editor libcoq-ocaml-dev why coq-doc The following NEW packages will be installed: bsdmainutils coq coq-theories emacsen-common libgdbm3 libwhy-coq ocaml-base-nox 0 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. Need to get 35.2 MB of archives. After this operation, 119 MB of additional disk space will be used. Get:1 http://archive.debian.org/debian/ squeeze/main bsdmainutils amd64 8.0.13 [203 kB] Get:2 http://archive.debian.org/debian/ squeeze/main libgdbm3 amd64 1.8.3-9 [46.2 kB] Get:3 http://archive.debian.org/debian/ squeeze/main coq-theories all 8.2.pl2+dfsg-1 [18.4 MB] Get:4 http://archive.debian.org/debian/ squeeze/main emacsen-common all 1.4.22 [18.8 kB] Get:5 http://archive.debian.org/debian/ squeeze/main ocaml-base-nox amd64 3.11.2-2 [674 kB] Get:6 http://archive.debian.org/debian/ squeeze/main coq amd64 8.2.pl2+dfsg-1 [15.4 MB] Get:7 http://archive.debian.org/debian/ squeeze/main libwhy-coq all 2.26+dfsg-2+squeeze1 [513 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 35.2 MB in 0s (46.7 MB/s) Selecting previously deselected package bsdmainutils. (Reading database ... 6261 files and directories currently installed.) Unpacking bsdmainutils (from .../bsdmainutils_8.0.13_amd64.deb) ... Selecting previously deselected package libgdbm3. Unpacking libgdbm3 (from .../libgdbm3_1.8.3-9_amd64.deb) ... Selecting previously deselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.2.pl2+dfsg-1_all.deb) ... Selecting previously deselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_1.4.22_all.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-2_amd64.deb) ... Selecting previously deselected package coq. Unpacking coq (from .../coq_8.2.pl2+dfsg-1_amd64.deb) ... Selecting previously deselected package libwhy-coq. Unpacking libwhy-coq (from .../libwhy-coq_2.26+dfsg-2+squeeze1_all.deb) ... Setting up bsdmainutils (8.0.13) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up libgdbm3 (1.8.3-9) ... Setting up emacsen-common (1.4.22) ... emacsen-common: Handling install of emacsen flavor emacs Setting up ocaml-base-nox (3.11.2-2) ... Setting up coq-theories (8.2.pl2+dfsg-1) ... Setting up coq (8.2.pl2+dfsg-1) ... emacsen-common: Handling install of emacsen flavor emacs Setting up libwhy-coq (2.26+dfsg-2+squeeze1) ... 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq'] 0m6.7s INFO: Running scripts post_install 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m6.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m6.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m6.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpXbEG1t to wheezy 0m6.9s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main 0m6.9s INFO: Running scripts pre_distupgrade 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_exceptions'] 0m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_exceptions'] 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_wheezy'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_wheezy'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m7.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m7.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'update'] 0m8.5s DUMP: Get:1 http://mirror-ubc.debian.org wheezy Release.gpg [2373 B] Ign http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en Get:2 http://mirror-ubc.debian.org wheezy Release [191 kB] Get:3 http://mirror-ubc.debian.org wheezy/main amd64 Packages [7634 kB] Fetched 7827 kB in 0s (9417 kB/s) Reading package lists... W: There is no public key available for the following key IDs: 7638D0442B90D010 0m8.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'update'] 0m8.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-yf', 'dist-upgrade'] 0m41.8s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: aspell aspell-en dictionaries-common fontconfig fontconfig-config gcc-4.7-base libapt-pkg4.12 libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdb5.1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 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 liblzma5 libmount1 libncursesw5 libp11-kit0 libpam-modules-bin libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libsemanage-common libsemanage1 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo5 libustr-1.0-1 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 multiarch-support shared-mime-info ttf-dejavu-core The following packages will be upgraded: adduser apt base-files base-passwd bash bsdmainutils bsdutils coq coq-theories coreutils dash debconf debconf-i18n debian-archive-keyring debianutils diffutils dpkg e2fslibs e2fsprogs emacsen-common findutils gcc-4.4-base gnupg gpgv grep gzip hostname initscripts insserv libacl1 libattr1 libblkid1 libbz2-1.0 libc-bin libc6 libcomerr2 libgcc1 libgdbm3 liblocale-gettext-perl libncurses5 libpam-modules libpam-runtime libpam0g libreadline6 libselinux1 libsepol1 libslang2 libss2 libstdc++6 libtext-charwidth-perl libtext-iconv-perl libusb-0.1-4 libuuid1 libwhy-coq login lsb-base mawk mount ncurses-base ncurses-bin ocaml-base-nox passwd perl-base readline-common sed sensible-utils sysv-rc sysvinit sysvinit-utils tar tzdata ucf util-linux xz-utils zlib1g 75 upgraded, 82 newly installed, 0 to remove and 0 not upgraded. Need to get 122 MB of archives. After this operation, 179 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main sensible-utils all 0.0.7 [8850 B] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main debianutils amd64 4.3.2 [78.9 kB] Get:3 http://mirror-ubc.debian.org/debian/ wheezy/main libc-bin amd64 2.13-38+deb7u10 [1274 kB] Get:4 http://mirror-ubc.debian.org/debian/ wheezy/main libc6 amd64 2.13-38+deb7u10 [4226 kB] Get:5 http://mirror-ubc.debian.org/debian/ wheezy/main gcc-4.7-base amd64 4.7.2-5 [144 kB] Get:6 http://mirror-ubc.debian.org/debian/ wheezy/main multiarch-support amd64 2.13-38+deb7u10 [152 kB] Get:7 http://mirror-ubc.debian.org/debian/ wheezy/main libgcc1 amd64 1:4.7.2-5 [43.1 kB] Get:8 http://mirror-ubc.debian.org/debian/ wheezy/main libsemanage-common all 2.1.6-6 [23.2 kB] Get:9 http://mirror-ubc.debian.org/debian/ wheezy/main libsepol1 amd64 2.1.4-3 [135 kB] Get:10 http://mirror-ubc.debian.org/debian/ wheezy/main libustr-1.0-1 amd64 1.0.4-3 [92.5 kB] Get:11 http://mirror-ubc.debian.org/debian/ wheezy/main libbz2-1.0 amd64 1.0.6-4 [46.5 kB] Get:12 http://mirror-ubc.debian.org/debian/ wheezy/main libselinux1 amd64 2.1.9-5 [90.6 kB] Get:13 http://mirror-ubc.debian.org/debian/ wheezy/main libsemanage1 amd64 2.1.6-6 [102 kB] Get:14 http://mirror-ubc.debian.org/debian/ wheezy/main debconf all 1.5.49 [171 kB] Get:15 http://mirror-ubc.debian.org/debian/ wheezy/main libpam0g amd64 1.1.3-7.1 [128 kB] Get:16 http://mirror-ubc.debian.org/debian/ wheezy/main libdb5.1 amd64 5.1.29-5 [723 kB] Get:17 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-modules-bin amd64 1.1.3-7.1 [113 kB] Get:18 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-modules amd64 1.1.3-7.1 [348 kB] Get:19 http://mirror-ubc.debian.org/debian/ wheezy/main passwd amd64 1:4.1.5.1-1 [1259 kB] Get:20 http://mirror-ubc.debian.org/debian/ wheezy/main libuuid1 amd64 2.20.1-5.3 [57.1 kB] Get:21 http://mirror-ubc.debian.org/debian/ wheezy/main libblkid1 amd64 2.20.1-5.3 [120 kB] Get:22 http://mirror-ubc.debian.org/debian/ wheezy/main libslang2 amd64 2.2.4-15 [551 kB] Get:23 http://mirror-ubc.debian.org/debian/ wheezy/main libtinfo5 amd64 5.9-10 [275 kB] Get:24 http://mirror-ubc.debian.org/debian/ wheezy/main lsb-base all 4.1+Debian8+deb7u1 [26.8 kB] Get:25 http://mirror-ubc.debian.org/debian/ wheezy/main tzdata all 2016d-0+deb7u1 [453 kB] Get:26 http://mirror-ubc.debian.org/debian/ wheezy/main liblzma5 amd64 5.1.1alpha+20120614-2 [202 kB] Get:27 http://mirror-ubc.debian.org/debian/ wheezy/main dpkg amd64 1.16.18 [2665 kB] Get:28 http://mirror-ubc.debian.org/debian/ wheezy/main util-linux amd64 2.20.1-5.3 [659 kB] Get:29 http://mirror-ubc.debian.org/debian/ wheezy/main insserv amd64 1.14.0-5 [64.8 kB] Get:30 http://mirror-ubc.debian.org/debian/ wheezy/main sysvinit-utils amd64 2.88dsf-41+deb7u1 [100 kB] Get:31 http://mirror-ubc.debian.org/debian/ wheezy/main sysv-rc all 2.88dsf-41+deb7u1 [81.8 kB] Get:32 http://mirror-ubc.debian.org/debian/ wheezy/main libmount1 amd64 2.20.1-5.3 [120 kB] Get:33 http://mirror-ubc.debian.org/debian/ wheezy/main mount amd64 2.20.1-5.3 [213 kB] Get:34 http://mirror-ubc.debian.org/debian/ wheezy/main libattr1 amd64 1:2.4.46-8 [19.8 kB] Get:35 http://mirror-ubc.debian.org/debian/ wheezy/main libacl1 amd64 2.2.51-8 [30.1 kB] Get:36 http://mirror-ubc.debian.org/debian/ wheezy/main coreutils amd64 8.13-3.5 [5628 kB] Get:37 http://mirror-ubc.debian.org/debian/ wheezy/main initscripts amd64 2.88dsf-41+deb7u1 [91.8 kB] Get:38 http://mirror-ubc.debian.org/debian/ wheezy/main base-files amd64 7.1wheezy11 [67.1 kB] Get:39 http://mirror-ubc.debian.org/debian/ wheezy/main bash amd64 4.2+dfsg-0.1+deb7u3 [1501 kB] Get:40 http://mirror-ubc.debian.org/debian/ wheezy/main dash amd64 0.5.7-3 [113 kB] Get:41 http://mirror-ubc.debian.org/debian/ wheezy/main diffutils amd64 1:3.2-6 [366 kB] Get:42 http://mirror-ubc.debian.org/debian/ wheezy/main libcomerr2 amd64 1.42.5-1.1+deb7u1 [56.1 kB] Get:43 http://mirror-ubc.debian.org/debian/ wheezy/main e2fslibs amd64 1.42.5-1.1+deb7u1 [197 kB] Get:44 http://mirror-ubc.debian.org/debian/ wheezy/main e2fsprogs amd64 1.42.5-1.1+deb7u1 [979 kB] Get:45 http://mirror-ubc.debian.org/debian/ wheezy/main findutils amd64 4.4.2-4 [694 kB] Get:46 http://mirror-ubc.debian.org/debian/ wheezy/main grep amd64 2.12-2 [454 kB] Get:47 http://mirror-ubc.debian.org/debian/ wheezy/main gzip amd64 1.5-1.1 [119 kB] Get:48 http://mirror-ubc.debian.org/debian/ wheezy/main hostname amd64 3.11 [15.0 kB] Get:49 http://mirror-ubc.debian.org/debian/ wheezy/main login amd64 1:4.1.5.1-1 [983 kB] Get:50 http://mirror-ubc.debian.org/debian/ wheezy/main ncurses-bin amd64 5.9-10 [335 kB] Get:51 http://mirror-ubc.debian.org/debian/ wheezy/main libtext-charwidth-perl amd64 0.04-7+b1 [11.2 kB] Get:52 http://mirror-ubc.debian.org/debian/ wheezy/main libtext-iconv-perl amd64 1.7-5 [17.6 kB] Get:53 http://mirror-ubc.debian.org/debian/ wheezy/main perl-base amd64 5.14.2-21+deb7u3 [1522 kB] Get:54 http://mirror-ubc.debian.org/debian/ wheezy/main liblocale-gettext-perl amd64 1.05-7+b1 [20.4 kB] Get:55 http://mirror-ubc.debian.org/debian/ wheezy/main sed amd64 4.2.1-10 [251 kB] Get:56 http://mirror-ubc.debian.org/debian/ wheezy/main sysvinit amd64 2.88dsf-41+deb7u1 [133 kB] Get:57 http://mirror-ubc.debian.org/debian/ wheezy/main tar amd64 1.26+dfsg-0.1 [985 kB] Get:58 http://mirror-ubc.debian.org/debian/ wheezy/main base-passwd amd64 3.5.26 [46.3 kB] Get:59 http://mirror-ubc.debian.org/debian/ wheezy/main bsdutils amd64 1:2.20.1-5.3 [85.5 kB] Get:60 http://mirror-ubc.debian.org/debian/ wheezy/main ncurses-base all 5.9-10 [198 kB] Get:61 http://mirror-ubc.debian.org/debian/ wheezy/main libstdc++6 amd64 4.7.2-5 [332 kB] Get:62 http://mirror-ubc.debian.org/debian/ wheezy/main zlib1g amd64 1:1.2.7.dfsg-13 [87.4 kB] Get:63 http://mirror-ubc.debian.org/debian/ wheezy/main gpgv amd64 1.4.12-7+deb7u7 [228 kB] Get:64 http://mirror-ubc.debian.org/debian/ wheezy/main debian-archive-keyring all 2014.3~deb7u1 [60.7 kB] Get:65 http://mirror-ubc.debian.org/debian/ wheezy/main readline-common all 6.2+dfsg-0.1 [31.9 kB] Get:66 http://mirror-ubc.debian.org/debian/ wheezy/main libreadline6 amd64 6.2+dfsg-0.1 [166 kB] Get:67 http://mirror-ubc.debian.org/debian/ wheezy/main libusb-0.1-4 amd64 2:0.1.12-20+nmu1 [23.1 kB] Get:68 http://mirror-ubc.debian.org/debian/ wheezy/main gnupg amd64 1.4.12-7+deb7u7 [1956 kB] Get:69 http://mirror-ubc.debian.org/debian/ wheezy/main libapt-pkg4.12 amd64 0.9.7.9+deb7u7 [891 kB] Get:70 http://mirror-ubc.debian.org/debian/ wheezy/main apt amd64 0.9.7.9+deb7u7 [1262 kB] Get:71 http://mirror-ubc.debian.org/debian/ wheezy/main libncurses5 amd64 5.9-10 [113 kB] Get:72 http://mirror-ubc.debian.org/debian/ wheezy/main libss2 amd64 1.42.5-1.1+deb7u1 [61.4 kB] Get:73 http://mirror-ubc.debian.org/debian/ wheezy/main libgdbm3 amd64 1.8.3-11 [46.9 kB] Get:74 http://mirror-ubc.debian.org/debian/ wheezy/main libncursesw5 amd64 5.9-10 [141 kB] Get:75 http://mirror-ubc.debian.org/debian/ wheezy/main mawk amd64 1.3.3-17 [90.8 kB] Get:76 http://mirror-ubc.debian.org/debian/ wheezy/main libgpg-error0 amd64 1.10-3.1 [77.9 kB] Get:77 http://mirror-ubc.debian.org/debian/ wheezy/main libgcrypt11 amd64 1.5.0-5+deb7u4 [301 kB] Get:78 http://mirror-ubc.debian.org/debian/ wheezy/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:79 http://mirror-ubc.debian.org/debian/ wheezy/main libtasn1-3 amd64 2.13-2+deb7u2 [67.8 kB] Get:80 http://mirror-ubc.debian.org/debian/ wheezy/main libgnutls26 amd64 2.12.20-8+deb7u5 [620 kB] Get:81 http://mirror-ubc.debian.org/debian/ wheezy/main libkeyutils1 amd64 1.5.5-3+deb7u1 [8664 B] Get:82 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u7 [50.5 kB] Get:83 http://mirror-ubc.debian.org/debian/ wheezy/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u7 [113 kB] Get:84 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u7 [394 kB] Get:85 http://mirror-ubc.debian.org/debian/ wheezy/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u7 [150 kB] Get:86 http://mirror-ubc.debian.org/debian/ wheezy/main libpcre3 amd64 1:8.30-5 [242 kB] Get:87 http://mirror-ubc.debian.org/debian/ wheezy/main libxml2 amd64 2.8.0+dfsg1-7+wheezy5 [906 kB] Get:88 http://mirror-ubc.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:89 http://mirror-ubc.debian.org/debian/ wheezy/main libglib2.0-0 amd64 2.33.12+really2.32.4-5 [1838 kB] Get:90 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-data all 2.4.0-2 [240 kB] Get:91 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:92 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common-data amd64 0.6.31-2 [135 kB] Get:93 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common3 amd64 0.6.31-2 [54.6 kB] Get:94 http://mirror-ubc.debian.org/debian/ wheezy/main libdbus-1-3 amd64 1.6.8-1+deb7u6 [174 kB] Get:95 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-client3 amd64 0.6.31-2 [59.5 kB] Get:96 http://mirror-ubc.debian.org/debian/ wheezy/main libexpat1 amd64 2.1.0-1+deb7u2 [139 kB] Get:97 http://mirror-ubc.debian.org/debian/ wheezy/main libfreetype6 amd64 2.4.9-1.1+deb7u3 [452 kB] Get:98 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] Get:99 http://mirror-ubc.debian.org/debian/ wheezy/main ttf-dejavu-core all 2.33-3 [1021 kB] Get:100 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig-config all 2.9.0-7.1 [233 kB] Get:101 http://mirror-ubc.debian.org/debian/ wheezy/main libfontconfig1 amd64 2.9.0-7.1 [300 kB] Get:102 http://mirror-ubc.debian.org/debian/ wheezy/main libpixman-1-0 amd64 0.26.0-4+deb7u2 [427 kB] Get:103 http://mirror-ubc.debian.org/debian/ wheezy/main libpng12-0 amd64 1.2.49-1+deb7u2 [191 kB] Get:104 http://mirror-ubc.debian.org/debian/ wheezy/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:105 http://mirror-ubc.debian.org/debian/ wheezy/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:106 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb1 amd64 1.8.1-2+deb7u1 [50.2 kB] Get:107 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-data all 2:1.5.0-1+deb7u2 [194 kB] Get:108 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-6 amd64 2:1.5.0-1+deb7u2 [901 kB] Get:109 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-render0 amd64 1.8.1-2+deb7u1 [18.6 kB] Get:110 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-shm0 amd64 1.8.1-2+deb7u1 [10.4 kB] Get:111 http://mirror-ubc.debian.org/debian/ wheezy/main libxrender1 amd64 1:0.9.7-1+deb7u2 [32.9 kB] Get:112 http://mirror-ubc.debian.org/debian/ wheezy/main libcairo2 amd64 1.12.2-3 [912 kB] Get:113 http://mirror-ubc.debian.org/debian/ wheezy/main libcups2 amd64 1.5.3-5+deb7u6 [256 kB] Get:114 http://mirror-ubc.debian.org/debian/ wheezy/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:115 http://mirror-ubc.debian.org/debian/ wheezy/main libjpeg8 amd64 8d-1+deb7u1 [138 kB] Get:116 http://mirror-ubc.debian.org/debian/ wheezy/main libjasper1 amd64 1.900.1-13+deb7u4 [160 kB] Get:117 http://mirror-ubc.debian.org/debian/ wheezy/main libjbig0 amd64 2.0-2+deb7u1 [32.6 kB] Get:118 http://mirror-ubc.debian.org/debian/ wheezy/main libtiff4 amd64 3.9.6-11 [202 kB] Get:119 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u3 [287 kB] Get:120 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u3 [160 kB] Get:121 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-common all 2.24.10-2 [3081 kB] Get:122 http://mirror-ubc.debian.org/debian/ wheezy/main libthai-data all 0.1.18-2 [154 kB] Get:123 http://mirror-ubc.debian.org/debian/ wheezy/main libthai0 amd64 0.1.18-2 [42.3 kB] Get:124 http://mirror-ubc.debian.org/debian/ wheezy/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:125 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig amd64 2.9.0-7.1 [348 kB] Get:126 http://mirror-ubc.debian.org/debian/ wheezy/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:127 http://mirror-ubc.debian.org/debian/ wheezy/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:128 http://mirror-ubc.debian.org/debian/ wheezy/main libxfixes3 amd64 1:5.0-4+deb7u1 [21.3 kB] Get:129 http://mirror-ubc.debian.org/debian/ wheezy/main libxcursor1 amd64 1:1.1.13-1+deb7u1 [27.1 kB] Get:130 http://mirror-ubc.debian.org/debian/ wheezy/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:131 http://mirror-ubc.debian.org/debian/ wheezy/main libxext6 amd64 2:1.3.1-2+deb7u1 [54.8 kB] Get:132 http://mirror-ubc.debian.org/debian/ wheezy/main libxi6 amd64 2:1.6.1-1+deb7u1 [75.7 kB] Get:133 http://mirror-ubc.debian.org/debian/ wheezy/main libxinerama1 amd64 2:1.1.2-1+deb7u1 [16.9 kB] Get:134 http://mirror-ubc.debian.org/debian/ wheezy/main libxrandr2 amd64 2:1.3.2-2+deb7u1 [33.0 kB] Get:135 http://mirror-ubc.debian.org/debian/ wheezy/main shared-mime-info amd64 1.0-1+b1 [595 kB] Get:136 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-0 amd64 2.24.10-2 [2200 kB] Get:137 http://mirror-ubc.debian.org/debian/ wheezy/main libhunspell-1.3-0 amd64 1.3.2-4 [174 kB] Get:138 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-runtime all 1.1.3-7.1 [228 kB] Get:139 http://mirror-ubc.debian.org/debian/ wheezy/main xz-utils amd64 5.1.1alpha+20120614-2 [237 kB] Get:140 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:141 http://mirror-ubc.debian.org/debian/ wheezy/main bsdmainutils amd64 9.0.3 [209 kB] Get:142 http://mirror-ubc.debian.org/debian/ wheezy/main debconf-i18n all 1.5.49 [237 kB] Get:143 http://mirror-ubc.debian.org/debian/ wheezy/main libaspell15 amd64 0.60.7~20110707-1 [707 kB] Get:144 http://mirror-ubc.debian.org/debian/ wheezy/main dictionaries-common all 1.12.11 [302 kB] Get:145 http://mirror-ubc.debian.org/debian/ wheezy/main aspell amd64 0.60.7~20110707-1 [362 kB] Get:146 http://mirror-ubc.debian.org/debian/ wheezy/main aspell-en all 7.1-0-1 [268 kB] Get:147 http://mirror-ubc.debian.org/debian/ wheezy/main libwhy-coq all 2.30+dfsg-5 [417 kB] Get:148 http://mirror-ubc.debian.org/debian/ wheezy/main coq amd64 8.3.pl4+dfsg-2 [5687 kB] Get:149 http://mirror-ubc.debian.org/debian/ wheezy/main coq-theories all 8.3.pl4+dfsg-2 [54.4 MB] Get:150 http://mirror-ubc.debian.org/debian/ wheezy/main emacsen-common all 2.0.5 [20.9 kB] Get:151 http://mirror-ubc.debian.org/debian/ wheezy/main ocaml-base-nox amd64 3.12.1-4 [663 kB] Get:152 http://mirror-ubc.debian.org/debian/ wheezy/main libglade2-0 amd64 1:2.6.4-1 [89.0 kB] Get:153 http://mirror-ubc.debian.org/debian/ wheezy/main libenchant1c2a amd64 1.6.0-7 [85.4 kB] Get:154 http://mirror-ubc.debian.org/debian/ wheezy/main libgtkspell0 amd64 2.0.16-1 [28.9 kB] Get:155 http://mirror-ubc.debian.org/debian/ wheezy/main liblablgtk2-ocaml amd64 2.14.2+dfsg-3 [1026 kB] Get:156 http://mirror-ubc.debian.org/debian/ wheezy/main libcoq-ocaml amd64 8.3.pl4+dfsg-2 [2101 kB] Get:157 http://mirror-ubc.debian.org/debian/ wheezy/main gcc-4.4-base amd64 4.4.7-2 [127 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 122 MB in 2s (52.0 MB/s) (Reading database ... 7758 files and directories currently installed.) Preparing to replace sensible-utils 0.0.4 (using .../sensible-utils_0.0.7_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.7) ... (Reading database ... 7770 files and directories currently installed.) Preparing to replace debianutils 3.4 (using .../debianutils_4.3.2_amd64.deb) ... Unpacking replacement debianutils ... Setting up debianutils (4.3.2) ... (Reading database ... 7796 files and directories currently installed.) Preparing to replace libc-bin 2.11.3-4 (using .../libc-bin_2.13-38+deb7u10_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-38+deb7u10) ... Installing new version of config file /etc/bindresvport.blacklist ... (Reading database ... 7813 files and directories currently installed.) Preparing to replace libc6 2.11.3-4 (using .../libc6_2.13-38+deb7u10_amd64.deb) ... Checking for services that may need to be restarted... Checking init scripts... Unpacking replacement libc6 ... Setting up libc6 (2.13-38+deb7u10) ... Checking for services that may need to be restarted... Checking init scripts... Nothing to restart. Selecting previously deselected package gcc-4.7-base. (Reading database ... 7818 files and directories currently installed.) Unpacking gcc-4.7-base (from .../gcc-4.7-base_4.7.2-5_amd64.deb) ... Setting up gcc-4.7-base (4.7.2-5) ... Selecting previously deselected package multiarch-support. (Reading database ... 7825 files and directories currently installed.) Unpacking multiarch-support (from .../multiarch-support_2.13-38+deb7u10_amd64.deb) ... Setting up multiarch-support (2.13-38+deb7u10) ... (Reading database ... 7829 files and directories currently installed.) Preparing to replace libgcc1 1:4.4.5-8 (using .../libgcc1_1%3a4.7.2-5_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.7.2-5) ... Selecting previously deselected package libsemanage-common. (Reading database ... 7829 files and directories currently installed.) Unpacking libsemanage-common (from .../libsemanage-common_2.1.6-6_all.deb) ... Setting up libsemanage-common (2.1.6-6) ... (Reading database ... 7836 files and directories currently installed.) Preparing to replace libsepol1 2.0.41-1 (using .../libsepol1_2.1.4-3_amd64.deb) ... Unpacking replacement libsepol1 ... Setting up libsepol1 (2.1.4-3) ... Selecting previously deselected package libustr-1.0-1. (Reading database ... 7836 files and directories currently installed.) Unpacking libustr-1.0-1 (from .../libustr-1.0-1_1.0.4-3_amd64.deb) ... Setting up libustr-1.0-1 (1.0.4-3) ... (Reading database ... 7847 files and directories currently installed.) Preparing to replace libbz2-1.0 1.0.5-6+squeeze1 (using .../libbz2-1.0_1.0.6-4_amd64.deb) ... Unpacking replacement libbz2-1.0 ... Setting up libbz2-1.0 (1.0.6-4) ... (Reading database ... 7847 files and directories currently installed.) Preparing to replace libselinux1 2.0.96-1 (using .../libselinux1_2.1.9-5_amd64.deb) ... Unpacking replacement libselinux1 ... Setting up libselinux1 (2.1.9-5) ... Selecting previously deselected package libsemanage1. (Reading database ... 7847 files and directories currently installed.) Unpacking libsemanage1 (from .../libsemanage1_2.1.6-6_amd64.deb) ... Setting up libsemanage1 (2.1.6-6) ... (Reading database ... 7852 files and directories currently installed.) Preparing to replace debconf 1.5.36.1 (using .../debconf_1.5.49_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.49) ... (Reading database ... 7855 files and directories currently installed.) Preparing to replace libpam0g 1.1.1-6.1+squeeze1 (using .../libpam0g_1.1.3-7.1_amd64.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.3-7.1) ... Checking for services that may need to be restarted...Checking init scripts... Nothing to restart. Selecting previously deselected package libdb5.1. (Reading database ... 7855 files and directories currently installed.) Unpacking libdb5.1 (from .../libdb5.1_5.1.29-5_amd64.deb) ... Setting up libdb5.1 (5.1.29-5) ... Selecting previously deselected package libpam-modules-bin. (Reading database ... 7861 files and directories currently installed.) Unpacking libpam-modules-bin (from .../libpam-modules-bin_1.1.3-7.1_amd64.deb) ... Replacing files in old package libpam-modules ... Setting up libpam-modules-bin (1.1.3-7.1) ... (Reading database ... 7867 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-6.1+squeeze1 (using .../libpam-modules_1.1.3-7.1_amd64.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.3-7.1) ... Installing new version of config file /etc/security/group.conf ... (Reading database ... 7866 files and directories currently installed.) Preparing to replace passwd 1:4.1.4.2+svn3283-2+squeeze1 (using .../passwd_1%3a4.1.5.1-1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.5.1-1) ... (Reading database ... 7886 files and directories currently installed.) Preparing to replace libuuid1 2.17.2-9 (using .../libuuid1_2.20.1-5.3_amd64.deb) ... Unpacking replacement libuuid1 ... Setting up libuuid1 (2.20.1-5.3) ... (Reading database ... 7887 files and directories currently installed.) Preparing to replace libblkid1 2.17.2-9 (using .../libblkid1_2.20.1-5.3_amd64.deb) ... Unpacking replacement libblkid1 ... Setting up libblkid1 (2.20.1-5.3) ... (Reading database ... 7887 files and directories currently installed.) Preparing to replace libslang2 2.2.2-4 (using .../libslang2_2.2.4-15_amd64.deb) ... Unpacking replacement libslang2 ... Setting up libslang2 (2.2.4-15) ... Selecting previously deselected package libtinfo5. (Reading database ... 7885 files and directories currently installed.) Unpacking libtinfo5 (from .../libtinfo5_5.9-10_amd64.deb) ... Setting up libtinfo5 (5.9-10) ... (Reading database ... 7894 files and directories currently installed.) Preparing to replace lsb-base 3.2-23.2squeeze1 (using .../lsb-base_4.1+Debian8+deb7u1_all.deb) ... Unpacking replacement lsb-base ... Setting up lsb-base (4.1+Debian8+deb7u1) ... (Reading database ... 7896 files and directories currently installed.) Preparing to replace tzdata 2014e-0squeeze1 (using .../tzdata_2016d-0+deb7u1_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2016d-0+deb7u1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Jan 5 16:05:04 UTC 2018. Universal Time is now: Fri Jan 5 16:05:04 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Selecting previously deselected package liblzma5. (Reading database ... 7923 files and directories currently installed.) Unpacking liblzma5 (from .../liblzma5_5.1.1alpha+20120614-2_amd64.deb) ... Setting up liblzma5 (5.1.1alpha+20120614-2) ... (Reading database ... 7932 files and directories currently installed.) Preparing to replace dpkg 1.15.11 (using .../dpkg_1.16.18_amd64.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.16.18) ... (Reading database ... 7953 files and directories currently installed.) Preparing to replace util-linux 2.17.2-9 (using .../util-linux_2.20.1-5.3_amd64.deb) ... Removing obsolete conffile /etc/init.d/hwclockfirst.sh ... Unpacking replacement util-linux ... Setting up util-linux (2.20.1-5.3) ... Installing new version of config file /etc/init.d/hwclock.sh ... (Reading database ... 7948 files and directories currently installed.) Preparing to replace insserv 1.14.0-2 (using .../insserv_1.14.0-5_amd64.deb) ... Unpacking replacement insserv ... Setting up insserv (1.14.0-5) ... Installing new version of config file /etc/insserv.conf ... (Reading database ... 7938 files and directories currently installed.) Preparing to replace sysvinit-utils 2.88dsf-13.1+squeeze1 (using .../sysvinit-utils_2.88dsf-41+deb7u1_amd64.deb) ... Unpacking replacement sysvinit-utils ... Setting up sysvinit-utils (2.88dsf-41+deb7u1) ... (Reading database ... 7940 files and directories currently installed.) Preparing to replace sysv-rc 2.88dsf-13.1+squeeze1 (using .../sysv-rc_2.88dsf-41+deb7u1_all.deb) ... Unpacking replacement sysv-rc ... Setting up sysv-rc (2.88dsf-41+deb7u1) ... Selecting previously unselected package libmount1. (Reading database ... 7941 files and directories currently installed.) Unpacking libmount1 (from .../libmount1_2.20.1-5.3_amd64.deb) ... Setting up libmount1 (2.20.1-5.3) ... (Reading database ... 7947 files and directories currently installed.) Preparing to replace mount 2.17.2-9 (using .../mount_2.20.1-5.3_amd64.deb) ... Unpacking replacement mount ... Setting up mount (2.20.1-5.3) ... (Reading database ... 7949 files and directories currently installed.) Preparing to replace libattr1 1:2.4.44-2 (using .../libattr1_1%3a2.4.46-8_amd64.deb) ... Unpacking replacement libattr1:amd64 ... Setting up libattr1:amd64 (1:2.4.46-8) ... (Reading database ... 7950 files and directories currently installed.) Preparing to replace libacl1 2.2.49-4 (using .../libacl1_2.2.51-8_amd64.deb) ... Unpacking replacement libacl1:amd64 ... Setting up libacl1:amd64 (2.2.51-8) ... (Reading database ... 7950 files and directories currently installed.) Preparing to replace coreutils 8.5-1 (using .../coreutils_8.13-3.5_amd64.deb) ... Unpacking replacement coreutils ... Setting up coreutils (8.13-3.5) ... (Reading database ... 7871 files and directories currently installed.) Preparing to replace initscripts 2.88dsf-13.1+squeeze1 (using .../initscripts_2.88dsf-41+deb7u1_amd64.deb) ... Removing unmodified and obsolete conffile /etc/default/bootlogd ... Removing unmodified and obsolete conffile /etc/init.d/mountoverflowtmp ... Upgrading unmodified configuration file /etc/default/rcS ... Unpacking replacement initscripts ... Setting up initscripts (2.88dsf-41+deb7u1) ... Installing new version of config file /etc/init.d/bootlogs ... Installing new version of config file /etc/init.d/bootmisc.sh ... Installing new version of config file /etc/init.d/checkfs.sh ... Installing new version of config file /etc/init.d/checkroot.sh ... Installing new version of config file /etc/init.d/mountall.sh ... Installing new version of config file /etc/init.d/mountall-bootclean.sh ... Installing new version of config file /etc/init.d/mountnfs.sh ... Installing new version of config file /etc/init.d/mountnfs-bootclean.sh ... Installing new version of config file /etc/init.d/mountdevsubfs.sh ... Installing new version of config file /etc/init.d/mountkernfs.sh ... Installing new version of config file /etc/init.d/mtab.sh ... Installing new version of config file /etc/init.d/rc.local ... Installing new version of config file /etc/init.d/sendsigs ... Installing new version of config file /etc/init.d/umountfs ... Installing new version of config file /etc/init.d/umountnfs.sh ... Installing new version of config file /etc/init.d/umountroot ... Installing new version of config file /etc/init.d/urandom ... Installing new version of config file /etc/default/tmpfs ... Installing new version of config file /etc/network/if-up.d/mountnfs ... guest environment detected: Linking /run to /var/run guest environment detected: Linking /run/lock to /var/lock guest environment detected: Linking /run/shm to /dev/shm (Reading database ... 7871 files and directories currently installed.) Preparing to replace base-files 6.0squeeze10 (using .../base-files_7.1wheezy11_amd64.deb) ... Unpacking replacement base-files ... Setting up base-files (7.1wheezy11) ... Installing new version of config file /etc/debian_version ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Updating /etc/profile to current default. (Reading database ... 7874 files and directories currently installed.) Preparing to replace bash 4.1-3 (using .../bash_4.2+dfsg-0.1+deb7u3_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.2+dfsg-0.1+deb7u3) ... Installing new version of config file /etc/skel/.bashrc ... Installing new version of config file /etc/bash.bashrc ... 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 ... 7877 files and directories currently installed.) Preparing to replace dash 0.5.5.1-7.4 (using .../dash_0.5.7-3_amd64.deb) ... Unpacking replacement dash ... Setting up dash (0.5.7-3) ... (Reading database ... 7877 files and directories currently installed.) Preparing to replace diffutils 1:3.0-1 (using .../diffutils_1%3a3.2-6_amd64.deb) ... Unpacking replacement diffutils ... Setting up diffutils (1:3.2-6) ... (Reading database ... 7878 files and directories currently installed.) Preparing to replace libcomerr2 1.41.12-4stable1 (using .../libcomerr2_1.42.5-1.1+deb7u1_amd64.deb) ... Unpacking replacement libcomerr2:amd64 ... Setting up libcomerr2:amd64 (1.42.5-1.1+deb7u1) ... (Reading database ... 7878 files and directories currently installed.) Preparing to replace e2fslibs 1.41.12-4stable1 (using .../e2fslibs_1.42.5-1.1+deb7u1_amd64.deb) ... Unpacking replacement e2fslibs:amd64 ... Setting up e2fslibs:amd64 (1.42.5-1.1+deb7u1) ... (Reading database ... 7878 files and directories currently installed.) Preparing to replace e2fsprogs 1.41.12-4stable1 (using .../e2fsprogs_1.42.5-1.1+deb7u1_amd64.deb) ... Unpacking replacement e2fsprogs ... Setting up e2fsprogs (1.42.5-1.1+deb7u1) ... Installing new version of config file /etc/mke2fs.conf ... (Reading database ... 7874 files and directories currently installed.) Preparing to replace findutils 4.4.2-1+b1 (using .../findutils_4.4.2-4_amd64.deb) ... Unpacking replacement findutils ... Setting up findutils (4.4.2-4) ... (Reading database ... 7874 files and directories currently installed.) Preparing to replace grep 2.6.3-3+squeeze1 (using .../archives/grep_2.12-2_amd64.deb) ... Unpacking replacement grep ... Setting up grep (2.12-2) ... (Reading database ... 7874 files and directories currently installed.) Preparing to replace gzip 1.3.12-9+squeeze1 (using .../gzip_1.5-1.1_amd64.deb) ... Unpacking replacement gzip ... Setting up gzip (1.5-1.1) ... (Reading database ... 7874 files and directories currently installed.) Preparing to replace hostname 3.04 (using .../hostname_3.11_amd64.deb) ... Unpacking replacement hostname ... Setting up hostname (3.11) ... (Reading database ... 7873 files and directories currently installed.) Preparing to replace login 1:4.1.4.2+svn3283-2+squeeze1 (using .../login_1%3a4.1.5.1-1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.5.1-1) ... Installing new version of config file /etc/pam.d/login ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/securetty ... (Reading database ... 7888 files and directories currently installed.) Preparing to replace ncurses-bin 5.7+20100313-5 (using .../ncurses-bin_5.9-10_amd64.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9-10) ... (Reading database ... 7890 files and directories currently installed.) Preparing to replace libtext-charwidth-perl 0.04-6 (using .../libtext-charwidth-perl_0.04-7+b1_amd64.deb) ... Unpacking replacement libtext-charwidth-perl ... Preparing to replace libtext-iconv-perl 1.7-2 (using .../libtext-iconv-perl_1.7-5_amd64.deb) ... Unpacking replacement libtext-iconv-perl ... Preparing to replace perl-base 5.10.1-17squeeze6 (using .../perl-base_5.14.2-21+deb7u3_amd64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-21+deb7u3) ... (Reading database ... 8319 files and directories currently installed.) Preparing to replace liblocale-gettext-perl 1.05-6 (using .../liblocale-gettext-perl_1.05-7+b1_amd64.deb) ... Unpacking replacement liblocale-gettext-perl ... Preparing to replace sed 4.2.1-7 (using .../sed_4.2.1-10_amd64.deb) ... Unpacking replacement sed ... Setting up sed (4.2.1-10) ... (Reading database ... 8319 files and directories currently installed.) Preparing to replace sysvinit 2.88dsf-13.1+squeeze1 (using .../sysvinit_2.88dsf-41+deb7u1_amd64.deb) ... Unpacking replacement sysvinit ... Setting up sysvinit (2.88dsf-41+deb7u1) ... Not restarting sysvinit (Reading database ... 8319 files and directories currently installed.) Preparing to replace tar 1.23-3 (using .../tar_1.26+dfsg-0.1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.26+dfsg-0.1) ... (Reading database ... 8320 files and directories currently installed.) Preparing to replace base-passwd 3.5.22 (using .../base-passwd_3.5.26_amd64.deb) ... Unpacking replacement base-passwd ... Setting up base-passwd (3.5.26) ... (Reading database ... 8322 files and directories currently installed.) Preparing to replace bsdutils 1:2.17.2-9 (using .../bsdutils_1%3a2.20.1-5.3_amd64.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.20.1-5.3) ... (Reading database ... 8322 files and directories currently installed.) Preparing to replace ncurses-base 5.7+20100313-5 (using .../ncurses-base_5.9-10_all.deb) ... Unpacking replacement ncurses-base ... Setting up ncurses-base (5.9-10) ... Installing new version of config file /etc/terminfo/README ... (Reading database ... 8324 files and directories currently installed.) Preparing to replace libstdc++6 4.4.5-8 (using .../libstdc++6_4.7.2-5_amd64.deb) ... Unpacking replacement libstdc++6:amd64 ... Setting up libstdc++6:amd64 (4.7.2-5) ... (Reading database ... 8324 files and directories currently installed.) Preparing to replace zlib1g 1:1.2.3.4.dfsg-3 (using .../zlib1g_1%3a1.2.7.dfsg-13_amd64.deb) ... Unpacking replacement zlib1g:amd64 ... Setting up zlib1g:amd64 (1:1.2.7.dfsg-13) ... (Reading database ... 8324 files and directories currently installed.) Preparing to replace gpgv 1.4.10-4+squeeze4 (using .../gpgv_1.4.12-7+deb7u7_amd64.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.12-7+deb7u7) ... (Reading database ... 8324 files and directories currently installed.) Preparing to replace debian-archive-keyring 2010.08.28+squeeze1 (using .../debian-archive-keyring_2014.3~deb7u1_all.deb) ... Unpacking replacement debian-archive-keyring ... Setting up debian-archive-keyring (2014.3~deb7u1) ... (Reading database ... 8331 files and directories currently installed.) Preparing to replace readline-common 6.1-3 (using .../readline-common_6.2+dfsg-0.1_all.deb) ... Unpacking replacement readline-common ... Setting up readline-common (6.2+dfsg-0.1) ... (Reading database ... 8330 files and directories currently installed.) Preparing to replace libreadline6 6.1-3 (using .../libreadline6_6.2+dfsg-0.1_amd64.deb) ... Unpacking replacement libreadline6:amd64 ... Setting up libreadline6:amd64 (6.2+dfsg-0.1) ... (Reading database ... 8330 files and directories currently installed.) Preparing to replace libusb-0.1-4 2:0.1.12-16 (using .../libusb-0.1-4_2%3a0.1.12-20+nmu1_amd64.deb) ... Unpacking replacement libusb-0.1-4:amd64 ... Setting up libusb-0.1-4:amd64 (2:0.1.12-20+nmu1) ... (Reading database ... 8329 files and directories currently installed.) Preparing to replace gnupg 1.4.10-4+squeeze4 (using .../gnupg_1.4.12-7+deb7u7_amd64.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.12-7+deb7u7) ... Selecting previously unselected package libapt-pkg4.12:amd64. dpkg: considering deconfiguration of apt, which would be broken by installation of libapt-pkg4.12:amd64 ... dpkg: yes, will deconfigure apt (broken by libapt-pkg4.12:amd64) (Reading database ... 8318 files and directories currently installed.) Unpacking libapt-pkg4.12:amd64 (from .../libapt-pkg4.12_0.9.7.9+deb7u7_amd64.deb) ... De-configuring apt ... Setting up libapt-pkg4.12:amd64 (0.9.7.9+deb7u7) ... (Reading database ... 8366 files and directories currently installed.) Preparing to replace apt 0.8.10.3+squeeze1 (using .../apt_0.9.7.9+deb7u7_amd64.deb) ... Unpacking replacement apt ... Setting up apt (0.9.7.9+deb7u7) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... Installing new version of config file /etc/cron.daily/apt ... gpg: key B98321F9: "Squeeze Stable Release Key " not changed gpg: key 473041FA: "Debian Archive Automatic Signing Key (6.0/squeeze) " not changed gpg: key 65FFB764: "Wheezy Stable Release Key " not changed gpg: key 46925553: "Debian Archive Automatic Signing Key (7.0/wheezy) " not changed gpg: key 518E17E1: "Jessie Stable Release Key " not changed gpg: key 2B90D010: "Debian Archive Automatic Signing Key (8/jessie) " not changed gpg: key C857C906: "Debian Security Archive Automatic Signing Key (8/jessie) " not changed gpg: Total number processed: 7 gpg: unchanged: 7 gpg: checking the trustdb gpg: WARNING: digest algorithm MD5 is deprecated gpg: please see http://www.gnupg.org/faq/weak-digest-algos.html for more information gpg: no ultimately trusted keys found (Reading database ... 8277 files and directories currently installed.) Preparing to replace libncurses5 5.7+20100313-5 (using .../libncurses5_5.9-10_amd64.deb) ... Unpacking replacement libncurses5:amd64 ... Setting up libncurses5:amd64 (5.9-10) ... (Reading database ... 8269 files and directories currently installed.) Preparing to replace libss2 1.41.12-4stable1 (using .../libss2_1.42.5-1.1+deb7u1_amd64.deb) ... Unpacking replacement libss2:amd64 ... Setting up libss2:amd64 (1.42.5-1.1+deb7u1) ... (Reading database ... 8269 files and directories currently installed.) Preparing to replace libgdbm3 1.8.3-9 (using .../libgdbm3_1.8.3-11_amd64.deb) ... Unpacking replacement libgdbm3:amd64 ... Selecting previously unselected package libncursesw5:amd64. Unpacking libncursesw5:amd64 (from .../libncursesw5_5.9-10_amd64.deb) ... Preparing to replace mawk 1.3.3-15 (using .../mawk_1.3.3-17_amd64.deb) ... Unpacking replacement mawk ... 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) ... Preparing to replace ucf 3.0025+nmu1 (using .../ucf_3.0025+nmu3_all.deb) ... Unpacking replacement ucf ... 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) ... Preparing to replace libpam-runtime 1.1.1-6.1+squeeze1 (using .../libpam-runtime_1.1.3-7.1_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.3-7.1) ... (Reading database ... 9800 files and directories currently installed.) Preparing to replace xz-utils 5.0.0-2 (using .../xz-utils_5.1.1alpha+20120614-2_amd64.deb) ... Unpacking replacement xz-utils ... Setting up xz-utils (5.1.1alpha+20120614-2) ... update-alternatives: using /usr/bin/xz to provide /usr/bin/lzma (lzma) in auto mode (Reading database ... 9802 files and directories currently installed.) Preparing to replace adduser 3.112+nmu2 (using .../adduser_3.113+nmu3_all.deb) ... Unpacking replacement adduser ... Preparing to replace bsdmainutils 8.0.13 (using .../bsdmainutils_9.0.3_amd64.deb) ... Unpacking replacement bsdmainutils ... Preparing to replace debconf-i18n 1.5.36.1 (using .../debconf-i18n_1.5.49_all.deb) ... Unpacking replacement debconf-i18n ... 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) ... Preparing to replace libwhy-coq 2.26+dfsg-2+squeeze1 (using .../libwhy-coq_2.30+dfsg-5_all.deb) ... Unpacking replacement libwhy-coq ... Preparing to replace coq 8.2.pl2+dfsg-1 (using .../coq_8.3.pl4+dfsg-2_amd64.deb) ... Unpacking replacement coq ... Preparing to replace coq-theories 8.2.pl2+dfsg-1 (using .../coq-theories_8.3.pl4+dfsg-2_all.deb) ... Unpacking replacement coq-theories ... Preparing to replace emacsen-common 1.4.22 (using .../emacsen-common_2.0.5_all.deb) ... emacsen-common: Handling removal of emacsen flavor emacs Unpacking replacement emacsen-common ... Preparing to replace ocaml-base-nox 3.11.2-2 (using .../ocaml-base-nox_3.12.1-4_amd64.deb) ... Unpacking replacement ocaml-base-nox ... 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) ... Preparing to replace gcc-4.4-base 4.4.5-8 (using .../gcc-4.4-base_4.4.7-2_amd64.deb) ... Unpacking replacement gcc-4.4-base:amd64 ... Setting up libtext-charwidth-perl (0.04-7+b1) ... Setting up libtext-iconv-perl (1.7-5) ... Setting up liblocale-gettext-perl (1.05-7+b1) ... Setting up libgdbm3:amd64 (1.8.3-11) ... Setting up libncursesw5:amd64 (5.9-10) ... Setting up mawk (1.3.3-17) ... 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 ucf (3.0025+nmu3) ... 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 adduser (3.113+nmu3) ... Installing new version of config file /etc/deluser.conf ... Setting up bsdmainutils (9.0.3) ... Installing new version of config file /etc/cron.daily/bsdmainutils ... Setting up debconf-i18n (1.5.49) ... 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) ... Installing new version of config file /etc/emacs/site-start.el ... Setting up ocaml-base-nox (3.12.1-4) ... Setting up libglade2-0 (1:2.6.4-1) ... Setting up gcc-4.4-base:amd64 (4.4.7-2) ... 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 coq-theories (8.3.pl4+dfsg-2) ... Setting up coq (8.3.pl4+dfsg-2) ... Install coq for emacs Setting up libwhy-coq (2.30+dfsg-5) ... 0m41.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-yf', 'dist-upgrade'] 0m41.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m43.0s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m43.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m43.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'show', 'libwhy-coq'] 0m43.0s DUMP: Package: libwhy-coq Source: why Version: 2.30+dfsg-5 Installed-Size: 903 Maintainer: Debian OCaml Maintainers Architecture: all Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.3pl4+3.12.1 Description: Why library for Coq Homepage: http://why.lri.fr/ Description-md5: 4954b9c0fd1ffba617423e3142a29a95 Tag: devel::library, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/w/why/libwhy-coq_2.30+dfsg-5_all.deb Size: 417300 MD5sum: a5bd95d569bef816db5fa035c954293d SHA1: 8c75bf78f0278ce006986ca5f35c7c9a4830c17c SHA256: c42a5f842ea00f758bb1a2c4c26f7eccccdcf2827a8f41560a169f879c0663ba 0m43.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'show', 'libwhy-coq'] 0m43.0s INFO: apt-cache knows about the following packages: libwhy-coq 0m43.0s INFO: Running scripts pre_install 0m43.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m43.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m43.1s DUMP: libwhy-coq: Installed: 2.30+dfsg-5 Candidate: 2.30+dfsg-5 Version table: *** 2.30+dfsg-5 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m43.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m43.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq'] 0m43.3s DUMP: Reading package lists... Building dependency tree... Reading state information... libwhy-coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m43.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq'] 0m43.3s INFO: Running scripts post_install 0m43.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m43.4s INFO: Running scripts post_distupgrade 0m43.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m43.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_exceptions'] 0m43.4s DUMP: FIXING /usr/share/keyrings/debian-archive-removed-keys.gpg~ `/usr/share/keyrings/debian-archive-removed-keys.gpg~' -> `/usr/share/keyrings/debian-archive-removed-keys.gpg' 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_exceptions'] 0m43.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m43.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m43.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_zz_backports'] 0m43.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_distupgrade_zz_backports'] 0m43.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m43.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m43.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m44.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m44.3s INFO: Running scripts pre_install 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_database-server'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_exceptions'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_extras'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m44.3s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages release v=7.11,o=Debian,a=oldoldstable,n=wheezy,l=Debian,c=main origin mirror-ubc.debian.org Pinned packages: 0m44.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy'] 0m44.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m44.4s DUMP: libwhy-coq: Installed: 2.30+dfsg-5 Candidate: 2.30+dfsg-5 Version table: *** 2.30+dfsg-5 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 0m44.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-cache', 'policy', 'libwhy-coq'] 0m44.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq=2.30+dfsg-5'] 0m44.6s DUMP: Reading package lists... Building dependency tree... Reading state information... libwhy-coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m44.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', '-y', 'install', 'libwhy-coq=2.30+dfsg-5'] 0m44.6s INFO: Running scripts post_install 0m44.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m44.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_install_exceptions'] 0m44.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m45.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m45.1s 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+deb7u3 install ok installed bsdmainutils bsdmainutils 9.0.3 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 install ok installed fontconfig-config fontconfig-config 2.9.0-7.1 install ok installed gcc-4.4-base:amd64 gcc-4.4-base 4.4.7-2 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 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+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcairo2:amd64 libcairo2 1.12.2-3 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+deb7u6 install ok installed libdatrie1:amd64 libdatrie1 0.2.5-3 install ok installed libdb4.8 libdb4.8 4.8.30-2 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 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+deb7u2 install ok installed libffi5:amd64 libffi5 3.0.10-3 install ok installed libfontconfig1:amd64 libfontconfig1 2.9.0-7.1 install ok installed libfreetype6:amd64 libfreetype6 2.4.9-1.1+deb7u3 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libgcrypt11:amd64 libgcrypt11 1.5.0-5+deb7u4 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+deb7u3 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.26.1-1+deb7u3 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+deb7u7 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+deb7u4 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+deb7u7 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.5-3+deb7u1 install ok installed libkrb5-3:amd64 libkrb5-3 1.10.1+dfsg-5+deb7u7 install ok installed libkrb5support0:amd64 libkrb5support0 1.10.1+dfsg-5+deb7u7 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 liblzma2 liblzma2 5.0.0-2 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+deb7u2 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 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 libwhy-coq libwhy-coq 2.30+dfsg-5 install ok installed libx11-6:amd64 libx11-6 2:1.5.0-1+deb7u2 install ok installed libx11-data libx11-data 2:1.5.0-1+deb7u2 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+deb7u1 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+deb7u1 install ok installed libxft2:amd64 libxft2 2.3.1-1 install ok installed libxi6:amd64 libxi6 2:1.6.1-1+deb7u1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.2-1+deb7u1 install ok installed libxml2:amd64 libxml2 2.8.0+dfsg1-7+wheezy5 install ok installed libxrandr2:amd64 libxrandr2 2:1.3.2-2+deb7u1 install ok installed libxrender1:amd64 libxrender1 1:0.9.7-1+deb7u2 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 ocaml-base-nox ocaml-base-nox 3.12.1-4 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 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 install ok installed ttf-dejavu-core ttf-dejavu-core 2.33-3 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 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m46.0s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', '-ac', '--ignore-obsolete'] 0m47.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', '-ac', '--ignore-obsolete'] 0m47.8s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m47.8s DUMP: 0.15.1 0m47.8s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m47.8s INFO: Running adequate version 0.15.1 now. 0m47.8s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'libwhy-coq'] 0m47.9s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'libwhy-coq'] 0m47.9s INFO: Running scripts pre_remove 0m47.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m48.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m48.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_exceptions'] 0m49.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/pre_remove_exceptions'] 0m49.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'gcc-4.4-base:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'bsdmainutils', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libavahi-client3:amd64', 'libtiff4:amd64', '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', 'libgnutls26: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', 'libdb4.8', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'libwhy-coq'] 0m50.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: aspell aspell-en bsdmainutils coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config gcc-4.4-base libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdb4.8 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 libwhy-coq 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, 80 to remove and 0 not upgraded. After this operation, 302 MB disk space will be freed. (Reading database ... 10516 files and directories currently installed.) Removing libwhy-coq ... Removing bsdmainutils ... Removing gcc-4.4-base:amd64 ... Removing libdb4.8 ... 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 libxft2:amd64 ... Removing libcairo2: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 shared-mime-info ... Removing libgdk-pixbuf2.0-0:amd64 ... 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 libxinerama1:amd64 ... Removing libxi6:amd64 ... Removing libxdamage1:amd64 ... Removing libxfixes3: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 ... 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'gcc-4.4-base:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'bsdmainutils', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libavahi-client3:amd64', 'libtiff4:amd64', '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', 'libgnutls26: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', 'libdb4.8', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'libwhy-coq'] 0m50.3s INFO: Running scripts post_remove 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_remove_exceptions'] 0m50.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_remove_exceptions'] 0m50.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'gcc-4.4-base:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'bsdmainutils', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libavahi-client3:amd64', 'libtiff4:amd64', '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', 'libgnutls26: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', 'libdb4.8', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 0m50.7s DUMP: dpkg: warning: ignoring request to remove libx11-data which isn't installed (Reading database ... 6833 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 gcc-4.4-base which isn't installed 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 bsdmainutils ... Purging configuration files for bsdmainutils ... 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 libavahi-client3:amd64 ... Purging configuration files for libavahi-client3:amd64 ... Removing libtiff4:amd64 ... Purging configuration files for libtiff4:amd64 ... 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 libgnutls26:amd64 ... Purging configuration files for libgnutls26: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 ... dpkg: warning: ignoring request to remove libdb4.8 which isn't installed Removing libxcb-render0:amd64 ... Purging configuration files for libxcb-render0:amd64 ... Removing libp11-kit0:amd64 ... Purging configuration files for libp11-kit0:amd64 ... 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'gcc-4.4-base:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'bsdmainutils', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libavahi-client3:amd64', 'libtiff4:amd64', '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', 'libgnutls26: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', 'libdb4.8', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', 'libwhy-coq'] 0m50.7s DUMP: dpkg: warning: ignoring request to remove libwhy-coq which isn't installed 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', 'libwhy-coq'] 0m50.7s INFO: Running scripts post_purge 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_purge_exceptions'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_purge_exceptions'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', '--pending'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--purge', '--pending'] 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--remove', '--pending'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg', '--remove', '--pending'] 0m50.7s INFO: Running scripts post_test 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_test_exceptions'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'tmp/scripts/post_test_exceptions'] 0m50.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m50.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m50.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-divert', '--list'] 0m50.9s 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 diversion of /bin/sh to /bin/sh.distrib by dash 0m50.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'dpkg-divert', '--list'] 0m50.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'clean'] 0m51.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpXbEG1t', 'apt-get', 'clean'] 0m51.0s DEBUG: Recording chroot state 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/shm'] 0m52.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/shm'] 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/console'] 0m52.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/console'] 0m52.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/ptmx'] 0m52.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/ptmx'] 0m52.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts'] 0m52.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/dev/pts'] 0m52.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/proc'] 0m52.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpXbEG1t/proc'] 0m52.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m52.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpXbEG1t'] 0m52.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpXbEG1t 0m52.2s INFO: PASS: Upgrading between Debian distributions. 0m52.2s INFO: PASS: All tests. 0m52.2s INFO: piuparts run ends. ret=0 End: 2018-01-05 16:05:31 UTC