Start: 2024-11-25 21:20:18 GMT [testing] Package: agda-stdlib-doc Source: agda-stdlib Version: 2.1-3 Installed-Size: 52023 Maintainer: Debian Haskell Group Architecture: all Suggests: agda-stdlib Description: standard library for Agda — documentation Multi-Arch: foreign Homepage: https://wiki.portal.chalmers.se/agda/ Description-md5: fd3b8a8baa471f456e06046d5280b6e7 Tag: devel::doc, made-of::html, role::documentation Section: doc Priority: optional Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_2.1-3_all.deb Size: 3711420 MD5sum: b7a1805be253823b14390584484fc33c SHA256: 1d2007ffbfdaf8b860d2c99653039959d17579ef77446ed5b380b0cd7d17abc6 [sid] Package: agda-stdlib-doc Source: agda-stdlib Version: 2.1-4 Installed-Size: 52984 Maintainer: Debian Haskell Group Architecture: all Suggests: agda-stdlib Description: standard library for Agda — documentation Multi-Arch: foreign Homepage: https://wiki.portal.chalmers.se/agda/ Description-md5: fd3b8a8baa471f456e06046d5280b6e7 Tag: devel::doc, made-of::html, role::documentation Section: doc Priority: optional Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_2.1-4_all.deb Size: 3780056 MD5sum: 46b40be6f2e768afd460fe3c130978fa SHA256: dcd0eb7f60d5d2f80813044c0d92cc1b9f6923f869f9d699588adb77a45cfd2f Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt agda-stdlib-doc=2.1-4 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 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt agda-stdlib-doc=2.1-4 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmprt5r698b 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmprt5r698b 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmprt5r698b', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmprt5r698b', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/trixie-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmprt5r698b/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmprt5r698b/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/4', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ trixie main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmprt5r698b/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'update'] 0m1.8s DUMP: Get:1 http://deb.debian.org/debian trixie InRelease [172 kB] Get:2 http://deb.debian.org/debian trixie/main amd64 Packages [9372 kB] Get:3 http://deb.debian.org/debian trixie/main Translation-en [6269 kB] Fetched 15.8 MB in 1s (14.1 MB/s) Reading package lists... 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'update'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.3s DUMP: 7ccac287ed6b474d8209e73d3f03dc92 - 0m2.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.3s INFO: Running scripts post_setup 0m2.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_dummy_users'] 0m3.0s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_dummy_users'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_forbid_home'] 0m3.0s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_forbid_home'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.0s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /usr/bin/sync to /usr/bin/sync.distrib' Adding 'local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged' '/bin/sync' -> 'true' 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_minimize'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_minimize'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_zz_backports'] 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_setup_zz_backports'] 0m3.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.0s DUMP: install ok installed apt apt 2.9.10 install ok installed base-files base-files 13.5 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed bsdutils bsdutils 1:2.40.2-11 install ok installed coreutils coreutils 9.5-1+b1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.21 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1+b1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-8 install ok installed gpgv gpgv 2.2.45-2 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.10 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:4.0.2-2 install ok installed libaudit1:amd64 libaudit1 1:4.0.2-2 install ok installed libblkid1:amd64 libblkid1 2.40.2-11 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-3 install ok installed libc6:amd64 libc6 2.40-3 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3+b1 install ok installed libcap2:amd64 libcap2 1:2.66-5+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.273 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1+b1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-8 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b2 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.8-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1+b1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3+b1 install ok installed liblzma5:amd64 liblzma5 5.6.3-1+b1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.40.2-11 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2+b1 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7+b1 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.42-4+b2 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-1+b3 install ok installed libselinux1:amd64 libselinux1 3.7-3+b1 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2+b1 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-11 install ok installed libss2:amd64 libss2 1.47.1-1+b1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-2 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-8 install ok installed libsystemd0:amd64 libsystemd0 257~rc2-3 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b3 install ok installed libtinfo6:amd64 libtinfo6 6.5-2+b1 install ok installed libudev1:amd64 libudev1 257~rc2-3 install ok installed libunistring5:amd64 libunistring5 1.2-1+b1 install ok installed libuuid1:amd64 libuuid1 2.40.2-11 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1+b1 install ok installed login login 1:4.16.0-2+really2.40.2-11 install ok installed login.defs login.defs 1:4.16.0-5 install ok installed logsave logsave 1.47.1-1+b1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-11 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2+b1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-2 install ok installed passwd passwd 1:4.16.0-5 install ok installed perl-base perl-base 5.40.0-7 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-11 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m3.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m3.0s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m3.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m3.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m3.3s INFO: Running scripts is_testable 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/is_testable_uninstallable'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/is_testable_uninstallable'] 0m3.3s INFO: Running scripts pre_test 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_test_exceptions'] 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_test_exceptions'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_test_root_password'] 0m3.3s DUMP: New password: Retype new password: passwd: password updated successfully 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_test_root_password'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib-doc'] 0m3.4s DUMP: Package: agda-stdlib-doc Source: agda-stdlib Version: 2.1-3 Installed-Size: 52023 Maintainer: Debian Haskell Group Architecture: all Suggests: agda-stdlib Description-en: standard library for Agda ?? 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. Description-md5: fd3b8a8baa471f456e06046d5280b6e7 Multi-Arch: foreign Homepage: https://wiki.portal.chalmers.se/agda/ Tag: devel::doc, made-of::html, role::documentation Section: doc Priority: optional Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_2.1-3_all.deb Size: 3711420 MD5sum: b7a1805be253823b14390584484fc33c SHA256: 1d2007ffbfdaf8b860d2c99653039959d17579ef77446ed5b380b0cd7d17abc6 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib-doc'] 0m3.4s INFO: apt-cache knows about the following packages: agda-stdlib-doc 0m3.4s INFO: Running scripts pre_install 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m3.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian trixie/main amd64 Packages release o=Debian,a=testing,n=trixie,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m3.5s DUMP: agda-stdlib-doc: Installed: (none) Candidate: 2.1-3 Version table: 2.1-3 500 500 http://deb.debian.org/debian trixie/main amd64 Packages 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc'] 0m5.1s DUMP: Reading package lists... Building dependency tree... 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 3711 kB of archives. After this operation, 53.3 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian trixie/main amd64 agda-stdlib-doc all 2.1-3 [3711 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 3711 kB in 1s (4038 kB/s) Selecting previously unselected package agda-stdlib-doc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5158 files and directories currently installed.) Preparing to unpack .../agda-stdlib-doc_2.1-3_all.deb ... Unpacking agda-stdlib-doc (2.1-3) ... Setting up agda-stdlib-doc (2.1-3) ... 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc'] 0m5.1s INFO: Running scripts post_install 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m5.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m5.4s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m5.4s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmprt5r698b to sid 0m5.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m5.4s INFO: Running scripts pre_distupgrade 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_exceptions'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_exceptions'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'update'] 0m7.4s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [202 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.0 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7338 kB] Fetched 17.6 MB in 2s (11.3 MB/s) Reading package lists... 0m7.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'update'] 0m7.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-yf', 'dist-upgrade'] 0m9.4s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: agda-stdlib-doc apt base-files libapt-pkg6.0t64 libc-bin libc6 libpcre2-8-0 libseccomp2 perl-base 9 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 11.8 MB of archives. After this operation, 915 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libc6 amd64 2.40-4 [2804 kB] Get:2 http://deb.debian.org/debian sid/main amd64 base-files amd64 13.6 [72.8 kB] Get:3 http://deb.debian.org/debian sid/main amd64 perl-base amd64 5.40.0-8 [1675 kB] Get:4 http://deb.debian.org/debian sid/main amd64 libapt-pkg6.0t64 amd64 2.9.14 [1103 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libseccomp2 amd64 2.5.5-2 [47.8 kB] Get:6 http://deb.debian.org/debian sid/main amd64 apt amd64 2.9.14 [1395 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libc-bin amd64 2.40-4 [626 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.44-4 [275 kB] Get:9 http://deb.debian.org/debian sid/main amd64 agda-stdlib-doc all 2.1-4 [3780 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 11.8 MB in 0s (130 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6254 files and directories currently installed.) Preparing to unpack .../libc6_2.40-4_amd64.deb ... Unpacking libc6:amd64 (2.40-4) over (2.40-3) ... Setting up libc6:amd64 (2.40-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6254 files and directories currently installed.) Preparing to unpack .../base-files_13.6_amd64.deb ... Unpacking base-files (13.6) over (13.5) ... Setting up base-files (13.6) ... Updating /root/.profile to current default. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6254 files and directories currently installed.) Preparing to unpack .../perl-base_5.40.0-8_amd64.deb ... Unpacking perl-base (5.40.0-8) over (5.40.0-7) ... Setting up perl-base (5.40.0-8) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6254 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.14_amd64.deb ... Unpacking libapt-pkg6.0t64:amd64 (2.9.14) over (2.9.10) ... Setting up libapt-pkg6.0t64:amd64 (2.9.14) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6254 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-2_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.5-2) over (2.5.5-1+b3) ... Setting up libseccomp2:amd64 (2.5.5-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6253 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.14_amd64.deb ... Unpacking apt (2.9.14) over (2.9.10) ... Setting up apt (2.9.14) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6250 files and directories currently installed.) Preparing to unpack .../libc-bin_2.40-4_amd64.deb ... Unpacking libc-bin (2.40-4) over (2.40-3) ... Setting up libc-bin (2.40-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6250 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.44-4_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.44-4) over (10.42-4+b2) ... Setting up libpcre2-8-0:amd64 (10.44-4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6249 files and directories currently installed.) Preparing to unpack .../agda-stdlib-doc_2.1-4_all.deb ... Unpacking agda-stdlib-doc (2.1-4) over (2.1-3) ... Setting up agda-stdlib-doc (2.1-4) ... Processing triggers for libc-bin (2.40-4) ... 0m9.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-yf', 'dist-upgrade'] 0m9.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s DUMP: 0cd3a55ae02d2885f07586b5efdfaa03 - 0m10.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m10.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib-doc'] 0m10.1s DUMP: Package: agda-stdlib-doc Source: agda-stdlib Version: 2.1-4 Installed-Size: 52984 Maintainer: Debian Haskell Group Architecture: all Suggests: agda-stdlib Description-en: standard library for Agda ?? 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. Description-md5: fd3b8a8baa471f456e06046d5280b6e7 Multi-Arch: foreign Homepage: https://wiki.portal.chalmers.se/agda/ Tag: devel::doc, made-of::html, role::documentation Section: doc Priority: optional Filename: pool/main/a/agda-stdlib/agda-stdlib-doc_2.1-4_all.deb Size: 3780056 MD5sum: 46b40be6f2e768afd460fe3c130978fa SHA256: dcd0eb7f60d5d2f80813044c0d92cc1b9f6923f869f9d699588adb77a45cfd2f 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib-doc'] 0m10.1s INFO: apt-cache knows about the following packages: agda-stdlib-doc 0m10.1s INFO: Running scripts pre_install 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m10.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m10.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m10.2s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m10.2s DUMP: agda-stdlib-doc: Installed: 2.1-4 Candidate: 2.1-4 Version table: *** 2.1-4 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m10.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m10.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc'] 0m10.5s DUMP: Reading package lists... Building dependency tree... Reading state information... agda-stdlib-doc is already the newest version (2.1-4). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc'] 0m10.5s INFO: Running scripts post_install 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m10.5s INFO: Running scripts post_distupgrade 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_exceptions'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_exceptions'] 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m10.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_zz_backports'] 0m10.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_distupgrade_zz_backports'] 0m10.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m10.8s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m10.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m11.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m11.0s INFO: Running scripts pre_install 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_database-server'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_exceptions'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_extras'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m11.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m11.1s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m11.1s DUMP: agda-stdlib-doc: Installed: 2.1-4 Candidate: 2.1-4 Version table: *** 2.1-4 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m11.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-cache', 'policy', 'agda-stdlib-doc'] 0m11.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc=2.1-4'] 0m11.4s DUMP: Reading package lists... Building dependency tree... Reading state information... agda-stdlib-doc is already the newest version (2.1-4). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', '-y', 'install', 'agda-stdlib-doc=2.1-4'] 0m11.4s INFO: Running scripts post_install 0m11.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m11.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_install_exceptions'] 0m11.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m11.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m11.9s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmprt5r698b', '-ac', '--ignore-obsolete'] 0m12.4s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmprt5r698b', '-ac', '--ignore-obsolete'] 0m12.4s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m12.4s DUMP: 0.15.6 0m12.4s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m12.4s INFO: Running adequate version 0.15.6 now. 0m12.4s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'agda-stdlib-doc'] 0m12.5s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'agda-stdlib-doc'] 0m12.5s INFO: Running scripts pre_remove 0m12.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m12.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m12.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_exceptions'] 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/pre_remove_exceptions'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m13.1s DUMP: install ok installed agda-stdlib-doc agda-stdlib-doc 2.1-4 install ok installed apt apt 2.9.14 install ok installed base-files base-files 13.6 install ok installed base-passwd base-passwd 3.6.5 install ok installed bash bash 5.2.32-1+b2 install ok installed bsdutils bsdutils 1:2.40.2-11 install ok installed coreutils coreutils 9.5-1+b1 install ok installed dash dash 0.5.12-9 install ok installed debconf debconf 1.5.87 install ok installed debian-archive-keyring debian-archive-keyring 2023.4 install ok installed debianutils debianutils 5.21 install ok installed diffutils diffutils 1:3.10-1 install ok installed dpkg dpkg 1.22.11 install ok installed e2fsprogs e2fsprogs 1.47.1-1+b1 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-14-base:amd64 gcc-14-base 14.2.0-8 install ok installed gpgv gpgv 2.2.45-2 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.12-1.1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.67 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg6.0t64:amd64 libapt-pkg6.0t64 2.9.14 install ok installed libattr1:amd64 libattr1 1:2.5.2-2 install ok installed libaudit-common libaudit-common 1:4.0.2-2 install ok installed libaudit1:amd64 libaudit1 1:4.0.2-2 install ok installed libblkid1:amd64 libblkid1 2.40.2-11 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.40-4 install ok installed libc6:amd64 libc6 2.40-4 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-3+b1 install ok installed libcap2:amd64 libcap2 1:2.66-5+b1 install ok installed libcom-err2:amd64 libcom-err2 1.47.1-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.36-5 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.273 install ok installed libext2fs2t64:amd64 libext2fs2t64 1.47.1-1+b1 install ok installed libffi8:amd64 libffi8 3.4.6-1 install ok installed libgcc-s1:amd64 libgcc-s1 14.2.0-8 install ok installed libgcrypt20:amd64 libgcrypt20 1.11.0-6 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-2+b2 install ok installed libgnutls30t64:amd64 libgnutls30t64 3.8.8-2 install ok installed libgpg-error0:amd64 libgpg-error0 1.50-4 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10-1+b1 install ok installed libidn2-0:amd64 libidn2-0 2.3.7-2+b1 install ok installed liblz4-1:amd64 liblz4-1 1.9.4-3+b1 install ok installed liblzma5:amd64 liblzma5 5.6.3-1+b1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.40.2-11 install ok installed libnettle8t64:amd64 libnettle8t64 3.10-1+b1 install ok installed libp11-kit0:amd64 libp11-kit0 0.25.5-2+b1 install ok installed libpam-modules:amd64 libpam-modules 1.5.3-7+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.5.3-7+b1 install ok installed libpam-runtime libpam-runtime 1.5.3-7 install ok installed libpam0g:amd64 libpam0g 1.5.3-7+b1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.44-4 install ok installed libseccomp2:amd64 libseccomp2 2.5.5-2 install ok installed libselinux1:amd64 libselinux1 3.7-3+b1 install ok installed libsemanage-common libsemanage-common 3.7-2 install ok installed libsemanage2:amd64 libsemanage2 3.7-2+b1 install ok installed libsepol2:amd64 libsepol2 3.7-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.40.2-11 install ok installed libss2:amd64 libss2 1.47.1-1+b1 install ok installed libssl3t64:amd64 libssl3t64 3.3.2-2 install ok installed libstdc++6:amd64 libstdc++6 14.2.0-8 install ok installed libsystemd0:amd64 libsystemd0 257~rc2-3 install ok installed libtasn1-6:amd64 libtasn1-6 4.19.0-3+b3 install ok installed libtinfo6:amd64 libtinfo6 6.5-2+b1 install ok installed libudev1:amd64 libudev1 257~rc2-3 install ok installed libunistring5:amd64 libunistring5 1.2-1+b1 install ok installed libuuid1:amd64 libuuid1 2.40.2-11 install ok installed libxxhash0:amd64 libxxhash0 0.8.2-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.6+dfsg-1+b1 install ok installed login login 1:4.16.0-2+really2.40.2-11 install ok installed login.defs login.defs 1:4.16.0-5 install ok installed logsave logsave 1.47.1-1+b1 install ok installed mawk mawk 1.3.4.20240905-1 install ok installed mount mount 2.40.2-11 install ok installed ncurses-base ncurses-base 6.5-2 install ok installed ncurses-bin ncurses-bin 6.5-2+b1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.3.2-2 install ok installed passwd passwd 1:4.16.0-5 install ok installed perl-base perl-base 5.40.0-8 install ok installed sed sed 4.9-2 install ok installed sysvinit-utils sysvinit-utils 3.11-1 install ok installed tar tar 1.35+dfsg-3 install ok installed tzdata tzdata 2024b-3 install ok installed usr-is-merged usr-is-merged 39 install ok installed util-linux util-linux 2.40.2-11 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m13.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m13.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'remove', 'agda-stdlib-doc'] 0m13.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, 54.3 MB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 6339 files and directories currently installed.) Removing agda-stdlib-doc (2.1-4) ... 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'remove', 'agda-stdlib-doc'] 0m13.6s INFO: Running scripts post_remove 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_remove_exceptions'] 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_remove_exceptions'] 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--purge', 'agda-stdlib-doc'] 0m13.6s DUMP: dpkg: warning: ignoring request to remove agda-stdlib-doc which isn't installed 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--purge', 'agda-stdlib-doc'] 0m13.6s INFO: Running scripts post_purge 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_purge_exceptions'] 0m13.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_purge_exceptions'] 0m13.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--purge', '--pending'] 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--purge', '--pending'] 0m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--remove', '--pending'] 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg', '--remove', '--pending'] 0m13.7s INFO: Running scripts post_test 0m13.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_test_exceptions'] 0m13.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'tmp/scripts/post_test_exceptions'] 0m13.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m13.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-divert', '--list'] 0m13.9s DUMP: diversion of /lib/x86_64-linux-gnu/libe2p.so.2 to /lib/x86_64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64 local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /lib/x86_64-linux-gnu/libext2fs.so.2.4 to /lib/x86_64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64 local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /lib/x86_64-linux-gnu/libext2fs.so.2 to /lib/x86_64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64 diversion of /lib/x86_64-linux-gnu/libe2p.so.2.3 to /lib/x86_64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'dpkg-divert', '--list'] 0m13.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'clean'] 0m13.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmprt5r698b', 'apt-get', 'clean'] 0m13.9s DEBUG: Recording chroot state 0m14.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/shm'] 0m14.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/shm'] 0m14.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/console'] 0m14.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/console'] 0m14.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/ptmx'] 0m14.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/ptmx'] 0m14.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts'] 0m14.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/dev/pts'] 0m14.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/proc'] 0m14.6s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmprt5r698b/proc'] 0m14.6s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m14.6s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmprt5r698b'] 0m14.6s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmprt5r698b 0m14.6s INFO: PASS: Upgrading between Debian distributions. 0m14.6s INFO: PASS: All tests. 0m14.6s INFO: piuparts run ends. ret=0 End: 2024-11-25 21:20:32 GMT