Start: 2014-07-07 06:17:13 UTC Package: coq-theories Priority: optional Section: math Installed-Size: 59456 Maintainer: Debian OCaml Maintainers Architecture: all Source: coq Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Depends: coq-8.2.pl2+3.11.2 Recommends: coq (>= 8.0) Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq-theories_8.2.pl2+dfsg-1_all.deb Size: 18387420 MD5sum: 6d5a0460aa6cea104e3e86c5eae7e5a3 SHA1: fb74fe8bd2739ead9189b9b7d77ac20de86ddd75 SHA256: 54c3cd8f6eb66c98a6e157b33b957182a61767a19b1d6b37d4945029a26e8a40 Description: proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. Homepage: http://coq.inria.fr/ Tag: devel::library, field::mathematics, role::app-data, special::auto-inst-parts 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 coq-theories=8.2.pl2+dfsg-1 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 coq-theories=8.2.pl2+dfsg-1 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/tmpdv27HH 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpdv27HH 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '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/tmpdv27HH', 'apt-get', 'update'] 0m1.9s 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.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'update'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-yf', 'dist-upgrade'] 0m2.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpdv27HH/tmp/scripts/ 0m2.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpdv27HH/tmp/scripts/ 0m2.3s INFO: Running scripts post_setup 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_experimental'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_experimental'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_forbid_home'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_forbid_home'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '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 (15.5 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) ... 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '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/tmpdv27HH', 'dpkg', '--get-selections', '*'] 0m3.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-divert', '--list'] 0m3.8s 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.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-divert', '--list'] 0m3.8s INFO: apt-cache does not know about any of the requested packages 0m3.8s INFO: Running scripts pre_test 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_test_root_password'] 0m3.8s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_test_root_password'] 0m3.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m4.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 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/tmpdv27HH', 'tmp/scripts/pre_install_database-server'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_database-server'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_exceptions'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_exceptions'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_extras'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_extras'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'show', 'coq-theories=8.2.pl2+dfsg-1'] 0m4.9s DUMP: Package: coq-theories Priority: optional Section: math Installed-Size: 59456 Maintainer: Debian OCaml Maintainers Architecture: all Source: coq Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Depends: coq-8.2.pl2+3.11.2 Recommends: coq (>= 8.0) Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq-theories_8.2.pl2+dfsg-1_all.deb Size: 18387420 MD5sum: 6d5a0460aa6cea104e3e86c5eae7e5a3 SHA1: fb74fe8bd2739ead9189b9b7d77ac20de86ddd75 SHA256: 54c3cd8f6eb66c98a6e157b33b957182a61767a19b1d6b37d4945029a26e8a40 Description: proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. Homepage: http://coq.inria.fr/ Tag: devel::library, field::mathematics, role::app-data, special::auto-inst-parts 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'show', 'coq-theories=8.2.pl2+dfsg-1'] 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: coq-8.2.pl2+3.11.2 0m4.9s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpIEOuFt/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/tmpIEOuFt/piuparts-depends-dummy.deb'. 0m4.9s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpIEOuFt/piuparts-depends-dummy'] 0m4.9s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpIEOuFt/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpdv27HH/tmp 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.9s 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 0m4.9s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-yf', 'install'] 0m7.8s 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 0s (53.7 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) ... 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-yf', 'install'] 0m7.8s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m7.8s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpdv27HH/tmp/piuparts-depends-dummy.deb 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m7.8s DUMP: piuparts-depends-dummy install ok installed 0m7.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m7.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m7.9s DUMP: (Reading database ... 7706 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m8.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m8.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m9.7s DEBUG: No broken symlinks as far as we can find. 0m9.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'policy'] 0m9.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: 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'policy'] 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'policy', 'coq-theories'] 0m9.8s DUMP: coq-theories: Installed: 8.2.pl2+dfsg-1 Candidate: 8.2.pl2+dfsg-1 Version table: *** 8.2.pl2+dfsg-1 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 100 /var/lib/dpkg/status 0m9.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-cache', 'policy', 'coq-theories'] 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-y', 'install', 'coq-theories=8.2.pl2+dfsg-1'] 0m10.2s DUMP: Reading package lists... Building dependency tree... Reading state information... coq-theories is already the newest version. coq-theories set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', '-y', 'install', 'coq-theories=8.2.pl2+dfsg-1'] 0m10.2s INFO: Running scripts post_install 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_install_exceptions'] 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_install_exceptions'] 0m10.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m10.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m11.5s DEBUG: No broken symlinks as far as we can find. 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--get-selections', '*'] 0m11.6s 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 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 0m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--get-selections', '*'] 0m12.2s DEBUG: Starting command: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '-ac'] 0m13.2s DUMP: This is debsums 2.0.52+nmu2 installed manually. debsums: no md5sums for emacsen-common debsums: no md5sums for mawk 0m13.3s DEBUG: Command ok: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpdv27HH', '-ac'] 0m13.3s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m13.3s DUMP: 0.11.6~bpo70+1 0m13.3s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m13.3s INFO: Running adequate version 0.11.6~bpo70+1 now. 0m13.3s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'coq-theories'] 0m13.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'coq-theories'] 0m13.4s INFO: Running scripts pre_remove 0m13.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m13.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m13.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m13.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m13.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_exceptions'] 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/pre_remove_exceptions'] 0m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils', 'coq-theories'] 0m14.5s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils coq coq-theories emacsen-common libgdbm3 ocaml-base-nox 0 upgraded, 0 newly installed, 6 to remove and 0 not upgraded. After this operation, 117 MB disk space will be freed. (Reading database ... 7706 files and directories currently installed.) Removing coq ... Removing coq-theories ... Removing emacsen-common ... emacsen-common: Handling removal of emacsen flavor emacs Removing bsdmainutils ... Removing ocaml-base-nox ... Removing libgdbm3 ... 0m14.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils', 'coq-theories'] 0m14.5s INFO: Running scripts post_remove 0m14.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_remove_exceptions_lenny'] 0m14.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_remove_exceptions_lenny'] 0m14.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_remove_extras'] 0m14.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_remove_extras'] 0m14.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils'] 0m14.5s 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. Removing libgdbm3 ... Purging configuration files for libgdbm3 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... 0m14.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils'] 0m14.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'coq-theories'] 0m14.6s DUMP: dpkg: warning: ignoring request to remove coq-theories which isn't installed. 0m14.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', 'coq-theories'] 0m14.6s INFO: Running scripts post_purge 0m14.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_purge_exceptions'] 0m14.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'tmp/scripts/post_purge_exceptions'] 0m14.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', '--pending'] 0m14.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--purge', '--pending'] 0m14.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--remove', '--pending'] 0m14.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg', '--remove', '--pending'] 0m14.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m14.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m15.7s DEBUG: No broken symlinks as far as we can find. 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-divert', '--list'] 0m15.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 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'dpkg-divert', '--list'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'apt-get', 'clean'] 0m16.9s INFO: PASS: Installation and purging test. 0m17.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'umount', '/proc'] 0m17.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpdv27HH', 'umount', '/proc'] 0m17.2s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m17.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpdv27HH'] 0m17.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpdv27HH 0m17.3s INFO: PASS: All tests. 0m17.3s INFO: piuparts run ends. ret=0 End: 2014-07-07 06:17:31 UTC