Start: 2014-07-07 06:25:00 UTC Package: libcoq-ocaml-dev Priority: optional Section: ocaml Installed-Size: 28180 Maintainer: Debian OCaml Maintainers Architecture: amd64 Source: coq Version: 8.2.pl2+dfsg-1 Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Provides: libcoq-ocaml-dev-vguj0 Depends: coq (= 8.2.pl2+dfsg-1), camlp5-jnvc7, ocaml-nox-3.11.2, libc6 (>= 2.7) Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb Size: 6085774 MD5sum: 79c302d333abf29eb8e7027945c426c6 SHA1: 3e9de30c5e61229377c669741065439fa2a862af SHA256: fc5fbfb86e8d078774838ed040bbef85b07eb8ce55d1585ef43b41eaf7ad5574 Description: development libraries and tools for Coq 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq. Homepage: http://coq.inria.fr/ Tag: devel::library, role::devel-lib 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 libcoq-ocaml-dev=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 libcoq-ocaml-dev=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/tmp6hlF_Y 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp6hlF_Y 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m2.1s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'mount', '-t', 'proc', 'proc', '/proc'] 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'mount', '-t', 'proc', 'proc', '/proc'] 0m2.1s DEBUG: sources.list: deb http://mirror.bm.debian.org/debian/ squeeze main 0m2.2s DEBUG: Created policy-rc.d and chmodded it. 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', '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/tmp6hlF_Y', 'apt-get', 'update'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-yf', 'dist-upgrade'] 0m2.9s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-yf', 'dist-upgrade'] 0m2.9s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp6hlF_Y/tmp/scripts/ 0m2.9s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmp6hlF_Y/tmp/scripts/ 0m2.9s INFO: Running scripts post_setup 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_experimental'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_experimental'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_forbid_home'] 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_forbid_home'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m4.0s 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 (17.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) ... 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--get-selections', '*'] 0m4.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 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--get-selections', '*'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-divert', '--list'] 0m4.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 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-divert', '--list'] 0m4.8s INFO: apt-cache does not know about any of the requested packages 0m4.8s INFO: Running scripts pre_test 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_test_root_password'] 0m4.8s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_test_root_password'] 0m4.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m5.1s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m6.1s DEBUG: No broken symlinks as far as we can find. 0m6.1s INFO: Running scripts pre_install 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_database-server'] 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_database-server'] 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_exceptions'] 0m6.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_exceptions'] 0m6.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_extras'] 0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_extras'] 0m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'show', 'libcoq-ocaml-dev=8.2.pl2+dfsg-1'] 0m6.2s DUMP: Package: libcoq-ocaml-dev Priority: optional Section: ocaml Installed-Size: 28180 Maintainer: Debian OCaml Maintainers Architecture: amd64 Source: coq Version: 8.2.pl2+dfsg-1 Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Provides: libcoq-ocaml-dev-vguj0 Depends: coq (= 8.2.pl2+dfsg-1), camlp5-jnvc7, ocaml-nox-3.11.2, libc6 (>= 2.7) Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Filename: pool/main/c/coq/libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb Size: 6085774 MD5sum: 79c302d333abf29eb8e7027945c426c6 SHA1: 3e9de30c5e61229377c669741065439fa2a862af SHA256: fc5fbfb86e8d078774838ed040bbef85b07eb8ce55d1585ef43b41eaf7ad5574 Description: development libraries and tools for Coq 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq. Homepage: http://coq.inria.fr/ Tag: devel::library, role::devel-lib 0m6.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'show', 'libcoq-ocaml-dev=8.2.pl2+dfsg-1'] 0m6.2s 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+dfsg-1), camlp5-jnvc7, ocaml-nox-3.11.2, libc6 (>= 2.7) 0m6.2s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpDmP6f2/piuparts-depends-dummy'] 0m6.3s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpDmP6f2/piuparts-depends-dummy.deb'. 0m6.3s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpDmP6f2/piuparts-depends-dummy'] 0m6.3s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpDmP6f2/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmp6hlF_Y/tmp 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m6.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 coq (= 8.2.pl2+dfsg-1); however: Package coq is not installed. piuparts-depends-dummy depends on camlp5-jnvc7; however: Package camlp5-jnvc7 is not installed. piuparts-depends-dummy depends on ocaml-nox-3.11.2; however: Package ocaml-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 0m6.3s DEBUG: Command failed (status=1), but ignoring error: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m6.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-yf', 'install'] 0m19.3s DUMP: Reading package lists... Building dependency tree... Reading state information... Correcting dependencies... Done The following extra packages will be installed: binutils bsdmainutils camlp5 coq coq-theories cpp cpp-4.4 emacsen-common gcc gcc-4.4 libc-dev-bin libc6-dev libgdbm3 libgmp3c2 libgomp1 libmpfr4 libncurses5-dev linux-libc-dev ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox Suggested packages: binutils-doc wamerican wordlist whois vacation ocaml-findlib proofgeneral-coq ledit readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-4.4-locales gcc-multilib make manpages-dev autoconf automake1.9 libtool flex bison gdb gcc-doc gcc-4.4-multilib libmudflap0-4.4-dev gcc-4.4-doc libgcc1-dbg libgomp1-dbg libmudflap0-dbg libcloog-ppl0 libppl-c2 libppl7 glibc-doc ocaml-doc libgdbm-dev tuareg-mode ocaml-mode Recommended packages: camlp4 file The following NEW packages will be installed: binutils bsdmainutils camlp5 coq coq-theories cpp cpp-4.4 emacsen-common gcc gcc-4.4 libc-dev-bin libc6-dev libgdbm3 libgmp3c2 libgomp1 libmpfr4 libncurses5-dev linux-libc-dev ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox 0 upgraded, 22 newly installed, 0 to remove and 0 not upgraded. 1 not fully installed or removed. Need to get 63.9 MB of archives. After this operation, 223 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] Get:7 http://mirror.bm.debian.org/debian/ squeeze/main libc-dev-bin amd64 2.11.3-4 [210 kB] Get:8 http://mirror.bm.debian.org/debian/ squeeze/main linux-libc-dev amd64 2.6.32-48squeeze4 [839 kB] Get:9 http://mirror.bm.debian.org/debian/ squeeze/main libc6-dev amd64 2.11.3-4 [2593 kB] Get:10 http://mirror.bm.debian.org/debian/ squeeze/main libncurses5-dev amd64 5.7+20100313-5 [1632 kB] Get:11 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-interp amd64 3.11.2-2 [300 kB] Get:12 http://mirror.bm.debian.org/debian/ squeeze/main libgmp3c2 amd64 2:4.3.2+dfsg-1 [313 kB] Get:13 http://mirror.bm.debian.org/debian/ squeeze/main libmpfr4 amd64 3.0.0-2 [474 kB] Get:14 http://mirror.bm.debian.org/debian/ squeeze/main cpp-4.4 amd64 4.4.5-8 [3873 kB] Get:15 http://mirror.bm.debian.org/debian/ squeeze/main cpp amd64 4:4.4.5-1 [15.0 kB] Get:16 http://mirror.bm.debian.org/debian/ squeeze/main binutils amd64 2.20.1-16 [3993 kB] Get:17 http://mirror.bm.debian.org/debian/ squeeze/main libgomp1 amd64 4.4.5-8 [25.3 kB] Get:18 http://mirror.bm.debian.org/debian/ squeeze/main gcc-4.4 amd64 4.4.5-8 [2688 kB] Get:19 http://mirror.bm.debian.org/debian/ squeeze/main gcc amd64 4:4.4.5-1 [4970 B] Get:20 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-nox amd64 3.11.2-2 [7260 kB] Get:21 http://mirror.bm.debian.org/debian/ squeeze/main ocaml-compiler-libs amd64 3.11.2-2 [1141 kB] Get:22 http://mirror.bm.debian.org/debian/ squeeze/main camlp5 amd64 5.14-1 [3828 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 63.9 MB in 8s (7374 kB/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) ... Selecting previously deselected package libc-dev-bin. Unpacking libc-dev-bin (from .../libc-dev-bin_2.11.3-4_amd64.deb) ... Selecting previously deselected package linux-libc-dev. Unpacking linux-libc-dev (from .../linux-libc-dev_2.6.32-48squeeze4_amd64.deb) ... Selecting previously deselected package libc6-dev. Unpacking libc6-dev (from .../libc6-dev_2.11.3-4_amd64.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20100313-5_amd64.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.2-2_amd64.deb) ... Selecting previously deselected package libgmp3c2. Unpacking libgmp3c2 (from .../libgmp3c2_2%3a4.3.2+dfsg-1_amd64.deb) ... Selecting previously deselected package libmpfr4. Unpacking libmpfr4 (from .../libmpfr4_3.0.0-2_amd64.deb) ... Selecting previously deselected package cpp-4.4. Unpacking cpp-4.4 (from .../cpp-4.4_4.4.5-8_amd64.deb) ... Selecting previously deselected package cpp. Unpacking cpp (from .../cpp_4%3a4.4.5-1_amd64.deb) ... Selecting previously deselected package binutils. Unpacking binutils (from .../binutils_2.20.1-16_amd64.deb) ... Selecting previously deselected package libgomp1. Unpacking libgomp1 (from .../libgomp1_4.4.5-8_amd64.deb) ... Selecting previously deselected package gcc-4.4. Unpacking gcc-4.4 (from .../gcc-4.4_4.4.5-8_amd64.deb) ... Selecting previously deselected package gcc. Unpacking gcc (from .../gcc_4%3a4.4.5-1_amd64.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.2-2_amd64.deb) ... Selecting previously deselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.11.2-2_amd64.deb) ... Selecting previously deselected package camlp5. Unpacking camlp5 (from .../camlp5_5.14-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 libc-dev-bin (2.11.3-4) ... Setting up linux-libc-dev (2.6.32-48squeeze4) ... Setting up libc6-dev (2.11.3-4) ... Setting up libncurses5-dev (5.7+20100313-5) ... Setting up ocaml-interp (3.11.2-2) ... Setting up libgmp3c2 (2:4.3.2+dfsg-1) ... Setting up libmpfr4 (3.0.0-2) ... Setting up cpp-4.4 (4.4.5-8) ... Setting up cpp (4:4.4.5-1) ... Setting up binutils (2.20.1-16) ... Setting up libgomp1 (4.4.5-8) ... Setting up gcc-4.4 (4.4.5-8) ... Setting up gcc (4:4.4.5-1) ... Setting up ocaml-nox (3.11.2-2) ... Setting up ocaml-compiler-libs (3.11.2-2) ... Setting up camlp5 (5.14-1) ... 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) ... 0m19.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-yf', 'install'] 0m19.3s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m19.3s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmp6hlF_Y/tmp/piuparts-depends-dummy.deb 0m19.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m19.4s DUMP: piuparts-depends-dummy install ok installed 0m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m19.4s DUMP: (Reading database ... 11209 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m19.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m19.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m20.0s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m20.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m21.8s DEBUG: No broken symlinks as far as we can find. 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'policy'] 0m21.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: 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'policy'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'policy', 'libcoq-ocaml-dev'] 0m21.8s DUMP: libcoq-ocaml-dev: Installed: (none) 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 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-cache', 'policy', 'libcoq-ocaml-dev'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-y', 'install', 'libcoq-ocaml-dev=8.2.pl2+dfsg-1'] 0m23.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: libcoq-ocaml-dev 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 6086 kB of archives. After this operation, 28.9 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main libcoq-ocaml-dev amd64 8.2.pl2+dfsg-1 [6086 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 6086 kB in 1s (5191 kB/s) Selecting previously deselected package libcoq-ocaml-dev. (Reading database ... 11209 files and directories currently installed.) Unpacking libcoq-ocaml-dev (from .../libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb) ... Setting up libcoq-ocaml-dev (8.2.pl2+dfsg-1) ... 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', '-y', 'install', 'libcoq-ocaml-dev=8.2.pl2+dfsg-1'] 0m23.9s INFO: Running scripts post_install 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m24.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m25.8s DEBUG: No broken symlinks as far as we can find. 0m25.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--get-selections', '*'] 0m25.8s DUMP: adduser install apt install base-files install base-passwd install bash install binutils install bsdmainutils install bsdutils install camlp5 install coq install coq-theories install coreutils install cpp install cpp-4.4 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 install gcc-4.4 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 libc-dev-bin install libc6 install libc6-dev install libcomerr2 install libcoq-ocaml-dev install libdb4.8 install libgcc1 install libgdbm3 install libgmp3c2 install libgomp1 install liblocale-gettext-perl install liblzma2 install libmpfr4 install libncurses5 install libncurses5-dev 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 linux-libc-dev install login install lsb-base install mawk install mount install ncurses-base install ncurses-bin install ocaml-base-nox install ocaml-compiler-libs install ocaml-interp install ocaml-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 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--get-selections', '*'] 0m26.8s DEBUG: Starting command: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', '-ac'] 0m28.5s DUMP: This is debsums 2.0.52+nmu2 installed manually. debsums: no md5sums for binutils debsums: no md5sums for emacsen-common debsums: no md5sums for mawk 0m28.5s DEBUG: Command ok: ['/home/piupartss/bin/debsums', '--root', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', '-ac'] 0m28.5s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m28.5s DUMP: 0.11.6~bpo70+1 0m28.5s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m28.5s INFO: Running adequate version 0.11.6~bpo70+1 now. 0m28.5s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'libcoq-ocaml-dev'] 0m28.6s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'libcoq-ocaml-dev'] 0m28.6s INFO: Running scripts pre_remove 0m28.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m28.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m28.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m28.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m28.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m28.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m28.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_exceptions'] 0m28.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/pre_remove_exceptions'] 0m28.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'remove', 'libgomp1', 'libmpfr4', 'linux-libc-dev', 'ocaml-compiler-libs', 'bsdmainutils', 'cpp-4.4', 'gcc', 'ocaml-nox', 'libgmp3c2', 'camlp5', 'libgdbm3', 'ocaml-interp', 'emacsen-common', 'libncurses5-dev', 'libc6-dev', 'coq', 'ocaml-base-nox', 'gcc-4.4', 'libc-dev-bin', 'coq-theories', 'cpp', 'binutils', 'libcoq-ocaml-dev'] 0m29.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils bsdmainutils camlp5 coq coq-theories cpp cpp-4.4 emacsen-common gcc gcc-4.4 libc-dev-bin libc6-dev libcoq-ocaml-dev libgdbm3 libgmp3c2 libgomp1 libmpfr4 libncurses5-dev linux-libc-dev ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox 0 upgraded, 0 newly installed, 23 to remove and 0 not upgraded. After this operation, 252 MB disk space will be freed. (Reading database ... 11558 files and directories currently installed.) Removing libcoq-ocaml-dev ... Removing camlp5 ... Removing ocaml-compiler-libs ... Removing ocaml-nox ... Removing gcc ... Removing gcc-4.4 ... Removing binutils ... Removing cpp ... Removing cpp-4.4 ... Removing libncurses5-dev ... Removing libc6-dev ... Removing libc-dev-bin ... Removing ocaml-interp ... Removing libmpfr4 ... Removing libgmp3c2 ... Removing libgomp1 ... Removing linux-libc-dev ... Removing coq ... Removing coq-theories ... Removing emacsen-common ... emacsen-common: Handling removal of emacsen flavor emacs Removing bsdmainutils ... Removing ocaml-base-nox ... Removing libgdbm3 ... 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'remove', 'libgomp1', 'libmpfr4', 'linux-libc-dev', 'ocaml-compiler-libs', 'bsdmainutils', 'cpp-4.4', 'gcc', 'ocaml-nox', 'libgmp3c2', 'camlp5', 'libgdbm3', 'ocaml-interp', 'emacsen-common', 'libncurses5-dev', 'libc6-dev', 'coq', 'ocaml-base-nox', 'gcc-4.4', 'libc-dev-bin', 'coq-theories', 'cpp', 'binutils', 'libcoq-ocaml-dev'] 0m29.7s INFO: Running scripts post_remove 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_remove_exceptions_lenny'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_remove_exceptions_lenny'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_remove_extras'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_remove_extras'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'libgomp1', 'libmpfr4', 'linux-libc-dev', 'ocaml-compiler-libs', 'bsdmainutils', 'cpp-4.4', 'gcc', 'ocaml-nox', 'libgmp3c2', 'camlp5', 'libgdbm3', 'ocaml-interp', 'emacsen-common', 'libncurses5-dev', 'libc6-dev', 'coq', 'ocaml-base-nox', 'gcc-4.4', 'libc-dev-bin', 'coq-theories', 'cpp', 'binutils'] 0m29.8s DUMP: (Reading database ... 6267 files and directories currently installed.) Removing libgomp1 ... Purging configuration files for libgomp1 ... Removing libmpfr4 ... Purging configuration files for libmpfr4 ... dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed. dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed. Removing bsdmainutils ... Purging configuration files for bsdmainutils ... dpkg: warning: ignoring request to remove cpp-4.4 which isn't installed. dpkg: warning: ignoring request to remove gcc which isn't installed. Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libgmp3c2 ... Purging configuration files for libgmp3c2 ... dpkg: warning: ignoring request to remove camlp5 which isn't installed. Removing libgdbm3 ... Purging configuration files for libgdbm3 ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing emacsen-common ... Purging configuration files for emacsen-common ... dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed. dpkg: warning: ignoring request to remove libc6-dev which isn't installed. 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 gcc-4.4 which isn't installed. dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed. dpkg: warning: ignoring request to remove coq-theories which isn't installed. dpkg: warning: ignoring request to remove cpp which isn't installed. Removing binutils ... Purging configuration files for binutils ... 0m29.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'libgomp1', 'libmpfr4', 'linux-libc-dev', 'ocaml-compiler-libs', 'bsdmainutils', 'cpp-4.4', 'gcc', 'ocaml-nox', 'libgmp3c2', 'camlp5', 'libgdbm3', 'ocaml-interp', 'emacsen-common', 'libncurses5-dev', 'libc6-dev', 'coq', 'ocaml-base-nox', 'gcc-4.4', 'libc-dev-bin', 'coq-theories', 'cpp', 'binutils'] 0m29.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'libcoq-ocaml-dev'] 0m29.8s DUMP: dpkg: warning: ignoring request to remove libcoq-ocaml-dev which isn't installed. 0m29.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', 'libcoq-ocaml-dev'] 0m29.8s INFO: Running scripts post_purge 0m29.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_purge_exceptions'] 0m29.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'tmp/scripts/post_purge_exceptions'] 0m29.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', '--pending'] 0m29.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--purge', '--pending'] 0m29.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--remove', '--pending'] 0m29.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg', '--remove', '--pending'] 0m29.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m30.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m30.9s DEBUG: No broken symlinks as far as we can find. 0m30.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-divert', '--list'] 0m31.0s 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 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'dpkg-divert', '--list'] 0m31.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m31.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'apt-get', 'clean'] 0m32.1s INFO: PASS: Installation and purging test. 0m32.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'umount', '/proc'] 0m32.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y', 'umount', '/proc'] 0m32.4s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m32.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp6hlF_Y'] 0m32.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp6hlF_Y 0m32.4s INFO: PASS: All tests. 0m32.4s INFO: piuparts run ends. ret=0 End: 2014-07-07 06:25:33 UTC