Start: 2023-02-16 01:29:01 GMT Package: coq-theories Source: coq Version: 8.4pl4dfsg-1 Installed-Size: 147321 Maintainer: Debian OCaml Maintainers Architecture: all Replaces: coq-libs (<< 8.2.pl1) Depends: coq-8.4pl4+4.01.0 Recommends: coq (>= 8.0) Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (theories) Homepage: http://coq.inria.fr/ Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e Tag: devel::library, field::mathematics, role::app-data Section: math Priority: optional Filename: pool/main/c/coq/coq-theories_8.4pl4dfsg-1_all.deb Size: 32177364 MD5sum: 42cad4525a1f78c1ecdedcf57e6545fd SHA1: 404cb5b9362ab0062e4f15b9c799d239d70215c7 SHA256: 9720678a07e98b85fe8dd94270b1f550f3aae7e090c8c358e88db4037d16eac6 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 --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --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 --no-upgrade-test --apt coq-theories=8.4pl4dfsg-1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at 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 --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --scriptsdir /etc/piuparts/scripts-jessie --skip-logrotatefiles-test --warn-on-debsums-errors --warn-on-install-over-symlink --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 --no-upgrade-test --apt coq-theories=8.4pl4dfsg-1 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/tmpf8mazy_x 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpf8mazy_x 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.5s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', '-zxf', '/srv/piuparts.debian.org/slave/basetgz/jessie_amd64.tar.gz'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/proc'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/proc'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/ptmx'] 0m1.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/ptmx'] 0m1.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/console'] 0m1.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/console'] 0m1.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/shm'] 0m1.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/shm'] 0m1.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ jessie main 0m1.6s DEBUG: Created policy-rc.d and chmodded it. 0m1.6s DEBUG: Created resolv.conf. 0m1.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpf8mazy_x/tmp/scripts/ 0m1.6s DEBUG: Copying scriptsdir /etc/piuparts/scripts-jessie to /srv/piuparts.debian.org/tmp/tmpf8mazy_x/tmp/scripts/ 0m1.6s INFO: Running scripts post_chroot_unpack 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'apt-get', 'update'] 0m3.1s 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.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'apt-get', 'update'] 0m3.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'apt-get', '-yf', 'dist-upgrade'] 0m3.3s DUMP: Reading package lists... Building dependency tree... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'apt-get', '-yf', 'dist-upgrade'] 0m3.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.5s DUMP: c58dd1ad19dd97acb5ff8b7cd65de431 - 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m3.5s INFO: Running scripts post_setup 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_dummy_users'] 0m4.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_dummy_users'] 0m4.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_forbid_home'] 0m4.4s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_forbid_home'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.4s DUMP: Enabling dpkg --force-unsafe-io. Adding 'local diversion of /bin/sync to /bin/sync.distrib' '/bin/sync' -> 'true' 0m4.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_force-unsafe-io'] 0m4.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_jessie-fake-essential'] 0m4.6s DUMP: *** Adding fake essential packages *** Reading package lists... Building dependency tree... The following NEW packages will be installed: init-system-helpers ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 83.7 kB of archives. After this operation, 334 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! init-system-helpers ucf E: There are problems and -y was used without --force-yes 0m4.6s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x', 'tmp/scripts/post_setup_jessie-fake-essential'] *** Adding fake essential packages *** Reading package lists... Building dependency tree... The following NEW packages will be installed: init-system-helpers ucf 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 83.7 kB of archives. After this operation, 334 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! init-system-helpers ucf E: There are problems and -y was used without --force-yes 0m5.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/shm'] 0m5.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/shm'] 0m5.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/console'] 0m5.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/console'] 0m5.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/ptmx'] 0m5.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/ptmx'] 0m5.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts'] 0m5.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/dev/pts'] 0m5.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/proc'] 0m5.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x/proc'] 0m5.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x'] 0m5.1s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpf8mazy_x'] 0m5.1s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpf8mazy_x 0m5.1s ERROR: piuparts run ends. ret=1 End: 2023-02-16 01:29:06 GMT