Start: 2014-10-21 04:40:04 UTC Package: agda-stdlib Priority: extra Section: libs Installed-Size: 13828 Maintainer: Iain Lane Architecture: amd64 Version: 0.3-3 Filename: pool/main/a/agda-stdlib/agda-stdlib_0.3-3_amd64.deb Size: 12071020 MD5sum: 16c778b4d6a4e1d5be08e94a32cf2591 SHA1: e5f3e501a641ced1bebc5ae62723a5eecc1f3e26 SHA256: 57eeff911f8c4ee9ad0330ec44a0f9765a800e6ff1ef8c164f902a22ed0bfb92 Description: a dependently typed programming language - standard library Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism . This package contains the complete library. Enhances: agda-mode Homepage: http://wiki.portal.chalmers.se/agda/ 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 agda-stdlib=0.3-3 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 https://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 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 agda-stdlib=0.3-3 0m0.0s INFO: Running on: Linux piu-slave-bm-a 3.2.0-4-amd64 #1 SMP Debian 3.2.63-2 x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpRigHjo 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpRigHjo 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpRigHjo', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpRigHjo', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', '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/tmpRigHjo', 'apt-get', 'update'] 0m1.9s DUMP: Hit http://mirror.bm.debian.org squeeze Release.gpg Ign http://mirror.bm.debian.org/debian/ squeeze/main Translation-en Hit http://mirror.bm.debian.org squeeze Release Hit http://mirror.bm.debian.org squeeze/main amd64 Packages Reading package lists... 0m1.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'update'] 0m1.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-yf', 'dist-upgrade'] 0m2.2s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-yf', 'dist-upgrade'] 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpRigHjo/tmp/scripts/ 0m2.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpRigHjo/tmp/scripts/ 0m2.2s INFO: Running scripts post_setup 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.1s 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 (25.8 MB/s) Selecting previously deselected package adduser. (Reading database ... 6138 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.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m3.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--get-selections', '*'] 0m3.6s 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.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--get-selections', '*'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-divert', '--list'] 0m3.6s 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.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-divert', '--list'] 0m3.6s INFO: apt-cache does not know about any of the requested packages 0m3.6s INFO: Running scripts pre_test 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_test_root_password'] 0m3.6s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_test_root_password'] 0m3.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m3.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m4.6s DEBUG: No broken symlinks as far as we can find. 0m4.6s INFO: Running scripts pre_install 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_exceptions'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_exceptions'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_extras'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_extras'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'show', 'agda-stdlib=0.3-3'] 0m4.7s DUMP: Package: agda-stdlib Priority: extra Section: libs Installed-Size: 13828 Maintainer: Iain Lane Architecture: amd64 Version: 0.3-3 Filename: pool/main/a/agda-stdlib/agda-stdlib_0.3-3_amd64.deb Size: 12071020 MD5sum: 16c778b4d6a4e1d5be08e94a32cf2591 SHA1: e5f3e501a641ced1bebc5ae62723a5eecc1f3e26 SHA256: 57eeff911f8c4ee9ad0330ec44a0f9765a800e6ff1ef8c164f902a22ed0bfb92 Description: a dependently typed programming language - standard library Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-L?f. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism . This package contains the complete library. Enhances: agda-mode Homepage: http://wiki.portal.chalmers.se/agda/ 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'show', 'agda-stdlib=0.3-3'] 0m4.7s 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 0m4.7s DEBUG: Starting command: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpXsQqbp/piuparts-depends-dummy'] 0m4.8s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmpXsQqbp/piuparts-depends-dummy.deb'. 0m4.8s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmpXsQqbp/piuparts-depends-dummy'] 0m4.8s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmpXsQqbp/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpRigHjo/tmp 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.8s DUMP: Selecting previously deselected package piuparts-depends-dummy. (Reading database ... 6261 files and directories currently installed.) Unpacking piuparts-depends-dummy (from tmp/piuparts-depends-dummy.deb) ... Setting up piuparts-depends-dummy (0.invalid.0) ... 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-yf', 'install'] 0m5.1s DUMP: Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-yf', 'install'] 0m5.1s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m5.1s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpRigHjo/tmp/piuparts-depends-dummy.deb 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m5.2s DUMP: piuparts-depends-dummy install ok installed 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m5.2s DUMP: (Reading database ... 6261 files and directories currently installed.) Removing piuparts-depends-dummy ... 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m5.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m6.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m6.7s DEBUG: No broken symlinks as far as we can find. 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'policy'] 0m6.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.10,o=Debian,a=oldstable,n=squeeze,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'policy'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'policy', 'agda-stdlib'] 0m6.8s DUMP: agda-stdlib: Installed: (none) Candidate: 0.3-3 Version table: 0.3-3 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m6.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-cache', 'policy', 'agda-stdlib'] 0m6.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-y', 'install', 'agda-stdlib=0.3-3'] 0m23.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: agda-stdlib 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 12.1 MB of archives. After this operation, 14.2 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main agda-stdlib amd64 0.3-3 [12.1 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 12.1 MB in 16s (736 kB/s) Selecting previously deselected package agda-stdlib. (Reading database ... 6261 files and directories currently installed.) Unpacking agda-stdlib (from .../agda-stdlib_0.3-3_amd64.deb) ... Setting up agda-stdlib (0.3-3) ... 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', '-y', 'install', 'agda-stdlib=0.3-3'] 0m23.9s INFO: Running scripts post_install 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m24.2s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m25.0s DEBUG: No broken symlinks as far as we can find. 0m25.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--get-selections', '*'] 0m25.0s DUMP: adduser install agda-stdlib 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 0m25.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--get-selections', '*'] 0m25.6s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpRigHjo', '-ac'] 0m26.2s DUMP: debsums: no md5sums for mawk 0m26.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpRigHjo', '-ac'] 0m26.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m26.2s DUMP: 0.12~bpo70+1 0m26.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m26.2s INFO: Running adequate version 0.12~bpo70+1 now. 0m26.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'agda-stdlib'] 0m26.4s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'agda-stdlib'] 0m26.4s INFO: Running scripts pre_remove 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m26.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m26.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m26.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m26.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m26.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_exceptions'] 0m26.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/pre_remove_exceptions'] 0m26.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'remove', 'agda-stdlib'] 0m27.1s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: agda-stdlib 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 14.2 MB disk space will be freed. (Reading database ... 6625 files and directories currently installed.) Removing agda-stdlib ... 0m27.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'remove', 'agda-stdlib'] 0m27.1s INFO: Running scripts post_remove 0m27.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_remove_exceptions_lenny'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_remove_exceptions_lenny'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_remove_extras'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_remove_extras'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', 'agda-stdlib'] 0m27.2s DUMP: (Reading database ... 6264 files and directories currently installed.) Removing agda-stdlib ... Purging configuration files for agda-stdlib ... 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', 'agda-stdlib'] 0m27.2s INFO: Running scripts post_purge 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_purge_exceptions'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'tmp/scripts/post_purge_exceptions'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', '--pending'] 0m27.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--purge', '--pending'] 0m27.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--remove', '--pending'] 0m27.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg', '--remove', '--pending'] 0m27.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m27.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m28.3s DEBUG: No broken symlinks as far as we can find. 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-divert', '--list'] 0m28.3s 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 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'dpkg-divert', '--list'] 0m28.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m28.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'apt-get', 'clean'] 0m29.3s INFO: PASS: Installation and purging test. 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'umount', '/proc'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpRigHjo', 'umount', '/proc'] 0m29.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m29.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpRigHjo'] 0m29.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpRigHjo 0m29.6s INFO: PASS: All tests. 0m29.6s INFO: piuparts run ends. ret=0 End: 2014-10-21 04:40:34 UTC