Start: 2023-01-29 19:00:06 GMT [jessie] Package: agda-stdlib Version: 0.8-2 Installed-Size: 24229 Maintainer: Iain Lane Architecture: all Depends: libghc-agda-dev (>= 2.4.0), libghc-agda-dev (<< 2.5.0~) Enhances: agda-mode Description: standard library for Agda Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: c45346ed5a4053d9d174e9325e0d533b Section: libs Priority: extra Filename: pool/main/a/agda-stdlib/agda-stdlib_0.8-2_all.deb Size: 23527642 MD5sum: 4e272f83e6ca461c2918efb28b6092f9 SHA1: 2ed0d8bca7270a633adcf94ce7ac43dd29daa34d SHA256: ef03d29e9c2de5564d142cecf2b1975cfa960f3adf0391947a320e5c78592f04 [stretch] Package: agda-stdlib Version: 0.12-2 Installed-Size: 22193 Maintainer: Iain Lane Architecture: all Depends: libghc-agda-dev (>= 2.5.1), libghc-agda-dev (<< 2.6.0) Enhances: elpa-agda2-mode Breaks: agda-bin (<< 2.5.1) Description: standard library for Agda Homepage: http://wiki.portal.chalmers.se/agda/ Description-md5: c45346ed5a4053d9d174e9325e0d533b Tag: role::shared-lib Section: libs Priority: extra Filename: pool/main/a/agda-stdlib/agda-stdlib_0.12-2_all.deb Size: 17067322 MD5sum: 2b6aa906825332fae0277989edc8cafc SHA256: 4098d860c8fc1c60fa6fe4ff5cc7607eb0cfcdc9e4c06569da24ca6f8a66644a Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --install-recommends --upgrade-before-dist-upgrade --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie -d stretch -B /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat --apt agda-stdlib=0.12-2 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.1.5 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --install-recommends --upgrade-before-dist-upgrade --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --skip-logrotatefiles-test --warn-on-debsums-errors --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz -d jessie -d stretch -B /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat --apt agda-stdlib=0.12-2 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-21-amd64 #1 SMP Debian 5.10.162-1 (2023-01-21) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp0tqvrrrb 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp0tqvrrrb 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.7s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.7s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/proc'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/proc'] 0m1.8s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts'] 0m1.8s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/ptmx'] 0m1.8s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/ptmx'] 0m1.8s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/console'] 0m1.8s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/console'] 0m1.8s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/shm'] 0m1.8s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/shm'] 0m1.8s DEBUG: sources.list: deb http://deb.debian.org/debian/ jessie main 0m1.8s DEBUG: Created policy-rc.d and chmodded it. 0m1.8s DEBUG: Created resolv.conf. 0m1.8s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp0tqvrrrb/tmp/scripts/ 0m1.8s INFO: Running scripts post_chroot_unpack 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', 'update'] 0m3.4s DUMP: Ign http://deb.debian.org jessie InRelease Hit http://deb.debian.org jessie Release.gpg Hit http://deb.debian.org jessie Release Ign http://deb.debian.org jessie Release Hit http://deb.debian.org jessie/main Translation-en Hit http://deb.debian.org jessie/main amd64 Packages Reading package lists... W: GPG error: http://deb.debian.org jessie Release: The following signatures were invalid: KEYEXPIRED 1668891673 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', 'update'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', '-yf', 'dist-upgrade'] 0m3.6s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', '-yf', 'dist-upgrade'] 0m3.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.8s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.8s INFO: Running scripts post_setup 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_dummy_users'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_forbid_home'] 0m4.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.8s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_minimize'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_minimize'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_squeeze-backports'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_zz_backports'] 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/post_setup_zz_backports'] 0m4.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.8s DUMP: install ok installed acl acl 2.2.52-2 install ok installed adduser adduser 3.113+nmu3 install ok installed apt apt 1.0.9.8.4 install ok installed base-files base-files 8+deb8u11 install ok installed base-passwd base-passwd 3.5.37 install ok installed bash bash 4.3-11+deb8u1 install ok installed bsdutils bsdutils 1:2.25.2-6 install ok installed coreutils coreutils 8.23-4 install ok installed dash dash 0.5.7-4+b1 install ok installed debconf debconf 1.5.56+deb8u1 install ok installed debconf-i18n debconf-i18n 1.5.56+deb8u1 install ok installed debian-archive-keyring debian-archive-keyring 2017.5~deb8u1 install ok installed debianutils debianutils 4.4+b1 install ok installed diffutils diffutils 1:3.3-1+b1 install ok installed dmsetup dmsetup 2:1.02.90-2.2+deb8u1 install ok installed dpkg dpkg 1.17.27 install ok installed e2fslibs:amd64 e2fslibs 1.42.12-2+b1 install ok installed e2fsprogs e2fsprogs 1.42.12-2+b1 install ok installed findutils findutils 4.4.2-9+b1 install ok installed gcc-4.9-base:amd64 gcc-4.9-base 4.9.2-10+deb8u1 install ok installed gnupg gnupg 1.4.18-7+deb8u5 install ok installed gpgv gpgv 1.4.18-7+deb8u5 install ok installed grep grep 2.20-4.1 install ok installed gzip gzip 1.6-4 install ok installed hostname hostname 3.15 install ok installed init init 1.22 install ok installed initscripts initscripts 2.88dsf-59 install ok installed insserv insserv 1.14.0-5 install ok installed libacl1:amd64 libacl1 2.2.52-2 install ok installed libapt-pkg4.12:amd64 libapt-pkg4.12 1.0.9.8.4 install ok installed libattr1:amd64 libattr1 1:2.4.47-2 install ok installed libaudit-common libaudit-common 1:2.4-1 install ok installed libaudit1:amd64 libaudit1 1:2.4-1+b1 install ok installed libblkid1:amd64 libblkid1 2.25.2-6 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-7+b3 install ok installed libc-bin libc-bin 2.19-18+deb8u10 install ok installed libc6:amd64 libc6 2.19-18+deb8u10 install ok installed libcap2:amd64 libcap2 1:2.24-8 install ok installed libcap2-bin libcap2-bin 1:2.24-8 install ok installed libcomerr2:amd64 libcomerr2 1.42.12-2+b1 install ok installed libcryptsetup4:amd64 libcryptsetup4 2:1.6.6-5 install ok installed libdb5.3:amd64 libdb5.3 5.3.28-9+deb8u1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.192 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.90-2.2+deb8u1 install ok installed libgcc1:amd64 libgcc1 1:4.9.2-10+deb8u1 install ok installed libgcrypt20:amd64 libgcrypt20 1.6.3-2+deb8u4 install ok installed libgpg-error0:amd64 libgpg-error0 1.17-3 install ok installed libkmod2:amd64 libkmod2 18-3 install ok installed liblocale-gettext-perl liblocale-gettext-perl 1.05-8+b1 install ok installed liblzma5:amd64 liblzma5 5.1.1alpha+20120614-2+b3 install ok installed libmount1:amd64 libmount1 2.25.2-6 install ok installed libncurses5:amd64 libncurses5 5.9+20140913-1+deb8u3 install ok installed libncursesw5:amd64 libncursesw5 5.9+20140913-1+deb8u3 install ok installed libpam-modules:amd64 libpam-modules 1.1.8-3.1+deb8u2+b1 install ok installed libpam-modules-bin libpam-modules-bin 1.1.8-3.1+deb8u2+b1 install ok installed libpam-runtime libpam-runtime 1.1.8-3.1+deb8u2 install ok installed libpam0g:amd64 libpam0g 1.1.8-3.1+deb8u2+b1 install ok installed libpcre3:amd64 libpcre3 2:8.35-3.3+deb8u4 install ok installed libprocps3:amd64 libprocps3 2:3.3.9-9+deb8u1 install ok installed libreadline6:amd64 libreadline6 6.3-8+b3 install ok installed libselinux1:amd64 libselinux1 2.3-2 install ok installed libsemanage-common libsemanage-common 2.3-1 install ok installed libsemanage1:amd64 libsemanage1 2.3-1+b1 install ok installed libsepol1:amd64 libsepol1 2.3-2 install ok installed libslang2:amd64 libslang2 2.3.0-2 install ok installed libsmartcols1:amd64 libsmartcols1 2.25.2-6 install ok installed libss2:amd64 libss2 1.42.12-2+b1 install ok installed libstdc++6:amd64 libstdc++6 4.9.2-10+deb8u1 install ok installed libsystemd0:amd64 libsystemd0 215-17+deb8u7 install ok installed libtext-charwidth-perl libtext-charwidth-perl 0.04-7+b3 install ok installed libtext-iconv-perl libtext-iconv-perl 1.7-5+b2 install ok installed libtext-wrapi18n-perl libtext-wrapi18n-perl 0.06-7 install ok installed libtinfo5:amd64 libtinfo5 5.9+20140913-1+deb8u3 install ok installed libudev1:amd64 libudev1 215-17+deb8u7 install ok installed libusb-0.1-4:amd64 libusb-0.1-4 2:0.1.12-25 install ok installed libustr-1.0-1:amd64 libustr-1.0-1 1.0.4-3+b2 install ok installed libuuid1:amd64 libuuid1 2.25.2-6 install ok installed login login 1:4.2-3+deb8u4 install ok installed lsb-base lsb-base 4.1+Debian13+nmu1 install ok installed mawk mawk 1.3.3-17 install ok installed mount mount 2.25.2-6 install ok installed multiarch-support multiarch-support 2.19-18+deb8u10 install ok installed ncurses-base ncurses-base 5.9+20140913-1+deb8u3 install ok installed ncurses-bin ncurses-bin 5.9+20140913-1+deb8u3 install ok installed passwd passwd 1:4.2-3+deb8u4 install ok installed perl-base perl-base 5.20.2-3+deb8u11 install ok installed procps procps 2:3.3.9-9+deb8u1 install ok installed readline-common readline-common 6.3-8 install ok installed sed sed 4.2.2-4+deb8u1 install ok installed sensible-utils sensible-utils 0.0.9+deb8u1 install ok installed startpar startpar 0.59-3 install ok installed systemd systemd 215-17+deb8u7 install ok installed systemd-sysv systemd-sysv 215-17+deb8u7 install ok installed sysv-rc sysv-rc 2.88dsf-59 install ok installed sysvinit-utils sysvinit-utils 2.88dsf-59 install ok installed tar tar 1.27.1-2+deb8u1 install ok installed tzdata tzdata 2018e-0+deb8u1 install ok installed udev udev 215-17+deb8u7 install ok installed util-linux util-linux 2.25.2-6 install ok installed zlib1g:amd64 zlib1g 1:1.2.8.dfsg-2+b1 0m4.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.8s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/jessie2Xstretch-rcmd/reference-chroot-metadata.dat 0m4.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb'] 0m5.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb'] 0m5.3s INFO: Running scripts is_testable 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/is_testable_uninstallable'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/is_testable_uninstallable'] 0m5.3s INFO: Running scripts pre_test 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_test_exceptions'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_test_exceptions'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_test_root_password'] 0m5.3s DUMP: Enter new UNIX password: Retype new UNIX password: passwd: password updated successfully 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_test_root_password'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib'] 0m5.4s DUMP: Package: agda-stdlib Version: 0.8-2 Installed-Size: 24229 Maintainer: Iain Lane Architecture: all Depends: libghc-agda-dev (>= 2.4.0), libghc-agda-dev (<< 2.5.0~) Enhances: agda-mode Description-en: standard library for Agda 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. Description-md5: c45346ed5a4053d9d174e9325e0d533b Homepage: http://wiki.portal.chalmers.se/agda/ Section: libs Priority: extra Filename: pool/main/a/agda-stdlib/agda-stdlib_0.8-2_all.deb Size: 23527642 MD5sum: 4e272f83e6ca461c2918efb28b6092f9 SHA1: 2ed0d8bca7270a633adcf94ce7ac43dd29daa34d SHA256: ef03d29e9c2de5564d142cecf2b1975cfa960f3adf0391947a320e5c78592f04 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'show', '--no-all-versions', 'agda-stdlib'] 0m5.4s INFO: apt-cache knows about the following packages: agda-stdlib 0m5.4s INFO: Running scripts pre_install 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_database-server'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_database-server'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_exceptions'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_exceptions'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_extras'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_extras'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'policy'] 0m5.4s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian/ jessie/main Translation-en 500 http://deb.debian.org/debian/ jessie/main amd64 Packages release v=8.11,o=Debian,a=oldoldstable,n=jessie,l=Debian,c=main origin deb.debian.org Pinned packages: 0m5.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'policy'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'policy', 'agda-stdlib'] 0m5.5s DUMP: agda-stdlib: Installed: (none) Candidate: 0.8-2 Version table: 0.8-2 0 500 http://deb.debian.org/debian/ jessie/main amd64 Packages 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-cache', 'policy', 'agda-stdlib'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', '-y', 'install', 'agda-stdlib'] 0m5.7s DUMP: Reading package lists... Building dependency tree... The following extra packages will be installed: binutils cpp cpp-4.9 gcc gcc-4.8-base gcc-4.9 ghc libasan0 libasan1 libatomic1 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcilkrts5 libcloog-isl4 libffi-dev libffi6 libgcc-4.8-dev libgcc-4.9-dev libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libisl10 libitm1 liblsan0 libmpc3 libmpfr4 libncurses5-dev libquadmath0 libstdc++-4.8-dev libtinfo-dev libtsan0 libubsan0 linux-libc-dev manpages manpages-dev zlib1g-dev Suggested packages: binutils-doc cpp-doc gcc-4.9-locales gcc-multilib make autoconf automake libtool flex bison gdb gcc-doc gcc-4.9-multilib gcc-4.9-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan1-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libquadmath0-dbg perl ghc-prof ghc-doc haskell-doc llvm glibc-doc libghc-agda-doc libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev ncurses-doc libstdc++-4.8-doc man-browser The following NEW packages will be installed: agda-stdlib binutils cpp cpp-4.9 gcc gcc-4.8-base gcc-4.9 ghc libasan0 libasan1 libatomic1 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcilkrts5 libcloog-isl4 libffi-dev libffi6 libgcc-4.8-dev libgcc-4.9-dev libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libisl10 libitm1 liblsan0 libmpc3 libmpfr4 libncurses5-dev libquadmath0 libstdc++-4.8-dev libtinfo-dev libtsan0 libubsan0 linux-libc-dev manpages manpages-dev zlib1g-dev 0 upgraded, 68 newly installed, 0 to remove and 0 not upgraded. Need to get 98.2 MB of archives. After this operation, 635 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! gcc-4.8-base libasan0 libasan1 libatomic1 libbsd0 libcilkrts5 libgmp10 libisl10 libcloog-isl4 libffi6 libgmpxx4ldbl libgomp1 libitm1 liblsan0 libmpfr4 libquadmath0 libtsan0 libubsan0 libmpc3 cpp-4.9 cpp binutils libgcc-4.9-dev gcc-4.9 gcc libgmp-dev libffi-dev libbsd-dev libc-dev-bin linux-libc-dev libc6-dev ghc manpages libgcc-4.8-dev libghc-text-dev libghc-polyparse-dev libtinfo-dev libncurses5-dev libstdc++-4.8-dev manpages-dev zlib1g-dev libghc-random-dev libghc-primitive-dev libghc-tf-random-dev libghc-transformers-dev libghc-quickcheck2-dev libghc-mtl-dev libghc-stmonadtrans-dev libghc-binary-dev libghc-split-dev libghc-boxes-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-vector-dev libghc-hashtables-dev libghc-terminfo-dev libghc-haskeline-dev libghc-cpphs-dev libghc-src-exts-dev libghc-parallel-dev libghc-strict-dev libghc-unordered-containers-dev libghc-xhtml-dev libghc-zlib-dev libghc-agda-dev agda-stdlib E: There are problems and -y was used without --force-yes 0m5.7s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb', 'apt-get', '-y', 'install', 'agda-stdlib'] Reading package lists... Building dependency tree... The following extra packages will be installed: binutils cpp cpp-4.9 gcc gcc-4.8-base gcc-4.9 ghc libasan0 libasan1 libatomic1 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcilkrts5 libcloog-isl4 libffi-dev libffi6 libgcc-4.8-dev libgcc-4.9-dev libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libisl10 libitm1 liblsan0 libmpc3 libmpfr4 libncurses5-dev libquadmath0 libstdc++-4.8-dev libtinfo-dev libtsan0 libubsan0 linux-libc-dev manpages manpages-dev zlib1g-dev Suggested packages: binutils-doc cpp-doc gcc-4.9-locales gcc-multilib make autoconf automake libtool flex bison gdb gcc-doc gcc-4.9-multilib gcc-4.9-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan1-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libquadmath0-dbg perl ghc-prof ghc-doc haskell-doc llvm glibc-doc libghc-agda-doc libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev ncurses-doc libstdc++-4.8-doc man-browser The following NEW packages will be installed: agda-stdlib binutils cpp cpp-4.9 gcc gcc-4.8-base gcc-4.9 ghc libasan0 libasan1 libatomic1 libbsd-dev libbsd0 libc-dev-bin libc6-dev libcilkrts5 libcloog-isl4 libffi-dev libffi6 libgcc-4.8-dev libgcc-4.9-dev libghc-agda-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libgmp-dev libgmp10 libgmpxx4ldbl libgomp1 libisl10 libitm1 liblsan0 libmpc3 libmpfr4 libncurses5-dev libquadmath0 libstdc++-4.8-dev libtinfo-dev libtsan0 libubsan0 linux-libc-dev manpages manpages-dev zlib1g-dev 0 upgraded, 68 newly installed, 0 to remove and 0 not upgraded. Need to get 98.2 MB of archives. After this operation, 635 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! gcc-4.8-base libasan0 libasan1 libatomic1 libbsd0 libcilkrts5 libgmp10 libisl10 libcloog-isl4 libffi6 libgmpxx4ldbl libgomp1 libitm1 liblsan0 libmpfr4 libquadmath0 libtsan0 libubsan0 libmpc3 cpp-4.9 cpp binutils libgcc-4.9-dev gcc-4.9 gcc libgmp-dev libffi-dev libbsd-dev libc-dev-bin linux-libc-dev libc6-dev ghc manpages libgcc-4.8-dev libghc-text-dev libghc-polyparse-dev libtinfo-dev libncurses5-dev libstdc++-4.8-dev manpages-dev zlib1g-dev libghc-random-dev libghc-primitive-dev libghc-tf-random-dev libghc-transformers-dev libghc-quickcheck2-dev libghc-mtl-dev libghc-stmonadtrans-dev libghc-binary-dev libghc-split-dev libghc-boxes-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-vector-dev libghc-hashtables-dev libghc-terminfo-dev libghc-haskeline-dev libghc-cpphs-dev libghc-src-exts-dev libghc-parallel-dev libghc-strict-dev libghc-unordered-containers-dev libghc-xhtml-dev libghc-zlib-dev libghc-agda-dev agda-stdlib E: There are problems and -y was used without --force-yes 0m6.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/shm'] 0m6.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/shm'] 0m6.1s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/console'] 0m6.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/console'] 0m6.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/ptmx'] 0m6.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/ptmx'] 0m6.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts'] 0m6.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/dev/pts'] 0m6.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/proc'] 0m6.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb/proc'] 0m6.2s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb'] 0m6.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp0tqvrrrb'] 0m6.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp0tqvrrrb 0m6.4s ERROR: piuparts run ends. ret=1 End: 2023-01-29 19:00:13 GMT