Start: 2025-09-21 21:31:41 GMT [sid] Package: coq Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 255832 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.20.1+5.3.0 Depends: libcoq-stdlib (= 8.20.1+dfsg-1+b1), libcoq-core-ocaml-29kh7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.20.1+dfsg-1+b1_amd64.deb Size: 70222224 MD5sum: 7fe3567fcecd2f09f91052e0fee597d5 SHA256: 9f9d98a666f97833c05ffbd1527096eca667566501bb718f198f1f037fdefe83 [experimental] Package: coq Version: 9.1.0+dfsg-1 Installed-Size: 160187 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: coq-9.1.0+5.3.0 Depends: libcoq-core (= 9.1.0+dfsg-1), libcoq-core-ocaml-rqof7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3 Suggests: rocqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Description: proof assistant for higher-order logic (toplevel and compiler) Homepage: http://coq.inria.fr/ Description-md5: 2c4259e8b83c839ff539d48b854ee31a Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_9.1.0+dfsg-1_amd64.deb Size: 39607820 MD5sum: 1f80da265e50438f67a1e51f8d6ad0a6 SHA256: 507bd9a45b0a3182ce01281bb806b40c5a3fd5b8741751f815dc58cd4ab45cd7 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid -d experimental -B /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat --apt coq=9.1.0+dfsg-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.6.1~202508211944~1.6.0-10-gffba2cce starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/bin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz -d sid -d experimental -B /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat --apt coq=9.1.0+dfsg-1 0m0.0s INFO: Running on: Linux piu-slave-conova-01 6.1.0-39-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.148-1 (2025-08-26) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmp6ymdwdsw 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmp6ymdwdsw 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/proc'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/proc'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/ptmx'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/ptmx'] 0m0.3s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/console'] 0m0.3s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/console'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/shm'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/shm'] 0m0.3s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.3s DEBUG: Created policy-rc.d and chmodded it. 0m0.3s DEBUG: Created resolv.conf. 0m0.3s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmp6ymdwdsw/tmp/scripts/ 0m0.3s INFO: Running scripts post_chroot_unpack 0m0.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', 'update'] 0m3.2s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [216 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.2 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7430 kB] Fetched 17.8 MB in 2s (8449 kB/s) Reading package lists... 0m3.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', 'update'] 0m3.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m3.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-yf', 'dist-upgrade'] 0m3.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.2s DUMP: 52543e3c6143b7afd6b2a99f94e781c7 - 0m4.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.2s INFO: Running scripts post_setup 0m4.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_dummy_users'] 0m5.1s DUMP: useradd warning: dummy1000's uid 1000 is greater than SYS_UID_MAX 999 useradd warning: dummy1001's uid 1001 is greater than SYS_UID_MAX 999 useradd warning: dummy1002's uid 1002 is greater than SYS_UID_MAX 999 useradd warning: dummy1003's uid 1003 is greater than SYS_UID_MAX 999 useradd warning: dummy1004's uid 1004 is greater than SYS_UID_MAX 999 useradd warning: dummy1005's uid 1005 is greater than SYS_UID_MAX 999 useradd warning: dummy1006's uid 1006 is greater than SYS_UID_MAX 999 useradd warning: dummy1007's uid 1007 is greater than SYS_UID_MAX 999 useradd warning: dummy1008's uid 1008 is greater than SYS_UID_MAX 999 useradd warning: dummy1009's uid 1009 is greater than SYS_UID_MAX 999 useradd warning: dummy1010's uid 1010 is greater than SYS_UID_MAX 999 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_dummy_users'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_forbid_home'] 0m5.1s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_forbid_home'] 0m5.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.2s 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' 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_minimize'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_minimize'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_zz_backports'] 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_setup_zz_backports'] 0m5.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.2s DUMP: install ok installed apt apt 3.1.5 install ok installed base-files base-files 14 install ok installed base-passwd base-passwd 3.6.7 install ok installed bash bash 5.3-1 install ok installed bsdutils bsdutils 1:2.41.1-3 install ok installed coreutils coreutils 9.7-3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.91 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.23.2 install ok installed diffutils diffutils 1:3.10-4 install ok installed dpkg dpkg 1.22.21 install ok installed findutils findutils 4.10.0-3 install ok installed gcc-15-base:amd64 gcc-15-base 15.2.0-4 install ok installed grep grep 3.11-4 install ok installed gzip gzip 1.13-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69 install ok installed libacl1:amd64 libacl1 2.3.2-2+b1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.1.5 install ok installed libattr1:amd64 libattr1 1:2.5.2-3 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1 install ok installed libblkid1:amd64 libblkid1 2.41.1-3 install ok installed libbsd0:amd64 libbsd0 0.12.2-2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6 install ok installed libc-bin libc-bin 2.41-12 install ok installed libc6:amd64 libc6 2.41-12 install ok installed libcap-ng0:amd64 libcap-ng0 0.8.5-4+b1 install ok installed libcap2:amd64 libcap2 1:2.75-10+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.38-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-9 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.280 install ok installed libgcc-s1:amd64 libgcc-s1 15.2.0-4 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1 install ok installed liblastlog2-2:amd64 liblastlog2-2 2.41.1-3 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-4 install ok installed liblzma5:amd64 liblzma5 5.8.1-1.1 install ok installed libmd0:amd64 libmd0 1.1.0-2+b1 install ok installed libmount1:amd64 libmount1 2.41.1-3 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-5 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-5 install ok installed libpam-runtime libpam-runtime 1.7.0-5 install ok installed libpam0g:amd64 libpam0g 1.7.0-5 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.46-1 install ok installed libseccomp2:amd64 libseccomp2 2.6.0-2 install ok installed libselinux1:amd64 libselinux1 3.8.1-1 install ok installed libsemanage-common libsemanage-common 3.8.1-1 install ok installed libsemanage2:amd64 libsemanage2 3.8.1-1 install ok installed libsepol2:amd64 libsepol2 3.8.1-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.41.1-3 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.46.1-8 install ok installed libssl3t64:amd64 libssl3t64 3.5.3-1 install ok installed libstdc++6:amd64 libstdc++6 15.2.0-4 install ok installed libsystemd0:amd64 libsystemd0 258-1 install ok installed libtinfo6:amd64 libtinfo6 6.5+20250216-2 install ok installed libudev1:amd64 libudev1 258-1 install ok installed libuuid1:amd64 libuuid1 2.41.1-3 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-1.1 install ok installed login login 1:4.16.0-2+really2.41.1-3 install ok installed login.defs login.defs 1:4.18.0-1 install ok installed mawk mawk 1.3.4.20250131-1 install ok installed mount mount 2.41.1-3 install ok installed ncurses-base ncurses-base 6.5+20250216-2 install ok installed ncurses-bin ncurses-bin 6.5+20250216-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.5.3-1 install ok installed passwd passwd 1:4.18.0-1 install ok installed perl-base perl-base 5.40.1-6 install ok installed sed sed 4.9-2 install ok installed sqv sqv 1.3.0-3 install ok installed sysvinit-utils sysvinit-utils 3.14-4 install ok installed tar tar 1.35+dfsg-3.1 install ok installed tzdata tzdata 2025b-5 install ok installed util-linux util-linux 2.41.1-3 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.1-1+b1 0m5.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.2s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat 0m5.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m5.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m5.5s INFO: Running scripts is_testable 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/is_testable_uninstallable'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/is_testable_uninstallable'] 0m5.5s INFO: Running scripts pre_test 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_test_exceptions'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_test_exceptions'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_test_root_password'] 0m5.6s DUMP: New password: Retype new password: passwd: password updated successfully 0m5.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_test_root_password'] 0m5.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m5.8s DUMP: Package: coq Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 255832 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.20.1+5.3.0 Depends: libcoq-stdlib (= 8.20.1+dfsg-1+b1), libcoq-core-ocaml-29kh7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. Description-md5: 2c4259e8b83c839ff539d48b854ee31a Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.20.1+dfsg-1+b1_amd64.deb Size: 70222224 MD5sum: 7fe3567fcecd2f09f91052e0fee597d5 SHA256: 9f9d98a666f97833c05ffbd1527096eca667566501bb718f198f1f037fdefe83 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m5.8s INFO: apt-cache knows about the following packages: coq 0m5.8s INFO: Running scripts pre_install 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_database-server'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_database-server'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_exceptions'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_exceptions'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_extras'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_extras'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy'] 0m5.9s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy', 'coq'] 0m5.9s DUMP: coq: Installed: (none) Candidate: 8.20.1+dfsg-1+b1 Version table: 8.20.1+dfsg-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 0m5.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy', 'coq'] 0m5.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-y', 'install', 'coq'] 0m25.7s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libffi8 libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libreadline8t64 libsframe2 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto Suggested packages: binutils-doc gprofng-gui binutils-gold coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why coq-doc cpp-doc gcc-15-locales cpp-15-doc gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-15-multilib gcc-15-doc gdb-x86-64-linux-gnu libc-devtools glibc-doc ncurses-doc ocaml-doc elpa-tuareg camlp4 python3-doc python3-tk python3-venv python3.13-venv python3.13-doc binfmt-support readline-doc Recommended packages: manpages manpages-dev libgpm2 ocaml-man file libfindlib-ocaml-dev ledit | readline-editor ca-certificates The following NEW packages will be installed: binutils binutils-common binutils-x86-64-linux-gnu coq cpp cpp-15 cpp-15-x86-64-linux-gnu cpp-x86-64-linux-gnu gcc gcc-15 gcc-15-x86-64-linux-gnu gcc-x86-64-linux-gnu libasan8 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libffi8 libfindlib-ocaml libgcc-15-dev libgomp1 libgprofng0 libhwasan0 libisl23 libitm1 libjansson4 liblsan0 libmpc3 libmpfr6 libncurses-dev libncurses6 libncursesw6 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libquadmath0 libreadline8t64 libsframe2 libstdlib-ocaml libstdlib-ocaml-dev libtsan2 libubsan1 libzarith-ocaml libzstd-dev linux-libc-dev media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp python3 python3-minimal python3.13 python3.13-minimal readline-common rpcsvc-proto 0 upgraded, 65 newly installed, 0 to remove and 0 not upgraded. Need to get 397 MB of archives. After this operation, 1527 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libexpat1 amd64 2.7.2-1 [111 kB] Get:2 http://deb.debian.org/debian sid/main amd64 libpython3.13-minimal amd64 3.13.7-1 [864 kB] Get:3 http://deb.debian.org/debian sid/main amd64 python3.13-minimal amd64 3.13.7-1 [2216 kB] Get:4 http://deb.debian.org/debian sid/main amd64 python3-minimal amd64 3.13.7-1 [27.2 kB] Get:5 http://deb.debian.org/debian sid/main amd64 media-types all 13.0.0 [29.3 kB] Get:6 http://deb.debian.org/debian sid/main amd64 netbase all 6.5 [12.4 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libffi8 amd64 3.5.2-2 [25.5 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libncursesw6 amd64 6.5+20250216-2 [135 kB] Get:9 http://deb.debian.org/debian sid/main amd64 readline-common all 8.3-3 [74.8 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libreadline8t64 amd64 8.3-3 [191 kB] Get:11 http://deb.debian.org/debian sid/main amd64 libpython3.13-stdlib amd64 3.13.7-1 [1960 kB] Get:12 http://deb.debian.org/debian sid/main amd64 python3.13 amd64 3.13.7-1 [761 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libpython3-stdlib amd64 3.13.7-1 [10.2 kB] Get:14 http://deb.debian.org/debian sid/main amd64 python3 amd64 3.13.7-1 [28.3 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libsframe2 amd64 2.45-7 [81.0 kB] Get:16 http://deb.debian.org/debian sid/main amd64 binutils-common amd64 2.45-7 [2558 kB] Get:17 http://deb.debian.org/debian sid/main amd64 libbinutils amd64 2.45-7 [580 kB] Get:18 http://deb.debian.org/debian sid/main amd64 libgprofng0 amd64 2.45-7 [869 kB] Get:19 http://deb.debian.org/debian sid/main amd64 libctf-nobfd0 amd64 2.45-7 [167 kB] Get:20 http://deb.debian.org/debian sid/main amd64 libctf0 amd64 2.45-7 [100 kB] Get:21 http://deb.debian.org/debian sid/main amd64 libjansson4 amd64 2.14-2+b3 [39.8 kB] Get:22 http://deb.debian.org/debian sid/main amd64 binutils-x86-64-linux-gnu amd64 2.45-7 [1097 kB] Get:23 http://deb.debian.org/debian sid/main amd64 binutils amd64 2.45-7 [269 kB] Get:24 http://deb.debian.org/debian sid/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+b1 [23.5 MB] Get:25 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml amd64 5.3.0-3 [605 kB] Get:26 http://deb.debian.org/debian sid/main amd64 ocaml-base amd64 5.3.0-3 [495 kB] Get:27 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml amd64 1.9.8-1+b1 [214 kB] Get:28 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml amd64 1.14-1+b2 [117 kB] Get:29 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml amd64 8.20.1+dfsg-1+b1 [26.0 MB] Get:30 http://deb.debian.org/debian sid/main amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7886 kB] Get:31 http://deb.debian.org/debian sid/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] Get:32 http://deb.debian.org/debian sid/main amd64 ocaml-interp amd64 5.3.0-3 [7104 kB] Get:33 http://deb.debian.org/debian sid/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get:34 http://deb.debian.org/debian sid/main amd64 libc-dev-bin amd64 2.41-12 [58.2 kB] Get:35 http://deb.debian.org/debian sid/main amd64 linux-libc-dev all 6.16.8-1 [2541 kB] Get:36 http://deb.debian.org/debian sid/main amd64 libcrypt-dev amd64 1:4.4.38-1 [119 kB] Get:37 http://deb.debian.org/debian sid/main amd64 rpcsvc-proto amd64 1.4.3-1 [63.3 kB] Get:38 http://deb.debian.org/debian sid/main amd64 libc6-dev amd64 2.41-12 [1991 kB] Get:39 http://deb.debian.org/debian sid/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get:40 http://deb.debian.org/debian sid/main amd64 libisl23 amd64 0.27-1 [659 kB] Get:41 http://deb.debian.org/debian sid/main amd64 libmpfr6 amd64 4.2.2-2 [742 kB] Get:42 http://deb.debian.org/debian sid/main amd64 libmpc3 amd64 1.3.1-2 [55.8 kB] Get:43 http://deb.debian.org/debian sid/main amd64 cpp-15-x86-64-linux-gnu amd64 15.2.0-4 [76.3 MB] Get:44 http://deb.debian.org/debian sid/main amd64 cpp-15 amd64 15.2.0-4 [1272 B] Get:45 http://deb.debian.org/debian sid/main amd64 cpp-x86-64-linux-gnu amd64 4:15.2.0-4 [5292 B] Get:46 http://deb.debian.org/debian sid/main amd64 cpp amd64 4:15.2.0-4 [1564 B] Get:47 http://deb.debian.org/debian sid/main amd64 libcc1-0 amd64 15.2.0-4 [42.7 kB] Get:48 http://deb.debian.org/debian sid/main amd64 libgomp1 amd64 15.2.0-4 [140 kB] Get:49 http://deb.debian.org/debian sid/main amd64 libitm1 amd64 15.2.0-4 [26.5 kB] Get:50 http://deb.debian.org/debian sid/main amd64 libatomic1 amd64 15.2.0-4 [9508 B] Get:51 http://deb.debian.org/debian sid/main amd64 libasan8 amd64 15.2.0-4 [2778 kB] Get:52 http://deb.debian.org/debian sid/main amd64 liblsan0 amd64 15.2.0-4 [1249 kB] Get:53 http://deb.debian.org/debian sid/main amd64 libtsan2 amd64 15.2.0-4 [2491 kB] Get:54 http://deb.debian.org/debian sid/main amd64 libubsan1 amd64 15.2.0-4 [1108 kB] Get:55 http://deb.debian.org/debian sid/main amd64 libhwasan0 amd64 15.2.0-4 [1538 kB] Get:56 http://deb.debian.org/debian sid/main amd64 libquadmath0 amd64 15.2.0-4 [145 kB] Get:57 http://deb.debian.org/debian sid/main amd64 libgcc-15-dev amd64 15.2.0-4 [2719 kB] Get:58 http://deb.debian.org/debian sid/main amd64 gcc-15-x86-64-linux-gnu amd64 15.2.0-4 [85.6 MB] Get:59 http://deb.debian.org/debian sid/main amd64 gcc-15 amd64 15.2.0-4 [522 kB] Get:60 http://deb.debian.org/debian sid/main amd64 gcc-x86-64-linux-gnu amd64 4:15.2.0-4 [1436 B] Get:61 http://deb.debian.org/debian sid/main amd64 gcc amd64 4:15.2.0-4 [5160 B] Get:62 http://deb.debian.org/debian sid/main amd64 libzstd-dev amd64 1.5.7+dfsg-1.1 [389 kB] Get:63 http://deb.debian.org/debian sid/main amd64 ocaml amd64 5.3.0-3 [18.0 MB] Get:64 http://deb.debian.org/debian sid/main amd64 ocaml-findlib amd64 1.9.8-1+b1 [584 kB] Get:65 http://deb.debian.org/debian sid/main amd64 coq amd64 8.20.1+dfsg-1+b1 [70.2 MB] Fetched 397 MB in 5s (84.5 MB/s) Selecting previously unselected package libexpat1: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 ... 4940 files and directories currently installed.) Preparing to unpack .../libexpat1_2.7.2-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.2-1) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../libpython3.13-minimal_3.13.7-1_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.7-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../python3.13-minimal_3.13.7-1_amd64.deb ... Unpacking python3.13-minimal (3.13.7-1) ... Setting up libpython3.13-minimal:amd64 (3.13.7-1) ... Setting up libexpat1:amd64 (2.7.2-1) ... Setting up python3.13-minimal (3.13.7-1) ... 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 ... 5274 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.13.7-1_amd64.deb ... Unpacking python3-minimal (3.13.7-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_13.0.0_all.deb ... Unpacking media-types (13.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../3-libffi8_3.5.2-2_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../4-libncursesw6_6.5+20250216-2_amd64.deb ... Unpacking libncursesw6:amd64 (6.5+20250216-2) ... Selecting previously unselected package readline-common. Preparing to unpack .../5-readline-common_8.3-3_all.deb ... Unpacking readline-common (8.3-3) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../6-libreadline8t64_8.3-3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-3) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../7-libpython3.13-stdlib_3.13.7-1_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.7-1) ... Selecting previously unselected package python3.13. Preparing to unpack .../8-python3.13_3.13.7-1_amd64.deb ... Unpacking python3.13 (3.13.7-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.13.7-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.7-1) ... Setting up python3-minimal (3.13.7-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 ... 5782 files and directories currently installed.) Preparing to unpack .../00-python3_3.13.7-1_amd64.deb ... Unpacking python3 (3.13.7-1) ... Selecting previously unselected package libsframe2:amd64. Preparing to unpack .../01-libsframe2_2.45-7_amd64.deb ... Unpacking libsframe2:amd64 (2.45-7) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../02-binutils-common_2.45-7_amd64.deb ... Unpacking binutils-common:amd64 (2.45-7) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../03-libbinutils_2.45-7_amd64.deb ... Unpacking libbinutils:amd64 (2.45-7) ... Selecting previously unselected package libgprofng0:amd64. Preparing to unpack .../04-libgprofng0_2.45-7_amd64.deb ... Unpacking libgprofng0:amd64 (2.45-7) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../05-libctf-nobfd0_2.45-7_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.45-7) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../06-libctf0_2.45-7_amd64.deb ... Unpacking libctf0:amd64 (2.45-7) ... Selecting previously unselected package libjansson4:amd64. Preparing to unpack .../07-libjansson4_2.14-2+b3_amd64.deb ... Unpacking libjansson4:amd64 (2.14-2+b3) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../08-binutils-x86-64-linux-gnu_2.45-7_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.45-7) ... Selecting previously unselected package binutils. Preparing to unpack .../09-binutils_2.45-7_amd64.deb ... Unpacking binutils (2.45-7) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../10-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+b1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../11-libstdlib-ocaml_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../12-ocaml-base_5.3.0-3_amd64.deb ... Unpacking ocaml-base (5.3.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../13-libfindlib-ocaml_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../14-libzarith-ocaml_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../15-libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking libcoq-core-ocaml (8.20.1+dfsg-1+b1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../16-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../17-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../18-ocaml-interp_5.3.0-3_amd64.deb ... Unpacking ocaml-interp (5.3.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../19-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../20-libc-dev-bin_2.41-12_amd64.deb ... Unpacking libc-dev-bin (2.41-12) ... Selecting previously unselected package linux-libc-dev. Preparing to unpack .../21-linux-libc-dev_6.16.8-1_all.deb ... Unpacking linux-libc-dev (6.16.8-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../22-libcrypt-dev_1%3a4.4.38-1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.38-1) ... Selecting previously unselected package rpcsvc-proto. Preparing to unpack .../23-rpcsvc-proto_1.4.3-1_amd64.deb ... Unpacking rpcsvc-proto (1.4.3-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../24-libc6-dev_2.41-12_amd64.deb ... Unpacking libc6-dev:amd64 (2.41-12) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../25-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../26-libisl23_0.27-1_amd64.deb ... Unpacking libisl23:amd64 (0.27-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../27-libmpfr6_4.2.2-2_amd64.deb ... Unpacking libmpfr6:amd64 (4.2.2-2) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../28-libmpc3_1.3.1-2_amd64.deb ... Unpacking libmpc3:amd64 (1.3.1-2) ... Selecting previously unselected package cpp-15-x86-64-linux-gnu. Preparing to unpack .../29-cpp-15-x86-64-linux-gnu_15.2.0-4_amd64.deb ... Unpacking cpp-15-x86-64-linux-gnu (15.2.0-4) ... Selecting previously unselected package cpp-15. Preparing to unpack .../30-cpp-15_15.2.0-4_amd64.deb ... Unpacking cpp-15 (15.2.0-4) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../31-cpp-x86-64-linux-gnu_4%3a15.2.0-4_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:15.2.0-4) ... Selecting previously unselected package cpp. Preparing to unpack .../32-cpp_4%3a15.2.0-4_amd64.deb ... Unpacking cpp (4:15.2.0-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../33-libcc1-0_15.2.0-4_amd64.deb ... Unpacking libcc1-0:amd64 (15.2.0-4) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../34-libgomp1_15.2.0-4_amd64.deb ... Unpacking libgomp1:amd64 (15.2.0-4) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../35-libitm1_15.2.0-4_amd64.deb ... Unpacking libitm1:amd64 (15.2.0-4) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../36-libatomic1_15.2.0-4_amd64.deb ... Unpacking libatomic1:amd64 (15.2.0-4) ... Selecting previously unselected package libasan8:amd64. Preparing to unpack .../37-libasan8_15.2.0-4_amd64.deb ... Unpacking libasan8:amd64 (15.2.0-4) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../38-liblsan0_15.2.0-4_amd64.deb ... Unpacking liblsan0:amd64 (15.2.0-4) ... Selecting previously unselected package libtsan2:amd64. Preparing to unpack .../39-libtsan2_15.2.0-4_amd64.deb ... Unpacking libtsan2:amd64 (15.2.0-4) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../40-libubsan1_15.2.0-4_amd64.deb ... Unpacking libubsan1:amd64 (15.2.0-4) ... Selecting previously unselected package libhwasan0:amd64. Preparing to unpack .../41-libhwasan0_15.2.0-4_amd64.deb ... Unpacking libhwasan0:amd64 (15.2.0-4) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../42-libquadmath0_15.2.0-4_amd64.deb ... Unpacking libquadmath0:amd64 (15.2.0-4) ... Selecting previously unselected package libgcc-15-dev:amd64. Preparing to unpack .../43-libgcc-15-dev_15.2.0-4_amd64.deb ... Unpacking libgcc-15-dev:amd64 (15.2.0-4) ... Selecting previously unselected package gcc-15-x86-64-linux-gnu. Preparing to unpack .../44-gcc-15-x86-64-linux-gnu_15.2.0-4_amd64.deb ... Unpacking gcc-15-x86-64-linux-gnu (15.2.0-4) ... Selecting previously unselected package gcc-15. Preparing to unpack .../45-gcc-15_15.2.0-4_amd64.deb ... Unpacking gcc-15 (15.2.0-4) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../46-gcc-x86-64-linux-gnu_4%3a15.2.0-4_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:15.2.0-4) ... Selecting previously unselected package gcc. Preparing to unpack .../47-gcc_4%3a15.2.0-4_amd64.deb ... Unpacking gcc (4:15.2.0-4) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../48-libzstd-dev_1.5.7+dfsg-1.1_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1.1) ... Selecting previously unselected package ocaml. Preparing to unpack .../49-ocaml_5.3.0-3_amd64.deb ... Unpacking ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../50-ocaml-findlib_1.9.8-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b1) ... Selecting previously unselected package coq. Preparing to unpack .../51-coq_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking coq (8.20.1+dfsg-1+b1) ... Setting up media-types (13.0.0) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-1.1) ... Setting up libsframe2:amd64 (2.45-7) ... Setting up binutils-common:amd64 (2.45-7) ... Setting up linux-libc-dev (6.16.8-1) ... Setting up libctf-nobfd0:amd64 (2.45-7) ... Setting up libgomp1:amd64 (15.2.0-4) ... Setting up libjansson4:amd64 (2.14-2+b3) ... Setting up libcoq-stdlib (8.20.1+dfsg-1+b1) ... Setting up rpcsvc-proto (1.4.3-1) ... Setting up libmpfr6:amd64 (4.2.2-2) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libquadmath0:amd64 (15.2.0-4) ... Setting up libstdlib-ocaml (5.3.0-3) ... Setting up libmpc3:amd64 (1.3.1-2) ... Setting up libatomic1:amd64 (15.2.0-4) ... Setting up ocaml-base (5.3.0-3) ... Setting up libncursesw6:amd64 (6.5+20250216-2) ... Setting up libubsan1:amd64 (15.2.0-4) ... Setting up libffi8:amd64 (3.5.2-2) ... Setting up libhwasan0:amd64 (15.2.0-4) ... Setting up libcrypt-dev:amd64 (1:4.4.38-1) ... Setting up libasan8:amd64 (15.2.0-4) ... Setting up netbase (6.5) ... Setting up libtsan2:amd64 (15.2.0-4) ... Setting up libbinutils:amd64 (2.45-7) ... Setting up libisl23:amd64 (0.27-1) ... Setting up libc-dev-bin (2.41-12) ... Setting up readline-common (8.3-3) ... Setting up libcc1-0:amd64 (15.2.0-4) ... Setting up liblsan0:amd64 (15.2.0-4) ... Setting up libitm1:amd64 (15.2.0-4) ... Setting up libctf0:amd64 (2.45-7) ... Setting up libgcc-15-dev:amd64 (15.2.0-4) ... Setting up libstdlib-ocaml-dev (5.3.0-3) ... Setting up libfindlib-ocaml (1.9.8-1+b1) ... Setting up libzarith-ocaml (1.14-1+b2) ... Setting up cpp-15-x86-64-linux-gnu (15.2.0-4) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... Setting up libgprofng0:amd64 (2.45-7) ... Setting up ocaml-interp (5.3.0-3) ... Setting up ocaml-findlib (1.9.8-1+b1) ... Setting up libreadline8t64:amd64 (8.3-3) ... Setting up libcoq-core-ocaml (8.20.1+dfsg-1+b1) ... Setting up cpp-15 (15.2.0-4) ... Setting up libc6-dev:amd64 (2.41-12) ... Setting up libpython3.13-stdlib:amd64 (3.13.7-1) ... Setting up libpython3-stdlib:amd64 (3.13.7-1) ... Setting up binutils-x86-64-linux-gnu (2.45-7) ... Setting up cpp-x86-64-linux-gnu (4:15.2.0-4) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up python3.13 (3.13.7-1) ... Setting up python3 (3.13.7-1) ... Setting up binutils (2.45-7) ... Setting up gcc-15-x86-64-linux-gnu (15.2.0-4) ... Setting up gcc-15 (15.2.0-4) ... Setting up cpp (4:15.2.0-4) ... Setting up gcc-x86-64-linux-gnu (4:15.2.0-4) ... Setting up gcc (4:15.2.0-4) ... Setting up ocaml (5.3.0-3) ... Setting up coq (8.20.1+dfsg-1+b1) ... Processing triggers for libc-bin (2.41-12) ... 0m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-y', 'install', 'coq'] 0m25.7s INFO: Running scripts post_install 0m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_install_exceptions'] 0m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/post_install_exceptions'] 0m25.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m26.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m26.7s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmp6ymdwdsw to experimental 0m26.7s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main deb http://deb.debian.org/debian/ experimental main 0m26.7s INFO: Running scripts pre_distupgrade 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_exceptions'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_exceptions'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m26.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m26.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', 'update'] 0m28.0s DUMP: Hit:1 http://deb.debian.org/debian sid InRelease Get:2 http://deb.debian.org/debian experimental InRelease [101 kB] Get:3 http://deb.debian.org/debian experimental/main amd64 Packages [536 kB] Get:4 http://deb.debian.org/debian experimental/main Translation-en [320 kB] Fetched 957 kB in 0s (5050 kB/s) Reading package lists... 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', 'update'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-yf', 'dist-upgrade'] 0m28.6s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m28.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-yf', 'dist-upgrade'] 0m28.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m29.3s DUMP: 5c90a41013611025e0e2b5b4a2370e0a - 0m29.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m29.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m29.6s DUMP: Package: coq Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 255832 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1) Provides: coq-8.20.1+5.3.0 Depends: libcoq-stdlib (= 8.20.1+dfsg-1+b1), libcoq-core-ocaml-29kh7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib Suggests: coqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc Breaks: coq-libs (<< 8.2.pl1) Description-en: proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed. Description-md5: 2c4259e8b83c839ff539d48b854ee31a Homepage: http://coq.inria.fr/ Tag: devel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/c/coq/coq_8.20.1+dfsg-1+b1_amd64.deb Size: 70222224 MD5sum: 7fe3567fcecd2f09f91052e0fee597d5 SHA256: 9f9d98a666f97833c05ffbd1527096eca667566501bb718f198f1f037fdefe83 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'show', '--no-all-versions', 'coq'] 0m29.6s INFO: apt-cache knows about the following packages: coq 0m29.6s INFO: Running scripts pre_install 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_database-server'] 0m29.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_database-server'] 0m29.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_exceptions'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_exceptions'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_extras'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_extras'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy'] 0m29.7s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 1 http://deb.debian.org/debian experimental/main amd64 Packages release o=Debian,a=experimental,n=rc-buggy,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://deb.debian.org/debian sid/main amd64 Packages release o=Debian,a=unstable,n=sid,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy', 'coq'] 0m29.7s DUMP: coq: Installed: 8.20.1+dfsg-1+b1 Candidate: 8.20.1+dfsg-1+b1 Version table: 9.1.0+dfsg-1 1 1 http://deb.debian.org/debian experimental/main amd64 Packages *** 8.20.1+dfsg-1+b1 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m29.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-cache', 'policy', 'coq'] 0m29.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-y', '-t', 'experimental', 'install', 'coq'] 0m32.7s DUMP: Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libcoq-stdlib Use 'sudo apt autoremove' to remove it. The following additional packages will be installed: libcoq-core libcoq-core-ocaml The following NEW packages will be installed: libcoq-core The following packages will be upgraded: coq libcoq-core-ocaml 2 upgraded, 1 newly installed, 0 to remove and 31 not upgraded. Need to get 67.6 MB of archives. After this operation, 90.0 MB disk space will be freed. Get:1 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-1 [1139 kB] Get:2 http://deb.debian.org/debian experimental/main amd64 coq amd64 9.1.0+dfsg-1 [39.6 MB] Get:3 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml amd64 9.1.0+dfsg-1 [26.8 MB] Fetched 67.6 MB in 0s (214 MB/s) Selecting previously unselected package libcoq-core. (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 ... 15988 files and directories currently installed.) Preparing to unpack .../libcoq-core_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core (9.1.0+dfsg-1) ... dpkg: error processing archive /var/cache/apt/archives/libcoq-core_9.1.0+dfsg-1_amd64.deb (--unpack): trying to overwrite '/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.glob', which is also in package libcoq-stdlib (8.20.1+dfsg-1+b1) Preparing to unpack .../coq_9.1.0+dfsg-1_amd64.deb ... Unpacking coq (9.1.0+dfsg-1) over (8.20.1+dfsg-1+b1) ... Preparing to unpack .../libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (9.1.0+dfsg-1) over (8.20.1+dfsg-1+b1) ... Errors were encountered while processing: /var/cache/apt/archives/libcoq-core_9.1.0+dfsg-1_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) 0m32.7s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw', 'apt-get', '-y', '-t', 'experimental', 'install', 'coq'] Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libcoq-stdlib Use 'sudo apt autoremove' to remove it. The following additional packages will be installed: libcoq-core libcoq-core-ocaml The following NEW packages will be installed: libcoq-core The following packages will be upgraded: coq libcoq-core-ocaml 2 upgraded, 1 newly installed, 0 to remove and 31 not upgraded. Need to get 67.6 MB of archives. After this operation, 90.0 MB disk space will be freed. Get:1 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-1 [1139 kB] Get:2 http://deb.debian.org/debian experimental/main amd64 coq amd64 9.1.0+dfsg-1 [39.6 MB] Get:3 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml amd64 9.1.0+dfsg-1 [26.8 MB] Fetched 67.6 MB in 0s (214 MB/s) Selecting previously unselected package libcoq-core. (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 ... 15988 files and directories currently installed.) Preparing to unpack .../libcoq-core_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core (9.1.0+dfsg-1) ... dpkg: error processing archive /var/cache/apt/archives/libcoq-core_9.1.0+dfsg-1_amd64.deb (--unpack): trying to overwrite '/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.glob', which is also in package libcoq-stdlib (8.20.1+dfsg-1+b1) Preparing to unpack .../coq_9.1.0+dfsg-1_amd64.deb ... Unpacking coq (9.1.0+dfsg-1) over (8.20.1+dfsg-1+b1) ... Preparing to unpack .../libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml (9.1.0+dfsg-1) over (8.20.1+dfsg-1+b1) ... Errors were encountered while processing: /var/cache/apt/archives/libcoq-core_9.1.0+dfsg-1_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) 0m33.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/shm'] 0m33.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/shm'] 0m33.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/console'] 0m33.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/console'] 0m33.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/ptmx'] 0m33.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/ptmx'] 0m33.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts'] 0m33.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/dev/pts'] 0m33.5s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/proc'] 0m33.5s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw/proc'] 0m33.5s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m33.9s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmp6ymdwdsw'] 0m33.9s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmp6ymdwdsw 0m33.9s ERROR: piuparts run ends. ret=1 End: 2025-09-21 21:32:15 GMT