Start: 2014-07-07 06:35:14 UTC Package: libwhy-coq Priority: optional Section: libdevel Installed-Size: 1244 Maintainer: Debian OCaml Maintainers Architecture: all Source: why Version: 2.26+dfsg-2+squeeze1 Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.2.pl2+3.11.2 Filename: pool/main/w/why/libwhy-coq_2.26+dfsg-2+squeeze1_all.deb Size: 513412 MD5sum: 0a3e89a667639e02e9ca9b84d57551a5 SHA1: 94541db77d704075f796a2ea9c5e773c5bd81718 SHA256: 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 Description: Why library for Coq This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq. Homepage: http://why.lri.fr/ Tag: devel::library, qa::low-popcon 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 libwhy-coq=2.26+dfsg-2+squeeze1 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.59~201405301115~0.58-62-g352dac2 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 libwhy-coq=2.26+dfsg-2+squeeze1 0m0.0s INFO: Running on: Linux piu-slave-bm-a 3.2.0-4-amd64 #1 SMP Debian 3.2.60-1 x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpcP21jz 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpcP21jz 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '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/tmpcP21jz', '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/tmpcP21jz', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '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/tmpcP21jz', 'apt-get', '-yf', 'dist-upgrade'] 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpcP21jz/tmp/scripts/ 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpcP21jz/tmp/scripts/ 0m2.2s INFO: Running scripts post_setup 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.3s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... Suggested packages: perl-modules The following NEW packages will be installed: adduser ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 320 kB of archives. After this operation, 1532 kB of additional disk space will be used. 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 (2459 kB/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) ... 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--get-selections', '*'] 0m3.8s 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.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--get-selections', '*'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-divert', '--list'] 0m3.9s DUMP: diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /bin/sync to /bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-divert', '--list'] 0m3.9s INFO: apt-cache does not know about any of the requested packages 0m3.9s INFO: Running scripts pre_test 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_test_root_password'] 0m3.9s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_test_root_password'] 0m3.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m4.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m4.9s DEBUG: No broken symlinks as far as we can find. 0m4.9s INFO: Running scripts pre_install 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_database-server'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_database-server'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_exceptions'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_exceptions'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_extras'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_extras'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'show', 'libwhy-coq=2.26+dfsg-2+squeeze1'] 0m5.0s DUMP: Package: libwhy-coq Priority: optional Section: libdevel Installed-Size: 1244 Maintainer: Debian OCaml Maintainers Architecture: all Source: why Version: 2.26+dfsg-2+squeeze1 Replaces: why (<< 2.18.dfsg-1) Depends: coq-8.2.pl2+3.11.2 Filename: pool/main/w/why/libwhy-coq_2.26+dfsg-2+squeeze1_all.deb Size: 513412 MD5sum: 0a3e89a667639e02e9ca9b84d57551a5 SHA1: 94541db77d704075f796a2ea9c5e773c5bd81718 SHA256: 034874fd2d3ae53d5001ff0503f3225363a22b34d5323ecc447d4a47c27157d6 Description: Why library for Coq This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq. Homepage: http://why.lri.fr/ Tag: devel::library, qa::low-popcon 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'show', 'libwhy-coq=2.26+dfsg-2+squeeze1'] 0m5.0s 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: coq-8.2.pl2+3.11.2 0m5.0s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpdNLKGT/piuparts-depends-dummy'] 0m5.1s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpdNLKGT/piuparts-depends-dummy.deb'. 0m5.1s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpdNLKGT/piuparts-depends-dummy'] 0m5.1s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpdNLKGT/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpcP21jz/tmp 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.1s 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 coq-8.2.pl2+3.11.2; however: Package coq-8.2.pl2+3.11.2 is not installed. dpkg: error processing piuparts-depends-dummy (--install): dependency problems - leaving unconfigured Errors were encountered while processing: piuparts-depends-dummy 0m5.1s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', '-yf', 'install'] 0m9.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: bsdmainutils coq coq-theories emacsen-common libgdbm3 ocaml-base-nox Suggested packages: cpp wamerican wordlist whois vacation ocaml-nox proofgeneral-coq ledit readline-editor libcoq-ocaml-dev why coq-doc The following NEW packages will be installed: bsdmainutils coq coq-theories emacsen-common libgdbm3 ocaml-base-nox 0 upgraded, 6 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 34.7 MB of archives. After this operation, 117 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main coq-theories all 8.2.pl2+dfsg-1 [18.4 MB] Get:2 http://mirror.bm.debian.org/debian/ squeeze/main bsdmainutils amd64 8.0.13 [203 kB] Get:3 http://mirror.bm.debian.org/debian/ squeeze/main emacsen-common all 1.4.22 [18.8 kB] Get:4 http://mirror.bm.debian.org/debian/ squeeze/main libgdbm3 amd64 1.8.3-9 [46.2 kB] Get:5 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-base-nox amd64 3.11.2-2 [674 kB] Get:6 http://mirror.bm.debian.org/debian/ squeeze/main coq amd64 8.2.pl2+dfsg-1 [15.4 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 34.7 MB in 2s (15.1 MB/s) Selecting previously deselected package coq-theories. (Reading database ... 6258 files and directories currently installed.) Unpacking coq-theories (from .../coq-theories_8.2.pl2+dfsg-1_all.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.13_amd64.deb) ... Selecting previously deselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_1.4.22_all.deb) ... Selecting previously deselected package libgdbm3. Unpacking libgdbm3 (from .../libgdbm3_1.8.3-9_amd64.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-2_amd64.deb) ... Selecting previously deselected package coq. Unpacking coq (from .../coq_8.2.pl2+dfsg-1_amd64.deb) ... Setting up bsdmainutils (8.0.13) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up emacsen-common (1.4.22) ... emacsen-common: Handling install of emacsen flavor emacs Setting up libgdbm3 (1.8.3-9) ... Setting up ocaml-base-nox (3.11.2-2) ... Setting up coq-theories (8.2.pl2+dfsg-1) ... Setting up coq (8.2.pl2+dfsg-1) ... emacsen-common: Handling install of emacsen flavor emacs Setting up piuparts-depends-dummy (0.invalid.0) ... 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', '-yf', 'install'] 0m9.6s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m9.6s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpcP21jz/tmp/piuparts-depends-dummy.deb 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m9.6s DUMP: piuparts-depends-dummy install ok installed 0m9.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m9.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m9.7s DUMP: (Reading database ... 7706 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m9.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m10.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m10.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m11.5s DEBUG: No broken symlinks as far as we can find. 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'policy'] 0m11.5s 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: 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'policy'] 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'policy', 'libwhy-coq'] 0m11.6s DUMP: libwhy-coq: Installed: (none) Candidate: 2.26+dfsg-2+squeeze1 Version table: 2.26+dfsg-2+squeeze1 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-cache', 'policy', 'libwhy-coq'] 0m11.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', '-y', 'install', 'libwhy-coq=2.26+dfsg-2+squeeze1'] 0m12.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libwhy-coq 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 513 kB of archives. After this operation, 1274 kB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libwhy-coq all 2.26+dfsg-2+squeeze1 [513 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 513 kB in 0s (3700 kB/s) Selecting previously deselected package libwhy-coq. (Reading database ... 7706 files and directories currently installed.) Unpacking libwhy-coq (from .../libwhy-coq_2.26+dfsg-2+squeeze1_all.deb) ... Setting up libwhy-coq (2.26+dfsg-2+squeeze1) ... 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', '-y', 'install', 'libwhy-coq=2.26+dfsg-2+squeeze1'] 0m12.3s INFO: Running scripts post_install 0m12.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_install_exceptions'] 0m12.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_install_exceptions'] 0m12.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m12.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m13.6s DEBUG: No broken symlinks as far as we can find. 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--get-selections', '*'] 0m13.7s DUMP: adduser install apt install base-files install base-passwd install bash install bsdmainutils install bsdutils install coq install coq-theories install coreutils install dash install debconf install debconf-i18n install debian-archive-keyring install debianutils install diffutils install dpkg install e2fslibs install e2fsprogs install emacsen-common 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 libgdbm3 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 libwhy-coq install login install lsb-base install mawk install mount install ncurses-base install ncurses-bin install ocaml-base-nox 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 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--get-selections', '*'] 0m14.3s DEBUG: Starting command: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '-ac'] 0m15.3s DUMP: This is debsums 2.0.52+nmu2 installed manually. debsums: no md5sums for emacsen-common debsums: no md5sums for mawk 0m15.3s DEBUG: Command ok: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpcP21jz', '-ac'] 0m15.3s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m15.4s DUMP: 0.11.6~bpo70+1 0m15.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m15.4s INFO: Running adequate version 0.11.6~bpo70+1 now. 0m15.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'libwhy-coq'] 0m15.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'libwhy-coq'] 0m15.5s INFO: Running scripts pre_remove 0m15.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m15.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m15.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m15.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m15.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m15.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m15.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_exceptions'] 0m15.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/pre_remove_exceptions'] 0m15.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'coq-theories', 'libgdbm3', 'bsdmainutils', 'libwhy-coq'] 0m16.4s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils coq coq-theories emacsen-common libgdbm3 libwhy-coq ocaml-base-nox 0 upgraded, 0 newly installed, 7 to remove and 0 not upgraded. After this operation, 119 MB disk space will be freed. (Reading database ... 7755 files and directories currently installed.) Removing libwhy-coq ... Removing coq ... Removing coq-theories ... Removing emacsen-common ... emacsen-common: Handling removal of emacsen flavor emacs Removing bsdmainutils ... Removing ocaml-base-nox ... Removing libgdbm3 ... 0m16.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'coq-theories', 'libgdbm3', 'bsdmainutils', 'libwhy-coq'] 0m16.4s INFO: Running scripts post_remove 0m16.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_remove_exceptions_lenny'] 0m16.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_remove_exceptions_lenny'] 0m16.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_remove_extras'] 0m16.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_remove_extras'] 0m16.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'coq-theories', 'libgdbm3', 'bsdmainutils'] 0m16.6s DUMP: (Reading database ... 6267 files and directories currently installed.) Removing emacsen-common ... Purging configuration files for emacsen-common ... Removing coq ... Purging configuration files for coq ... dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed. dpkg: warning: ignoring request to remove coq-theories which isn't installed. Removing libgdbm3 ... Purging configuration files for libgdbm3 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'coq-theories', 'libgdbm3', 'bsdmainutils'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'libwhy-coq'] 0m16.6s DUMP: dpkg: warning: ignoring request to remove libwhy-coq which isn't installed. 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', 'libwhy-coq'] 0m16.6s INFO: Running scripts post_purge 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_purge_exceptions'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'tmp/scripts/post_purge_exceptions'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', '--pending'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--purge', '--pending'] 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--remove', '--pending'] 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg', '--remove', '--pending'] 0m16.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m16.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m17.7s DEBUG: No broken symlinks as far as we can find. 0m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-divert', '--list'] 0m17.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 0m17.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'dpkg-divert', '--list'] 0m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m17.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'apt-get', 'clean'] 0m18.8s INFO: PASS: Installation and purging test. 0m19.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'umount', '/proc'] 0m19.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpcP21jz', 'umount', '/proc'] 0m19.2s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m19.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpcP21jz'] 0m19.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpcP21jz 0m19.2s INFO: PASS: All tests. 0m19.2s INFO: piuparts run ends. ret=0 End: 2014-07-07 06:35:33 UTC