Start: 2014-10-17 03:34:29 UTC Package: prover9 Priority: optional Section: math Installed-Size: 380 Maintainer: Peter Collingbourne Architecture: amd64 Source: ladr Version: 0.0.200902a-2 Depends: libc6 (>= 2.2.5), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Filename: pool/main/l/ladr/prover9_0.0.200902a-2_amd64.deb Size: 127580 MD5sum: f826f2d4a956f406c95fc22d04756fcd SHA1: ac76600af1e433d74c7c5f0c2b65343384b10928 SHA256: ebccca6c947dd7f8e0b8f4a661b8e3394c1fc690c823dc089416174711a730e4 Description: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python2.7/dist-packages timeout -s INT -k 5m 35m /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --scriptsdir /etc/piuparts/scripts-squeeze --warn-on-debsums-errors --mirror 'http://mirror.bm.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 --no-upgrade-test --apt prover9=0.0.200902a-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.59 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --skip-logrotatefiles-test --warn-on-others --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge -i /etc/shells --scriptsdir /etc/piuparts/scripts-squeeze --warn-on-debsums-errors --mirror 'http://mirror.bm.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 --no-upgrade-test --apt prover9=0.0.200902a-2 0m0.0s INFO: Running on: Linux piu-slave-bm-a 3.2.0-4-amd64 #1 SMP Debian 3.2.60-1+deb7u3 x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpPn7YvO 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpPn7YvO 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ squeeze main 0m1.8s DEBUG: Created policy-rc.d and chmodded it. 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'update'] 0m1.8s DUMP: Hit http://mirror.bm.debian.org squeeze Release.gpg Ign http://mirror.bm.debian.org/debian/ squeeze/main Translation-en Hit http://mirror.bm.debian.org squeeze Release Hit http://mirror.bm.debian.org squeeze/main amd64 Packages Reading package lists... 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-yf', 'dist-upgrade'] 0m2.2s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-yf', 'dist-upgrade'] 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpPn7YvO/tmp/scripts/ 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpPn7YvO/tmp/scripts/ 0m2.2s INFO: Running scripts post_setup 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_experimental'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_experimental'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_forbid_home'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_forbid_home'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.2s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 320 kB of archives. After this operation, 1532 kB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main adduser all 3.112+nmu2 [250 kB] Get:2 http://mirror.bm.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 (19.4 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) ... 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--get-selections', '*'] 0m3.7s DUMP: adduser install apt install base-files install base-passwd install bash install bsdutils install coreutils install dash install debconf install debconf-i18n install debian-archive-keyring install debianutils install diffutils install dpkg install e2fslibs install e2fsprogs install findutils install gcc-4.4-base install gnupg install gpgv install grep install gzip install hostname install initscripts install insserv install libacl1 install libattr1 install libblkid1 install libbz2-1.0 install libc-bin install libc6 install libcomerr2 install libdb4.8 install libgcc1 install liblocale-gettext-perl install liblzma2 install libncurses5 install libpam-modules install libpam-runtime install libpam0g install libreadline6 install libselinux1 install libsepol1 install libslang2 install libss2 install libstdc++6 install libtext-charwidth-perl install libtext-iconv-perl install libtext-wrapi18n-perl install libusb-0.1-4 install libuuid1 install login install lsb-base install mawk install mount install ncurses-base install ncurses-bin install passwd install perl-base install readline-common install sed install sensible-utils install sysv-rc install sysvinit install sysvinit-utils install tar install tzdata install ucf install util-linux install xz-utils install zlib1g install 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--get-selections', '*'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-divert', '--list'] 0m3.7s 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 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-divert', '--list'] 0m3.7s INFO: apt-cache does not know about any of the requested packages 0m3.7s INFO: Running scripts pre_test 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_test_root_password'] 0m3.7s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_test_root_password'] 0m3.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m4.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m4.8s DEBUG: No broken symlinks as far as we can find. 0m4.8s INFO: Running scripts pre_install 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_database-server'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_database-server'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_exceptions'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_exceptions'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_extras'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_extras'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'show', 'prover9=0.0.200902a-2'] 0m4.9s DUMP: Package: prover9 Priority: optional Section: math Installed-Size: 380 Maintainer: Peter Collingbourne Architecture: amd64 Source: ladr Version: 0.0.200902a-2 Depends: libc6 (>= 2.2.5), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Filename: pool/main/l/ladr/prover9_0.0.200902a-2_amd64.deb Size: 127580 MD5sum: f826f2d4a956f406c95fc22d04756fcd SHA1: ac76600af1e433d74c7c5f0c2b65343384b10928 SHA256: ebccca6c947dd7f8e0b8f4a661b8e3394c1fc690c823dc089416174711a730e4 Description: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Homepage: http://www.cs.unm.edu/~mccune/mace4/ 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'show', 'prover9=0.0.200902a-2'] 0m4.9s DEBUG: metapackage: Package: piuparts-depends-dummy Version: 0.invalid.0 Architecture: all 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: libc6 (>= 2.2.5), libladr4 (>= 0.0.200902a) 0m4.9s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpCadfZo/piuparts-depends-dummy'] 0m4.9s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpCadfZo/piuparts-depends-dummy.deb'. 0m4.9s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpCadfZo/piuparts-depends-dummy'] 0m4.9s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpCadfZo/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpPn7YvO/tmp 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.0s DUMP: Selecting previously deselected package piuparts-depends-dummy. (Reading database ... 6261 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 libladr4 (>= 0.0.200902a); however: Package libladr4 is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m5.0s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-yf', 'install'] 0m5.9s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: libladr4 The following NEW packages will be installed: libladr4 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 239 kB of archives. After this operation, 594 kB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libladr4 amd64 0.0.200902a-2 [239 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 239 kB in 0s (1664 kB/s) Selecting previously deselected package libladr4. (Reading database ... 6261 files and directories currently installed.) Unpacking libladr4 (from .../libladr4_0.0.200902a-2_amd64.deb) ... Setting up libladr4 (0.0.200902a-2) ... Setting up piuparts-depends-dummy (0.invalid.0) ... 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-yf', 'install'] 0m5.9s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m5.9s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpPn7YvO/tmp/piuparts-depends-dummy.deb 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m5.9s DUMP: piuparts-depends-dummy install ok installed 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m5.9s DUMP: (Reading database ... 6267 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m6.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m6.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m7.4s DEBUG: No broken symlinks as far as we can find. 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'policy'] 0m7.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages release v=6.0.10,o=Debian,a=oldstable,n=squeeze,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'policy'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'policy', 'prover9'] 0m7.5s DUMP: prover9: Installed: (none) Candidate: 0.0.200902a-2 Version table: 0.0.200902a-2 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-cache', 'policy', 'prover9'] 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-y', 'install', 'prover9=0.0.200902a-2'] 0m8.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Suggested packages: ladr4-apps prover9-doc The following NEW packages will be installed: prover9 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 128 kB of archives. After this operation, 389 kB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main prover9 amd64 0.0.200902a-2 [128 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 128 kB in 0s (2092 kB/s) Selecting previously deselected package prover9. (Reading database ... 6267 files and directories currently installed.) Unpacking prover9 (from .../prover9_0.0.200902a-2_amd64.deb) ... Setting up prover9 (0.0.200902a-2) ... 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', '-y', 'install', 'prover9=0.0.200902a-2'] 0m8.2s INFO: Running scripts post_install 0m8.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_install_exceptions'] 0m8.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_install_exceptions'] 0m8.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m8.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m9.3s DEBUG: No broken symlinks as far as we can find. 0m9.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--get-selections', '*'] 0m9.3s DUMP: adduser install apt install base-files install base-passwd install bash install bsdutils install coreutils install dash install debconf install debconf-i18n install debian-archive-keyring install debianutils install diffutils install dpkg install e2fslibs install e2fsprogs install findutils install gcc-4.4-base install gnupg install gpgv install grep install gzip install hostname install initscripts install insserv install libacl1 install libattr1 install libblkid1 install libbz2-1.0 install libc-bin install libc6 install libcomerr2 install libdb4.8 install libgcc1 install libladr4 install liblocale-gettext-perl install liblzma2 install libncurses5 install libpam-modules install libpam-runtime install libpam0g install libreadline6 install libselinux1 install libsepol1 install libslang2 install libss2 install libstdc++6 install libtext-charwidth-perl install libtext-iconv-perl install libtext-wrapi18n-perl install libusb-0.1-4 install libuuid1 install login install lsb-base install mawk install mount install ncurses-base install ncurses-bin install passwd install perl-base install prover9 install readline-common install sed install sensible-utils install sysv-rc install sysvinit install sysvinit-utils install tar install tzdata install ucf install util-linux install xz-utils install zlib1g install 0m9.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--get-selections', '*'] 0m9.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', '-ac'] 0m10.4s DUMP: debsums: no md5sums for mawk 0m10.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', '-ac'] 0m10.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m10.4s DUMP: 0.12~bpo70+1 0m10.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m10.4s INFO: Running adequate version 0.12~bpo70+1 now. 0m10.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'prover9'] 0m10.6s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'prover9'] 0m10.6s INFO: Running scripts pre_remove 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_exceptions'] 0m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/pre_remove_exceptions'] 0m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m11.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: libladr4 prover9 0 upgraded, 0 newly installed, 2 to remove and 0 not upgraded. After this operation, 983 kB disk space will be freed. (Reading database ... 6295 files and directories currently installed.) Removing prover9 ... Removing libladr4 ... 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'remove', 'libladr4', 'prover9'] 0m11.3s INFO: Running scripts post_remove 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_remove_exceptions_lenny'] 0m11.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_remove_exceptions_lenny'] 0m11.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_remove_extras'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_remove_extras'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'libladr4'] 0m11.4s DUMP: (Reading database ... 6261 files and directories currently installed.) Removing libladr4 ... Purging configuration files for libladr4 ... 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'libladr4'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'prover9'] 0m11.4s DUMP: dpkg: warning: ignoring request to remove prover9 which isn't installed. 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', 'prover9'] 0m11.4s INFO: Running scripts post_purge 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_purge_exceptions'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'tmp/scripts/post_purge_exceptions'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', '--pending'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--purge', '--pending'] 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--remove', '--pending'] 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg', '--remove', '--pending'] 0m11.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m11.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m12.5s DEBUG: No broken symlinks as far as we can find. 0m12.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-divert', '--list'] 0m12.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 diversion of /bin/sh to /bin/sh.distrib by dash 0m12.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'dpkg-divert', '--list'] 0m12.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m12.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'apt-get', 'clean'] 0m13.6s INFO: PASS: Installation and purging test. 0m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'umount', '/proc'] 0m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpPn7YvO', 'umount', '/proc'] 0m13.9s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m14.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpPn7YvO'] 0m14.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpPn7YvO 0m14.0s INFO: PASS: All tests. 0m14.0s INFO: piuparts run ends. ret=0 End: 2014-10-17 03:34:43 UTC