Start: 2018-10-18 09:04:45 UTC [squeeze] Package: coq Priority: optional Section: math Installed-Size: 52460 Maintainer: Debian OCaml Maintainers Architecture: amd64 Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.2.pl2+3.11.2 Depends: coq-theories (= 8.2.pl2+dfsg-1), emacsen-common, ocaml-base-nox-3.11.2, libc6 (>= 2.7) Recommends: coqide | proofgeneral-coq Suggests: ocaml-nox, proofgeneral-coq, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq_8.2.pl2+dfsg-1_amd64.deb Size: 15354950 MD5sum: 140feb97b61e674b94a3ae4474e537b0 SHA1: fb335562adda3353fbf5c54675c7a85f3d345a21 SHA256: 113112bac64002428b44096e90af97627b4c7fff0a80c7a2536edfb3e179747f Description: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed. Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses [wheezy-lts] Package: coq Version: 8.3.pl4+dfsg-2 Installed-Size: 18455 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.3pl4+3.12.1 Depends: coq-theories (= 8.3.pl4+dfsg-2), emacsen-common, libcoq-ocaml-j25h3, ocaml-base-nox-3.12.1, libc6 (>= 2.7) Recommends: coqide | proofgeneral Suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.3.pl4+dfsg-2_amd64.deb Size: 5687430 MD5sum: d12a66bb0218f37334480b39399764ae SHA1: 77290ca5dd34b88228ff93a2fbbbe4dbf6dfb118 SHA256: 98cd47e5126b0071e5ef53d455f6bb7624d130dae3308cfa6b9abd3363b9562b Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --scriptsdir /etc/piuparts/scripts-wheezy --skip-logrotatefiles-test --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-lts -B reference-chroot-metadata.dat --apt coq=8.3.pl4+dfsg-2 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 0.93~201810170933~0.92-62-gb970f16d starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --scriptsdir /etc/piuparts/scripts-wheezy --skip-logrotatefiles-test --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-lts -B reference-chroot-metadata.dat --apt coq=8.3.pl4+dfsg-2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-8-amd64 #1 SMP Debian 4.9.110-3+deb9u6 (2018-10-08) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpqBwUB7 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpqBwUB7 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m3.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m3.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/proc'] 0m3.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/proc'] 0m3.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts'] 0m3.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts'] 0m3.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/ptmx'] 0m3.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/ptmx'] 0m3.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/console'] 0m3.6s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/3', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/console'] 0m3.6s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/shm'] 0m3.6s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/shm'] 0m3.6s DEBUG: sources.list: deb http://archive.debian.org/debian squeeze main 0m3.8s DEBUG: Created policy-rc.d and chmodded it. 0m3.9s DEBUG: Created resolv.conf. 0m3.9s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpqBwUB7/tmp/scripts/ 0m4.0s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpqBwUB7/tmp/scripts/ 0m4.0s INFO: Running scripts post_chroot_unpack 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m4.0s DUMP: Creating /etc/apt/apt.conf.d/unauthenticated-squeeze ... # The squeeze signing key has expired. APT::Get::AllowUnauthenticated "true"; # The Release file is not getting updated. Acquire::Check-Valid-Until "false"; 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'update'] 0m4.1s 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 Ign http://archive.debian.org squeeze Release Hit http://archive.debian.org squeeze/main amd64 Packages Reading package lists... W: GPG error: http://archive.debian.org squeeze Release: The following signatures were invalid: KEYEXPIRED 1520281423 KEYEXPIRED 1501892461 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'update'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-yf', 'dist-upgrade'] 0m4.4s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-yf', 'dist-upgrade'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.6s DUMP: 6a0e4d3b374fdc6be02fc5f39fbf3166 - 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.6s INFO: Running scripts post_setup 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_dummy_users'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_dummy_users'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_forbid_home'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_forbid_home'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m6.3s 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. WARNING: The following packages cannot be authenticated! adduser ucf Authentication warning overridden. 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 (21.7 MB/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) ... 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_setup_zz_backports'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s 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 0m6.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m6.3s DEBUG: Loading chroot meta data from reference-chroot-metadata.dat 0m7.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 0m7.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 0m7.8s INFO: Running scripts is_testable 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/is_testable_uninstallable'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/is_testable_uninstallable'] 0m7.8s INFO: Running scripts pre_test 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_test_exceptions'] 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_test_exceptions'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_test_root_password'] 0m7.8s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_test_root_password'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m7.9s DUMP: Package: coq Priority: optional Section: math Installed-Size: 52460 Maintainer: Debian OCaml Maintainers Architecture: amd64 Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.2.pl2+3.11.2 Depends: coq-theories (= 8.2.pl2+dfsg-1), emacsen-common, ocaml-base-nox-3.11.2, libc6 (>= 2.7) Recommends: coqide | proofgeneral-coq Suggests: ocaml-nox, proofgeneral-coq, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq_8.2.pl2+dfsg-1_amd64.deb Size: 15354950 MD5sum: 140feb97b61e674b94a3ae4474e537b0 SHA1: fb335562adda3353fbf5c54675c7a85f3d345a21 SHA256: 113112bac64002428b44096e90af97627b4c7fff0a80c7a2536edfb3e179747f Description: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed. Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m7.9s INFO: apt-cache knows about the following packages: coq 0m7.9s INFO: Running scripts pre_install 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 0m8.0s 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: 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 0m8.0s DUMP: coq: Installed: (none) Candidate: 8.2.pl2+dfsg-1 Version table: 8.2.pl2+dfsg-1 0 500 http://archive.debian.org/debian/ squeeze/main amd64 Packages 0m8.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 0m8.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq'] 0m11.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils 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 ocaml-base-nox 0 upgraded, 6 newly installed, 0 to remove and 0 not upgraded. Need to get 34.7 MB of archives. After this operation, 117 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! bsdmainutils libgdbm3 coq-theories emacsen-common ocaml-base-nox coq Authentication warning overridden. 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] debconf: delaying package configuration, since apt-utils is not installed Fetched 34.7 MB in 0s (39.0 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) ... 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 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq'] 0m11.5s INFO: Running scripts post_install 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 0m11.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 0m12.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 0m12.2s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpqBwUB7 to wheezy-lts 0m12.2s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main deb http://security.debian.org wheezy/updates main 0m12.2s INFO: Running scripts pre_distupgrade 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m12.2s DUMP: removed `/etc/apt/apt.conf.d/unauthenticated-squeeze' 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_exceptions'] 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_exceptions'] 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m12.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m12.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_wheezy'] 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_wheezy'] 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'update'] 0m14.8s 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] Get:4 http://security.debian.org wheezy/updates Release.gpg [1601 B] Ign http://security.debian.org/ wheezy/updates/main Translation-en Get:5 http://security.debian.org wheezy/updates Release [52.3 kB] Get:6 http://security.debian.org wheezy/updates/main amd64 Packages [743 kB] Fetched 8624 kB in 1s (6380 kB/s) Reading package lists... W: There is no public key available for the following key IDs: 7638D0442B90D010 W: There is no public key available for the following key IDs: 9D6D8F6BC857C906 0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'update'] 0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-yf', 'dist-upgrade'] 1m1.7s 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 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 74 upgraded, 82 newly installed, 0 to remove and 0 not upgraded. Need to get 122 MB of archives. After this operation, 180 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main debianutils amd64 4.3.2 [78.9 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main gcc-4.7-base amd64 4.7.2-5 [144 kB] Get:3 http://mirror-ubc.debian.org/debian/ wheezy/main libgcc1 amd64 1:4.7.2-5 [43.1 kB] Get:4 http://mirror-ubc.debian.org/debian/ wheezy/main libsemanage-common all 2.1.6-6 [23.2 kB] Get:5 http://mirror-ubc.debian.org/debian/ wheezy/main libsepol1 amd64 2.1.4-3 [135 kB] Get:6 http://mirror-ubc.debian.org/debian/ wheezy/main libustr-1.0-1 amd64 1.0.4-3 [92.5 kB] Get:7 http://mirror-ubc.debian.org/debian/ wheezy/main libbz2-1.0 amd64 1.0.6-4 [46.5 kB] Get:8 http://mirror-ubc.debian.org/debian/ wheezy/main libselinux1 amd64 2.1.9-5 [90.6 kB] Get:9 http://mirror-ubc.debian.org/debian/ wheezy/main libsemanage1 amd64 2.1.6-6 [102 kB] Get:10 http://mirror-ubc.debian.org/debian/ wheezy/main debconf all 1.5.49 [171 kB] Get:11 http://mirror-ubc.debian.org/debian/ wheezy/main libpam0g amd64 1.1.3-7.1 [128 kB] Get:12 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-modules-bin amd64 1.1.3-7.1 [113 kB] Get:13 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-modules amd64 1.1.3-7.1 [348 kB] Get:14 http://mirror-ubc.debian.org/debian/ wheezy/main libuuid1 amd64 2.20.1-5.3 [57.1 kB] Get:15 http://mirror-ubc.debian.org/debian/ wheezy/main libblkid1 amd64 2.20.1-5.3 [120 kB] Get:16 http://mirror-ubc.debian.org/debian/ wheezy/main libslang2 amd64 2.2.4-15 [551 kB] Get:17 http://mirror-ubc.debian.org/debian/ wheezy/main libtinfo5 amd64 5.9-10 [275 kB] Get:18 http://mirror-ubc.debian.org/debian/ wheezy/main lsb-base all 4.1+Debian8+deb7u1 [26.8 kB] Get:19 http://mirror-ubc.debian.org/debian/ wheezy/main liblzma5 amd64 5.1.1alpha+20120614-2 [202 kB] Get:20 http://mirror-ubc.debian.org/debian/ wheezy/main dpkg amd64 1.16.18 [2665 kB] Get:21 http://security.debian.org/ wheezy/updates/main sensible-utils all 0.0.7+deb7u1 [9000 B] Get:22 http://security.debian.org/ wheezy/updates/main libc-bin amd64 2.13-38+deb7u12 [1275 kB] Get:23 http://mirror-ubc.debian.org/debian/ wheezy/main util-linux amd64 2.20.1-5.3 [659 kB] Get:24 http://mirror-ubc.debian.org/debian/ wheezy/main insserv amd64 1.14.0-5 [64.8 kB] Get:25 http://mirror-ubc.debian.org/debian/ wheezy/main sysvinit-utils amd64 2.88dsf-41+deb7u1 [100 kB] Get:26 http://mirror-ubc.debian.org/debian/ wheezy/main sysv-rc all 2.88dsf-41+deb7u1 [81.8 kB] Get:27 http://mirror-ubc.debian.org/debian/ wheezy/main libmount1 amd64 2.20.1-5.3 [120 kB] Get:28 http://mirror-ubc.debian.org/debian/ wheezy/main mount amd64 2.20.1-5.3 [213 kB] Get:29 http://mirror-ubc.debian.org/debian/ wheezy/main libattr1 amd64 1:2.4.46-8 [19.8 kB] Get:30 http://mirror-ubc.debian.org/debian/ wheezy/main libacl1 amd64 2.2.51-8 [30.1 kB] Get:31 http://mirror-ubc.debian.org/debian/ wheezy/main coreutils amd64 8.13-3.5 [5628 kB] Get:32 http://mirror-ubc.debian.org/debian/ wheezy/main initscripts amd64 2.88dsf-41+deb7u1 [91.8 kB] Get:33 http://mirror-ubc.debian.org/debian/ wheezy/main base-files amd64 7.1wheezy11 [67.1 kB] Get:34 http://mirror-ubc.debian.org/debian/ wheezy/main dash amd64 0.5.7-3 [113 kB] Get:35 http://mirror-ubc.debian.org/debian/ wheezy/main diffutils amd64 1:3.2-6 [366 kB] Get:36 http://mirror-ubc.debian.org/debian/ wheezy/main libcomerr2 amd64 1.42.5-1.1+deb7u1 [56.1 kB] Get:37 http://mirror-ubc.debian.org/debian/ wheezy/main e2fslibs amd64 1.42.5-1.1+deb7u1 [197 kB] Get:38 http://mirror-ubc.debian.org/debian/ wheezy/main e2fsprogs amd64 1.42.5-1.1+deb7u1 [979 kB] Get:39 http://mirror-ubc.debian.org/debian/ wheezy/main findutils amd64 4.4.2-4 [694 kB] Get:40 http://mirror-ubc.debian.org/debian/ wheezy/main grep amd64 2.12-2 [454 kB] Get:41 http://security.debian.org/ wheezy/updates/main libc6 amd64 2.13-38+deb7u12 [4226 kB] Get:42 http://mirror-ubc.debian.org/debian/ wheezy/main gzip amd64 1.5-1.1 [119 kB] Get:43 http://mirror-ubc.debian.org/debian/ wheezy/main hostname amd64 3.11 [15.0 kB] Get:44 http://mirror-ubc.debian.org/debian/ wheezy/main ncurses-bin amd64 5.9-10 [335 kB] Get:45 http://mirror-ubc.debian.org/debian/ wheezy/main libtext-charwidth-perl amd64 0.04-7+b1 [11.2 kB] Get:46 http://mirror-ubc.debian.org/debian/ wheezy/main libtext-iconv-perl amd64 1.7-5 [17.6 kB] Get:47 http://mirror-ubc.debian.org/debian/ wheezy/main liblocale-gettext-perl amd64 1.05-7+b1 [20.4 kB] Get:48 http://mirror-ubc.debian.org/debian/ wheezy/main sed amd64 4.2.1-10 [251 kB] Get:49 http://mirror-ubc.debian.org/debian/ wheezy/main sysvinit amd64 2.88dsf-41+deb7u1 [133 kB] Get:50 http://mirror-ubc.debian.org/debian/ wheezy/main base-passwd amd64 3.5.26 [46.3 kB] Get:51 http://mirror-ubc.debian.org/debian/ wheezy/main bsdutils amd64 1:2.20.1-5.3 [85.5 kB] Get:52 http://mirror-ubc.debian.org/debian/ wheezy/main ncurses-base all 5.9-10 [198 kB] Get:53 http://mirror-ubc.debian.org/debian/ wheezy/main libstdc++6 amd64 4.7.2-5 [332 kB] Get:54 http://mirror-ubc.debian.org/debian/ wheezy/main zlib1g amd64 1:1.2.7.dfsg-13 [87.4 kB] Get:55 http://mirror-ubc.debian.org/debian/ wheezy/main debian-archive-keyring all 2014.3~deb7u1 [60.7 kB] Get:56 http://mirror-ubc.debian.org/debian/ wheezy/main readline-common all 6.2+dfsg-0.1 [31.9 kB] Get:57 http://mirror-ubc.debian.org/debian/ wheezy/main libreadline6 amd64 6.2+dfsg-0.1 [166 kB] Get:58 http://mirror-ubc.debian.org/debian/ wheezy/main libusb-0.1-4 amd64 2:0.1.12-20+nmu1 [23.1 kB] Get:59 http://mirror-ubc.debian.org/debian/ wheezy/main libapt-pkg4.12 amd64 0.9.7.9+deb7u7 [891 kB] Get:60 http://mirror-ubc.debian.org/debian/ wheezy/main apt amd64 0.9.7.9+deb7u7 [1262 kB] Get:61 http://mirror-ubc.debian.org/debian/ wheezy/main libncurses5 amd64 5.9-10 [113 kB] Get:62 http://mirror-ubc.debian.org/debian/ wheezy/main libss2 amd64 1.42.5-1.1+deb7u1 [61.4 kB] Get:63 http://mirror-ubc.debian.org/debian/ wheezy/main libgpg-error0 amd64 1.10-3.1 [77.9 kB] Get:64 http://mirror-ubc.debian.org/debian/ wheezy/main libgdbm3 amd64 1.8.3-11 [46.9 kB] Get:65 http://mirror-ubc.debian.org/debian/ wheezy/main libncursesw5 amd64 5.9-10 [141 kB] Get:66 http://mirror-ubc.debian.org/debian/ wheezy/main mawk amd64 1.3.3-17 [90.8 kB] Get:67 http://mirror-ubc.debian.org/debian/ wheezy/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:68 http://mirror-ubc.debian.org/debian/ wheezy/main libgnutls26 amd64 2.12.20-8+deb7u5 [620 kB] Get:69 http://security.debian.org/ wheezy/updates/main multiarch-support amd64 2.13-38+deb7u12 [152 kB] Get:70 http://mirror-ubc.debian.org/debian/ wheezy/main libkeyutils1 amd64 1.5.5-3+deb7u1 [8664 B] Get:71 http://mirror-ubc.debian.org/debian/ wheezy/main libpcre3 amd64 1:8.30-5 [242 kB] Get:72 http://security.debian.org/ wheezy/updates/main libdb5.1 amd64 5.1.29-5+deb7u1 [723 kB] Get:73 http://mirror-ubc.debian.org/debian/ wheezy/main libglib2.0-0 amd64 2.33.12+really2.32.4-5 [1838 kB] Get:74 http://security.debian.org/ wheezy/updates/main passwd amd64 1:4.1.5.1-1+deb7u1 [1262 kB] Get:75 http://security.debian.org/ wheezy/updates/main tzdata all 2018e-0+deb7u1 [496 kB] Get:76 http://security.debian.org/ wheezy/updates/main bash amd64 4.2+dfsg-0.1+deb7u4 [1499 kB] Get:77 http://security.debian.org/ wheezy/updates/main login amd64 1:4.1.5.1-1+deb7u1 [984 kB] Get:78 http://security.debian.org/ wheezy/updates/main perl-base amd64 5.14.2-21+deb7u6 [1534 kB] Get:79 http://security.debian.org/ wheezy/updates/main tar amd64 1.26+dfsg-0.1+deb7u1 [984 kB] Get:80 http://security.debian.org/ wheezy/updates/main gpgv amd64 1.4.12-7+deb7u9 [229 kB] Get:81 http://security.debian.org/ wheezy/updates/main gnupg amd64 1.4.12-7+deb7u9 [1954 kB] Get:82 http://security.debian.org/ wheezy/updates/main libgcrypt11 amd64 1.5.0-5+deb7u6 [301 kB] Get:83 http://security.debian.org/ wheezy/updates/main libtasn1-3 amd64 2.13-2+deb7u5 [68.9 kB] Get:84 http://security.debian.org/ wheezy/updates/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u9 [50.7 kB] Get:85 http://security.debian.org/ wheezy/updates/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u9 [114 kB] Get:86 http://security.debian.org/ wheezy/updates/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u9 [394 kB] Get:87 http://security.debian.org/ wheezy/updates/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u9 [150 kB] Get:88 http://security.debian.org/ wheezy/updates/main libffi5 amd64 3.0.10-3+deb7u2 [25.5 kB] Get:89 http://security.debian.org/ wheezy/updates/main libexpat1 amd64 2.1.0-1+deb7u5 [139 kB] Get:90 http://security.debian.org/ wheezy/updates/main libfreetype6 amd64 2.4.9-1.1+deb7u7 [454 kB] Get:91 http://security.debian.org/ wheezy/updates/main fontconfig-config all 2.9.0-7.1+deb7u1 [233 kB] Get:92 http://security.debian.org/ wheezy/updates/main libfontconfig1 amd64 2.9.0-7.1+deb7u1 [300 kB] Get:93 http://security.debian.org/ wheezy/updates/main libx11-data all 2:1.5.0-1+deb7u4 [189 kB] Get:94 http://security.debian.org/ wheezy/updates/main libx11-6 amd64 2:1.5.0-1+deb7u4 [902 kB] Get:95 http://security.debian.org/ wheezy/updates/main libxrender1 amd64 1:0.9.7-1+deb7u3 [33.5 kB] Get:96 http://security.debian.org/ wheezy/updates/main libcairo2 amd64 1.12.2-3+deb7u1 [912 kB] Get:97 http://security.debian.org/ wheezy/updates/main libcups2 amd64 1.5.3-5+deb7u8 [256 kB] Get:98 http://security.debian.org/ wheezy/updates/main libjasper1 amd64 1.900.1-13+deb7u6 [161 kB] Get:99 http://security.debian.org/ wheezy/updates/main libtiff4 amd64 3.9.6-11+deb7u11 [207 kB] Get:100 http://security.debian.org/ wheezy/updates/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u8 [288 kB] Get:101 http://security.debian.org/ wheezy/updates/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u8 [161 kB] Get:102 http://security.debian.org/ wheezy/updates/main fontconfig amd64 2.9.0-7.1+deb7u1 [348 kB] Get:103 http://security.debian.org/ wheezy/updates/main libxfixes3 amd64 1:5.0-4+deb7u2 [21.6 kB] Get:104 http://security.debian.org/ wheezy/updates/main libxcursor1 amd64 1:1.1.13-1+deb7u2 [27.1 kB] Get:105 http://security.debian.org/ wheezy/updates/main libxi6 amd64 2:1.6.1-1+deb7u3 [76.4 kB] Get:106 http://security.debian.org/ wheezy/updates/main libxrandr2 amd64 2:1.3.2-2+deb7u2 [33.9 kB] Get:107 http://security.debian.org/ wheezy/updates/main libxml2 amd64 2.8.0+dfsg1-7+wheezy12 [907 kB] Get:108 http://security.debian.org/ wheezy/updates/main ocaml-base-nox amd64 3.12.1-4+deb7u1 [650 kB] Get:109 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-data all 2.4.0-2 [240 kB] Get:110 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:111 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common-data amd64 0.6.31-2 [135 kB] Get:112 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common3 amd64 0.6.31-2 [54.6 kB] Get:113 http://mirror-ubc.debian.org/debian/ wheezy/main libdbus-1-3 amd64 1.6.8-1+deb7u6 [174 kB] Get:114 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-client3 amd64 0.6.31-2 [59.5 kB] Get:115 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] Get:116 http://mirror-ubc.debian.org/debian/ wheezy/main ttf-dejavu-core all 2.33-3 [1021 kB] Get:117 http://mirror-ubc.debian.org/debian/ wheezy/main libpixman-1-0 amd64 0.26.0-4+deb7u2 [427 kB] Get:118 http://mirror-ubc.debian.org/debian/ wheezy/main libpng12-0 amd64 1.2.49-1+deb7u2 [191 kB] Get:119 http://mirror-ubc.debian.org/debian/ wheezy/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:120 http://mirror-ubc.debian.org/debian/ wheezy/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:121 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb1 amd64 1.8.1-2+deb7u1 [50.2 kB] Get:122 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-render0 amd64 1.8.1-2+deb7u1 [18.6 kB] Get:123 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-shm0 amd64 1.8.1-2+deb7u1 [10.4 kB] Get:124 http://mirror-ubc.debian.org/debian/ wheezy/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:125 http://mirror-ubc.debian.org/debian/ wheezy/main libjpeg8 amd64 8d-1+deb7u1 [138 kB] Get:126 http://mirror-ubc.debian.org/debian/ wheezy/main libjbig0 amd64 2.0-2+deb7u1 [32.6 kB] Get:127 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-common all 2.24.10-2 [3081 kB] Get:128 http://mirror-ubc.debian.org/debian/ wheezy/main libthai-data all 0.1.18-2 [154 kB] Get:129 http://mirror-ubc.debian.org/debian/ wheezy/main libthai0 amd64 0.1.18-2 [42.3 kB] Get:130 http://mirror-ubc.debian.org/debian/ wheezy/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:131 http://mirror-ubc.debian.org/debian/ wheezy/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:132 http://mirror-ubc.debian.org/debian/ wheezy/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:133 http://mirror-ubc.debian.org/debian/ wheezy/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:134 http://mirror-ubc.debian.org/debian/ wheezy/main libxext6 amd64 2:1.3.1-2+deb7u1 [54.8 kB] Get:135 http://mirror-ubc.debian.org/debian/ wheezy/main libxinerama1 amd64 2:1.1.2-1+deb7u1 [16.9 kB] Get:136 http://mirror-ubc.debian.org/debian/ wheezy/main shared-mime-info amd64 1.0-1+b1 [595 kB] Get:137 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-0 amd64 2.24.10-2 [2200 kB] Get:138 http://mirror-ubc.debian.org/debian/ wheezy/main libhunspell-1.3-0 amd64 1.3.2-4 [174 kB] Get:139 http://mirror-ubc.debian.org/debian/ wheezy/main libpam-runtime all 1.1.3-7.1 [228 kB] Get:140 http://mirror-ubc.debian.org/debian/ wheezy/main xz-utils amd64 5.1.1alpha+20120614-2 [237 kB] Get:141 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:142 http://mirror-ubc.debian.org/debian/ wheezy/main bsdmainutils amd64 9.0.3 [209 kB] Get:143 http://mirror-ubc.debian.org/debian/ wheezy/main debconf-i18n all 1.5.49 [237 kB] Get:144 http://mirror-ubc.debian.org/debian/ wheezy/main libaspell15 amd64 0.60.7~20110707-1 [707 kB] Get:145 http://mirror-ubc.debian.org/debian/ wheezy/main dictionaries-common all 1.12.11 [302 kB] Get:146 http://mirror-ubc.debian.org/debian/ wheezy/main aspell amd64 0.60.7~20110707-1 [362 kB] Get:147 http://mirror-ubc.debian.org/debian/ wheezy/main aspell-en all 7.1-0-1 [268 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 libglade2-0 amd64 1:2.6.4-1 [89.0 kB] Get:152 http://mirror-ubc.debian.org/debian/ wheezy/main libenchant1c2a amd64 1.6.0-7 [85.4 kB] Get:153 http://mirror-ubc.debian.org/debian/ wheezy/main libgtkspell0 amd64 2.0.16-1 [28.9 kB] Get:154 http://mirror-ubc.debian.org/debian/ wheezy/main liblablgtk2-ocaml amd64 2.14.2+dfsg-3 [1026 kB] Get:155 http://mirror-ubc.debian.org/debian/ wheezy/main libcoq-ocaml amd64 8.3.pl4+dfsg-2 [2101 kB] Get:156 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 3s (33.5 MB/s) (Reading database ... 7709 files and directories currently installed.) Preparing to replace sensible-utils 0.0.4 (using .../sensible-utils_0.0.7+deb7u1_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.7+deb7u1) ... (Reading database ... 7721 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 ... 7747 files and directories currently installed.) Preparing to replace libc-bin 2.11.3-4 (using .../libc-bin_2.13-38+deb7u12_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-38+deb7u12) ... Installing new version of config file /etc/bindresvport.blacklist ... (Reading database ... 7764 files and directories currently installed.) Preparing to replace libc6 2.11.3-4 (using .../libc6_2.13-38+deb7u12_amd64.deb) ... Checking for services that may need to be restarted... Checking init scripts... Unpacking replacement libc6 ... Setting up libc6 (2.13-38+deb7u12) ... 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 ... 7769 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 ... 7776 files and directories currently installed.) Unpacking multiarch-support (from .../multiarch-support_2.13-38+deb7u12_amd64.deb) ... Setting up multiarch-support (2.13-38+deb7u12) ... (Reading database ... 7780 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 ... 7780 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 ... 7787 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 ... 7787 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 ... 7798 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 ... 7798 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 ... 7798 files and directories currently installed.) Unpacking libsemanage1 (from .../libsemanage1_2.1.6-6_amd64.deb) ... Setting up libsemanage1 (2.1.6-6) ... (Reading database ... 7803 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 ... 7806 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 ... 7806 files and directories currently installed.) Unpacking libdb5.1 (from .../libdb5.1_5.1.29-5+deb7u1_amd64.deb) ... Setting up libdb5.1 (5.1.29-5+deb7u1) ... Selecting previously deselected package libpam-modules-bin. (Reading database ... 7812 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 ... 7818 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 ... 7817 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+deb7u1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.5.1-1+deb7u1) ... (Reading database ... 7837 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 ... 7838 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 ... 7838 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 ... 7836 files and directories currently installed.) Unpacking libtinfo5 (from .../libtinfo5_5.9-10_amd64.deb) ... Setting up libtinfo5 (5.9-10) ... (Reading database ... 7845 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 ... 7847 files and directories currently installed.) Preparing to replace tzdata 2014e-0squeeze1 (using .../tzdata_2018e-0+deb7u1_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2018e-0+deb7u1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Oct 18 09:05:23 UTC 2018. Universal Time is now: Thu Oct 18 09:05:23 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Selecting previously deselected package liblzma5. (Reading database ... 7886 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 ... 7895 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 ... 7916 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 ... 7911 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 ... 7901 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 ... 7903 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 ... 7904 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 ... 7910 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 ... 7912 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 ... 7913 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 ... 7913 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 ... 7834 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 ... 7834 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 ... 7837 files and directories currently installed.) Preparing to replace bash 4.1-3 (using .../bash_4.2+dfsg-0.1+deb7u4_amd64.deb) ... Unpacking replacement bash ... Setting up bash (4.2+dfsg-0.1+deb7u4) ... Installing new version of config file /etc/bash.bashrc ... Installing new version of config file /etc/skel/.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 ... 7840 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 ... 7840 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 ... 7841 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 ... 7841 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 ... 7841 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 ... 7837 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 ... 7837 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 ... 7837 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 ... 7837 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 ... 7836 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+deb7u1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.5.1-1+deb7u1) ... 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 ... 7851 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 ... 7853 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+deb7u6_amd64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-21+deb7u6) ... (Reading database ... 8282 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 ... 8282 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 ... 8282 files and directories currently installed.) Preparing to replace tar 1.23-3 (using .../tar_1.26+dfsg-0.1+deb7u1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.26+dfsg-0.1+deb7u1) ... (Reading database ... 8283 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 ... 8285 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 ... 8285 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 ... 8287 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 ... 8287 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 ... 8287 files and directories currently installed.) Preparing to replace gpgv 1.4.10-4+squeeze4 (using .../gpgv_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gpgv ... Setting up gpgv (1.4.12-7+deb7u9) ... (Reading database ... 8287 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 ... 8294 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 ... 8293 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 ... 8293 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 ... 8292 files and directories currently installed.) Preparing to replace gnupg 1.4.10-4+squeeze4 (using .../gnupg_1.4.12-7+deb7u9_amd64.deb) ... Unpacking replacement gnupg ... Setting up gnupg (1.4.12-7+deb7u9) ... 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 ... 8281 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 ... 8329 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 ... 8240 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 ... 8232 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) ... Selecting previously unselected package libgpg-error0:amd64. (Reading database ... 8232 files and directories currently installed.) 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+deb7u6_amd64.deb) ... 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) ... Selecting previously unselected package libtasn1-3:amd64. Unpacking libtasn1-3:amd64 (from .../libtasn1-3_2.13-2+deb7u5_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 libp11-kit0:amd64. Unpacking libp11-kit0:amd64 (from .../libp11-kit0_0.12-3_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+deb7u9_amd64.deb) ... Selecting previously unselected package libk5crypto3:amd64. Unpacking libk5crypto3:amd64 (from .../libk5crypto3_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Selecting previously unselected package libkrb5-3:amd64. Unpacking libkrb5-3:amd64 (from .../libkrb5-3_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Unpacking libgssapi-krb5-2:amd64 (from .../libgssapi-krb5-2_1.10.1+dfsg-5+deb7u9_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.30-5_amd64.deb) ... Selecting previously unselected package libffi5:amd64. Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3+deb7u2_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+deb7u5_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.9-1.1+deb7u7_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+deb7u1_all.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.9.0-7.1+deb7u1_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+deb7u4_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1+deb7u4_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+deb7u3_amd64.deb) ... Selecting previously unselected package libcairo2:amd64. Unpacking libcairo2:amd64 (from .../libcairo2_1.12.2-3+deb7u1_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.5.3-5+deb7u8_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+deb7u6_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+deb7u11_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1+deb7u8_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+deb7u8_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+deb7u1_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+deb7u2_amd64.deb) ... Selecting previously unselected package libxcursor1:amd64. Unpacking libxcursor1:amd64 (from .../libxcursor1_1%3a1.1.13-1+deb7u2_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+deb7u3_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+deb7u2_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.8.0+dfsg1-7+wheezy12_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 ... 9763 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 ... 9765 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 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+deb7u1_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 libgpg-error0:amd64 (1.10-3.1) ... Setting up libgcrypt11:amd64 (1.5.0-5+deb7u6) ... Setting up libgdbm3:amd64 (1.8.3-11) ... Setting up libncursesw5:amd64 (5.9-10) ... Setting up libtasn1-3:amd64 (2.13-2+deb7u5) ... Setting up mawk (1.3.3-17) ... Setting up libp11-kit0:amd64 (0.12-3) ... 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+deb7u9) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-5+deb7u9) ... Setting up libpcre3:amd64 (1:8.30-5) ... Setting up libffi5:amd64 (3.0.10-3+deb7u2) ... 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+deb7u5) ... Setting up libfreetype6:amd64 (2.4.9-1.1+deb7u7) ... Setting up ucf (3.0025+nmu3) ... Setting up ttf-dejavu-core (2.33-3) ... Setting up fontconfig-config (2.9.0-7.1+deb7u1) ... Setting up libfontconfig1:amd64 (2.9.0-7.1+deb7u1) ... 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+deb7u4) ... Setting up libx11-6:amd64 (2:1.5.0-1+deb7u4) ... 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+deb7u3) ... Setting up libcairo2:amd64 (1.12.2-3+deb7u1) ... Setting up libcups2:amd64 (1.5.3-5+deb7u8) ... Setting up libdatrie1:amd64 (0.2.5-3) ... Setting up libjpeg8:amd64 (8d-1+deb7u1) ... Setting up libjasper1:amd64 (1.900.1-13+deb7u6) ... Setting up libjbig0:amd64 (2.0-2+deb7u1) ... Setting up libtiff4:amd64 (3.9.6-11+deb7u11) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1+deb7u8) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1+deb7u8) ... Setting up 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+deb7u1) ... 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+deb7u2) ... Setting up libxcursor1:amd64 (1:1.1.13-1+deb7u2) ... 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+deb7u3) ... Setting up libxinerama1:amd64 (2:1.1.2-1+deb7u1) ... Setting up libxrandr2:amd64 (2:1.3.2-2+deb7u2) ... Setting up libxml2:amd64 (2.8.0+dfsg1-7+wheezy12) ... 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+deb7u1) ... 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 1m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-yf', 'dist-upgrade'] 1m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m3.5s DUMP: fb1ccc436f778eea085ae099e3151787 - 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'show', '--no-all-versions', 'coq'] 1m3.5s DUMP: Package: coq Version: 8.3.pl4+dfsg-2 Installed-Size: 18455 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.3pl4+3.12.1 Depends: coq-theories (= 8.3.pl4+dfsg-2), emacsen-common, libcoq-ocaml-j25h3, ocaml-base-nox-3.12.1, libc6 (>= 2.7) Recommends: coqide | proofgeneral Suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.3.pl4+dfsg-2_amd64.deb Size: 5687430 MD5sum: d12a66bb0218f37334480b39399764ae SHA1: 77290ca5dd34b88228ff93a2fbbbe4dbf6dfb118 SHA256: 98cd47e5126b0071e5ef53d455f6bb7624d130dae3308cfa6b9abd3363b9562b 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'show', '--no-all-versions', 'coq'] 1m3.5s INFO: apt-cache knows about the following packages: coq 1m3.5s INFO: Running scripts pre_install 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 1m3.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror-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: 1m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 1m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 1m3.6s DUMP: coq: Installed: 8.3.pl4+dfsg-2 Candidate: 8.3.pl4+dfsg-2 Version table: *** 8.3.pl4+dfsg-2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 1m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 1m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq'] 1m4.0s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq'] 1m4.0s INFO: Running scripts post_install 1m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 1m4.1s INFO: Running scripts post_distupgrade 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_base_cleanup'] 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_exceptions'] 1m4.1s 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' 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_exceptions'] 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_squeeze-backports'] 1m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_zz_backports'] 1m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_distupgrade_zz_backports'] 1m4.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m5.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m5.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m6.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m6.8s INFO: Running scripts pre_install 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_database-server'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_exceptions'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_extras'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_install_foreign_architecture_i386'] 1m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 1m6.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://security.debian.org/ wheezy/updates/main amd64 Packages release v=7.0,o=Debian,a=oldoldstable,n=wheezy,l=Debian-Security,c=main origin security.debian.org 500 http://mirror-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: 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 1m6.9s DUMP: coq: Installed: 8.3.pl4+dfsg-2 Candidate: 8.3.pl4+dfsg-2 Version table: *** 8.3.pl4+dfsg-2 0 500 http://mirror-ubc.debian.org/debian/ wheezy/main amd64 Packages 100 /var/lib/dpkg/status 1m6.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-cache', 'policy', 'coq'] 1m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq=8.3.pl4+dfsg-2'] 1m7.4s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', '-y', 'install', 'coq=8.3.pl4+dfsg-2'] 1m7.4s INFO: Running scripts post_install 1m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 1m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_install_exceptions'] 1m7.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m8.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m8.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m8.6s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed aspell aspell 0.60.7~20110707-1 install ok installed aspell-en aspell-en 7.1-0-1 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u4 install ok installed 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+deb7u1 install ok installed fontconfig-config fontconfig-config 2.9.0-7.1+deb7u1 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+deb7u9 install ok installed gpgv gpgv 1.4.12-7+deb7u9 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libaspell15 libaspell15 0.60.7~20110707-1 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.4.0-2 install ok installed libatk1.0-data libatk1.0-data 2.4.0-2 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.31-2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.31-2 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.31-2 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u12 install ok installed libc6:amd64 libc6 2.13-38+deb7u12 install ok installed libcairo2:amd64 libcairo2 1.12.2-3+deb7u1 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libcoq-ocaml libcoq-ocaml 8.3.pl4+dfsg-2 install ok installed libcups2:amd64 libcups2 1.5.3-5+deb7u8 install ok installed libdatrie1:amd64 libdatrie1 0.2.5-3 install ok installed libdb4.8 libdb4.8 4.8.30-2 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5+deb7u1 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.6.8-1+deb7u6 install ok installed libenchant1c2a libenchant1c2a 1.6.0-7 install ok installed libexpat1:amd64 libexpat1 2.1.0-1+deb7u5 install ok installed libffi5:amd64 libffi5 3.0.10-3+deb7u2 install ok installed libfontconfig1:amd64 libfontconfig1 2.9.0-7.1+deb7u1 install ok installed libfreetype6:amd64 libfreetype6 2.4.9-1.1+deb7u7 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libgcrypt11:amd64 libgcrypt11 1.5.0-5+deb7u6 install ok installed libgdbm3:amd64 libgdbm3 1.8.3-11 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.26.1-1+deb7u8 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.26.1-1+deb7u8 install ok installed libglade2-0 libglade2-0 1:2.6.4-1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.33.12+really2.32.4-5 install ok installed libgnutls26:amd64 libgnutls26 2.12.20-8+deb7u5 install ok installed libgpg-error0:amd64 libgpg-error0 1.10-3.1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.10.1+dfsg-5+deb7u9 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.10-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.10-2 install ok installed libgtkspell0 libgtkspell0 2.0.16-1 install ok installed libhunspell-1.3-0:amd64 libhunspell-1.3-0 1.3.2-4 install ok installed libjasper1:amd64 libjasper1 1.900.1-13+deb7u6 install ok installed libjbig0:amd64 libjbig0 2.0-2+deb7u1 install ok installed libjpeg8:amd64 libjpeg8 8d-1+deb7u1 install ok installed libk5crypto3:amd64 libk5crypto3 1.10.1+dfsg-5+deb7u9 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.5-3+deb7u1 install ok installed libkrb5-3:amd64 libkrb5-3 1.10.1+dfsg-5+deb7u9 install ok installed libkrb5support0:amd64 libkrb5support0 1.10.1+dfsg-5+deb7u9 install ok installed liblablgtk2-ocaml liblablgtk2-ocaml 2.14.2+dfsg-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed 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+deb7u5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libthai-data libthai-data 0.1.18-2 install ok installed libthai0:amd64 libthai0 0.1.18-2 install ok installed libtiff4:amd64 libtiff4 3.9.6-11+deb7u11 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed libx11-6:amd64 libx11-6 2:1.5.0-1+deb7u4 install ok installed libx11-data libx11-data 2:1.5.0-1+deb7u4 install ok installed libxau6:amd64 libxau6 1:1.0.7-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.8.1-2+deb7u1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.8.1-2+deb7u1 install ok installed libxcb1:amd64 libxcb1 1.8.1-2+deb7u1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.3-2 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.13-1+deb7u2 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.3-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.1-1 install ok installed libxext6:amd64 libxext6 2:1.3.1-2+deb7u1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0-4+deb7u2 install ok installed libxft2:amd64 libxft2 2.3.1-1 install ok installed libxi6:amd64 libxi6 2:1.6.1-1+deb7u3 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.2-1+deb7u1 install ok installed libxml2:amd64 libxml2 2.8.0+dfsg1-7+wheezy12 install ok installed libxrandr2:amd64 libxrandr2 2:1.3.2-2+deb7u2 install ok installed libxrender1:amd64 libxrender1 1:0.9.7-1+deb7u3 install ok installed login login 1:4.1.5.1-1+deb7u1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u12 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed ocaml-base-nox ocaml-base-nox 3.12.1-4+deb7u1 install ok installed passwd passwd 1:4.1.5.1-1+deb7u1 install ok installed perl-base perl-base 5.14.2-21+deb7u6 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7+deb7u1 install ok installed shared-mime-info shared-mime-info 1.0-1+b1 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1+deb7u1 install ok installed ttf-dejavu-core ttf-dejavu-core 2.33-3 install ok installed tzdata tzdata 2018e-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 1m8.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 1m9.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '-ac', '--ignore-obsolete'] 1m12.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '-ac', '--ignore-obsolete'] 1m12.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m12.3s DUMP: 0.15.1 1m12.3s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 1m12.3s INFO: Running adequate version 0.15.1 now. 1m12.3s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'coq'] 1m12.7s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'coq'] 1m12.7s INFO: Running scripts pre_remove 1m12.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m12.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 1m12.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m12.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 1m12.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m15.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 1m15.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 1m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 1m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_exceptions'] 1m15.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/pre_remove_exceptions'] 1m15.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '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', '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', 'coq'] 1m17.0s 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 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, 79 to remove and 0 not upgraded. After this operation, 302 MB disk space will be freed. (Reading database ... 10506 files and directories currently installed.) 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 libcairo2:amd64 ... Removing libxft2:amd64 ... Removing libfontconfig1:amd64 ... Removing fontconfig-config ... Removing libaspell15 ... Removing libatk1.0-0:amd64 ... Removing libatk1.0-data ... Removing libcups2:amd64 ... Removing libavahi-client3:amd64 ... Removing libavahi-common3:amd64 ... Removing libavahi-common-data:amd64 ... Removing libthai0:amd64 ... Removing libdatrie1:amd64 ... Removing libdbus-1-3:amd64 ... Removing libexpat1:amd64 ... Removing libgdk-pixbuf2.0-0:amd64 ... Removing shared-mime-info ... Removing libglib2.0-0:amd64 ... Removing libffi5:amd64 ... Removing libfreetype6:amd64 ... Removing libgnutls26:amd64 ... Removing libgcrypt11:amd64 ... Removing ocaml-base-nox ... Removing libgdbm3:amd64 ... Removing libgdk-pixbuf2.0-common ... Removing libgpg-error0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Removing libgtk2.0-common ... Removing libhunspell-1.3-0:amd64 ... Removing libjasper1:amd64 ... Removing libtiff4:amd64 ... Removing libjbig0:amd64 ... Removing libjpeg8:amd64 ... Removing libkrb5-3:amd64 ... Removing libk5crypto3:amd64 ... Removing libkrb5support0:amd64 ... Removing libkeyutils1:amd64 ... Removing libncursesw5:amd64 ... Removing libp11-kit0:amd64 ... Removing libpcre3:amd64 ... Removing libpixman-1-0:amd64 ... Removing libpng12-0:amd64 ... Removing libtasn1-3:amd64 ... Removing libthai-data ... Removing libxrandr2:amd64 ... Removing libxcursor1:amd64 ... Removing libxrender1:amd64 ... Removing libxi6:amd64 ... Removing libxdamage1:amd64 ... Removing libxfixes3:amd64 ... Removing libxinerama1:amd64 ... Removing libxext6:amd64 ... Removing libxcomposite1:amd64 ... Removing libx11-6:amd64 ... Removing libx11-data ... Removing libxcb-shm0:amd64 ... Removing libxcb-render0:amd64 ... Removing libxcb1:amd64 ... Removing libxau6:amd64 ... Removing libxdmcp6:amd64 ... Removing libxml2:amd64 ... Removing ttf-dejavu-core ... 1m17.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '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', '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', 'coq'] 1m17.0s INFO: Running scripts post_remove 1m17.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_remove_exceptions'] 1m17.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_remove_exceptions'] 1m17.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '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', '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'] 1m17.7s DUMP: dpkg: warning: ignoring request to remove libx11-data which isn't installed (Reading database ... 6845 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 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 ... 1m17.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', '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', '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'] 1m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--purge', 'coq'] 1m17.7s DUMP: (Reading database ... 6795 files and directories currently installed.) Removing coq ... Purging configuration files for coq ... 1m17.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--purge', 'coq'] 1m17.7s INFO: Running scripts post_purge 1m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_purge_exceptions'] 1m17.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_purge_exceptions'] 1m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--purge', '--pending'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--purge', '--pending'] 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--remove', '--pending'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg', '--remove', '--pending'] 1m17.8s INFO: Running scripts post_test 1m17.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_test_exceptions'] 1m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'tmp/scripts/post_test_exceptions'] 1m17.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m18.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m18.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-divert', '--list'] 1m18.6s 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 1m18.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'dpkg-divert', '--list'] 1m18.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'clean'] 1m18.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpqBwUB7', 'apt-get', 'clean'] 1m18.7s DEBUG: Recording chroot state 1m20.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/shm'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/shm'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/console'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/console'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/ptmx'] 1m20.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/ptmx'] 1m20.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts'] 1m21.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/dev/pts'] 1m21.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/proc'] 1m21.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpqBwUB7/proc'] 1m21.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m21.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpqBwUB7'] 1m21.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpqBwUB7 1m21.1s INFO: PASS: Upgrading between Debian distributions. 1m21.1s INFO: PASS: All tests. 1m21.1s INFO: piuparts run ends. ret=0 End: 2018-10-18 09:06:09 UTC