Start: 2014-09-21 07:23:51 UTC Package: agda-stdlib-doc Priority: extra Section: doc Installed-Size: 13200 Maintainer: Iain Lane Architecture: all Source: agda-stdlib Version: 0.3-3 Suggests: agda-stdlib Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_0.3-3_all.deb Size: 1182090 MD5sum: c809d5150e15aebba411538a3ac10abd SHA1: da16582884690de0c850ae8d3dfa636803e3abc2 SHA256: d461039e3621f64bc269f13d0bf0c3a7b753ade6345114eb780b23dfd2928510 Description: a dependently typed programming language - documentation 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 hyperlinked library documentation. Homepage: http://wiki.portal.chalmers.se/agda/ Tag: devel::doc, made-of::html, role::documentation 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-doc=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-doc=0.3-3 0m0.0s INFO: Running on: Linux piu-slave-bm-a 3.2.0-4-amd64 #1 SMP Debian 3.2.60-1+deb7u3 x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpQYNE9u 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpQYNE9u 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DUMP: tar: ./proc: time stamp 2014-10-15 13:49:47 is 2096754.880390346 s in the future 0m1.8s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/squeeze_amd64.tar.gz'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'mount', '-t', 'proc', 'proc', '/proc'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '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/tmpQYNE9u', 'apt-get', 'update'] 0m1.8s 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.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpQYNE9u/tmp/scripts/ 0m2.1s DEBUG: Copying scriptsdir /etc/piuparts/scripts-squeeze to /srv/piuparts.debian.org/tmp/tmpQYNE9u/tmp/scripts/ 0m2.1s INFO: Running scripts post_setup 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_experimental'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_forbid_home'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_force-unsafe-io'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_squeeze-backports'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.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 (16.7 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.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_setup_squeeze-fake-essential'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--get-selections', '*'] 0m3.5s 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.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--get-selections', '*'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg-divert', '--list'] 0m3.5s 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.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg-divert', '--list'] 0m3.5s INFO: apt-cache does not know about any of the requested packages 0m3.5s INFO: Running scripts pre_test 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_test_root_password'] 0m3.5s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_test_root_password'] 0m3.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m3.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 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/tmpQYNE9u', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_database-server'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_exceptions'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_extras'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m4.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'show', 'agda-stdlib-doc=0.3-3'] 0m4.7s DUMP: Package: agda-stdlib-doc Priority: extra Section: doc Installed-Size: 13200 Maintainer: Iain Lane Architecture: all Source: agda-stdlib Version: 0.3-3 Suggests: agda-stdlib Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_0.3-3_all.deb Size: 1182090 MD5sum: c809d5150e15aebba411538a3ac10abd SHA1: da16582884690de0c850ae8d3dfa636803e3abc2 SHA256: d461039e3621f64bc269f13d0bf0c3a7b753ade6345114eb780b23dfd2928510 Description: a dependently typed programming language - documentation 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 hyperlinked library documentation. Homepage: http://wiki.portal.chalmers.se/agda/ Tag: devel::doc, made-of::html, role::documentation 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'show', 'agda-stdlib-doc=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/tmp8zSR4Y/piuparts-depends-dummy'] 0m4.7s DUMP: dpkg-deb: warning: not checking contents of control area dpkg-deb: building an unknown package in '/srv/piuparts.debian.org/tmp/tmp8zSR4Y/piuparts-depends-dummy.deb'. 0m4.7s DEBUG: Command ok: ['dpkg-deb', '-b', '-Zgzip', '--nocheck', '/srv/piuparts.debian.org/tmp/tmp8zSR4Y/piuparts-depends-dummy'] 0m4.7s DEBUG: Copying /srv/piuparts.debian.org/tmp/tmp8zSR4Y/piuparts-depends-dummy.deb to /srv/piuparts.debian.org/tmp/tmpQYNE9u/tmp 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '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/tmpQYNE9u', 'dpkg', '-i', 'tmp/piuparts-depends-dummy.deb'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '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/tmpQYNE9u', 'apt-get', '-yf', 'install'] 0m5.1s INFO: Installation of ['tmp/piuparts-depends-dummy.deb'] ok 0m5.1s DEBUG: Removing /srv/piuparts.debian.org/tmp/tmpQYNE9u/tmp/piuparts-depends-dummy.deb 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '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/tmpQYNE9u', 'dpkg-query', '-f', '${Package} ${Status}\n', '-W', 'piuparts-depends-dummy'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '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/tmpQYNE9u', 'dpkg', '--purge', 'piuparts-depends-dummy'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m5.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m5.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m6.7s DEBUG: No broken symlinks as far as we can find. 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'policy'] 0m6.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.10,o=Debian,a=oldstable,n=squeeze,l=Debian,c=main origin mirror.bm.debian.org Pinned packages: 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'policy'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m6.7s DUMP: agda-stdlib-doc: Installed: (none) Candidate: 0.3-3 Version table: 0.3-3 0 500 http://mirror.bm.debian.org/debian/ squeeze/main amd64 Packages 0m6.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m6.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', '-y', 'install', 'agda-stdlib-doc=0.3-3'] 0m7.5s DUMP: Reading package lists... Building dependency tree... Reading state information... Suggested packages: agda-stdlib The following NEW packages will be installed: agda-stdlib-doc 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 1182 kB of archives. After this operation, 13.5 MB of additional disk space will be used. Get:1 http://mirror.bm.debian.org/debian/ squeeze/main agda-stdlib-doc all 0.3-3 [1182 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1182 kB in 0s (11.3 MB/s) Selecting previously deselected package agda-stdlib-doc. (Reading database ... 6261 files and directories currently installed.) Unpacking agda-stdlib-doc (from .../agda-stdlib-doc_0.3-3_all.deb) ... Setting up agda-stdlib-doc (0.3-3) ... 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', '-y', 'install', 'agda-stdlib-doc=0.3-3'] 0m7.5s INFO: Running scripts post_install 0m7.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_install_exceptions'] 0m7.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_install_exceptions'] 0m7.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m7.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m8.5s DEBUG: No broken symlinks as far as we can find. 0m8.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--get-selections', '*'] 0m8.6s DUMP: adduser install agda-stdlib-doc 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 0m8.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--get-selections', '*'] 0m9.1s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '-ac'] 0m9.7s DUMP: debsums: no md5sums for mawk 0m9.7s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', '-ac'] 0m9.7s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m9.7s DUMP: 0.12~bpo70+1 0m9.7s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m9.7s INFO: Running adequate version 0.12~bpo70+1 now. 0m9.7s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'agda-stdlib-doc'] 0m9.8s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'agda-stdlib-doc'] 0m9.8s INFO: Running scripts pre_remove 0m9.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_exceptions'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/pre_remove_exceptions'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'remove', 'agda-stdlib-doc'] 0m10.6s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: agda-stdlib-doc 0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded. After this operation, 13.5 MB disk space will be freed. (Reading database ... 6428 files and directories currently installed.) Removing agda-stdlib-doc ... 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'remove', 'agda-stdlib-doc'] 0m10.6s INFO: Running scripts post_remove 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_remove_exceptions_lenny'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_remove_exceptions_lenny'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_remove_extras'] 0m10.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_remove_extras'] 0m10.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--purge', 'agda-stdlib-doc'] 0m10.7s DUMP: dpkg: warning: ignoring request to remove agda-stdlib-doc which isn't installed. 0m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--purge', 'agda-stdlib-doc'] 0m10.7s INFO: Running scripts post_purge 0m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_purge_exceptions'] 0m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'tmp/scripts/post_purge_exceptions'] 0m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--purge', '--pending'] 0m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--purge', '--pending'] 0m10.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--remove', '--pending'] 0m10.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg', '--remove', '--pending'] 0m10.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m11.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m11.7s DEBUG: No broken symlinks as far as we can find. 0m11.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg-divert', '--list'] 0m11.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 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'dpkg-divert', '--list'] 0m11.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m11.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'apt-get', 'clean'] 0m12.8s INFO: PASS: Installation and purging test. 0m13.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'umount', '/proc'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpQYNE9u', 'umount', '/proc'] 0m13.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m13.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpQYNE9u'] 0m13.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpQYNE9u 0m13.1s INFO: PASS: All tests. 0m13.1s INFO: piuparts run ends. ret=0 End: 2014-09-21 07:24:05 UTC