Start: 2014-07-07 06:23:45 UTC Package: libssreflect-coq Priority: extra Section: math Installed-Size: 14312 Maintainer: Debian OCaml Maintainers Architecture: all Source: ssreflect Version: 1.2+dfsg-6 Provides: ssreflect Depends: libssreflect-ocaml (>= 1.2+dfsg-6), coq-8.2.pl2+3.11.2 Filename: pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-6_all.deb Size: 3661858 MD5sum: c3e32ef1842d8cd835460f8ee5749984 SHA1: 98ff1b69feef13c90ed043c0750040dad1fae04d SHA256: db2bcb22856e85a94019bb397b958347cbdf3ee0b25461f356e2e3afeabe49fa Description: small scale reflection library for Coq (theories) The name Ssreflect stands for "small scale reflection", a style of proof that evolved from the computer-checked proof of the Four Colour Theorem and which leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, in the Ssreflect library, arithmetic comparison is not an abstract predicate, but a function computing a boolean. . The Ssreflect distribution comprises two parts: * A new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system. * A set of Coq libraries that provide core "reflection-oriented" theories for basic combinatorics (roughly: arithmetic, lists, and finite sets). . This package installs the full Ssreflect distribution. Homepage: http://www.msr-inria.inria.fr/Projects/math-components 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 libssreflect-coq=1.2+dfsg-6 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 libssreflect-coq=1.2+dfsg-6 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/tmphxuZTd 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmphxuZTd 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '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/tmphxuZTd', 'apt-get', 'update'] 0m2.2s 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.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'update'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '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/tmphxuZTd', 'apt-get', '-yf', 'dist-upgrade'] 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmphxuZTd/tmp/scripts/ 0m2.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmphxuZTd/tmp/scripts/ 0m2.6s INFO: Running scripts post_setup 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_experimental'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_experimental'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_forbid_home'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_forbid_home'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.6s 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 (21.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) ... 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--get-selections', '*'] 0m4.1s 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 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--get-selections', '*'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-divert', '--list'] 0m4.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 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-divert', '--list'] 0m4.1s INFO: apt-cache does not know about any of the requested packages 0m4.1s INFO: Running scripts pre_test 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_test_root_password'] 0m4.1s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_test_root_password'] 0m4.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m4.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m5.2s DEBUG: No broken symlinks as far as we can find. 0m5.2s INFO: Running scripts pre_install 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_database-server'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_database-server'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_exceptions'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_exceptions'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_extras'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_extras'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'show', 'libssreflect-coq=1.2+dfsg-6'] 0m5.3s DUMP: Package: libssreflect-coq Priority: extra Section: math Installed-Size: 14312 Maintainer: Debian OCaml Maintainers Architecture: all Source: ssreflect Version: 1.2+dfsg-6 Provides: ssreflect Depends: libssreflect-ocaml (>= 1.2+dfsg-6), coq-8.2.pl2+3.11.2 Filename: pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-6_all.deb Size: 3661858 MD5sum: c3e32ef1842d8cd835460f8ee5749984 SHA1: 98ff1b69feef13c90ed043c0750040dad1fae04d SHA256: db2bcb22856e85a94019bb397b958347cbdf3ee0b25461f356e2e3afeabe49fa Description: small scale reflection library for Coq (theories) The name Ssreflect stands for "small scale reflection", a style of proof that evolved from the computer-checked proof of the Four Colour Theorem and which leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, in the Ssreflect library, arithmetic comparison is not an abstract predicate, but a function computing a boolean. . The Ssreflect distribution comprises two parts: * A new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system. * A set of Coq libraries that provide core "reflection-oriented" theories for basic combinatorics (roughly: arithmetic, lists, and finite sets). . This package installs the full Ssreflect distribution. Homepage: http://www.msr-inria.inria.fr/Projects/math-components 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'show', 'libssreflect-coq=1.2+dfsg-6'] 0m5.3s 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: libssreflect-ocaml (>= 1.2+dfsg-6), coq-8.2.pl2+3.11.2 0m5.3s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmp1zJ0RA/piuparts-depends-dummy'] 0m5.3s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmp1zJ0RA/piuparts-depends-dummy.deb'. 0m5.3s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmp1zJ0RA/piuparts-depends-dummy'] 0m5.3s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmp1zJ0RA/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmphxuZTd/tmp 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.3s 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 libssreflect-ocaml (>= 1.2+dfsg-6); however: Package libssreflect-ocaml is not installed. 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.3s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', '-yf', 'install'] 0m11.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 libssreflect-ocaml 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 libssreflect-ocaml ocaml-base-nox 0 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 35.1 MB of archives. After this operation, 119 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libgdbm3 amd64 1.8.3-9 [46.2 kB] Get:2 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-base-nox amd64 3.11.2-2 [674 kB] Get:3 http://mirror.bm.debian.org/debian/ squeeze/main libssreflect-ocaml amd64 1.2+dfsg-6 [385 kB] Get:4 http://mirror.bm.debian.org/debian/ squeeze/main coq-theories all 8.2.pl2+dfsg-1 [18.4 MB] Get:5 http://mirror.bm.debian.org/debian/ squeeze/main bsdmainutils amd64 8.0.13 [203 kB] Get:6 http://mirror.bm.debian.org/debian/ squeeze/main emacsen-common all 1.4.22 [18.8 kB] Get:7 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 35.1 MB in 4s (8691 kB/s) Selecting previously deselected package libgdbm3. (Reading database ... 6258 files and directories currently installed.) 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 libssreflect-ocaml. Unpacking libssreflect-ocaml (from .../libssreflect-ocaml_1.2+dfsg-6_amd64.deb) ... Selecting previously deselected package coq-theories. 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 coq. Unpacking coq (from .../coq_8.2.pl2+dfsg-1_amd64.deb) ... Setting up libgdbm3 (1.8.3-9) ... Setting up ocaml-base-nox (3.11.2-2) ... Setting up libssreflect-ocaml (1.2+dfsg-6) ... 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 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) ... 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', '-yf', 'install'] 0m11.8s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m11.8s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmphxuZTd/tmp/piuparts-depends-dummy.deb 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m11.8s DUMP: piuparts-depends-dummy install ok installed 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m11.9s DUMP: (Reading database ... 7713 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m11.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m11.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m12.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m12.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m13.6s DEBUG: No broken symlinks as far as we can find. 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'policy'] 0m13.7s 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: 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'policy'] 0m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'policy', 'libssreflect-coq'] 0m13.7s DUMP: libssreflect-coq: Installed: (none) Candidate: 1.2+dfsg-6 Version table: 1.2+dfsg-6 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-cache', 'policy', 'libssreflect-coq'] 0m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', '-y', 'install', 'libssreflect-coq=1.2+dfsg-6'] 0m15.3s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libssreflect-coq 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 3662 kB of archives. After this operation, 14.7 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libssreflect-coq all 1.2+dfsg-6 [3662 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 3662 kB in 0s (6215 kB/s) Selecting previously deselected package libssreflect-coq. (Reading database ... 7713 files and directories currently installed.) Unpacking libssreflect-coq (from .../libssreflect-coq_1.2+dfsg-6_all.deb) ... Setting up libssreflect-coq (1.2+dfsg-6) ... 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', '-y', 'install', 'libssreflect-coq=1.2+dfsg-6'] 0m15.3s INFO: Running scripts post_install 0m15.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_install_exceptions'] 0m15.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_install_exceptions'] 0m15.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m15.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m16.6s DEBUG: No broken symlinks as far as we can find. 0m16.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--get-selections', '*'] 0m16.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 libssreflect-coq install libssreflect-ocaml 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 0m16.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--get-selections', '*'] 0m17.3s DEBUG: Starting command: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '-ac'] 0m18.3s DUMP: This is debsums 2.0.52+nmu2 installed manually. debsums: no md5sums for emacsen-common debsums: no md5sums for mawk 0m18.3s DEBUG: Command ok: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmphxuZTd', '-ac'] 0m18.3s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m18.4s DUMP: 0.11.6~bpo70+1 0m18.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m18.4s INFO: Running adequate version 0.11.6~bpo70+1 now. 0m18.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'libssreflect-coq'] 0m18.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'libssreflect-coq'] 0m18.5s INFO: Running scripts pre_remove 0m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m18.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m18.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_exceptions'] 0m18.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/pre_remove_exceptions'] 0m18.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'bsdmainutils', 'libssreflect-ocaml', 'libgdbm3', 'coq-theories', 'libssreflect-coq'] 0m19.2s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils coq coq-theories emacsen-common libgdbm3 libssreflect-coq libssreflect-ocaml ocaml-base-nox 0 upgraded, 0 newly installed, 8 to remove and 0 not upgraded. After this operation, 134 MB disk space will be freed. (Reading database ... 7785 files and directories currently installed.) Removing libssreflect-coq ... Removing libssreflect-ocaml ... Removing coq ... Removing coq-theories ... Removing emacsen-common ... emacsen-common: Handling removal of emacsen flavor emacs Removing bsdmainutils ... Removing ocaml-base-nox ... Removing libgdbm3 ... 0m19.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'remove', 'emacsen-common', 'coq', 'ocaml-base-nox', 'bsdmainutils', 'libssreflect-ocaml', 'libgdbm3', 'coq-theories', 'libssreflect-coq'] 0m19.2s INFO: Running scripts post_remove 0m19.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_remove_exceptions_lenny'] 0m19.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_remove_exceptions_lenny'] 0m19.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_remove_extras'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_remove_extras'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'bsdmainutils', 'libssreflect-ocaml', 'libgdbm3', 'coq-theories'] 0m19.3s 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 bsdmainutils ... Purging configuration files for bsdmainutils ... dpkg: warning: ignoring request to remove libssreflect-ocaml which isn't installed. Removing libgdbm3 ... Purging configuration files for libgdbm3 ... dpkg: warning: ignoring request to remove coq-theories which isn't installed. 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'emacsen-common', 'coq', 'ocaml-base-nox', 'bsdmainutils', 'libssreflect-ocaml', 'libgdbm3', 'coq-theories'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'libssreflect-coq'] 0m19.3s DUMP: dpkg: warning: ignoring request to remove libssreflect-coq which isn't installed. 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', 'libssreflect-coq'] 0m19.3s INFO: Running scripts post_purge 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_purge_exceptions'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'tmp/scripts/post_purge_exceptions'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', '--pending'] 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--purge', '--pending'] 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--remove', '--pending'] 0m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg', '--remove', '--pending'] 0m19.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m19.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m20.4s DEBUG: No broken symlinks as far as we can find. 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-divert', '--list'] 0m20.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 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'dpkg-divert', '--list'] 0m20.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m20.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'apt-get', 'clean'] 0m21.4s INFO: PASS: Installation and purging test. 0m21.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'umount', '/proc'] 0m21.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmphxuZTd', 'umount', '/proc'] 0m21.7s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m21.8s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmphxuZTd'] 0m21.8s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmphxuZTd 0m21.8s INFO: PASS: All tests. 0m21.8s INFO: piuparts run ends. ret=0 End: 2014-07-07 06:24:07 UTC