Start: 2024-03-29 07:22:10 GMT Package: why3-coq Source: why3 Version: 1.2.0-1 Installed-Size: 2714 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: coq-8.9.0+4.05.0, tex-common (>= 6) Recommends: why3 Description: Coq support for the why3 verification platform Homepage: http://why3.lri.fr/ Description-md5: fca3e9b7fd6d16509065220d24994dd5 Section: math Priority: optional Filename: pool/main/w/why3/why3-coq_1.2.0-1_amd64.deb Size: 596752 MD5sum: 2cc691ebde76e9981fad0519eb236cec SHA256: 3a7c4c517f70cc2c0f66311e40060d36669e7b80cf4b1186b0c0a696fcafd295 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-log-alternatives --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --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/buster-merged-usr_amd64.tar.gz -d buster --no-upgrade-test --apt why3-coq=1.2.0-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.4.1~202403190841~1.4-4-g85045c69 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts-log-alternatives --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --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/buster-merged-usr_amd64.tar.gz -d buster --no-upgrade-test --apt why3-coq=1.2.0-1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 5.10.0-28-amd64 #1 SMP Debian 5.10.209-2 (2024-01-31) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpiueb7pfp 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/buster-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpiueb7pfp 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/buster-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/buster-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/proc'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/ptmx'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/ptmx'] 0m0.5s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/console'] 0m0.5s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/2', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/console'] 0m0.5s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/shm'] 0m0.5s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/shm'] 0m0.5s DEBUG: sources.list: deb http://deb.debian.org/debian/ buster main 0m0.5s DEBUG: Created policy-rc.d and chmodded it. 0m0.5s DEBUG: Created resolv.conf. 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts-log-alternatives to /srv/piuparts.debian.org/tmp/tmpiueb7pfp/tmp/scripts/ 0m0.5s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpiueb7pfp/tmp/scripts/ 0m0.5s INFO: Running scripts post_chroot_unpack 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'update'] 0m1.7s DUMP: Hit:1 http://deb.debian.org/debian buster InRelease Reading package lists... 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'update'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', '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/tmpiueb7pfp', 'apt-get', '-yf', 'dist-upgrade'] 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.4s DUMP: f6fc0f2636004ef589309651dfd778f4 - 0m2.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m2.4s INFO: Running scripts post_setup 0m2.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_dummy_users'] 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_dummy_users'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_forbid_home'] 0m3.5s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_forbid_home'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.5s 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.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_force-unsafe-io'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_minimize'] 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_minimize'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_squeeze-backports'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_zz_backports'] 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_setup_zz_backports'] 0m3.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'clean'] 0m3.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'clean'] 0m3.5s DEBUG: Recording chroot state 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.2s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.2.3 install ok installed base-files base-files 10.3+deb10u13 install ok installed base-passwd base-passwd 3.5.46 install ok installed bash bash 5.0-4 install ok installed bsdutils bsdutils 1:2.33.1-0.1 install ok installed coreutils coreutils 8.30-3 install ok installed dash dash 0.5.10.2-5 install ok installed debconf debconf 1.5.71+deb10u1 install ok installed debian-archive-keyring debian-archive-keyring 2019.1+deb10u1 install ok installed debianutils debianutils 4.8.6.1 install ok installed diffutils diffutils 1:3.7-3 install ok installed dpkg dpkg 1.19.8 install ok installed e2fsprogs e2fsprogs 1.44.5-1+deb10u3 install ok installed fdisk fdisk 2.33.1-0.1 install ok installed findutils findutils 4.6.0+git+20190209-2 install ok installed gcc-8-base:amd64 gcc-8-base 8.3.0-6 install ok installed gpgv gpgv 2.2.12-1+deb10u2 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3+deb10u1 install ok installed hostname hostname 3.21 install ok installed init-system-helpers init-system-helpers 1.56+nmu1 install ok installed libacl1:amd64 libacl1 2.2.53-4 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.2.3 install ok installed libattr1:amd64 libattr1 1:2.4.48-4 install ok installed libaudit-common libaudit-common 1:2.8.4-3 install ok installed libaudit1:amd64 libaudit1 1:2.8.4-3 install ok installed libblkid1:amd64 libblkid1 2.33.1-0.1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-9.2~deb10u1 install ok installed libc-bin libc-bin 2.28-10+deb10u1 install ok installed libc6:amd64 libc6 2.28-10+deb10u1 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2 install ok installed libcom-err2:amd64 libcom-err2 1.44.5-1+deb10u3 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.5 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.249 install ok installed libext2fs2:amd64 libext2fs2 1.44.5-1+deb10u3 install ok installed libfdisk1:amd64 libfdisk1 2.33.1-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libgcc1:amd64 libgcc1 1:8.3.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.4-5+deb10u1 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4+deb10u1 install ok installed libgnutls30:amd64 libgnutls30 3.6.7-4+deb10u8 install ok installed libgpg-error0:amd64 libgpg-error0 1.35-1 install ok installed libhogweed4:amd64 libhogweed4 3.4.1-1+deb10u1 install ok installed libidn2-0:amd64 libidn2-0 2.0.5-1+deb10u1 install ok installed liblz4-1:amd64 liblz4-1 1.8.3-1+deb10u1 install ok installed liblzma5:amd64 liblzma5 5.2.4-1+deb10u1 install ok installed libmount1:amd64 libmount1 2.33.1-0.1 install ok installed libncursesw6:amd64 libncursesw6 6.1+20181013-2+deb10u2 install ok installed libnettle6:amd64 libnettle6 3.4.1-1+deb10u1 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.15-2+deb10u1 install ok installed libpam-modules:amd64 libpam-modules 1.3.1-5 install ok installed libpam-modules-bin libpam-modules-bin 1.3.1-5 install ok installed libpam-runtime libpam-runtime 1.3.1-5 install ok installed libpam0g:amd64 libpam0g 1.3.1-5 install ok installed libpcre3:amd64 libpcre3 2:8.39-12 install ok installed libseccomp2:amd64 libseccomp2 2.3.3-4 install ok installed libselinux1:amd64 libselinux1 2.8-1+b1 install ok installed libsemanage-common libsemanage-common 2.8-2 install ok installed libsemanage1:amd64 libsemanage1 2.8-2 install ok installed libsepol1:amd64 libsepol1 2.8-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.33.1-0.1 install ok installed libss2:amd64 libss2 1.44.5-1+deb10u3 install ok installed libstdc++6:amd64 libstdc++6 8.3.0-6 install ok installed libsystemd0:amd64 libsystemd0 241-7~deb10u8 install ok installed libtasn1-6:amd64 libtasn1-6 4.13-3 install ok installed libtinfo6:amd64 libtinfo6 6.1+20181013-2+deb10u2 install ok installed libudev1:amd64 libudev1 241-7~deb10u8 install ok installed libunistring2:amd64 libunistring2 0.9.10-1 install ok installed libuuid1:amd64 libuuid1 2.33.1-0.1 install ok installed libzstd1:amd64 libzstd1 1.3.8+dfsg-3+deb10u2 install ok installed login login 1:4.5-1.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mount mount 2.33.1-0.1 install ok installed ncurses-base ncurses-base 6.1+20181013-2+deb10u2 install ok installed ncurses-bin ncurses-bin 6.1+20181013-2+deb10u2 install ok installed passwd passwd 1:4.5-1.1 install ok installed perl-base perl-base 5.28.1-6+deb10u1 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.93-8 install ok installed tar tar 1.30+dfsg-6 install ok installed tzdata tzdata 2021a-0+deb10u6 install ok installed util-linux util-linux 2.33.1-0.1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1+deb10u1 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-divert', '--list'] 0m4.2s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-divert', '--list'] 0m4.2s INFO: Running scripts is_testable 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/is_testable_uninstallable'] 0m4.2s INFO: apt-cache does not know about any of the requested packages 0m4.2s INFO: Running scripts pre_test 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_test_exceptions'] 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_test_root_password'] 0m4.2s DUMP: New password: Retype new password: passwd: password updated successfully 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_test_root_password'] 0m4.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m4.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m5.6s DEBUG: No broken symlinks as far as we can find. 0m5.6s INFO: Running scripts pre_install 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_database-server'] 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_database-server'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_exceptions'] 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_exceptions'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_extras'] 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_extras'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_log_alternatives'] 0m5.6s DUMP: Adding 'local diversion of /usr/bin/update-alternatives to /usr/bin/update-alternatives.orig' dpkg-divert: warning: diverting file '/usr/bin/update-alternatives' from an Essential package with rename is dangerous, use --no-rename 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_install_log_alternatives'] 0m5.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m6.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m6.9s DEBUG: No broken symlinks as far as we can find. 0m6.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-cache', 'policy'] 0m7.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian buster/main amd64 Packages release v=10.13,o=Debian,a=oldoldstable,n=buster,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-cache', 'policy'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-cache', 'policy', 'why3-coq'] 0m7.9s DUMP: why3-coq: Installed: (none) Candidate: 1.2.0-1 Version table: 1.2.0-1 500 500 http://deb.debian.org/debian buster/main amd64 Packages 0m7.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-cache', 'policy', 'why3-coq'] 0m7.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', '-y', 'install', 'why3-coq=1.2.0-1'] 0m38.5s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common sensible-utils tex-common ucf Suggested packages: binutils-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc cpp-doc gcc-8-locales gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-8-multilib gcc-8-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan5-dbg liblsan0-dbg libtsan0-dbg libubsan1-dbg libmpx2-dbg libquadmath0-dbg glibc-doc ncurses-doc camlp4 ocaml-doc tuareg-mode | ocaml-mode python3-doc python3-tk python3-venv python3.7-venv python3.7-doc binfmt-support readline-doc debhelper Recommended packages: manpages manpages-dev libgpm2 bzip2 file xz-utils libfindlib-ocaml-dev ledit | readline-editor why3 The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common sensible-utils tex-common ucf why3-coq 0 upgraded, 55 newly installed, 0 to remove and 0 not upgraded. Need to get 186 MB of archives. After this operation, 884 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian buster/main amd64 libssl1.1 amd64 1.1.1n-0+deb10u3 [1551 kB] Get:2 http://deb.debian.org/debian buster/main amd64 libpython3.7-minimal amd64 3.7.3-2+deb10u3 [589 kB] Get:3 http://deb.debian.org/debian buster/main amd64 libexpat1 amd64 2.2.6-2+deb10u4 [108 kB] Get:4 http://deb.debian.org/debian buster/main amd64 python3.7-minimal amd64 3.7.3-2+deb10u3 [1737 kB] Get:5 http://deb.debian.org/debian buster/main amd64 python3-minimal amd64 3.7.3-1 [36.6 kB] Get:6 http://deb.debian.org/debian buster/main amd64 mime-support all 3.62 [37.2 kB] Get:7 http://deb.debian.org/debian buster/main amd64 libmpdec2 amd64 2.4.2-2 [87.2 kB] Get:8 http://deb.debian.org/debian buster/main amd64 readline-common all 7.0-5 [70.6 kB] Get:9 http://deb.debian.org/debian buster/main amd64 libreadline7 amd64 7.0-5 [151 kB] Get:10 http://deb.debian.org/debian buster/main amd64 libsqlite3-0 amd64 3.27.2-3+deb10u1 [641 kB] Get:11 http://deb.debian.org/debian buster/main amd64 libpython3.7-stdlib amd64 3.7.3-2+deb10u3 [1734 kB] Get:12 http://deb.debian.org/debian buster/main amd64 python3.7 amd64 3.7.3-2+deb10u3 [330 kB] Get:13 http://deb.debian.org/debian buster/main amd64 libpython3-stdlib amd64 3.7.3-1 [20.0 kB] Get:14 http://deb.debian.org/debian buster/main amd64 python3 amd64 3.7.3-1 [61.5 kB] Get:15 http://deb.debian.org/debian buster/main amd64 sensible-utils all 0.0.12 [15.8 kB] Get:16 http://deb.debian.org/debian buster/main amd64 ucf all 3.0038+nmu1 [69.0 kB] Get:17 http://deb.debian.org/debian buster/main amd64 tex-common all 6.11 [53.1 kB] Get:18 http://deb.debian.org/debian buster/main amd64 binutils-common amd64 2.31.1-16 [2073 kB] Get:19 http://deb.debian.org/debian buster/main amd64 libbinutils amd64 2.31.1-16 [478 kB] Get:20 http://deb.debian.org/debian buster/main amd64 binutils-x86-64-linux-gnu amd64 2.31.1-16 [1823 kB] Get:21 http://deb.debian.org/debian buster/main amd64 binutils amd64 2.31.1-16 [56.8 kB] Get:22 http://deb.debian.org/debian buster/main amd64 coq-theories amd64 8.9.0-1 [29.7 MB] Get:23 http://deb.debian.org/debian buster/main amd64 libncurses6 amd64 6.1+20181013-2+deb10u2 [102 kB] Get:24 http://deb.debian.org/debian buster/main amd64 ocaml-base-nox amd64 4.05.0-11 [654 kB] Get:25 http://deb.debian.org/debian buster/main amd64 libcoq-ocaml amd64 8.9.0-1 [5463 kB] Get:26 http://deb.debian.org/debian buster/main amd64 libc-dev-bin amd64 2.28-10+deb10u1 [276 kB] Get:27 http://deb.debian.org/debian buster/main amd64 linux-libc-dev amd64 4.19.249-2 [1530 kB] Get:28 http://deb.debian.org/debian buster/main amd64 libc6-dev amd64 2.28-10+deb10u1 [2692 kB] Get:29 http://deb.debian.org/debian buster/main amd64 libncurses-dev amd64 6.1+20181013-2+deb10u2 [333 kB] Get:30 http://deb.debian.org/debian buster/main amd64 libncurses5-dev amd64 6.1+20181013-2+deb10u2 [948 B] Get:31 http://deb.debian.org/debian buster/main amd64 ocaml-compiler-libs amd64 4.05.0-11 [19.0 MB] Get:32 http://deb.debian.org/debian buster/main amd64 ocaml-interp amd64 4.05.0-11 [3582 kB] Get:33 http://deb.debian.org/debian buster/main amd64 libisl19 amd64 0.20-2 [587 kB] Get:34 http://deb.debian.org/debian buster/main amd64 libmpfr6 amd64 4.0.2-1 [775 kB] Get:35 http://deb.debian.org/debian buster/main amd64 libmpc3 amd64 1.1.0-1 [41.3 kB] Get:36 http://deb.debian.org/debian buster/main amd64 cpp-8 amd64 8.3.0-6 [8914 kB] Get:37 http://deb.debian.org/debian buster/main amd64 cpp amd64 4:8.3.0-1 [19.4 kB] Get:38 http://deb.debian.org/debian buster/main amd64 libcc1-0 amd64 8.3.0-6 [46.6 kB] Get:39 http://deb.debian.org/debian buster/main amd64 libgomp1 amd64 8.3.0-6 [75.8 kB] Get:40 http://deb.debian.org/debian buster/main amd64 libitm1 amd64 8.3.0-6 [27.7 kB] Get:41 http://deb.debian.org/debian buster/main amd64 libatomic1 amd64 8.3.0-6 [9032 B] Get:42 http://deb.debian.org/debian buster/main amd64 libasan5 amd64 8.3.0-6 [362 kB] Get:43 http://deb.debian.org/debian buster/main amd64 liblsan0 amd64 8.3.0-6 [131 kB] Get:44 http://deb.debian.org/debian buster/main amd64 libtsan0 amd64 8.3.0-6 [283 kB] Get:45 http://deb.debian.org/debian buster/main amd64 libubsan1 amd64 8.3.0-6 [120 kB] Get:46 http://deb.debian.org/debian buster/main amd64 libmpx2 amd64 8.3.0-6 [11.4 kB] Get:47 http://deb.debian.org/debian buster/main amd64 libquadmath0 amd64 8.3.0-6 [133 kB] Get:48 http://deb.debian.org/debian buster/main amd64 libgcc-8-dev amd64 8.3.0-6 [2298 kB] Get:49 http://deb.debian.org/debian buster/main amd64 gcc-8 amd64 8.3.0-6 [9452 kB] Get:50 http://deb.debian.org/debian buster/main amd64 gcc amd64 4:8.3.0-1 [5196 B] Get:51 http://deb.debian.org/debian buster/main amd64 ocaml-nox amd64 4.05.0-11 [27.6 MB] Get:52 http://deb.debian.org/debian buster/main amd64 libfindlib-ocaml amd64 1.7.3-2+b1 [167 kB] Get:53 http://deb.debian.org/debian buster/main amd64 ocaml-findlib amd64 1.7.3-2+b1 [370 kB] Get:54 http://deb.debian.org/debian buster/main amd64 coq amd64 8.9.0-1 [59.0 MB] Get:55 http://deb.debian.org/debian buster/main amd64 why3-coq amd64 1.2.0-1 [597 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 186 MB in 2s (91.0 MB/s) Selecting previously unselected package libssl1.1:amd64. (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 ... 6465 files and directories currently installed.) Preparing to unpack .../libssl1.1_1.1.1n-0+deb10u3_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.1n-0+deb10u3) ... Selecting previously unselected package libpython3.7-minimal:amd64. Preparing to unpack .../libpython3.7-minimal_3.7.3-2+deb10u3_amd64.deb ... Unpacking libpython3.7-minimal:amd64 (3.7.3-2+deb10u3) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.6-2+deb10u4_amd64.deb ... Unpacking libexpat1:amd64 (2.2.6-2+deb10u4) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.3-2+deb10u3_amd64.deb ... Unpacking python3.7-minimal (3.7.3-2+deb10u3) ... Setting up libssl1.1:amd64 (1.1.1n-0+deb10u3) ... Setting up libpython3.7-minimal:amd64 (3.7.3-2+deb10u3) ... Setting up libexpat1:amd64 (2.2.6-2+deb10u4) ... Setting up python3.7-minimal (3.7.3-2+deb10u3) ... Selecting previously unselected package python3-minimal. (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 ... 6726 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.3-1_amd64.deb ... Unpacking python3-minimal (3.7.3-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.62_all.deb ... Unpacking mime-support (3.62) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../2-libmpdec2_2.4.2-2_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_7.0-5_all.deb ... Unpacking readline-common (7.0-5) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../4-libreadline7_7.0-5_amd64.deb ... Unpacking libreadline7:amd64 (7.0-5) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../5-libsqlite3-0_3.27.2-3+deb10u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.27.2-3+deb10u1) ... Selecting previously unselected package libpython3.7-stdlib:amd64. Preparing to unpack .../6-libpython3.7-stdlib_3.7.3-2+deb10u3_amd64.deb ... Unpacking libpython3.7-stdlib:amd64 (3.7.3-2+deb10u3) ... Selecting previously unselected package python3.7. Preparing to unpack .../7-python3.7_3.7.3-2+deb10u3_amd64.deb ... Unpacking python3.7 (3.7.3-2+deb10u3) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.7.3-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.7.3-1) ... Setting up python3-minimal (3.7.3-1) ... Selecting previously unselected package python3. (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 ... 7195 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.3-1_amd64.deb ... Unpacking python3 (3.7.3-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package ucf. Preparing to unpack .../02-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package tex-common. Preparing to unpack .../03-tex-common_6.11_all.deb ... Unpacking tex-common (6.11) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../04-binutils-common_2.31.1-16_amd64.deb ... Unpacking binutils-common:amd64 (2.31.1-16) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../05-libbinutils_2.31.1-16_amd64.deb ... Unpacking libbinutils:amd64 (2.31.1-16) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../06-binutils-x86-64-linux-gnu_2.31.1-16_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.31.1-16) ... Selecting previously unselected package binutils. Preparing to unpack .../07-binutils_2.31.1-16_amd64.deb ... Unpacking binutils (2.31.1-16) ... Selecting previously unselected package coq-theories. Preparing to unpack .../08-coq-theories_8.9.0-1_amd64.deb ... Unpacking coq-theories (8.9.0-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../09-libncurses6_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses6:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../10-ocaml-base-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-11) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../11-libcoq-ocaml_8.9.0-1_amd64.deb ... Unpacking libcoq-ocaml (8.9.0-1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../12-libc-dev-bin_2.28-10+deb10u1_amd64.deb ... Unpacking libc-dev-bin (2.28-10+deb10u1) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../13-linux-libc-dev_4.19.249-2_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.19.249-2) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../14-libc6-dev_2.28-10+deb10u1_amd64.deb ... Unpacking libc6-dev:amd64 (2.28-10+deb10u1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../15-libncurses-dev_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../16-libncurses5-dev_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../17-ocaml-compiler-libs_4.05.0-11_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-11) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../18-ocaml-interp_4.05.0-11_amd64.deb ... Unpacking ocaml-interp (4.05.0-11) ... Selecting previously unselected package libisl19:amd64. Preparing to unpack .../19-libisl19_0.20-2_amd64.deb ... Unpacking libisl19:amd64 (0.20-2) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../20-libmpfr6_4.0.2-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.0.2-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../21-libmpc3_1.1.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.1.0-1) ... Selecting previously unselected package cpp-8. Preparing to unpack .../22-cpp-8_8.3.0-6_amd64.deb ... Unpacking cpp-8 (8.3.0-6) ... Selecting previously unselected package cpp. Preparing to unpack .../23-cpp_4%3a8.3.0-1_amd64.deb ... Unpacking cpp (4:8.3.0-1) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../24-libcc1-0_8.3.0-6_amd64.deb ... Unpacking libcc1-0:amd64 (8.3.0-6) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../25-libgomp1_8.3.0-6_amd64.deb ... Unpacking libgomp1:amd64 (8.3.0-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../26-libitm1_8.3.0-6_amd64.deb ... Unpacking libitm1:amd64 (8.3.0-6) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../27-libatomic1_8.3.0-6_amd64.deb ... Unpacking libatomic1:amd64 (8.3.0-6) ... Selecting previously unselected package libasan5:amd64. Preparing to unpack .../28-libasan5_8.3.0-6_amd64.deb ... Unpacking libasan5:amd64 (8.3.0-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../29-liblsan0_8.3.0-6_amd64.deb ... Unpacking liblsan0:amd64 (8.3.0-6) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../30-libtsan0_8.3.0-6_amd64.deb ... Unpacking libtsan0:amd64 (8.3.0-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../31-libubsan1_8.3.0-6_amd64.deb ... Unpacking libubsan1:amd64 (8.3.0-6) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../32-libmpx2_8.3.0-6_amd64.deb ... Unpacking libmpx2:amd64 (8.3.0-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../33-libquadmath0_8.3.0-6_amd64.deb ... Unpacking libquadmath0:amd64 (8.3.0-6) ... Selecting previously unselected package libgcc-8-dev:amd64. Preparing to unpack .../34-libgcc-8-dev_8.3.0-6_amd64.deb ... Unpacking libgcc-8-dev:amd64 (8.3.0-6) ... Selecting previously unselected package gcc-8. Preparing to unpack .../35-gcc-8_8.3.0-6_amd64.deb ... Unpacking gcc-8 (8.3.0-6) ... Selecting previously unselected package gcc. Preparing to unpack .../36-gcc_4%3a8.3.0-1_amd64.deb ... Unpacking gcc (4:8.3.0-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../37-ocaml-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-nox (4.05.0-11) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../38-libfindlib-ocaml_1.7.3-2+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.7.3-2+b1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../39-ocaml-findlib_1.7.3-2+b1_amd64.deb ... Unpacking ocaml-findlib (1.7.3-2+b1) ... Selecting previously unselected package coq. Preparing to unpack .../40-coq_8.9.0-1_amd64.deb ... Unpacking coq (8.9.0-1) ... Selecting previously unselected package why3-coq. Preparing to unpack .../41-why3-coq_1.2.0-1_amd64.deb ... Unpacking why3-coq (1.2.0-1) ... Setting up mime-support (3.62) ... Setting up libsqlite3-0:amd64 (3.27.2-3+deb10u1) ... Setting up binutils-common:amd64 (2.31.1-16) ... Setting up linux-libc-dev:amd64 (4.19.249-2) ... Setting up libgomp1:amd64 (8.3.0-6) ... Setting up libasan5:amd64 (8.3.0-6) ... Setting up libmpfr6:amd64 (4.0.2-1) ... Setting up libncurses6:amd64 (6.1+20181013-2+deb10u2) ... Setting up libquadmath0:amd64 (8.3.0-6) ... Setting up libmpc3:amd64 (1.1.0-1) ... Setting up libatomic1:amd64 (8.3.0-6) ... Setting up libmpx2:amd64 (8.3.0-6) ... Setting up libubsan1:amd64 (8.3.0-6) ... Setting up libisl19:amd64 (0.20-2) ... Setting up sensible-utils (0.0.12) ... Setting up ocaml-base-nox (4.05.0-11) ... Setting up libmpdec2:amd64 (2.4.2-2) ... Setting up libbinutils:amd64 (2.31.1-16) ... Setting up cpp-8 (8.3.0-6) ... Setting up libc-dev-bin (2.28-10+deb10u1) ... Setting up readline-common (7.0-5) ... Setting up libcc1-0:amd64 (8.3.0-6) ... Setting up liblsan0:amd64 (8.3.0-6) ... Setting up libitm1:amd64 (8.3.0-6) ... Setting up libreadline7:amd64 (7.0-5) ... Setting up binutils-x86-64-linux-gnu (2.31.1-16) ... Setting up libtsan0:amd64 (8.3.0-6) ... Setting up libpython3.7-stdlib:amd64 (3.7.3-2+deb10u3) ... Setting up libfindlib-ocaml (1.7.3-2+b1) ... Setting up binutils (2.31.1-16) ... Setting up ocaml-findlib (1.7.3-2+b1) ... Setting up ucf (3.0038+nmu1) ... Setting up libcoq-ocaml (8.9.0-1) ... Setting up libgcc-8-dev:amd64 (8.3.0-6) ... Setting up cpp (4:8.3.0-1) ... Setting up libc6-dev:amd64 (2.28-10+deb10u1) ... Setting up libpython3-stdlib:amd64 (3.7.3-1) ... Setting up python3.7 (3.7.3-2+deb10u3) ... Setting up libncurses-dev:amd64 (6.1+20181013-2+deb10u2) ... Setting up gcc-8 (8.3.0-6) ... Setting up python3 (3.7.3-1) ... Setting up gcc (4:8.3.0-1) ... Setting up tex-common (6.11) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libncurses5-dev:amd64 (6.1+20181013-2+deb10u2) ... Setting up coq-theories (8.9.0-1) ... Setting up ocaml-compiler-libs (4.05.0-11) ... Setting up ocaml-interp (4.05.0-11) ... Setting up ocaml-nox (4.05.0-11) ... Setting up coq (8.9.0-1) ... Setting up why3-coq (1.2.0-1) ... Processing triggers for libc-bin (2.28-10+deb10u1) ... 0m38.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', '-y', 'install', 'why3-coq=1.2.0-1'] 0m38.5s INFO: Running scripts post_install 0m38.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_install_exceptions'] 0m38.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_install_exceptions'] 0m38.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_install_log_alternatives'] 0m38.5s DUMP: Removing 'local diversion of /usr/bin/update-alternatives to /usr/bin/update-alternatives.orig' LOG-ALTERNATIVES: dpkg=python3: piuparts=why3-coq=1.2.0-1: /usr/bin/update-alternatives --auto /usr/bin/python3 LOG-ALTERNATIVES: dpkg=cpp: piuparts=why3-coq=1.2.0-1: /usr/bin/update-alternatives --quiet --install /lib/cpp cpp /usr/bin/cpp 10 LOG-ALTERNATIVES: dpkg=gcc: piuparts=why3-coq=1.2.0-1: /usr/bin/update-alternatives --quiet --install /usr/bin/cc cc /usr/bin/gcc 20 LOG-ALTERNATIVES: dpkg=gcc: piuparts=why3-coq=1.2.0-1: /usr/bin/update-alternatives --quiet --install /usr/bin/c89 c89 /usr/bin/c89-gcc 20 --slave /usr/share/man/man1/c89.1.gz c89.1.gz /usr/share/man/man1/c89-gcc.1.gz LOG-ALTERNATIVES: dpkg=gcc: piuparts=why3-coq=1.2.0-1: /usr/bin/update-alternatives --quiet --install /usr/bin/c99 c99 /usr/bin/c99-gcc 20 --slave /usr/share/man/man1/c99.1.gz c99.1.gz /usr/share/man/man1/c99-gcc.1.gz 0m38.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_install_log_alternatives'] 0m38.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m39.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m41.7s ERROR: WARN: Broken symlinks: /usr/share/doc/ocaml-nox/README.gz -> ../ocaml-base-nox/README.gz (ocaml-nox) 0m41.7s INFO: /bin converted to /usr/bin by /usr merge 0m41.7s INFO: /lib converted to /usr/lib by /usr merge 0m41.7s INFO: /lib/init converted to /usr/lib/init by /usr merge 0m41.7s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 0m41.7s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 0m41.7s INFO: /lib/terminfo converted to /usr/lib/terminfo by /usr merge 0m41.7s INFO: /lib/terminfo/E converted to /usr/lib/terminfo/E by /usr merge 0m41.7s INFO: /lib/terminfo/a converted to /usr/lib/terminfo/a by /usr merge 0m41.7s INFO: /lib/terminfo/c converted to /usr/lib/terminfo/c by /usr merge 0m41.7s INFO: /lib/terminfo/d converted to /usr/lib/terminfo/d by /usr merge 0m41.7s INFO: /lib/terminfo/h converted to /usr/lib/terminfo/h by /usr merge 0m41.7s INFO: /lib/terminfo/l converted to /usr/lib/terminfo/l by /usr merge 0m41.7s INFO: /lib/terminfo/m converted to /usr/lib/terminfo/m by /usr merge 0m41.7s INFO: /lib/terminfo/p converted to /usr/lib/terminfo/p by /usr merge 0m41.7s INFO: /lib/terminfo/r converted to /usr/lib/terminfo/r by /usr merge 0m41.7s INFO: /lib/terminfo/s converted to /usr/lib/terminfo/s by /usr merge 0m41.7s INFO: /lib/terminfo/v converted to /usr/lib/terminfo/v by /usr merge 0m41.7s INFO: /lib/terminfo/w converted to /usr/lib/terminfo/w by /usr merge 0m41.7s INFO: /lib/terminfo/x converted to /usr/lib/terminfo/x by /usr merge 0m41.7s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 0m41.7s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 0m41.7s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m41.7s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 0m41.7s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m41.7s INFO: /sbin converted to /usr/sbin by /usr merge 0m42.5s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', '-ac', '--ignore-obsolete'] 0m46.0s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', '-ac', '--ignore-obsolete'] 0m46.0s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m46.0s DUMP: 0.15.6 0m46.0s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m46.0s INFO: Running adequate version 0.15.6 now. 0m46.0s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'why3-coq'] 0m46.1s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'why3-coq'] 0m46.1s INFO: Running scripts pre_remove 0m46.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m46.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m46.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m46.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m46.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m49.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m49.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m49.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_exceptions'] 0m49.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/pre_remove_exceptions'] 0m49.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m49.8s DUMP: install ok installed adduser adduser 3.118 install ok installed apt apt 1.8.2.3 install ok installed base-files base-files 10.3+deb10u13 install ok installed base-passwd base-passwd 3.5.46 install ok installed bash bash 5.0-4 install ok installed binutils binutils 2.31.1-16 install ok installed binutils-common:amd64 binutils-common 2.31.1-16 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.31.1-16 install ok installed bsdutils bsdutils 1:2.33.1-0.1 install ok installed coq coq 8.9.0-1 install ok installed coq-theories coq-theories 8.9.0-1 install ok installed coreutils coreutils 8.30-3 install ok installed cpp cpp 4:8.3.0-1 install ok installed cpp-8 cpp-8 8.3.0-6 install ok installed dash dash 0.5.10.2-5 install ok installed debconf debconf 1.5.71+deb10u1 install ok installed debian-archive-keyring debian-archive-keyring 2019.1+deb10u1 install ok installed debianutils debianutils 4.8.6.1 install ok installed diffutils diffutils 1:3.7-3 install ok installed dpkg dpkg 1.19.8 install ok installed e2fsprogs e2fsprogs 1.44.5-1+deb10u3 install ok installed fdisk fdisk 2.33.1-0.1 install ok installed findutils findutils 4.6.0+git+20190209-2 install ok installed gcc gcc 4:8.3.0-1 install ok installed gcc-8 gcc-8 8.3.0-6 install ok installed gcc-8-base:amd64 gcc-8-base 8.3.0-6 install ok installed gpgv gpgv 2.2.12-1+deb10u2 install ok installed grep grep 3.3-1 install ok installed gzip gzip 1.9-3+deb10u1 install ok installed hostname hostname 3.21 install ok installed init-system-helpers init-system-helpers 1.56+nmu1 install ok installed libacl1:amd64 libacl1 2.2.53-4 install ok installed libapt-pkg5.0:amd64 libapt-pkg5.0 1.8.2.3 install ok installed libasan5:amd64 libasan5 8.3.0-6 install ok installed libatomic1:amd64 libatomic1 8.3.0-6 install ok installed libattr1:amd64 libattr1 1:2.4.48-4 install ok installed libaudit-common libaudit-common 1:2.8.4-3 install ok installed libaudit1:amd64 libaudit1 1:2.8.4-3 install ok installed libbinutils:amd64 libbinutils 2.31.1-16 install ok installed libblkid1:amd64 libblkid1 2.33.1-0.1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.6-9.2~deb10u1 install ok installed libc-bin libc-bin 2.28-10+deb10u1 install ok installed libc-dev-bin libc-dev-bin 2.28-10+deb10u1 install ok installed libc6:amd64 libc6 2.28-10+deb10u1 install ok installed libc6-dev:amd64 libc6-dev 2.28-10+deb10u1 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2 install ok installed libcc1-0:amd64 libcc1-0 8.3.0-6 install ok installed libcom-err2:amd64 libcom-err2 1.44.5-1+deb10u3 install ok installed libcoq-ocaml libcoq-ocaml 8.9.0-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.5 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.249 install ok installed libexpat1:amd64 libexpat1 2.2.6-2+deb10u4 install ok installed libext2fs2:amd64 libext2fs2 1.44.5-1+deb10u3 install ok installed libfdisk1:amd64 libfdisk1 2.33.1-0.1 install ok installed libffi6:amd64 libffi6 3.2.1-9 install ok installed libfindlib-ocaml libfindlib-ocaml 1.7.3-2+b1 install ok installed libgcc-8-dev:amd64 libgcc-8-dev 8.3.0-6 install ok installed libgcc1:amd64 libgcc1 1:8.3.0-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.4-5+deb10u1 install ok installed libgmp10:amd64 libgmp10 2:6.1.2+dfsg-4+deb10u1 install ok installed libgnutls30:amd64 libgnutls30 3.6.7-4+deb10u8 install ok installed libgomp1:amd64 libgomp1 8.3.0-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.35-1 install ok installed libhogweed4:amd64 libhogweed4 3.4.1-1+deb10u1 install ok installed libidn2-0:amd64 libidn2-0 2.0.5-1+deb10u1 install ok installed libisl19:amd64 libisl19 0.20-2 install ok installed libitm1:amd64 libitm1 8.3.0-6 install ok installed liblsan0:amd64 liblsan0 8.3.0-6 install ok installed liblz4-1:amd64 liblz4-1 1.8.3-1+deb10u1 install ok installed liblzma5:amd64 liblzma5 5.2.4-1+deb10u1 install ok installed libmount1:amd64 libmount1 2.33.1-0.1 install ok installed libmpc3:amd64 libmpc3 1.1.0-1 install ok installed libmpdec2:amd64 libmpdec2 2.4.2-2 install ok installed libmpfr6:amd64 libmpfr6 4.0.2-1 install ok installed libmpx2:amd64 libmpx2 8.3.0-6 install ok installed libncurses-dev:amd64 libncurses-dev 6.1+20181013-2+deb10u2 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.1+20181013-2+deb10u2 install ok installed libncurses6:amd64 libncurses6 6.1+20181013-2+deb10u2 install ok installed libncursesw6:amd64 libncursesw6 6.1+20181013-2+deb10u2 install ok installed libnettle6:amd64 libnettle6 3.4.1-1+deb10u1 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.15-2+deb10u1 install ok installed libpam-modules:amd64 libpam-modules 1.3.1-5 install ok installed libpam-modules-bin libpam-modules-bin 1.3.1-5 install ok installed libpam-runtime libpam-runtime 1.3.1-5 install ok installed libpam0g:amd64 libpam0g 1.3.1-5 install ok installed libpcre3:amd64 libpcre3 2:8.39-12 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.7.3-1 install ok installed libpython3.7-minimal:amd64 libpython3.7-minimal 3.7.3-2+deb10u3 install ok installed libpython3.7-stdlib:amd64 libpython3.7-stdlib 3.7.3-2+deb10u3 install ok installed libquadmath0:amd64 libquadmath0 8.3.0-6 install ok installed libreadline7:amd64 libreadline7 7.0-5 install ok installed libseccomp2:amd64 libseccomp2 2.3.3-4 install ok installed libselinux1:amd64 libselinux1 2.8-1+b1 install ok installed libsemanage-common libsemanage-common 2.8-2 install ok installed libsemanage1:amd64 libsemanage1 2.8-2 install ok installed libsepol1:amd64 libsepol1 2.8-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.33.1-0.1 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.27.2-3+deb10u1 install ok installed libss2:amd64 libss2 1.44.5-1+deb10u3 install ok installed libssl1.1:amd64 libssl1.1 1.1.1n-0+deb10u3 install ok installed libstdc++6:amd64 libstdc++6 8.3.0-6 install ok installed libsystemd0:amd64 libsystemd0 241-7~deb10u8 install ok installed libtasn1-6:amd64 libtasn1-6 4.13-3 install ok installed libtinfo6:amd64 libtinfo6 6.1+20181013-2+deb10u2 install ok installed libtsan0:amd64 libtsan0 8.3.0-6 install ok installed libubsan1:amd64 libubsan1 8.3.0-6 install ok installed libudev1:amd64 libudev1 241-7~deb10u8 install ok installed libunistring2:amd64 libunistring2 0.9.10-1 install ok installed libuuid1:amd64 libuuid1 2.33.1-0.1 install ok installed libzstd1:amd64 libzstd1 1.3.8+dfsg-3+deb10u2 install ok installed linux-libc-dev:amd64 linux-libc-dev 4.19.249-2 install ok installed login login 1:4.5-1.1 install ok installed mawk mawk 1.3.3-17+b3 install ok installed mime-support mime-support 3.62 install ok installed mount mount 2.33.1-0.1 install ok installed ncurses-base ncurses-base 6.1+20181013-2+deb10u2 install ok installed ncurses-bin ncurses-bin 6.1+20181013-2+deb10u2 install ok installed ocaml-base-nox ocaml-base-nox 4.05.0-11 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.05.0-11 install ok installed ocaml-findlib ocaml-findlib 1.7.3-2+b1 install ok installed ocaml-interp ocaml-interp 4.05.0-11 install ok installed ocaml-nox ocaml-nox 4.05.0-11 install ok installed passwd passwd 1:4.5-1.1 install ok installed perl-base perl-base 5.28.1-6+deb10u1 install ok installed python3 python3 3.7.3-1 install ok installed python3-minimal python3-minimal 3.7.3-1 install ok installed python3.7 python3.7 3.7.3-2+deb10u3 install ok installed python3.7-minimal python3.7-minimal 3.7.3-2+deb10u3 install ok installed readline-common readline-common 7.0-5 install ok installed sed sed 4.7-1 install ok installed sensible-utils sensible-utils 0.0.12 install ok installed sysvinit-utils sysvinit-utils 2.93-8 install ok installed tar tar 1.30+dfsg-6 install ok installed tex-common tex-common 6.11 install ok installed tzdata tzdata 2021a-0+deb10u6 install ok installed ucf ucf 3.0038+nmu1 install ok installed util-linux util-linux 2.33.1-0.1 install ok installed why3-coq why3-coq 1.2.0-1 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-1+deb10u1 0m49.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m49.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-8', 'gcc', 'gcc-8', 'libasan5:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-ocaml', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-8-dev:amd64', 'libgomp1:amd64', 'libisl19:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpdec2:amd64', 'libmpfr6:amd64', 'libmpx2:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libpython3-stdlib:amd64', 'libpython3.7-minimal:amd64', 'libpython3.7-stdlib:amd64', 'libquadmath0:amd64', 'libreadline7:amd64', 'libsqlite3-0:amd64', 'libssl1.1:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'mime-support', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.7', 'python3.7-minimal', 'readline-common', 'sensible-utils', 'tex-common', 'ucf', 'why3-coq'] 0m51.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binutils binutils-common binutils-x86-64-linux-gnu coq coq-theories cpp cpp-8 gcc gcc-8 libasan5 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcoq-ocaml libexpat1 libfindlib-ocaml libgcc-8-dev libgomp1 libisl19 libitm1 liblsan0 libmpc3 libmpdec2 libmpfr6 libmpx2 libncurses-dev libncurses5-dev libncurses6 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libquadmath0 libreadline7 libsqlite3-0 libssl1.1 libtsan0 libubsan1 linux-libc-dev mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox python3 python3-minimal python3.7 python3.7-minimal readline-common sensible-utils tex-common ucf why3-coq 0 upgraded, 0 newly installed, 55 to remove and 0 not upgraded. After this operation, 884 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 ... 16308 files and directories currently installed.) Removing why3-coq (1.2.0-1) ... Removing libncurses5-dev:amd64 (6.1+20181013-2+deb10u2) ... Removing tex-common (6.11) ... Removing ucf (3.0038+nmu1) ... Removing sensible-utils (0.0.12) ... Removing coq (8.9.0-1) ... Removing coq-theories (8.9.0-1) ... Removing ocaml-nox (4.05.0-11) ... Removing ocaml-interp (4.05.0-11) ... Removing gcc (4:8.3.0-1) ... Removing gcc-8 (8.3.0-6) ... Removing binutils (2.31.1-16) ... Removing binutils-x86-64-linux-gnu (2.31.1-16) ... Removing libbinutils:amd64 (2.31.1-16) ... Removing binutils-common:amd64 (2.31.1-16) ... Removing cpp (4:8.3.0-1) ... Removing cpp-8 (8.3.0-6) ... Removing libgcc-8-dev:amd64 (8.3.0-6) ... Removing libasan5:amd64 (8.3.0-6) ... Removing libatomic1:amd64 (8.3.0-6) ... Removing libncurses-dev:amd64 (6.1+20181013-2+deb10u2) ... Removing libc6-dev:amd64 (2.28-10+deb10u1) ... Removing libc-dev-bin (2.28-10+deb10u1) ... Removing libcc1-0:amd64 (8.3.0-6) ... Removing libcoq-ocaml (8.9.0-1) ... Removing python3 (3.7.3-1) ... Removing python3.7 (3.7.3-2+deb10u3) ... Removing python3-minimal (3.7.3-1) ... Removing python3.7-minimal (3.7.3-2+deb10u3) ... Removing libexpat1:amd64 (2.2.6-2+deb10u4) ... Removing ocaml-findlib (1.7.3-2+b1) ... Removing libfindlib-ocaml (1.7.3-2+b1) ... Removing libgomp1:amd64 (8.3.0-6) ... Removing libisl19:amd64 (0.20-2) ... Removing libitm1:amd64 (8.3.0-6) ... Removing liblsan0:amd64 (8.3.0-6) ... Removing libmpc3:amd64 (1.1.0-1) ... Removing libpython3-stdlib:amd64 (3.7.3-1) ... Removing libpython3.7-stdlib:amd64 (3.7.3-2+deb10u3) ... find: '/usr/lib/python3': No such file or directory Removing libmpdec2:amd64 (2.4.2-2) ... Removing libmpfr6:amd64 (4.0.2-1) ... Removing libmpx2:amd64 (8.3.0-6) ... Removing ocaml-base-nox (4.05.0-11) ... Removing libncurses6:amd64 (6.1+20181013-2+deb10u2) ... Removing libpython3.7-minimal:amd64 (3.7.3-2+deb10u3) ... find: '/usr/lib/python3': No such file or directory Removing libquadmath0:amd64 (8.3.0-6) ... Removing libreadline7:amd64 (7.0-5) ... Removing libsqlite3-0:amd64 (3.27.2-3+deb10u1) ... Removing libssl1.1:amd64 (1.1.1n-0+deb10u3) ... Removing libtsan0:amd64 (8.3.0-6) ... Removing libubsan1:amd64 (8.3.0-6) ... Removing linux-libc-dev:amd64 (4.19.249-2) ... Removing mime-support (3.62) ... Removing readline-common (7.0-5) ... Removing ocaml-compiler-libs (4.05.0-11) ... Processing triggers for libc-bin (2.28-10+deb10u1) ... 0m51.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'remove', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-8', 'gcc', 'gcc-8', 'libasan5:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-ocaml', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-8-dev:amd64', 'libgomp1:amd64', 'libisl19:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpdec2:amd64', 'libmpfr6:amd64', 'libmpx2:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libpython3-stdlib:amd64', 'libpython3.7-minimal:amd64', 'libpython3.7-stdlib:amd64', 'libquadmath0:amd64', 'libreadline7:amd64', 'libsqlite3-0:amd64', 'libssl1.1:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'mime-support', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.7', 'python3.7-minimal', 'readline-common', 'sensible-utils', 'tex-common', 'ucf', 'why3-coq'] 0m51.7s INFO: Running scripts post_remove 0m51.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_remove_exceptions'] 0m51.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_remove_exceptions'] 0m51.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-8', 'gcc', 'gcc-8', 'libasan5:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-ocaml', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-8-dev:amd64', 'libgomp1:amd64', 'libisl19:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpdec2:amd64', 'libmpfr6:amd64', 'libmpx2:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libpython3-stdlib:amd64', 'libpython3.7-minimal:amd64', 'libpython3.7-stdlib:amd64', 'libquadmath0:amd64', 'libreadline7:amd64', 'libsqlite3-0:amd64', 'libssl1.1:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'mime-support', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.7', 'python3.7-minimal', 'readline-common', 'sensible-utils', 'tex-common', 'ucf'] 0m52.0s DUMP: dpkg: warning: ignoring request to remove binutils which isn't installed dpkg: warning: ignoring request to remove binutils-common which isn't installed dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove coq which isn't installed dpkg: warning: ignoring request to remove coq-theories which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-8 which isn't installed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-8 which isn't installed dpkg: warning: ignoring request to remove libasan5 which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcoq-ocaml which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed (Reading database ... 6477 files and directories currently installed.) Purging configuration files for libfindlib-ocaml (1.7.3-2+b1) ... dpkg: warning: ignoring request to remove libgcc-8-dev which isn't installed dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libisl19 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpdec2 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libmpx2 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.7-minimal:amd64 (3.7.3-2+deb10u3) ... dpkg: warning: ignoring request to remove libpython3.7-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libreadline7 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed Purging configuration files for libssl1.1:amd64 (1.1.1n-0+deb10u3) ... dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for mime-support (3.62) ... dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove ocaml-findlib which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed Purging configuration files for ocaml-nox (4.05.0-11) ... Purging configuration files for python3 (3.7.3-1) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.7 which isn't installed Purging configuration files for python3.7-minimal (3.7.3-2+deb10u3) ... Purging configuration files for readline-common (7.0-5) ... dpkg: warning: ignoring request to remove sensible-utils which isn't installed Purging configuration files for tex-common (6.11) ... Purging configuration files for ucf (3.0038+nmu1) ... 0m52.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'coq', 'coq-theories', 'cpp', 'cpp-8', 'gcc', 'gcc-8', 'libasan5:amd64', 'libatomic1:amd64', 'libbinutils:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcc1-0:amd64', 'libcoq-ocaml', 'libexpat1:amd64', 'libfindlib-ocaml', 'libgcc-8-dev:amd64', 'libgomp1:amd64', 'libisl19:amd64', 'libitm1:amd64', 'liblsan0:amd64', 'libmpc3:amd64', 'libmpdec2:amd64', 'libmpfr6:amd64', 'libmpx2:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libpython3-stdlib:amd64', 'libpython3.7-minimal:amd64', 'libpython3.7-stdlib:amd64', 'libquadmath0:amd64', 'libreadline7:amd64', 'libsqlite3-0:amd64', 'libssl1.1:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'linux-libc-dev:amd64', 'mime-support', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-findlib', 'ocaml-interp', 'ocaml-nox', 'python3', 'python3-minimal', 'python3.7', 'python3.7-minimal', 'readline-common', 'sensible-utils', 'tex-common', 'ucf'] 0m52.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', 'why3-coq'] 0m52.1s DUMP: (Reading database ... 6464 files and directories currently installed.) Purging configuration files for why3-coq (1.2.0-1) ... 0m52.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', 'why3-coq'] 0m52.1s INFO: Running scripts post_purge 0m52.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_purge_exceptions'] 0m52.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_purge_exceptions'] 0m52.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', '--pending'] 0m52.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--purge', '--pending'] 0m52.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--remove', '--pending'] 0m52.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg', '--remove', '--pending'] 0m52.1s INFO: Running scripts post_test 0m52.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_test_exceptions'] 0m52.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'tmp/scripts/post_test_exceptions'] 0m52.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m52.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m53.5s DEBUG: No broken symlinks as far as we can find. 0m53.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-divert', '--list'] 0m53.5s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 0m53.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'dpkg-divert', '--list'] 0m53.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'clean'] 0m53.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp', 'apt-get', 'clean'] 0m53.6s DEBUG: Recording chroot state 0m54.3s INFO: PASS: Installation and purging test. 0m54.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/shm'] 0m54.7s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/shm'] 0m54.7s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/console'] 0m54.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/console'] 0m54.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/ptmx'] 0m54.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/ptmx'] 0m54.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts'] 0m54.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/dev/pts'] 0m54.8s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/proc'] 0m54.8s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp/proc'] 0m54.8s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m55.0s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpiueb7pfp'] 0m55.0s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpiueb7pfp 0m55.0s INFO: PASS: All tests. 0m55.0s INFO: piuparts run ends. ret=0 End: 2024-03-29 07:23:05 GMT