Start: 2018-02-24 23:36:18 UTC 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 --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --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.84~201801121524~0.83-4-g6e16ed9a starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-wheezy --warn-on-debsums-errors --warn-on-install-over-symlink --mirror 'http://mirror-ubc.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz -d wheezy --no-upgrade-test --apt coq=8.3.pl4+dfsg-2 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 4.9.0-6-amd64 #1 SMP Debian 4.9.82-1+deb9u2 (2018-02-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpM8rdVZ 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpM8rdVZ 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/wheezy_amd64.tar.gz'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/proc'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/proc'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/ptmx'] 0m1.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/ptmx'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/console'] 0m1.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/console'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/run/shm'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/run/shm'] 0m1.5s DEBUG: sources.list: deb http://mirror-ubc.debian.org/debian/ wheezy main 0m1.6s DEBUG: Created policy-rc.d and chmodded it. 0m1.6s DEBUG: Created resolv.conf. 0m1.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpM8rdVZ/tmp/scripts/ 0m1.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts-wheezy to /srv/piuparts.debian.org/tmp/tmpM8rdVZ/tmp/scripts/ 0m1.6s INFO: Running scripts post_chroot_unpack 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'update'] 0m3.1s DUMP: Hit http://mirror-ubc.debian.org wheezy Release.gpg Hit http://mirror-ubc.debian.org wheezy Release Hit http://mirror-ubc.debian.org wheezy/main amd64 Packages Hit http://mirror-ubc.debian.org wheezy/main Translation-en Reading package lists... 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'update'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-yf', 'dist-upgrade'] 0m3.3s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-yf', 'dist-upgrade'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.4s DUMP: 0c96df6df725ee7ec7aebd2b6a77fb72 - 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.4s INFO: Running scripts post_setup 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_dummy_users'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_dummy_users'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_forbid_home'] 0m4.2s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_forbid_home'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.2s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' `/bin/sync' -> `true' 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_minimize'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_minimize'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m4.9s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 335 kB of archives. After this operation, 1327 kB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main adduser all 3.113+nmu3 [264 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main ucf all 3.0025+nmu3 [70.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 335 kB in 0s (18.8 MB/s) Selecting previously unselected package adduser. (Reading database ... 6639 files and directories currently installed.) Unpacking adduser (from .../adduser_3.113+nmu3_all.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Setting up adduser (3.113+nmu3) ... Setting up ucf (3.0025+nmu3) ... 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_wheezy-fake-essential'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_zz_backports'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_setup_zz_backports'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m4.9s DEBUG: Recording chroot state 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.5s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed findutils findutils 4.4.2-4 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-divert', '--list'] 0m5.5s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-divert', '--list'] 0m5.5s INFO: Running scripts is_testable 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/is_testable_uninstallable'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/is_testable_uninstallable'] 0m5.5s INFO: apt-cache does not know about any of the requested packages 0m5.5s INFO: Running scripts pre_test 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_test_exceptions'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_test_exceptions'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_test_root_password'] 0m5.5s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_test_root_password'] 0m5.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m5.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m6.5s DEBUG: No broken symlinks as far as we can find. 0m6.5s INFO: Running scripts pre_install 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_database-server'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_database-server'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_exceptions'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_exceptions'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_extras'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_extras'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'show', 'coq=8.3.pl4+dfsg-2'] 0m7.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-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . 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 package to be installed. 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 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'show', 'coq=8.3.pl4+dfsg-2'] 0m7.5s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: piuparts developers team Description: Dummy package to satisfy dependencies - created by piuparts This package was created automatically by piuparts and can safely be removed Depends: coq-theories (= 8.3.pl4+dfsg-2), emacsen-common, libcoq-ocaml-j25h3, ocaml-base-nox-3.12.1, libc6 (>= 2.7) 0m7.5s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpK0NOzx/piuparts-depends-dummy'] 0m7.5s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpK0NOzx/piuparts-depends-dummy.deb'. 0m7.5s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpK0NOzx/piuparts-depends-dummy'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m7.6s DUMP: 0.9.7.9+deb7u7 0m7.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-f', '${Version}\n', '-W', 'apt'] 0m7.6s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpK0NOzx/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpM8rdVZ/tmp 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m7.6s DUMP: Selecting previously unselected package piuparts-depends-dummy. (Reading database ... 6768 files and directories currently installed.) Unpacking piuparts-depends-dummy (from .../tmp/piuparts-depends-dummy.deb) ... dpkg: dependency problems prevent configuration of piuparts-depends-dummy: piuparts-depends-dummy depends on coq-theories (= 8.3.pl4+dfsg-2); however: Package coq-theories is not installed. piuparts-depends-dummy depends on emacsen-common; however: Package emacsen-common is not installed. piuparts-depends-dummy depends on libcoq-ocaml-j25h3; however: Package libcoq-ocaml-j25h3 is not installed. piuparts-depends-dummy depends on ocaml-base-nox-3.12.1; however: Package ocaml-base-nox-3.12.1 is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m7.6s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '-i', './tmp/piuparts-depends-dummy.deb'] 0m7.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-yf', 'install'] 0m20.1s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core Suggested packages: aspell-doc spellutils ocaml-nox proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc ispell jed-extra cups-common libenchant-voikko rng-tools krb5-doc krb5-user librsvg2-common gvfs libjasper-runtime ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp Recommended packages: dbus enchant libglib2.0-data hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary krb5-locales libgpm2 xml-core The following NEW packages will be installed: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core 0 upgraded, 76 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 85.1 MB of archives. After this operation, 299 MB of additional disk space will be used. Get:1 http://mirror-ubc.debian.org/debian/ wheezy/main emacsen-common all 2.0.5 [20.9 kB] Get:2 http://mirror-ubc.debian.org/debian/ wheezy/main libgdbm3 amd64 1.8.3-11 [46.9 kB] Get:3 http://mirror-ubc.debian.org/debian/ wheezy/main ocaml-base-nox amd64 3.12.1-4 [663 kB] Get:4 http://mirror-ubc.debian.org/debian/ wheezy/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:5 http://mirror-ubc.debian.org/debian/ wheezy/main libpcre3 amd64 1:8.30-5 [242 kB] Get:6 http://mirror-ubc.debian.org/debian/ wheezy/main libglib2.0-0 amd64 2.33.12+really2.32.4-5 [1838 kB] Get:7 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-data all 2.4.0-2 [240 kB] Get:8 http://mirror-ubc.debian.org/debian/ wheezy/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:9 http://mirror-ubc.debian.org/debian/ wheezy/main libexpat1 amd64 2.1.0-1+deb7u2 [139 kB] Get:10 http://mirror-ubc.debian.org/debian/ wheezy/main libfreetype6 amd64 2.4.9-1.1+deb7u3 [452 kB] Get:11 http://mirror-ubc.debian.org/debian/ wheezy/main ttf-dejavu-core all 2.33-3 [1021 kB] Get:12 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig-config all 2.9.0-7.1 [233 kB] Get:13 http://mirror-ubc.debian.org/debian/ wheezy/main libfontconfig1 amd64 2.9.0-7.1 [300 kB] Get:14 http://mirror-ubc.debian.org/debian/ wheezy/main libpixman-1-0 amd64 0.26.0-4+deb7u2 [427 kB] Get:15 http://mirror-ubc.debian.org/debian/ wheezy/main libpng12-0 amd64 1.2.49-1+deb7u2 [191 kB] Get:16 http://mirror-ubc.debian.org/debian/ wheezy/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:17 http://mirror-ubc.debian.org/debian/ wheezy/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:18 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb1 amd64 1.8.1-2+deb7u1 [50.2 kB] Get:19 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-data all 2:1.5.0-1+deb7u2 [194 kB] Get:20 http://mirror-ubc.debian.org/debian/ wheezy/main libx11-6 amd64 2:1.5.0-1+deb7u2 [901 kB] Get:21 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-render0 amd64 1.8.1-2+deb7u1 [18.6 kB] Get:22 http://mirror-ubc.debian.org/debian/ wheezy/main libxcb-shm0 amd64 1.8.1-2+deb7u1 [10.4 kB] Get:23 http://mirror-ubc.debian.org/debian/ wheezy/main libxrender1 amd64 1:0.9.7-1+deb7u2 [32.9 kB] Get:24 http://mirror-ubc.debian.org/debian/ wheezy/main libcairo2 amd64 1.12.2-3 [912 kB] Get:25 http://mirror-ubc.debian.org/debian/ wheezy/main libjpeg8 amd64 8d-1+deb7u1 [138 kB] Get:26 http://mirror-ubc.debian.org/debian/ wheezy/main libjasper1 amd64 1.900.1-13+deb7u4 [160 kB] Get:27 http://mirror-ubc.debian.org/debian/ wheezy/main libjbig0 amd64 2.0-2+deb7u1 [32.6 kB] Get:28 http://mirror-ubc.debian.org/debian/ wheezy/main libtiff4 amd64 3.9.6-11 [202 kB] Get:29 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-common all 2.26.1-1+deb7u3 [287 kB] Get:30 http://mirror-ubc.debian.org/debian/ wheezy/main libgdk-pixbuf2.0-0 amd64 2.26.1-1+deb7u3 [160 kB] Get:31 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-common all 2.24.10-2 [3081 kB] Get:32 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common-data amd64 0.6.31-2 [135 kB] Get:33 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-common3 amd64 0.6.31-2 [54.6 kB] Get:34 http://mirror-ubc.debian.org/debian/ wheezy/main libdbus-1-3 amd64 1.6.8-1+deb7u6 [174 kB] Get:35 http://mirror-ubc.debian.org/debian/ wheezy/main libavahi-client3 amd64 0.6.31-2 [59.5 kB] Get:36 http://mirror-ubc.debian.org/debian/ wheezy/main libgpg-error0 amd64 1.10-3.1 [77.9 kB] Get:37 http://mirror-ubc.debian.org/debian/ wheezy/main libgcrypt11 amd64 1.5.0-5+deb7u4 [301 kB] Get:38 http://mirror-ubc.debian.org/debian/ wheezy/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:39 http://mirror-ubc.debian.org/debian/ wheezy/main libtasn1-3 amd64 2.13-2+deb7u2 [67.8 kB] Get:40 http://mirror-ubc.debian.org/debian/ wheezy/main libgnutls26 amd64 2.12.20-8+deb7u5 [620 kB] Get:41 http://mirror-ubc.debian.org/debian/ wheezy/main libkeyutils1 amd64 1.5.5-3+deb7u1 [8664 B] Get:42 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5support0 amd64 1.10.1+dfsg-5+deb7u7 [50.5 kB] Get:43 http://mirror-ubc.debian.org/debian/ wheezy/main libk5crypto3 amd64 1.10.1+dfsg-5+deb7u7 [113 kB] Get:44 http://mirror-ubc.debian.org/debian/ wheezy/main libkrb5-3 amd64 1.10.1+dfsg-5+deb7u7 [394 kB] Get:45 http://mirror-ubc.debian.org/debian/ wheezy/main libgssapi-krb5-2 amd64 1.10.1+dfsg-5+deb7u7 [150 kB] Get:46 http://mirror-ubc.debian.org/debian/ wheezy/main libcups2 amd64 1.5.3-5+deb7u6 [256 kB] Get:47 http://mirror-ubc.debian.org/debian/ wheezy/main libthai-data all 0.1.18-2 [154 kB] Get:48 http://mirror-ubc.debian.org/debian/ wheezy/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:49 http://mirror-ubc.debian.org/debian/ wheezy/main libthai0 amd64 0.1.18-2 [42.3 kB] Get:50 http://mirror-ubc.debian.org/debian/ wheezy/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:51 http://mirror-ubc.debian.org/debian/ wheezy/main fontconfig amd64 2.9.0-7.1 [348 kB] Get:52 http://mirror-ubc.debian.org/debian/ wheezy/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:53 http://mirror-ubc.debian.org/debian/ wheezy/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:54 http://mirror-ubc.debian.org/debian/ wheezy/main libxfixes3 amd64 1:5.0-4+deb7u1 [21.3 kB] Get:55 http://mirror-ubc.debian.org/debian/ wheezy/main libxcursor1 amd64 1:1.1.13-1+deb7u1 [27.1 kB] Get:56 http://mirror-ubc.debian.org/debian/ wheezy/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:57 http://mirror-ubc.debian.org/debian/ wheezy/main libxext6 amd64 2:1.3.1-2+deb7u1 [54.8 kB] Get:58 http://mirror-ubc.debian.org/debian/ wheezy/main libxi6 amd64 2:1.6.1-1+deb7u1 [75.7 kB] Get:59 http://mirror-ubc.debian.org/debian/ wheezy/main libxinerama1 amd64 2:1.1.2-1+deb7u1 [16.9 kB] Get:60 http://mirror-ubc.debian.org/debian/ wheezy/main libxrandr2 amd64 2:1.3.2-2+deb7u1 [33.0 kB] Get:61 http://mirror-ubc.debian.org/debian/ wheezy/main libxml2 amd64 2.8.0+dfsg1-7+wheezy5 [906 kB] Get:62 http://mirror-ubc.debian.org/debian/ wheezy/main shared-mime-info amd64 1.0-1+b1 [595 kB] Get:63 http://mirror-ubc.debian.org/debian/ wheezy/main libgtk2.0-0 amd64 2.24.10-2 [2200 kB] Get:64 http://mirror-ubc.debian.org/debian/ wheezy/main libglade2-0 amd64 1:2.6.4-1 [89.0 kB] Get:65 http://mirror-ubc.debian.org/debian/ wheezy/main libaspell15 amd64 0.60.7~20110707-1 [707 kB] Get:66 http://mirror-ubc.debian.org/debian/ wheezy/main libhunspell-1.3-0 amd64 1.3.2-4 [174 kB] Get:67 http://mirror-ubc.debian.org/debian/ wheezy/main libncursesw5 amd64 5.9-10 [141 kB] Get:68 http://mirror-ubc.debian.org/debian/ wheezy/main dictionaries-common all 1.12.11 [302 kB] Get:69 http://mirror-ubc.debian.org/debian/ wheezy/main aspell amd64 0.60.7~20110707-1 [362 kB] Get:70 http://mirror-ubc.debian.org/debian/ wheezy/main aspell-en all 7.1-0-1 [268 kB] Get:71 http://mirror-ubc.debian.org/debian/ wheezy/main libenchant1c2a amd64 1.6.0-7 [85.4 kB] Get:72 http://mirror-ubc.debian.org/debian/ wheezy/main libgtkspell0 amd64 2.0.16-1 [28.9 kB] Get:73 http://mirror-ubc.debian.org/debian/ wheezy/main liblablgtk2-ocaml amd64 2.14.2+dfsg-3 [1026 kB] Get:74 http://mirror-ubc.debian.org/debian/ wheezy/main libcoq-ocaml amd64 8.3.pl4+dfsg-2 [2101 kB] Get:75 http://mirror-ubc.debian.org/debian/ wheezy/main coq amd64 8.3.pl4+dfsg-2 [5687 kB] Get:76 http://mirror-ubc.debian.org/debian/ wheezy/main coq-theories all 8.3.pl4+dfsg-2 [54.4 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 85.1 MB in 2s (33.9 MB/s) Selecting previously unselected package emacsen-common. (Reading database ... 6768 files and directories currently installed.) Unpacking emacsen-common (from .../emacsen-common_2.0.5_all.deb) ... Selecting previously unselected package libgdbm3:amd64. Unpacking libgdbm3:amd64 (from .../libgdbm3_1.8.3-11_amd64.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4_amd64.deb) ... Selecting previously unselected package libffi5:amd64. Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.30-5_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 libexpat1:amd64. Unpacking libexpat1:amd64 (from .../libexpat1_2.1.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.9-1.1+deb7u3_amd64.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-3_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-7.1_all.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpixman-1-0:amd64. Unpacking libpixman-1-0:amd64 (from .../libpixman-1-0_0.26.0-4+deb7u2_amd64.deb) ... Selecting previously unselected package libpng12-0:amd64. Unpacking libpng12-0:amd64 (from .../libpng12-0_1.2.49-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxau6:amd64. Unpacking libxau6:amd64 (from .../libxau6_1%3a1.0.7-1_amd64.deb) ... Selecting previously unselected package libxdmcp6:amd64. Unpacking libxdmcp6:amd64 (from .../libxdmcp6_1%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxcb1:amd64. Unpacking libxcb1:amd64 (from .../libxcb1_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1+deb7u2_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1+deb7u2_amd64.deb) ... Selecting previously unselected package libxcb-render0:amd64. Unpacking libxcb-render0:amd64 (from .../libxcb-render0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxcb-shm0:amd64. Unpacking libxcb-shm0:amd64 (from .../libxcb-shm0_1.8.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxrender1:amd64. Unpacking libxrender1:amd64 (from .../libxrender1_1%3a0.9.7-1+deb7u2_amd64.deb) ... Selecting previously unselected package libcairo2:amd64. Unpacking libcairo2:amd64 (from .../libcairo2_1.12.2-3_amd64.deb) ... Selecting previously unselected package libjpeg8:amd64. Unpacking libjpeg8:amd64 (from .../libjpeg8_8d-1+deb7u1_amd64.deb) ... Selecting previously unselected package libjasper1:amd64. Unpacking libjasper1:amd64 (from .../libjasper1_1.900.1-13+deb7u4_amd64.deb) ... Selecting previously unselected package libjbig0:amd64. Unpacking libjbig0:amd64 (from .../libjbig0_2.0-2+deb7u1_amd64.deb) ... Selecting previously unselected package libtiff4:amd64. Unpacking libtiff4:amd64 (from .../libtiff4_3.9.6-11_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1+deb7u3_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Unpacking libgdk-pixbuf2.0-0:amd64 (from .../libgdk-pixbuf2.0-0_2.26.1-1+deb7u3_amd64.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-2_all.deb) ... Selecting previously unselected package 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 libgpg-error0:amd64. Unpacking libgpg-error0:amd64 (from .../libgpg-error0_1.10-3.1_amd64.deb) ... Selecting previously unselected package libgcrypt11:amd64. Unpacking libgcrypt11:amd64 (from .../libgcrypt11_1.5.0-5+deb7u4_amd64.deb) ... Selecting previously unselected package libp11-kit0:amd64. Unpacking libp11-kit0:amd64 (from .../libp11-kit0_0.12-3_amd64.deb) ... Selecting previously unselected package libtasn1-3:amd64. Unpacking libtasn1-3:amd64 (from .../libtasn1-3_2.13-2+deb7u2_amd64.deb) ... Selecting previously unselected package libgnutls26:amd64. Unpacking libgnutls26:amd64 (from .../libgnutls26_2.12.20-8+deb7u5_amd64.deb) ... Selecting previously unselected package libkeyutils1:amd64. Unpacking libkeyutils1:amd64 (from .../libkeyutils1_1.5.5-3+deb7u1_amd64.deb) ... Selecting previously unselected package libkrb5support0:amd64. Unpacking libkrb5support0:amd64 (from .../libkrb5support0_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libk5crypto3:amd64. Unpacking libk5crypto3:amd64 (from .../libk5crypto3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libkrb5-3:amd64. Unpacking libkrb5-3:amd64 (from .../libkrb5-3_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Unpacking libgssapi-krb5-2:amd64 (from .../libgssapi-krb5-2_1.10.1+dfsg-5+deb7u7_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.5.3-5+deb7u6_amd64.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.18-2_all.deb) ... Selecting previously unselected package libdatrie1:amd64. Unpacking libdatrie1:amd64 (from .../libdatrie1_0.2.5-3_amd64.deb) ... Selecting previously unselected package libthai0:amd64. Unpacking libthai0:amd64 (from .../libthai0_0.1.18-2_amd64.deb) ... Selecting previously unselected package libxft2:amd64. Unpacking libxft2:amd64 (from .../libxft2_2.3.1-1_amd64.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-7.1_amd64.deb) ... Selecting previously unselected package libpango1.0-0:amd64. Unpacking libpango1.0-0:amd64 (from .../libpango1.0-0_1.30.0-1_amd64.deb) ... Selecting previously unselected package libxcomposite1:amd64. Unpacking libxcomposite1:amd64 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ... Selecting previously unselected package libxfixes3:amd64. Unpacking libxfixes3:amd64 (from .../libxfixes3_1%3a5.0-4+deb7u1_amd64.deb) ... Selecting previously unselected package libxcursor1:amd64. Unpacking libxcursor1:amd64 (from .../libxcursor1_1%3a1.1.13-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxdamage1:amd64. Unpacking libxdamage1:amd64 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ... Selecting previously unselected package libxext6:amd64. Unpacking libxext6:amd64 (from .../libxext6_2%3a1.3.1-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxi6:amd64. Unpacking libxi6:amd64 (from .../libxi6_2%3a1.6.1-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxinerama1:amd64. Unpacking libxinerama1:amd64 (from .../libxinerama1_2%3a1.1.2-1+deb7u1_amd64.deb) ... Selecting previously unselected package libxrandr2:amd64. Unpacking libxrandr2:amd64 (from .../libxrandr2_2%3a1.3.2-2+deb7u1_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.8.0+dfsg1-7+wheezy5_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 libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_amd64.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package libhunspell-1.3-0:amd64. Unpacking libhunspell-1.3-0:amd64 (from .../libhunspell-1.3-0_1.3.2-4_amd64.deb) ... Selecting previously unselected package libncursesw5:amd64. Unpacking libncursesw5:amd64 (from .../libncursesw5_5.9-10_amd64.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.11_all.deb) ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Selecting previously unselected package aspell. Unpacking aspell (from .../aspell_0.60.7~20110707-1_amd64.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_amd64.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_amd64.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_amd64.deb) ... Selecting previously unselected package libcoq-ocaml. Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb) ... Selecting previously unselected package coq. Unpacking coq (from .../coq_8.3.pl4+dfsg-2_amd64.deb) ... Selecting previously unselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.3.pl4+dfsg-2_all.deb) ... Setting up emacsen-common (2.0.5) ... Setting up libgdbm3:amd64 (1.8.3-11) ... Setting up ocaml-base-nox (3.12.1-4) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up libpcre3:amd64 (1:8.30-5) ... 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 libexpat1:amd64 (2.1.0-1+deb7u2) ... Setting up libfreetype6:amd64 (2.4.9-1.1+deb7u3) ... Setting up ttf-dejavu-core (2.33-3) ... Setting up fontconfig-config (2.9.0-7.1) ... Setting up libfontconfig1:amd64 (2.9.0-7.1) ... Setting up libpixman-1-0:amd64 (0.26.0-4+deb7u2) ... Setting up libpng12-0:amd64 (1.2.49-1+deb7u2) ... Setting up libxau6:amd64 (1:1.0.7-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.8.1-2+deb7u1) ... Setting up libx11-data (2:1.5.0-1+deb7u2) ... Setting up libx11-6:amd64 (2:1.5.0-1+deb7u2) ... Setting up libxcb-render0:amd64 (1.8.1-2+deb7u1) ... Setting up libxcb-shm0:amd64 (1.8.1-2+deb7u1) ... Setting up libxrender1:amd64 (1:0.9.7-1+deb7u2) ... Setting up libcairo2:amd64 (1.12.2-3) ... Setting up libjpeg8:amd64 (8d-1+deb7u1) ... Setting up libjasper1:amd64 (1.900.1-13+deb7u4) ... Setting up libjbig0:amd64 (2.0-2+deb7u1) ... Setting up libtiff4:amd64 (3.9.6-11) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1+deb7u3) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1+deb7u3) ... Setting up libgtk2.0-common (2.24.10-2) ... Setting up 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 libgpg-error0:amd64 (1.10-3.1) ... Setting up libgcrypt11:amd64 (1.5.0-5+deb7u4) ... Setting up libp11-kit0:amd64 (0.12-3) ... Setting up libtasn1-3:amd64 (2.13-2+deb7u2) ... Setting up libgnutls26:amd64 (2.12.20-8+deb7u5) ... Setting up libkeyutils1:amd64 (1.5.5-3+deb7u1) ... Setting up libkrb5support0:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-5+deb7u7) ... Setting up libcups2:amd64 (1.5.3-5+deb7u6) ... Setting up libthai-data (0.1.18-2) ... Setting up libdatrie1:amd64 (0.2.5-3) ... Setting up libthai0:amd64 (0.1.18-2) ... Setting up libxft2:amd64 (2.3.1-1) ... Setting up fontconfig (2.9.0-7.1) ... Regenerating fonts cache... done. Setting up libpango1.0-0:amd64 (1.30.0-1) ... Setting up libxcomposite1:amd64 (1:0.4.3-2) ... Setting up libxfixes3:amd64 (1:5.0-4+deb7u1) ... Setting up libxcursor1:amd64 (1:1.1.13-1+deb7u1) ... Setting up libxdamage1:amd64 (1:1.1.3-2) ... Setting up libxext6:amd64 (2:1.3.1-2+deb7u1) ... Setting up libxi6:amd64 (2:1.6.1-1+deb7u1) ... Setting up libxinerama1:amd64 (2:1.1.2-1+deb7u1) ... Setting up libxrandr2:amd64 (2:1.3.2-2+deb7u1) ... Setting up libxml2:amd64 (2.8.0+dfsg1-7+wheezy5) ... Setting up shared-mime-info (1.0-1+b1) ... Setting up libgtk2.0-0:amd64 (2.24.10-2) ... Setting up libglade2-0 (1:2.6.4-1) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up libhunspell-1.3-0:amd64 (1.3.2-4) ... Setting up libncursesw5:amd64 (5.9-10) ... Setting up dictionaries-common (1.12.11) ... Install dictionaries-common for emacs 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 piuparts-depends-dummy (0.invalid.0) ... Setting up coq (8.3.pl4+dfsg-2) ... Install coq for emacs 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-yf', 'install'] 0m20.1s INFO: Installation of ['./tmp/piuparts-depends-dummy.deb'] ok 0m20.1s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpM8rdVZ/./tmp/piuparts-depends-dummy.deb 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m20.1s DUMP: piuparts-depends-dummy install ok installed 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m20.1s DUMP: (Reading database ... 10361 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m20.1s DEBUG: Recording chroot state 0m20.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m21.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m22.4s ERROR: WARN: Broken symlinks: /usr/share/dict/words -> /etc/dictionaries-common/words /usr/lib/ispell/default.hash -> /etc/dictionaries-common/default.hash /usr/lib/ispell/default.aff -> /etc/dictionaries-common/default.aff 0m22.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'policy'] 0m23.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror-ubc.debian.org/debian/ wheezy/main Translation-en 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: 0m23.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'policy'] 0m23.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'policy', 'coq'] 0m23.4s 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 0m23.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-cache', 'policy', 'coq'] 0m23.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-y', 'install', 'coq=8.3.pl4+dfsg-2'] 0m23.7s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version. coq set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', '-y', 'install', 'coq=8.3.pl4+dfsg-2'] 0m23.7s INFO: Running scripts post_install 0m23.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_install_exceptions'] 0m23.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_install_exceptions'] 0m23.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m24.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m25.2s ERROR: WARN: Broken symlinks: /usr/share/dict/words -> /etc/dictionaries-common/words /usr/lib/ispell/default.hash -> /etc/dictionaries-common/default.hash /usr/lib/ispell/default.aff -> /etc/dictionaries-common/default.aff 0m25.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m25.2s DUMP: install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 0.9.7.9+deb7u7 install ok installed aspell aspell 0.60.7~20110707-1 install ok installed aspell-en aspell-en 7.1-0-1 install ok installed base-files base-files 7.1wheezy11 install ok installed base-passwd base-passwd 3.5.26 install ok installed bash bash 4.2+dfsg-0.1+deb7u3 install ok installed bsdutils bsdutils 1:2.20.1-5.3 install ok installed coq coq 8.3.pl4+dfsg-2 install ok installed coq-theories coq-theories 8.3.pl4+dfsg-2 install ok installed coreutils coreutils 8.13-3.5 install ok installed dash dash 0.5.7-3 install ok installed debconf debconf 1.5.49 install ok installed debconf-i18n debconf-i18n 1.5.49 install ok installed debian-archive-keyring debian-archive-keyring 2014.3~deb7u1 install ok installed debianutils debianutils 4.3.2 install ok installed dictionaries-common dictionaries-common 1.12.11 install ok installed diffutils diffutils 1:3.2-6 install ok installed dpkg dpkg 1.16.18 install ok installed e2fslibs:amd64 e2fslibs 1.42.5-1.1+deb7u1 install ok installed e2fsprogs e2fsprogs 1.42.5-1.1+deb7u1 install ok installed emacsen-common emacsen-common 2.0.5 install ok installed findutils findutils 4.4.2-4 install ok installed fontconfig fontconfig 2.9.0-7.1 install ok installed fontconfig-config fontconfig-config 2.9.0-7.1 install ok installed gcc-4.7-base:amd64 gcc-4.7-base 4.7.2-5 install ok installed gnupg gnupg 1.4.12-7+deb7u7 install ok installed gpgv gpgv 1.4.12-7+deb7u7 install ok installed grep grep 2.12-2 install ok installed gzip gzip 1.5-1.1 install ok installed hostname hostname 3.11 install ok installed initscripts initscripts 2.88dsf-41+deb7u1 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.51-8 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 0.9.7.9+deb7u7 install ok installed libaspell15 libaspell15 0.60.7~20110707-1 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.4.0-2 install ok installed libatk1.0-data libatk1.0-data 2.4.0-2 install ok installed libattr1:amd64 libattr1 1:2.4.46-8 install ok installed libavahi-client3:amd64 libavahi-client3 0.6.31-2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.6.31-2 install ok installed libavahi-common3:amd64 libavahi-common3 0.6.31-2 install ok installed libblkid1:amd64 libblkid1 2.20.1-5.3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-4 install ok installed libc-bin libc-bin 2.13-38+deb7u10 install ok installed libc6:amd64 libc6 2.13-38+deb7u10 install ok installed libcairo2:amd64 libcairo2 1.12.2-3 install ok installed libcomerr2:amd64 libcomerr2 1.42.5-1.1+deb7u1 install ok installed libcoq-ocaml libcoq-ocaml 8.3.pl4+dfsg-2 install ok installed libcups2:amd64 libcups2 1.5.3-5+deb7u6 install ok installed libdatrie1:amd64 libdatrie1 0.2.5-3 install ok installed libdb5.1:amd64 libdb5.1 5.1.29-5 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.6.8-1+deb7u6 install ok installed libenchant1c2a libenchant1c2a 1.6.0-7 install ok installed libexpat1:amd64 libexpat1 2.1.0-1+deb7u2 install ok installed libffi5:amd64 libffi5 3.0.10-3 install ok installed libfontconfig1:amd64 libfontconfig1 2.9.0-7.1 install ok installed libfreetype6:amd64 libfreetype6 2.4.9-1.1+deb7u3 install ok installed libgcc1:amd64 libgcc1 1:4.7.2-5 install ok installed libgcrypt11:amd64 libgcrypt11 1.5.0-5+deb7u4 install ok installed libgdbm3:amd64 libgdbm3 1.8.3-11 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.26.1-1+deb7u3 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.26.1-1+deb7u3 install ok installed libglade2-0 libglade2-0 1:2.6.4-1 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.33.12+really2.32.4-5 install ok installed libgnutls26:amd64 libgnutls26 2.12.20-8+deb7u5 install ok installed libgpg-error0:amd64 libgpg-error0 1.10-3.1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.10.1+dfsg-5+deb7u7 install ok installed libgtk2.0-0:amd64 libgtk2.0-0 2.24.10-2 install ok installed libgtk2.0-common libgtk2.0-common 2.24.10-2 install ok installed libgtkspell0 libgtkspell0 2.0.16-1 install ok installed libhunspell-1.3-0:amd64 libhunspell-1.3-0 1.3.2-4 install ok installed libjasper1:amd64 libjasper1 1.900.1-13+deb7u4 install ok installed libjbig0:amd64 libjbig0 2.0-2+deb7u1 install ok installed libjpeg8:amd64 libjpeg8 8d-1+deb7u1 install ok installed libk5crypto3:amd64 libk5crypto3 1.10.1+dfsg-5+deb7u7 install ok installed libkeyutils1:amd64 libkeyutils1 1.5.5-3+deb7u1 install ok installed libkrb5-3:amd64 libkrb5-3 1.10.1+dfsg-5+deb7u7 install ok installed libkrb5support0:amd64 libkrb5support0 1.10.1+dfsg-5+deb7u7 install ok installed liblablgtk2-ocaml liblablgtk2-ocaml 2.14.2+dfsg-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-7+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2 install ok installed libmount1 libmount1 2.20.1-5.3 install ok installed libncurses5:amd64 libncurses5 5.9-10 install ok installed libncursesw5:amd64 libncursesw5 5.9-10 install ok installed libp11-kit0:amd64 libp11-kit0 0.12-3 install ok installed libpam-modules:amd64 libpam-modules 1.1.3-7.1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.3-7.1 install ok installed libpam-runtime libpam-runtime 1.1.3-7.1 install ok installed libpam0g:amd64 libpam0g 1.1.3-7.1 install ok installed libpango1.0-0:amd64 libpango1.0-0 1.30.0-1 install ok installed libpcre3:amd64 libpcre3 1:8.30-5 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.26.0-4+deb7u2 install ok installed libpng12-0:amd64 libpng12-0 1.2.49-1+deb7u2 install ok installed libreadline6:amd64 libreadline6 6.2+dfsg-0.1 install ok installed libselinux1:amd64 libselinux1 2.1.9-5 install ok installed libsemanage-common libsemanage-common 2.1.6-6 install ok installed libsemanage1:amd64 libsemanage1 2.1.6-6 install ok installed libsepol1:amd64 libsepol1 2.1.4-3 install ok installed libslang2:amd64 libslang2 2.2.4-15 install ok installed libss2:amd64 libss2 1.42.5-1.1+deb7u1 install ok installed libstdc++6:amd64 libstdc++6 4.7.2-5 install ok installed libtasn1-3:amd64 libtasn1-3 2.13-2+deb7u2 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b1 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libthai-data libthai-data 0.1.18-2 install ok installed libthai0:amd64 libthai0 0.1.18-2 install ok installed libtiff4:amd64 libtiff4 3.9.6-11 install ok installed libtinfo5:amd64 libtinfo5 5.9-10 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-20+nmu1 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3 install ok installed libuuid1:amd64 libuuid1 2.20.1-5.3 install ok installed libx11-6:amd64 libx11-6 2:1.5.0-1+deb7u2 install ok installed libx11-data libx11-data 2:1.5.0-1+deb7u2 install ok installed libxau6:amd64 libxau6 1:1.0.7-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.8.1-2+deb7u1 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.8.1-2+deb7u1 install ok installed libxcb1:amd64 libxcb1 1.8.1-2+deb7u1 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.3-2 install ok installed libxcursor1:amd64 libxcursor1 1:1.1.13-1+deb7u1 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.3-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.1-1 install ok installed libxext6:amd64 libxext6 2:1.3.1-2+deb7u1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0-4+deb7u1 install ok installed libxft2:amd64 libxft2 2.3.1-1 install ok installed libxi6:amd64 libxi6 2:1.6.1-1+deb7u1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.2-1+deb7u1 install ok installed libxml2:amd64 libxml2 2.8.0+dfsg1-7+wheezy5 install ok installed libxrandr2:amd64 libxrandr2 2:1.3.2-2+deb7u1 install ok installed libxrender1:amd64 libxrender1 1:0.9.7-1+deb7u2 install ok installed login login 1:4.1.5.1-1 install ok installed lsb-base lsb-base 4.1+Debian8+deb7u1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.20.1-5.3 install ok installed multiarch-support multiarch-support 2.13-38+deb7u10 install ok installed ncurses-base ncurses-base 5.9-10 install ok installed ncurses-bin ncurses-bin 5.9-10 install ok installed ocaml-base-nox ocaml-base-nox 3.12.1-4 install ok installed passwd passwd 1:4.1.5.1-1 install ok installed perl-base perl-base 5.14.2-21+deb7u3 install ok installed readline-common readline-common 6.2+dfsg-0.1 install ok installed sed sed 4.2.1-10 install ok installed sensible-utils sensible-utils 0.0.7 install ok installed shared-mime-info shared-mime-info 1.0-1+b1 install ok installed sysv-rc sysv-rc 2.88dsf-41+deb7u1 install ok installed sysvinit sysvinit 2.88dsf-41+deb7u1 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-41+deb7u1 install ok installed tar tar 1.26+dfsg-0.1 install ok installed ttf-dejavu-core ttf-dejavu-core 2.33-3 install ok installed tzdata tzdata 2016d-0+deb7u1 install ok installed ucf ucf 3.0025+nmu3 install ok installed util-linux util-linux 2.20.1-5.3 install ok installed xz-utils xz-utils 5.1.1alpha+20120614-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.7.dfsg-13 0m25.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m25.7s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', '-ac', '--ignore-obsolete'] 0m27.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', '-ac', '--ignore-obsolete'] 0m27.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.1s DUMP: 0.15.1 0m27.1s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m27.1s INFO: Running adequate version 0.15.1 now. 0m27.1s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'coq'] 0m27.2s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'coq'] 0m27.2s INFO: Running scripts pre_remove 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m28.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_exceptions'] 0m29.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/pre_remove_exceptions'] 0m29.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'coq'] 0m30.1s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: aspell aspell-en coq coq-theories dictionaries-common emacsen-common fontconfig fontconfig-config libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libcairo2 libcoq-ocaml libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libffi5 libfontconfig1 libfreetype6 libgcrypt11 libgdbm3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtkspell0 libhunspell-1.3-0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml libncursesw5 libp11-kit0 libpango1.0-0 libpcre3 libpixman-1-0 libpng12-0 libtasn1-3 libthai-data libthai0 libtiff4 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 ocaml-base-nox shared-mime-info ttf-dejavu-core 0 upgraded, 0 newly installed, 76 to remove and 0 not upgraded. After this operation, 299 MB disk space will be freed. (Reading database ... 10361 files and directories currently installed.) Removing coq ... Remove coq for emacs Removing coq-theories ... Removing libcoq-ocaml ... Removing liblablgtk2-ocaml ... Removing libgtkspell0 ... Removing libenchant1c2a ... Removing aspell-en ... Removing aspell ... Removing dictionaries-common ... Removing 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Removing emacsen-common ... Removing libglade2-0 ... Removing libgtk2.0-0:amd64 ... Removing libpango1.0-0:amd64 ... Removing fontconfig ... Removing libxft2:amd64 ... Removing libcairo2:amd64 ... Removing libfontconfig1:amd64 ... Removing fontconfig-config ... Removing libaspell15 ... Removing libatk1.0-0:amd64 ... Removing libatk1.0-data ... Removing libcups2:amd64 ... Removing libavahi-client3:amd64 ... Removing libavahi-common3:amd64 ... Removing libavahi-common-data:amd64 ... Removing libthai0:amd64 ... Removing libdatrie1:amd64 ... Removing libdbus-1-3:amd64 ... Removing libexpat1:amd64 ... Removing shared-mime-info ... Removing libgdk-pixbuf2.0-0:amd64 ... Removing libglib2.0-0:amd64 ... Removing libffi5:amd64 ... Removing libfreetype6:amd64 ... Removing libgnutls26:amd64 ... Removing libgcrypt11:amd64 ... Removing ocaml-base-nox ... Removing libgdbm3:amd64 ... Removing libgdk-pixbuf2.0-common ... Removing libgpg-error0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Removing libgtk2.0-common ... Removing libhunspell-1.3-0:amd64 ... Removing libjasper1:amd64 ... Removing libtiff4:amd64 ... Removing libjbig0:amd64 ... Removing libjpeg8:amd64 ... Removing libkrb5-3:amd64 ... Removing libk5crypto3:amd64 ... Removing libkrb5support0:amd64 ... Removing libkeyutils1:amd64 ... Removing libncursesw5:amd64 ... Removing libp11-kit0:amd64 ... Removing libpcre3:amd64 ... Removing libpixman-1-0:amd64 ... Removing libpng12-0:amd64 ... Removing libtasn1-3:amd64 ... Removing libthai-data ... Removing libxrandr2:amd64 ... Removing libxcursor1:amd64 ... Removing libxrender1:amd64 ... Removing libxinerama1:amd64 ... Removing libxi6:amd64 ... Removing libxdamage1:amd64 ... Removing libxfixes3:amd64 ... Removing libxext6:amd64 ... Removing libxcomposite1:amd64 ... Removing libx11-6:amd64 ... Removing libx11-data ... Removing libxcb-shm0:amd64 ... Removing libxcb-render0:amd64 ... Removing libxcb1:amd64 ... Removing libxau6:amd64 ... Removing libxdmcp6:amd64 ... Removing libxml2:amd64 ... Removing ttf-dejavu-core ... 0m30.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'remove', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64', 'coq'] 0m30.1s INFO: Running scripts post_remove 0m30.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_remove_exceptions'] 0m30.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_remove_exceptions'] 0m30.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 0m30.6s DUMP: dpkg: warning: ignoring request to remove libx11-data which isn't installed (Reading database ... 6817 files and directories currently installed.) Removing libcairo2:amd64 ... Purging configuration files for libcairo2:amd64 ... Removing libgdk-pixbuf2.0-0:amd64 ... Purging configuration files for libgdk-pixbuf2.0-0:amd64 ... Removing libgssapi-krb5-2:amd64 ... Purging configuration files for libgssapi-krb5-2:amd64 ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... Removing libxi6:amd64 ... Purging configuration files for libxi6:amd64 ... Removing libgcrypt11:amd64 ... Purging configuration files for libgcrypt11:amd64 ... dpkg: warning: ignoring request to remove libthai-data which isn't installed Removing libxinerama1:amd64 ... Purging configuration files for libxinerama1:amd64 ... Removing libk5crypto3:amd64 ... Purging configuration files for libk5crypto3:amd64 ... Removing libffi5:amd64 ... Purging configuration files for libffi5:amd64 ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libfreetype6:amd64 ... Purging configuration files for libfreetype6:amd64 ... dpkg: warning: ignoring request to remove libjpeg8 which isn't installed Removing libkeyutils1:amd64 ... Purging configuration files for libkeyutils1:amd64 ... Removing libgnutls26:amd64 ... Purging configuration files for libgnutls26:amd64 ... Removing libpixman-1-0:amd64 ... Purging configuration files for libpixman-1-0:amd64 ... Removing libtasn1-3:amd64 ... Purging configuration files for libtasn1-3:amd64 ... Removing libncursesw5:amd64 ... Purging configuration files for libncursesw5:amd64 ... dpkg: warning: ignoring request to remove liblablgtk2-ocaml which isn't installed Removing libtiff4:amd64 ... Purging configuration files for libtiff4:amd64 ... Removing libdbus-1-3:amd64 ... Purging configuration files for libdbus-1-3:amd64 ... Removing libxcursor1:amd64 ... Purging configuration files for libxcursor1:amd64 ... Removing libdatrie1:amd64 ... Purging configuration files for libdatrie1:amd64 ... Removing libxfixes3:amd64 ... Purging configuration files for libxfixes3:amd64 ... Removing libgdbm3:amd64 ... Purging configuration files for libgdbm3:amd64 ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing libpcre3:amd64 ... Purging configuration files for libpcre3:amd64 ... dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed Removing libgtk2.0-0:amd64 ... Purging configuration files for libgtk2.0-0:amd64 ... Removing libjasper1:amd64 ... Purging configuration files for libjasper1:amd64 ... Removing libxcb1:amd64 ... Purging configuration files for libxcb1:amd64 ... Removing emacsen-common ... Purging configuration files for emacsen-common ... Removing libgpg-error0:amd64 ... Purging configuration files for libgpg-error0:amd64 ... Removing libxdamage1:amd64 ... Purging configuration files for libxdamage1:amd64 ... Removing libx11-6:amd64 ... Purging configuration files for libx11-6:amd64 ... Removing libxdmcp6:amd64 ... Purging configuration files for libxdmcp6:amd64 ... Removing libjbig0:amd64 ... Purging configuration files for libjbig0:amd64 ... Removing libgtk2.0-common ... Purging configuration files for libgtk2.0-common ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing libxcb-shm0:amd64 ... Purging configuration files for libxcb-shm0:amd64 ... Removing libhunspell-1.3-0:amd64 ... Purging configuration files for libhunspell-1.3-0:amd64 ... Removing libpango1.0-0:amd64 ... Purging configuration files for libpango1.0-0:amd64 ... Removing libkrb5support0:amd64 ... Purging configuration files for libkrb5support0:amd64 ... Removing libglib2.0-0:amd64 ... Purging configuration files for libglib2.0-0:amd64 ... Removing libxau6:amd64 ... Purging configuration files for libxau6:amd64 ... Removing libpng12-0:amd64 ... Purging configuration files for libpng12-0:amd64 ... Removing libxrender1:amd64 ... Purging configuration files for libxrender1:amd64 ... Removing dictionaries-common ... Purging configuration files for dictionaries-common ... Removing libxml2:amd64 ... Purging configuration files for libxml2:amd64 ... Removing libxcomposite1:amd64 ... Purging configuration files for libxcomposite1:amd64 ... Removing libxrandr2:amd64 ... Purging configuration files for libxrandr2:amd64 ... dpkg: warning: ignoring request to remove ttf-dejavu-core which isn't installed dpkg: warning: ignoring request to remove aspell which isn't installed dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed Removing libxft2:amd64 ... Purging configuration files for libxft2:amd64 ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... dpkg: warning: ignoring request to remove libcoq-ocaml which isn't installed Removing libxext6:amd64 ... Purging configuration files for libxext6:amd64 ... Removing libatk1.0-0:amd64 ... Purging configuration files for libatk1.0-0:amd64 ... dpkg: warning: ignoring request to remove libenchant1c2a which isn't installed Removing libexpat1:amd64 ... Purging configuration files for libexpat1:amd64 ... dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed Removing libkrb5-3:amd64 ... Purging configuration files for libkrb5-3:amd64 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed Removing libfontconfig1:amd64 ... Purging configuration files for libfontconfig1:amd64 ... Removing libthai0:amd64 ... Purging configuration files for libthai0:amd64 ... dpkg: warning: ignoring request to remove coq-theories which isn't installed Removing libcups2:amd64 ... Purging configuration files for libcups2:amd64 ... Removing libavahi-common3:amd64 ... Purging configuration files for libavahi-common3:amd64 ... Removing libavahi-client3:amd64 ... Purging configuration files for libavahi-client3:amd64 ... Removing libxcb-render0:amd64 ... Purging configuration files for libxcb-render0:amd64 ... Removing libp11-kit0:amd64 ... Purging configuration files for libp11-kit0:amd64 ... 0m30.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'libx11-data', 'libcairo2:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgssapi-krb5-2:amd64', 'shared-mime-info', 'libxi6:amd64', 'libgcrypt11:amd64', 'libthai-data', 'libxinerama1:amd64', 'libk5crypto3:amd64', 'libffi5:amd64', 'libaspell15', 'libfreetype6:amd64', 'libjpeg8:amd64', 'libkeyutils1:amd64', 'libgnutls26:amd64', 'libpixman-1-0:amd64', 'libtasn1-3:amd64', 'libncursesw5:amd64', 'liblablgtk2-ocaml', 'libtiff4:amd64', 'libdbus-1-3:amd64', 'libxcursor1:amd64', 'libdatrie1:amd64', 'libxfixes3:amd64', 'libgdbm3:amd64', 'fontconfig', 'libpcre3:amd64', 'libatk1.0-data', 'libgtk2.0-0:amd64', 'libjasper1:amd64', 'libxcb1:amd64', 'emacsen-common', 'libgpg-error0:amd64', 'libxdamage1:amd64', 'libx11-6:amd64', 'libxdmcp6:amd64', 'libjbig0:amd64', 'libgtk2.0-common', 'libgtkspell0', 'aspell-en', 'libxcb-shm0:amd64', 'libhunspell-1.3-0:amd64', 'libpango1.0-0:amd64', 'libkrb5support0:amd64', 'libglib2.0-0:amd64', 'libxau6:amd64', 'libpng12-0:amd64', 'libxrender1:amd64', 'dictionaries-common', 'libxml2:amd64', 'libxcomposite1:amd64', 'libxrandr2:amd64', 'ttf-dejavu-core', 'aspell', 'ocaml-base-nox', 'libxft2:amd64', 'libglade2-0', 'libcoq-ocaml', 'libxext6:amd64', 'libatk1.0-0:amd64', 'libenchant1c2a', 'libexpat1:amd64', 'libavahi-common-data:amd64', 'libkrb5-3:amd64', 'fontconfig-config', 'libgdk-pixbuf2.0-common', 'libfontconfig1:amd64', 'libthai0:amd64', 'coq-theories', 'libcups2:amd64', 'libavahi-common3:amd64', 'libavahi-client3:amd64', 'libxcb-render0:amd64', 'libp11-kit0:amd64'] 0m30.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'coq'] 0m30.7s DUMP: (Reading database ... 6771 files and directories currently installed.) Removing coq ... Purging configuration files for coq ... 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', 'coq'] 0m30.7s INFO: Running scripts post_purge 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_purge_exceptions'] 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_purge_exceptions'] 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', '--pending'] 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--purge', '--pending'] 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--remove', '--pending'] 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg', '--remove', '--pending'] 0m30.7s INFO: Running scripts post_test 0m30.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_test_exceptions'] 0m30.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'tmp/scripts/post_test_exceptions'] 0m30.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m31.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m31.6s DEBUG: No broken symlinks as far as we can find. 0m31.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-divert', '--list'] 0m31.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 local diversion of /home to /home.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m31.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'dpkg-divert', '--list'] 0m31.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m31.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ', 'apt-get', 'clean'] 0m31.6s DEBUG: Recording chroot state 0m32.4s INFO: PASS: Installation and purging test. 0m32.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/run/shm'] 0m32.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/run/shm'] 0m32.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/console'] 0m32.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/console'] 0m32.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/ptmx'] 0m32.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/ptmx'] 0m32.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts'] 0m32.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/dev/pts'] 0m32.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/proc'] 0m32.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ/proc'] 0m32.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m32.9s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpM8rdVZ'] 0m32.9s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpM8rdVZ 0m32.9s INFO: PASS: All tests. 0m32.9s INFO: piuparts run ends. ret=0 End: 2018-02-24 23:36:51 UTC