Start: 2025-09-21 21:32:15 GMT [sid] Package: libcoq-core-ocaml-dev Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 131100 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Provides: libcoq-core-ocaml-dev-29kh7, libcoq-ocaml-dev (= 8.20.1+dfsg-1+b1) Depends: coq (= 8.20.1+dfsg-1+b1), libcompiler-libs-ocaml-dev-4b6d0, libcoq-core-ocaml-29kh7, libfindlib-ocaml-dev-8k3o3, libstdlib-ocaml-dev-m4xw9, libzarith-ocaml-dev-h79v1, ocaml-5.3.0 Breaks: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Description: development libraries and tools for Coq Homepage: http://coq.inria.fr/ Description-md5: 087097b71994724756abfbecea1882b9 Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb Size: 68700208 MD5sum: 2b6697b3814c7089446f58ca7323e3a0 SHA256: b4e4b99984f457c63a188381f889789ded1ec38a5d43bc1da831d76a8e76d4c5 [experimental] Package: libcoq-core-ocaml-dev Source: coq Version: 9.1.0+dfsg-1 Installed-Size: 135131 Maintainer: Debian OCaml Maintainers Architecture: amd64 Provides: libcoq-core-ocaml-dev-rqof7 Depends: libcompiler-libs-ocaml-dev-4b6d0, libcoq-core-ocaml-rqof7, libfindlib-ocaml-dev-8k3o3, libstdlib-ocaml-dev-m4xw9, libzarith-ocaml-dev-h79v1, ocaml-5.3.0 Description: development libraries and tools for Coq Homepage: http://coq.inria.fr/ Description-md5: 087097b71994724756abfbecea1882b9 Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb Size: 70968132 MD5sum: 25b9a640857b6f7bd26a60fb6d78529a SHA256: 045a393216fba97aa154b78240acc09f45a55cadc3bb38ad95eb0af5ae4af86b 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 libcoq-core-ocaml-dev=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 libcoq-core-ocaml-dev=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/tmpjaa0rxxb 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpjaa0rxxb 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/sid-merged-usr_amd64.tar.gz'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/proc'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/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/tmpjaa0rxxb/dev/pts'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/pts'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/ptmx'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/ptmx'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/console'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/7', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/console'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/shm'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/shm'] 0m0.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m0.4s DEBUG: Created policy-rc.d and chmodded it. 0m0.4s DEBUG: Created resolv.conf. 0m0.4s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmpjaa0rxxb/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', 'update'] 0m3.4s 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 (9350 kB/s) Reading package lists... 0m3.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', 'update'] 0m3.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-yf', 'dist-upgrade'] 0m4.1s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-yf', 'dist-upgrade'] 0m4.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.5s DUMP: 52543e3c6143b7afd6b2a99f94e781c7 - 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.5s INFO: Running scripts post_setup 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_dummy_users'] 0m5.4s 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.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_dummy_users'] 0m5.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_forbid_home'] 0m5.5s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_forbid_home'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.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' 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_minimize'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_minimize'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_zz_backports'] 0m5.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_setup_zz_backports'] 0m5.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.5s 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.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.5s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/sid2experimental/reference-chroot-metadata.dat 0m5.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m6.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m6.0s INFO: Running scripts is_testable 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/is_testable_uninstallable'] 0m6.0s INFO: Running scripts pre_test 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_test_exceptions'] 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_test_exceptions'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_test_root_password'] 0m6.0s DUMP: New password: Retype new password: passwd: password updated successfully 0m6.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_test_root_password'] 0m6.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml-dev'] 0m6.4s DUMP: Package: libcoq-core-ocaml-dev Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 131100 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Provides: libcoq-core-ocaml-dev-29kh7, libcoq-ocaml-dev (= 8.20.1+dfsg-1+b1) Depends: coq (= 8.20.1+dfsg-1+b1), libcompiler-libs-ocaml-dev-4b6d0, libcoq-core-ocaml-29kh7, libfindlib-ocaml-dev-8k3o3, libstdlib-ocaml-dev-m4xw9, libzarith-ocaml-dev-h79v1, ocaml-5.3.0 Breaks: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Description-en: development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq. Description-md5: 087097b71994724756abfbecea1882b9 Homepage: http://coq.inria.fr/ Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb Size: 68700208 MD5sum: 2b6697b3814c7089446f58ca7323e3a0 SHA256: b4e4b99984f457c63a188381f889789ded1ec38a5d43bc1da831d76a8e76d4c5 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml-dev'] 0m6.4s INFO: apt-cache knows about the following packages: libcoq-core-ocaml-dev 0m6.4s INFO: Running scripts pre_install 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_database-server'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_database-server'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_exceptions'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_exceptions'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_extras'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_extras'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy'] 0m6.5s 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: 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy', 'libcoq-core-ocaml-dev'] 0m6.5s DUMP: libcoq-core-ocaml-dev: 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 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy', 'libcoq-core-ocaml-dev'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-y', 'install', 'libcoq-core-ocaml-dev'] 0m33.1s DUMP: Reading package lists... Building dependency tree... The following additional 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 libfindlib-ocaml-dev libgcc-15-dev libgmp-dev libgmp3-dev libgmpxx4ldbl 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 libzarith-ocaml-dev 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 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 gmp-doc libgmp10-doc libmpfr-dev 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 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-core-ocaml-dev libcoq-stdlib libcrypt-dev libctf-nobfd0 libctf0 libexpat1 libffi8 libfindlib-ocaml libfindlib-ocaml-dev libgcc-15-dev libgmp-dev libgmp3-dev libgmpxx4ldbl 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 libzarith-ocaml-dev 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, 71 newly installed, 0 to remove and 0 not upgraded. Need to get 467 MB of archives. After this operation, 1666 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] Get:66 http://deb.debian.org/debian sid/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+b1 [179 kB] Get:67 http://deb.debian.org/debian sid/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5 [330 kB] Get:68 http://deb.debian.org/debian sid/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5 [658 kB] Get:69 http://deb.debian.org/debian sid/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5 [322 kB] Get:70 http://deb.debian.org/debian sid/main amd64 libzarith-ocaml-dev amd64 1.14-1+b2 [143 kB] Get:71 http://deb.debian.org/debian sid/main amd64 libcoq-core-ocaml-dev amd64 8.20.1+dfsg-1+b1 [68.7 MB] Fetched 467 MB in 8s (57.9 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) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../52-libfindlib-ocaml-dev_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+b1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../53-libgmpxx4ldbl_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../54-libgmp-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../55-libgmp3-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../56-libzarith-ocaml-dev_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../57-libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (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 libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... 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 libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... 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 libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... 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 libfindlib-ocaml-dev (1.9.8-1+b1) ... Setting up coq (8.20.1+dfsg-1+b1) ... Setting up libzarith-ocaml-dev (1.14-1+b2) ... Setting up libcoq-core-ocaml-dev (8.20.1+dfsg-1+b1) ... Processing triggers for libc-bin (2.41-12) ... 0m33.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-y', 'install', 'libcoq-core-ocaml-dev'] 0m33.1s INFO: Running scripts post_install 0m33.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_install_exceptions'] 0m33.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/post_install_exceptions'] 0m33.1s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m34.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m34.3s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpjaa0rxxb to experimental 0m34.3s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main deb http://deb.debian.org/debian/ experimental main 0m34.3s INFO: Running scripts pre_distupgrade 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_exceptions'] 0m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_exceptions'] 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m34.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m34.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', 'update'] 0m35.4s 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 (3093 kB/s) Reading package lists... 0m35.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', 'update'] 0m35.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-yf', 'dist-upgrade'] 0m36.0s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m36.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-yf', 'dist-upgrade'] 0m36.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m36.4s DUMP: 5c90a41013611025e0e2b5b4a2370e0a - 0m36.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m36.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml-dev'] 0m36.6s DUMP: Package: libcoq-core-ocaml-dev Source: coq (8.20.1+dfsg-1) Version: 8.20.1+dfsg-1+b1 Installed-Size: 131100 Maintainer: Debian OCaml Maintainers Architecture: amd64 Replaces: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Provides: libcoq-core-ocaml-dev-29kh7, libcoq-ocaml-dev (= 8.20.1+dfsg-1+b1) Depends: coq (= 8.20.1+dfsg-1+b1), libcompiler-libs-ocaml-dev-4b6d0, libcoq-core-ocaml-29kh7, libfindlib-ocaml-dev-8k3o3, libstdlib-ocaml-dev-m4xw9, libzarith-ocaml-dev-h79v1, ocaml-5.3.0 Breaks: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev Description-en: development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq. Description-md5: 087097b71994724756abfbecea1882b9 Homepage: http://coq.inria.fr/ Section: ocaml Priority: optional Filename: pool/main/c/coq/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb Size: 68700208 MD5sum: 2b6697b3814c7089446f58ca7323e3a0 SHA256: b4e4b99984f457c63a188381f889789ded1ec38a5d43bc1da831d76a8e76d4c5 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'show', '--no-all-versions', 'libcoq-core-ocaml-dev'] 0m36.6s INFO: apt-cache knows about the following packages: libcoq-core-ocaml-dev 0m36.6s INFO: Running scripts pre_install 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_database-server'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_database-server'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_exceptions'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_exceptions'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_extras'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_extras'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m36.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m36.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy'] 0m36.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: 0m36.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy'] 0m36.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy', 'libcoq-core-ocaml-dev'] 0m36.7s DUMP: libcoq-core-ocaml-dev: 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 0m36.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-cache', 'policy', 'libcoq-core-ocaml-dev'] 0m36.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-y', '-t', 'experimental', 'install', 'libcoq-core-ocaml-dev'] 0m42.2s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: coq libcoq-core libcoq-stdlib libexpat1 libffi8 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 media-types netbase python3 python3-minimal python3.13 python3.13-minimal readline-common Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: coq libcoq-core libcoq-core-ocaml The following NEW packages will be installed: libcoq-core The following packages will be upgraded: coq libcoq-core-ocaml libcoq-core-ocaml-dev 3 upgraded, 1 newly installed, 0 to remove and 31 not upgraded. Need to get 139 MB of archives. After this operation, 85.9 MB disk space will be freed. Get:1 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml-dev amd64 9.1.0+dfsg-1 [71.0 MB] 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] Get:4 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-1 [1139 kB] Fetched 139 MB in 1s (159 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19376 files and directories currently installed.) Preparing to unpack .../libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (9.1.0+dfsg-1) over (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) ... Selecting previously unselected package libcoq-core. 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) 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) 0m42.2s ERROR: Command failed (status=100): ['chroot', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb', 'apt-get', '-y', '-t', 'experimental', 'install', 'libcoq-core-ocaml-dev'] Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: coq libcoq-core libcoq-stdlib libexpat1 libffi8 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib libreadline8t64 media-types netbase python3 python3-minimal python3.13 python3.13-minimal readline-common Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: coq libcoq-core libcoq-core-ocaml The following NEW packages will be installed: libcoq-core The following packages will be upgraded: coq libcoq-core-ocaml libcoq-core-ocaml-dev 3 upgraded, 1 newly installed, 0 to remove and 31 not upgraded. Need to get 139 MB of archives. After this operation, 85.9 MB disk space will be freed. Get:1 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml-dev amd64 9.1.0+dfsg-1 [71.0 MB] 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] Get:4 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-1 [1139 kB] Fetched 139 MB in 1s (159 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19376 files and directories currently installed.) Preparing to unpack .../libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (9.1.0+dfsg-1) over (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) ... Selecting previously unselected package libcoq-core. 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) 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) 0m42.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/shm'] 0m42.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/shm'] 0m42.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/console'] 0m42.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/console'] 0m42.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/ptmx'] 0m42.9s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/ptmx'] 0m42.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/pts'] 0m43.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/dev/pts'] 0m43.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/proc'] 0m43.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb/proc'] 0m43.0s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m43.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpjaa0rxxb'] 0m43.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpjaa0rxxb 0m43.4s ERROR: piuparts run ends. ret=1 End: 2025-09-21 21:32:59 GMT