Start: 2014-07-06 23:47:57 UTC Package: coq Priority: optional Section: math Installed-Size: 52460 Maintainer: Debian OCaml Maintainers Architecture: amd64 Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.2.pl2+3.11.2 Depends: coq-theories (= 8.2.pl2+dfsg-1), emacsen-common, ocaml-base-nox-3.11.2, libc6 (>= 2.7) Recommends: coqide | proofgeneral-coq Suggests: ocaml-nox, proofgeneral-coq, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq_8.2.pl2+dfsg-1_amd64.deb Size: 15354950 MD5sum: 140feb97b61e674b94a3ae4474e537b0 SHA1: fb335562adda3353fbf5c54675c7a85f3d345a21 SHA256: 113112bac64002428b44096e90af97627b4c7fff0a80c7a2536edfb3e179747f Description: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed. Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, 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 coq=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=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/tmpwzuShI 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpwzuShI 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m2.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'mount', '-t', 'proc', 'proc', '/proc'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'mount', '-t', 'proc', 'proc', '/proc'] 0m2.3s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ squeeze main 0m2.3s DEBUG: Created policy-rc.d and chmodded it. 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'update'] 0m2.3s 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... 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'update'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-yf', 'dist-upgrade'] 0m2.6s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-yf', 'dist-upgrade'] 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpwzuShI/tmp/scripts/ 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpwzuShI/tmp/scripts/ 0m2.6s INFO: Running scripts post_setup 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_experimental'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_experimental'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_forbid_home'] 0m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_forbid_home'] 0m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.4s 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 (30.2 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.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--get-selections', '*'] 0m3.9s 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.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--get-selections', '*'] 0m3.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '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/tmpwzuShI', '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/tmpwzuShI', '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/tmpwzuShI', 'tmp/scripts/pre_test_root_password'] 0m3.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m4.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 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/tmpwzuShI', 'tmp/scripts/pre_install_database-server'] 0m4.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_database-server'] 0m4.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_exceptions'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_exceptions'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_extras'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_extras'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'show', 'coq=8.2.pl2+dfsg-1'] 0m5.0s DUMP: Package: coq Priority: optional Section: math Installed-Size: 52460 Maintainer: Debian OCaml Maintainers Architecture: amd64 Version: 8.2.pl2+dfsg-1 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.2.pl2+3.11.2 Depends: coq-theories (= 8.2.pl2+dfsg-1), emacsen-common, ocaml-base-nox-3.11.2, libc6 (>= 2.7) Recommends: coqide | proofgeneral-coq Suggests: ocaml-nox, proofgeneral-coq, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/coq_8.2.pl2+dfsg-1_amd64.deb Size: 15354950 MD5sum: 140feb97b61e674b94a3ae4474e537b0 SHA1: fb335562adda3353fbf5c54675c7a85f3d345a21 SHA256: 113112bac64002428b44096e90af97627b4c7fff0a80c7a2536edfb3e179747f Description: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed. Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses 0m5.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'show', 'coq=8.2.pl2+dfsg-1'] 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-theories (= 8.2.pl2+dfsg-1), emacsen-common, ocaml-base-nox-3.11.2, libc6 (>= 2.7) 0m5.0s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpar7FXT/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/tmpar7FXT/piuparts-depends-dummy.deb'. 0m5.1s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpar7FXT/piuparts-depends-dummy'] 0m5.1s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpar7FXT/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpwzuShI/tmp 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '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-theories (= 8.2.pl2+dfsg-1); however: Package coq-theories is not installed. piuparts-depends-dummy depends on emacsen-common; however: Package emacsen-common is not installed. piuparts-depends-dummy depends on ocaml-base-nox-3.11.2; however: Package ocaml-base-nox-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/tmpwzuShI', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-yf', 'install'] 0m8.1s 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 bsdmainutils amd64 8.0.13 [203 kB] Get:2 http://mirror.bm.debian.org/debian/ squeeze/main emacsen-common all 1.4.22 [18.8 kB] Get:3 http://mirror.bm.debian.org/debian/ squeeze/main libgdbm3 amd64 1.8.3-9 [46.2 kB] Get:4 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-base-nox amd64 3.11.2-2 [674 kB] Get:5 http://mirror.bm.debian.org/debian/ squeeze/main coq amd64 8.2.pl2+dfsg-1 [15.4 MB] Get:6 http://mirror.bm.debian.org/debian/ squeeze/main coq-theories all 8.2.pl2+dfsg-1 [18.4 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 34.7 MB in 0s (43.7 MB/s) Selecting previously deselected package bsdmainutils. (Reading database ... 6258 files and directories currently installed.) 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) ... Selecting previously deselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.2.pl2+dfsg-1_all.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) ... 0m8.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-yf', 'install'] 0m8.1s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m8.1s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpwzuShI/tmp/piuparts-depends-dummy.deb 0m8.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m8.1s DUMP: piuparts-depends-dummy install ok installed 0m8.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m8.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m8.1s DUMP: (Reading database ... 7706 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m8.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m8.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m8.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m9.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m9.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m10.9s DEBUG: No broken symlinks as far as we can find. 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'policy'] 0m10.9s 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: 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'policy'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'policy', 'coq'] 0m10.9s DUMP: coq: 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 0m10.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-cache', 'policy', 'coq'] 0m10.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-y', 'install', 'coq=8.2.pl2+dfsg-1'] 0m11.5s DUMP: Reading package lists... Building dependency tree... Reading state information... coq is already the newest version. coq set to manually installed. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m11.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', '-y', 'install', 'coq=8.2.pl2+dfsg-1'] 0m11.5s INFO: Running scripts post_install 0m11.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_install_exceptions'] 0m11.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_install_exceptions'] 0m11.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m12.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m12.9s DEBUG: No broken symlinks as far as we can find. 0m12.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--get-selections', '*'] 0m12.9s 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 0m12.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--get-selections', '*'] 0m13.6s DEBUG: Starting command: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '-ac'] 0m14.6s DUMP: This is debsums 2.0.52+nmu2 installed manually. debsums: no md5sums for emacsen-common debsums: no md5sums for mawk 0m14.6s DEBUG: Command ok: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpwzuShI', '-ac'] 0m14.6s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m14.6s DUMP: 0.11.6~bpo70+1 0m14.6s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m14.6s INFO: Running adequate version 0.11.6~bpo70+1 now. 0m14.6s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'coq'] 0m14.8s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'coq'] 0m14.8s INFO: Running scripts pre_remove 0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m14.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m14.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m14.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m14.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_exceptions'] 0m15.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/pre_remove_exceptions'] 0m15.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'remove', 'emacsen-common', 'coq-theories', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils', 'coq'] 0m15.7s 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 ... 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'remove', 'emacsen-common', 'coq-theories', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils', 'coq'] 0m15.7s INFO: Running scripts post_remove 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_remove_exceptions_lenny'] 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_remove_exceptions_lenny'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_remove_extras'] 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_remove_extras'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'emacsen-common', 'coq-theories', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils'] 0m15.7s DUMP: (Reading database ... 6267 files and directories currently installed.) Removing emacsen-common ... Purging configuration files for emacsen-common ... dpkg: warning: ignoring request to remove coq-theories which isn't installed. 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 ... 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'emacsen-common', 'coq-theories', 'ocaml-base-nox', 'libgdbm3', 'bsdmainutils'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'coq'] 0m15.7s DUMP: (Reading database ... 6261 files and directories currently installed.) Removing coq ... Purging configuration files for coq ... 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', 'coq'] 0m15.7s INFO: Running scripts post_purge 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_purge_exceptions'] 0m15.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'tmp/scripts/post_purge_exceptions'] 0m15.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', '--pending'] 0m15.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--purge', '--pending'] 0m15.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--remove', '--pending'] 0m15.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg', '--remove', '--pending'] 0m15.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m16.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m16.8s DEBUG: No broken symlinks as far as we can find. 0m16.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg-divert', '--list'] 0m16.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 0m16.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'dpkg-divert', '--list'] 0m16.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m16.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'apt-get', 'clean'] 0m17.8s INFO: PASS: Installation and purging test. 0m18.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'umount', '/proc'] 0m18.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpwzuShI', 'umount', '/proc'] 0m18.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m18.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpwzuShI'] 0m18.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpwzuShI 0m18.2s INFO: PASS: All tests. 0m18.2s INFO: piuparts run ends. ret=0 End: 2014-07-06 23:48:16 UTC