Start: 2014-03-16 11:26:39 UTC Package: acl2-books-source Priority: optional Section: math Installed-Size: 36216 Maintainer: Camm Maguire Architecture: all Source: acl2 Version: 4.0-3 Replaces: acl2 (<= 2.7-9) Depends: acl2 (>= 4.0-3) Conflicts: acl2 (<= 2.7-9) Filename: pool/main/a/acl2/acl2-books-source_4.0-3_all.deb Size: 5286616 MD5sum: aa98de3bc15f8069943ca4c60e81c15f SHA1: c1f44c19c8cd2c3df61bda80b1a0f81767bf10a6 SHA256: 381f60eee2d608760d5a6334086e706a18c12e4d1cdc62fbe9d31abb3da7e7c2 Description: A Computational Logic for Applicative Common Lisp: library sources ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains source lisp files to the compiled libraries supplied in the ACL2-books package. Tag: devel::interpreter, devel::lang:lisp, implemented-in::lisp, interface::text-mode, role::source, uitoolkit::ncurses 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 acl2-books-source=4.0-3 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 http://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.57.1~201403012113~0.57-23-gfd8571c 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 acl2-books-source=4.0-3 0m0.0s INFO: Running on: Linux piu-slave-bm-a 3.2.0-4-amd64 #1 SMP Debian 3.2.54-2 x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpW5JCbp 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpW5JCbp 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.7s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.7s 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/tmpW5JCbp', '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/tmpW5JCbp', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpW5JCbp/tmp/scripts/ 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpW5JCbp/tmp/scripts/ 0m2.1s INFO: Running scripts post_setup 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_experimental'] 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_experimental'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m2.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 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 (23.7 MB/s) Selecting previously deselected package adduser. (Reading database ... 6135 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) ... 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--get-selections', '*'] 0m3.4s 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.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--get-selections', '*'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-divert', '--list'] 0m3.4s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-divert', '--list'] 0m3.4s INFO: apt-cache does not know about any of the requested packages 0m3.4s INFO: Running scripts pre_test 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_test_root_password'] 0m3.5s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_test_root_password'] 0m3.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m3.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m4.5s DEBUG: No broken symlinks as far as we can find. 0m4.5s INFO: Running scripts pre_install 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_database-server'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_exceptions'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_extras'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'show', 'acl2-books-source=4.0-3'] 0m4.6s DUMP: Package: acl2-books-source Priority: optional Section: math Installed-Size: 36216 Maintainer: Camm Maguire Architecture: all Source: acl2 Version: 4.0-3 Replaces: acl2 (<= 2.7-9) Depends: acl2 (>= 4.0-3) Conflicts: acl2 (<= 2.7-9) Filename: pool/main/a/acl2/acl2-books-source_4.0-3_all.deb Size: 5286616 MD5sum: aa98de3bc15f8069943ca4c60e81c15f SHA1: c1f44c19c8cd2c3df61bda80b1a0f81767bf10a6 SHA256: 381f60eee2d608760d5a6334086e706a18c12e4d1cdc62fbe9d31abb3da7e7c2 Description: A Computational Logic for Applicative Common Lisp: library sources ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains source lisp files to the compiled libraries supplied in the ACL2-books package. Tag: devel::interpreter, devel::lang:lisp, implemented-in::lisp, interface::text-mode, role::source, uitoolkit::ncurses 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'show', 'acl2-books-source=4.0-3'] 0m4.6s 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: acl2 (>= 4.0-3) Conflicts: acl2 (<= 2.7-9) 0m4.6s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpjlVN1d/piuparts-depends-dummy'] 0m4.6s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpjlVN1d/piuparts-depends-dummy.deb'. 0m4.6s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpjlVN1d/piuparts-depends-dummy'] 0m4.6s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpjlVN1d/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpW5JCbp/tmp 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.6s DUMP: Selecting previously deselected package piuparts-depends-dummy. (Reading database ... 6258 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 acl2 (>= 4.0-3); however: Package acl2 is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m4.6s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-yf', 'install'] 0m7.2s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: acl2 libgmp3c2 libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 Suggested packages: acl2-emacs Recommended packages: acl2-source acl2-books The following NEW packages will be installed: acl2 libgmp3c2 libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 0 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 27.7 MB of archives. After this operation, 131 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libgmp3c2 amd64 2:4.3.2+dfsg-1 [313 kB] Get:2 http://mirror.bm.debian.org/debian/ squeeze/main libxau6 amd64 1:1.0.6-1 [16.8 kB] Get:3 http://mirror.bm.debian.org/debian/ squeeze/main libxdmcp6 amd64 1:1.0.3-2 [19.3 kB] Get:4 http://mirror.bm.debian.org/debian/ squeeze/main libxcb1 amd64 1.6-1+squeeze1 [44.3 kB] Get:5 http://mirror.bm.debian.org/debian/ squeeze/main libx11-data all 2:1.3.3-4+squeeze1 [184 kB] Get:6 http://mirror.bm.debian.org/debian/ squeeze/main libx11-6 amd64 2:1.3.3-4+squeeze1 [847 kB] Get:7 http://mirror.bm.debian.org/debian/ squeeze/main acl2 amd64 4.0-3 [26.2 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.7 MB in 0s (32.0 MB/s) Selecting previously deselected package libgmp3c2. (Reading database ... 6258 files and directories currently installed.) Unpacking libgmp3c2 (from .../libgmp3c2_2%3a4.3.2+dfsg-1_amd64.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-1_amd64.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-2_amd64.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.6-1+squeeze1_amd64.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.3.3-4+squeeze1_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.3.3-4+squeeze1_amd64.deb) ... Selecting previously deselected package acl2. Unpacking acl2 (from .../archives/acl2_4.0-3_amd64.deb) ... Setting up libgmp3c2 (2:4.3.2+dfsg-1) ... Setting up libxau6 (1:1.0.6-1) ... Setting up libxdmcp6 (1:1.0.3-2) ... Setting up libxcb1 (1.6-1+squeeze1) ... Setting up libx11-data (2:1.3.3-4+squeeze1) ... Setting up libx11-6 (2:1.3.3-4+squeeze1) ... Setting up acl2 (4.0-3) ... Setting up piuparts-depends-dummy (0.invalid.0) ... 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-yf', 'install'] 0m7.2s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m7.2s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpW5JCbp/tmp/piuparts-depends-dummy.deb 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m7.2s DUMP: piuparts-depends-dummy install ok installed 0m7.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m7.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m7.3s DUMP: (Reading database ... 6558 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m7.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m7.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m7.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m8.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m8.8s DEBUG: No broken symlinks as far as we can find. 0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'policy'] 0m8.8s 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.9,o=Debian,a=oldstable,n=squeeze,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m8.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'policy'] 0m8.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'policy', 'acl2-books-source'] 0m8.9s DUMP: acl2-books-source: Installed: (none) Candidate: 4.0-3 Version table: 4.0-3 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m8.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-cache', 'policy', 'acl2-books-source'] 0m8.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-y', 'install', 'acl2-books-source=4.0-3'] 0m10.0s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: acl2-books-source 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 5287 kB of archives. After this operation, 37.1 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main acl2-books-source all 4.0-3 [5287 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5287 kB in 0s (26.1 MB/s) Selecting previously deselected package acl2-books-source. (Reading database ... 6558 files and directories currently installed.) Unpacking acl2-books-source (from .../acl2-books-source_4.0-3_all.deb) ... Setting up acl2-books-source (4.0-3) ... 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', '-y', 'install', 'acl2-books-source=4.0-3'] 0m10.0s INFO: Running scripts post_install 0m10.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m10.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m11.8s DEBUG: No broken symlinks as far as we can find. 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--get-selections', '*'] 0m11.8s DUMP: acl2 install acl2-books-source install 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 libgmp3c2 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 libx11-6 install libx11-data install libxau6 install libxcb1 install libxdmcp6 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 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--get-selections', '*'] 0m12.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', '-ac'] 0m13.8s DUMP: debsums: no md5sums for mawk 0m13.8s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', '-ac'] 0m13.8s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m13.8s DUMP: 0.11.3~bpo70+1 0m13.8s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m13.8s INFO: Running adequate version 0.11.3~bpo70+1 now. 0m13.8s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'acl2-books-source'] 0m14.0s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'acl2-books-source'] 0m14.0s INFO: Running scripts pre_remove 0m14.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m14.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m14.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m14.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m14.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m14.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m14.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m14.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m14.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_exceptions'] 0m14.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/pre_remove_exceptions'] 0m14.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'remove', 'libx11-6', 'libx11-data', 'libxcb1', 'libgmp3c2', 'acl2', 'libxau6', 'libxdmcp6', 'acl2-books-source'] 0m14.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: acl2 acl2-books-source libgmp3c2 libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 0 upgraded, 0 newly installed, 8 to remove and 0 not upgraded. After this operation, 168 MB disk space will be freed. (Reading database ... 8876 files and directories currently installed.) Removing acl2-books-source ... Removing acl2 ... Removing libgmp3c2 ... Removing libx11-6 ... Removing libx11-data ... Removing libxcb1 ... Removing libxau6 ... Removing libxdmcp6 ... 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'remove', 'libx11-6', 'libx11-data', 'libxcb1', 'libgmp3c2', 'acl2', 'libxau6', 'libxdmcp6', 'acl2-books-source'] 0m14.9s INFO: Running scripts post_remove 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_remove_exceptions_lenny'] 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_remove_exceptions_lenny'] 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_remove_extras'] 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_remove_extras'] 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'libx11-6', 'libx11-data', 'libxcb1', 'libgmp3c2', 'acl2', 'libxau6', 'libxdmcp6'] 0m15.0s DUMP: (Reading database ... 6258 files and directories currently installed.) Removing libx11-6 ... Purging configuration files for libx11-6 ... dpkg: warning: ignoring request to remove libx11-data which isn't installed. Removing libxcb1 ... Purging configuration files for libxcb1 ... Removing libgmp3c2 ... Purging configuration files for libgmp3c2 ... dpkg: warning: ignoring request to remove acl2 which isn't installed. Removing libxau6 ... Purging configuration files for libxau6 ... Removing libxdmcp6 ... Purging configuration files for libxdmcp6 ... 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'libx11-6', 'libx11-data', 'libxcb1', 'libgmp3c2', 'acl2', 'libxau6', 'libxdmcp6'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'acl2-books-source'] 0m15.0s DUMP: dpkg: warning: ignoring request to remove acl2-books-source which isn't installed. 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', 'acl2-books-source'] 0m15.0s INFO: Running scripts post_purge 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_purge_exceptions'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'tmp/scripts/post_purge_exceptions'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', '--pending'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--purge', '--pending'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--remove', '--pending'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg', '--remove', '--pending'] 0m15.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m15.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m16.0s DEBUG: No broken symlinks as far as we can find. 0m16.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-divert', '--list'] 0m16.1s 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 0m16.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'dpkg-divert', '--list'] 0m16.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m16.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'apt-get', 'clean'] 0m17.0s INFO: PASS: Installation and purging test. 0m17.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'umount', '/proc'] 0m17.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpW5JCbp', 'umount', '/proc'] 0m17.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m17.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpW5JCbp'] 0m17.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpW5JCbp 0m17.4s INFO: PASS: All tests. 0m17.4s INFO: piuparts run ends. ret=0 End: 2014-03-16 11:26:57 UTC