Start: 2026-11-02 22:03:44 GMT [testing] Package: mathcomp-doc Source: ssreflect Version: 2.6.0-3 Installed-Size: 133745 Maintainer: Debian OCaml Maintainers Architecture: all Depends: libjs-jquery, libjs-katex, node-markdown-it-texmath Description: Mathematical Components library for Coq (doc) Multi-Arch: foreign Homepage: https://math-comp.github.io/math-comp/ Description-md5: cd6074ff23a29f936e5eaa0298cc9ffd Section: doc Priority: optional Filename: pool/main/s/ssreflect/mathcomp-doc_2.6.0-3_all.deb Size: 7444700 MD5sum: e752a7338b81fb3c0d493520b8180285 SHA256: 1ad136edd329487b8093cc961463076b7e95f3964375e0f75f87ea5d86c51f7c [sid] Package: mathcomp-doc Source: ssreflect Version: 2.6.0-3 Installed-Size: 133745 Maintainer: Debian OCaml Maintainers Architecture: all Depends: libjs-jquery, libjs-katex, node-markdown-it-texmath Description: Mathematical Components library for Coq (doc) Multi-Arch: foreign Homepage: https://math-comp.github.io/math-comp/ Description-md5: cd6074ff23a29f936e5eaa0298cc9ffd Section: doc Priority: optional Filename: pool/main/s/ssreflect/mathcomp-doc_2.6.0-3_all.deb Size: 7444700 MD5sum: e752a7338b81fb3c0d493520b8180285 SHA256: 1ad136edd329487b8093cc961463076b7e95f3964375e0f75f87ea5d86c51f7c 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/forky-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt mathcomp-doc=2.6.0-3 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~202608291513~1.6.0-23-g1172a6e5 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/forky-merged-usr_amd64.tar.gz -d testing -d sid -B /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat --apt mathcomp-doc=2.6.0-3 0m0.0s INFO: Running on: Linux piu-slave-conova-01 6.12.113+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.113-1 (2026-10-15) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmpagiw8gyg 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmpagiw8gyg 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/forky-merged-usr_amd64.tar.gz'] 0m0.3s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/proc'] 0m0.3s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/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/tmpagiw8gyg/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/tmpagiw8gyg/dev/pts'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/ptmx'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/ptmx'] 0m0.4s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/9', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/console'] 0m0.4s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/9', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/console'] 0m0.4s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/shm'] 0m0.4s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/shm'] 0m0.4s DEBUG: sources.list: deb http://deb.debian.org/debian/ forky 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/tmpagiw8gyg/tmp/scripts/ 0m0.4s INFO: Running scripts post_chroot_unpack 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'update'] 0m2.9s DUMP: Get:1 http://deb.debian.org/debian forky InRelease [151 kB] Get:2 http://deb.debian.org/debian forky/main amd64 Packages [10.1 MB] Get:3 http://deb.debian.org/debian forky/main Translation-en [6689 kB] Fetched 17.0 MB in 1s (14.9 MB/s) Reading package lists... 0m2.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'update'] 0m2.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-yf', 'dist-upgrade'] 0m4.0s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m4.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-yf', 'dist-upgrade'] 0m4.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.5s DUMP: c5b755dcb0bffe15f194dc293f36fc88 - 0m4.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m4.5s INFO: Running scripts post_setup 0m4.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_dummy_users'] 0m5.3s 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.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_dummy_users'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_forbid_home'] 0m5.3s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_forbid_home'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.3s 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.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_force-unsafe-io'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_minimize'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_squeeze-backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_zz_backports'] 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_setup_zz_backports'] 0m5.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.3s DUMP: install ok installed apt apt 3.3.3 install ok installed base-files base-files 14.2 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-4 install ok installed bsdutils bsdutils 1:2.42.4-1 install ok installed coreutils coreutils 9.10-1 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.92 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.24 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.11 install ok installed findutils findutils 4.11.0-3 install ok installed gcc-16-base:amd64 gcc-16-base 16.2.0-3 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.14-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69+nmu3 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.3 install ok installed libattr1:amd64 libattr1 1:2.6.0-1 install ok installed libaudit-common libaudit-common 1:4.1.2-1 install ok installed libaudit1:amd64 libaudit1 1:4.1.2-1+b2 install ok installed libblkid1:amd64 libblkid1 2.42.4-1 install ok installed libbsd0:amd64 libbsd0 0.12.2-3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b2 install ok installed libc-bin libc-bin 2.43-7 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.43-7 install ok installed libc6:amd64 libc6 2.43-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.6-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.2+20251210-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-11+b1 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.283 install ok installed libgcc-s1:amd64 libgcc-s1 16.2.0-3 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b2 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1+b1 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-10 install ok installed liblzma5:amd64 liblzma5 5.8.4-1 install ok installed libmd0:amd64 libmd0 1.3.0-1 install ok installed libmount1:amd64 libmount1 2.42.4-1 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1+b1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-8 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-8 install ok installed libpam-runtime libpam-runtime 1.7.0-8 install ok installed libpam0g:amd64 libpam0g 1.7.0-8 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.48-3.1 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1+b2 install ok installed libselinux1:amd64 libselinux1 3.11-2.1+b1 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1+b2 install ok installed libsepol2:amd64 libsepol2 3.11-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.4-1 install ok installed libssl3t64:amd64 libssl3t64 3.6.5-1 install ok installed libstdc++6:amd64 libstdc++6 16.2.0-3 install ok installed libsystemd0:amd64 libsystemd0 262-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libudev1:amd64 libudev1 262-1 install ok installed libuuid1:amd64 libuuid1 2.42.4-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-4 install ok installed login login 1:4.16.0-2+really2.42.4-1 install ok installed login.defs login.defs 1:4.20.3-1 install ok installed mawk mawk 1.3.4.20260302-2 install ok installed mount mount 2.42.4-1 install ok installed ncurses-base ncurses-base 6.6+20260608-2 install ok installed ncurses-bin ncurses-bin 6.6+20260608-2 install ok installed openssl-provider-legacy openssl-provider-legacy 3.6.5-1 install ok installed passwd passwd 1:4.20.3-1 install ok installed perl-base perl-base 5.42.3-1 install ok installed sed sed 4.9-3 install ok installed sqv sqv 1.5.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-6 install ok installed tzdata tzdata 2026f-1 install ok installed util-linux util-linux 2.42.4-1 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-3 0m5.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m5.3s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/testing2sid/reference-chroot-metadata.dat 0m5.4s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m5.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m5.7s INFO: Running scripts is_testable 0m5.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/is_testable_uninstallable'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/is_testable_uninstallable'] 0m5.8s INFO: Running scripts pre_test 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_test_exceptions'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_test_root_password'] 0m5.8s DUMP: New password: Retype new password: passwd: password updated successfully 0m5.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_test_root_password'] 0m5.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'show', '--no-all-versions', 'mathcomp-doc'] 0m6.4s DUMP: Package: mathcomp-doc Source: ssreflect Version: 2.6.0-3 Installed-Size: 133745 Maintainer: Debian OCaml Maintainers Architecture: all Depends: libjs-jquery, libjs-katex, node-markdown-it-texmath Description-en: Mathematical Components library for Coq (doc) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the Mathematical Components documentation. Description-md5: cd6074ff23a29f936e5eaa0298cc9ffd Multi-Arch: foreign Homepage: https://math-comp.github.io/math-comp/ Section: doc Priority: optional Filename: pool/main/s/ssreflect/mathcomp-doc_2.6.0-3_all.deb Size: 7444700 MD5sum: e752a7338b81fb3c0d493520b8180285 SHA256: 1ad136edd329487b8093cc961463076b7e95f3964375e0f75f87ea5d86c51f7c 0m6.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'show', '--no-all-versions', 'mathcomp-doc'] 0m6.4s INFO: apt-cache knows about the following packages: mathcomp-doc 0m6.4s INFO: Running scripts pre_install 0m6.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m6.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian forky/main amd64 Packages release o=Debian,a=testing,n=forky,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m6.5s DUMP: mathcomp-doc: Installed: (none) Candidate: 2.6.0-3 Version table: 2.6.0-3 500 500 http://deb.debian.org/debian forky/main amd64 Packages 0m6.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m6.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc'] 0m9.5s DUMP: Reading package lists... Building dependency tree... Solving dependencies... The following additional packages will be installed: fonts-katex libjs-jquery libjs-katex node-markdown-it node-markdown-it-texmath node-punycode Suggested packages: node-katex Recommended packages: javascript-common The following NEW packages will be installed: fonts-katex libjs-jquery libjs-katex mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode 0 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. Need to get 8875 kB of archives. After this operation, 140 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian forky/main amd64 fonts-katex all 0.16.10+~cs6.1.0-10 [776 kB] Get:2 http://deb.debian.org/debian forky/main amd64 libjs-jquery all 3.7.1+dfsg+~3.5.33-1 [319 kB] Get:3 http://deb.debian.org/debian forky/main amd64 libjs-katex all 0.16.10+~cs6.1.0-10 [230 kB] Get:4 http://deb.debian.org/debian forky/main amd64 node-punycode all 2.3.1+~2.1.4-1 [10.8 kB] Get:5 http://deb.debian.org/debian forky/main amd64 node-markdown-it all 22.2.3+dfsg+~12.2.3-5 [83.4 kB] Get:6 http://deb.debian.org/debian forky/main amd64 node-markdown-it-texmath all 1.0-2 [10.3 kB] Get:7 http://deb.debian.org/debian forky/main amd64 mathcomp-doc all 2.6.0-3 [7445 kB] Fetched 8875 kB in 0s (48.7 MB/s) Selecting previously unselected package fonts-katex. (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 ... 4952 files and directories currently installed.) Preparing to unpack .../0-fonts-katex_0.16.10+~cs6.1.0-10_all.deb ... Unpacking fonts-katex (0.16.10+~cs6.1.0-10) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../1-libjs-jquery_3.7.1+dfsg+~3.5.33-1_all.deb ... Unpacking libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Selecting previously unselected package libjs-katex. Preparing to unpack .../2-libjs-katex_0.16.10+~cs6.1.0-10_all.deb ... Unpacking libjs-katex (0.16.10+~cs6.1.0-10) ... Selecting previously unselected package node-punycode. Preparing to unpack .../3-node-punycode_2.3.1+~2.1.4-1_all.deb ... Unpacking node-punycode (2.3.1+~2.1.4-1) ... Selecting previously unselected package node-markdown-it. Preparing to unpack .../4-node-markdown-it_22.2.3+dfsg+~12.2.3-5_all.deb ... Unpacking node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Selecting previously unselected package node-markdown-it-texmath. Preparing to unpack .../5-node-markdown-it-texmath_1.0-2_all.deb ... Unpacking node-markdown-it-texmath (1.0-2) ... Selecting previously unselected package mathcomp-doc. Preparing to unpack .../6-mathcomp-doc_2.6.0-3_all.deb ... Unpacking mathcomp-doc (2.6.0-3) ... Setting up fonts-katex (0.16.10+~cs6.1.0-10) ... Setting up node-punycode (2.3.1+~2.1.4-1) ... Setting up libjs-katex (0.16.10+~cs6.1.0-10) ... Setting up libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Setting up node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Setting up node-markdown-it-texmath (1.0-2) ... Setting up mathcomp-doc (2.6.0-3) ... 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc'] 0m9.5s INFO: Running scripts post_install 0m9.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m9.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m9.5s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m9.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m9.9s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmpagiw8gyg to sid 0m9.9s DEBUG: sources.list: deb http://deb.debian.org/debian/ sid main 0m9.9s INFO: Running scripts pre_distupgrade 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_exceptions'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_exceptions'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m9.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m9.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'update'] 0m14.2s DUMP: Get:1 http://deb.debian.org/debian sid InRelease [193 kB] Get:2 http://deb.debian.org/debian sid/main amd64 Packages [10.8 MB] Get:3 http://deb.debian.org/debian sid/main Translation-en [7776 kB] Fetched 18.8 MB in 3s (6509 kB/s) Reading package lists... 0m14.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'update'] 0m14.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-yf', 'dist-upgrade'] 0m17.7s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: libcap2 The following packages will be upgraded: apt coreutils gcc-16-base libapt-pkg7.0 libaudit-common libaudit1 libdb5.3t64 libgcc-s1 libpcre2-8-0 libstdc++6 libsystemd0 libudev1 tar zlib1g 14 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 9878 kB of archives. After this operation, 2016 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian sid/main amd64 libcap2 amd64 1:2.78-1+b1 [28.8 kB] Get:2 http://deb.debian.org/debian sid/main amd64 coreutils amd64 9.12-0.3 [3339 kB] Get:3 http://deb.debian.org/debian sid/main amd64 tar amd64 1.35+dfsg-7 [825 kB] Get:4 http://deb.debian.org/debian sid/main amd64 gcc-16-base amd64 16.2.0-4 [39.3 kB] Get:5 http://deb.debian.org/debian sid/main amd64 libgcc-s1 amd64 16.2.0-4 [74.1 kB] Get:6 http://deb.debian.org/debian sid/main amd64 libstdc++6 amd64 16.2.0-4 [822 kB] Get:7 http://deb.debian.org/debian sid/main amd64 libsystemd0 amd64 262.1-1 [512 kB] Get:8 http://deb.debian.org/debian sid/main amd64 libudev1 amd64 262.1-1 [149 kB] Get:9 http://deb.debian.org/debian sid/main amd64 zlib1g amd64 1:1.3.dfsg+really1.3.2-4 [92.4 kB] Get:10 http://deb.debian.org/debian sid/main amd64 libapt-pkg7.0 amd64 3.3.5 [1292 kB] Get:11 http://deb.debian.org/debian sid/main amd64 apt amd64 3.3.5 [1580 kB] Get:12 http://deb.debian.org/debian sid/main amd64 libaudit-common all 1:4.2.1-1 [13.3 kB] Get:13 http://deb.debian.org/debian sid/main amd64 libaudit1 amd64 1:4.2.1-1+b1 [59.9 kB] Get:14 http://deb.debian.org/debian sid/main amd64 libdb5.3t64 amd64 5.3.28+dfsg2-12 [737 kB] Get:15 http://deb.debian.org/debian sid/main amd64 libpcre2-8-0 amd64 10.49-1 [313 kB] Fetched 9878 kB in 0s (103 MB/s) Selecting previously unselected package libcap2: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 ... 5495 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.78-1+b1_amd64.deb ... Unpacking libcap2:amd64 (1:2.78-1+b1) ... Setting up libcap2:amd64 (1:2.78-1+b1) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../coreutils_9.12-0.3_amd64.deb ... Unpacking coreutils (9.12-0.3) over (9.10-1) ... Setting up coreutils (9.12-0.3) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-7_amd64.deb ... Unpacking tar (1.35+dfsg-7) over (1.35+dfsg-6) ... Setting up tar (1.35+dfsg-7) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../gcc-16-base_16.2.0-4_amd64.deb ... Unpacking gcc-16-base:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up gcc-16-base:amd64 (16.2.0-4) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libgcc-s1_16.2.0-4_amd64.deb ... Unpacking libgcc-s1:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up libgcc-s1:amd64 (16.2.0-4) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libstdc++6_16.2.0-4_amd64.deb ... Unpacking libstdc++6:amd64 (16.2.0-4) over (16.2.0-3) ... Setting up libstdc++6:amd64 (16.2.0-4) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libsystemd0_262.1-1_amd64.deb ... Unpacking libsystemd0:amd64 (262.1-1) over (262-1) ... Setting up libsystemd0:amd64 (262.1-1) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libudev1_262.1-1_amd64.deb ... Unpacking libudev1:amd64 (262.1-1) over (262-1) ... Setting up libudev1:amd64 (262.1-1) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg+really1.3.2-4_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg+really1.3.2-4) over (1:1.3.dfsg+really1.3.2-3) ... Setting up zlib1g:amd64 (1:1.3.dfsg+really1.3.2-4) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libapt-pkg7.0_3.3.5_amd64.deb ... Unpacking libapt-pkg7.0:amd64 (3.3.5) over (3.3.3) ... Setting up libapt-pkg7.0:amd64 (3.3.5) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../archives/apt_3.3.5_amd64.deb ... Unpacking apt (3.3.5) over (3.3.3) ... Setting up apt (3.3.5) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a4.2.1-1_all.deb ... Unpacking libaudit-common (1:4.2.1-1) over (1:4.1.2-1) ... Setting up libaudit-common (1:4.2.1-1) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a4.2.1-1+b1_amd64.deb ... Unpacking libaudit1:amd64 (1:4.2.1-1+b1) over (1:4.1.2-1+b2) ... Setting up libaudit1:amd64 (1:4.2.1-1+b1) ... (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 ... 5504 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-12_amd64.deb ... Unpacking libdb5.3t64:amd64 (5.3.28+dfsg2-12) over (5.3.28+dfsg2-11+b1) ... Setting up libdb5.3t64:amd64 (5.3.28+dfsg2-12) ... (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 ... 5503 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.49-1_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.49-1) over (10.48-3.1) ... Setting up libpcre2-8-0:amd64 (10.49-1) ... Processing triggers for libselinux1:amd64 (3.11-2.1+b1) ... Processing triggers for libc-bin (2.43-7) ... 0m17.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-yf', 'dist-upgrade'] 0m17.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m19.8s DUMP: 0eaf8f1199463b4c5d87718f2b789cb7 - 0m19.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m19.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'show', '--no-all-versions', 'mathcomp-doc'] 0m20.1s DUMP: Package: mathcomp-doc Source: ssreflect Version: 2.6.0-3 Installed-Size: 133745 Maintainer: Debian OCaml Maintainers Architecture: all Depends: libjs-jquery, libjs-katex, node-markdown-it-texmath Description-en: Mathematical Components library for Coq (doc) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the Mathematical Components documentation. Description-md5: cd6074ff23a29f936e5eaa0298cc9ffd Multi-Arch: foreign Homepage: https://math-comp.github.io/math-comp/ Section: doc Priority: optional Filename: pool/main/s/ssreflect/mathcomp-doc_2.6.0-3_all.deb Size: 7444700 MD5sum: e752a7338b81fb3c0d493520b8180285 SHA256: 1ad136edd329487b8093cc961463076b7e95f3964375e0f75f87ea5d86c51f7c 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'show', '--no-all-versions', 'mathcomp-doc'] 0m20.1s INFO: apt-cache knows about the following packages: mathcomp-doc 0m20.1s INFO: Running scripts pre_install 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m20.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m20.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m20.3s 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: 0m20.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m20.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m20.3s DUMP: mathcomp-doc: Installed: 2.6.0-3 Candidate: 2.6.0-3 Version table: *** 2.6.0-3 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m20.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m20.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc'] 0m21.8s DUMP: Reading package lists... Building dependency tree... Reading state information... mathcomp-doc is already the newest version (2.6.0-3). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc'] 0m21.8s INFO: Running scripts post_install 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m21.8s INFO: Running scripts post_distupgrade 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_exceptions'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_exceptions'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m21.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_zz_backports'] 0m21.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_distupgrade_zz_backports'] 0m21.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m22.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m22.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m22.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m22.7s INFO: Running scripts pre_install 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_database-server'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_exceptions'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_extras'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m22.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m22.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m22.8s 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: 0m22.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy'] 0m22.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m22.9s DUMP: mathcomp-doc: Installed: 2.6.0-3 Candidate: 2.6.0-3 Version table: *** 2.6.0-3 500 500 http://deb.debian.org/debian sid/main amd64 Packages 100 /var/lib/dpkg/status 0m22.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-cache', 'policy', 'mathcomp-doc'] 0m22.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc=2.6.0-3'] 0m23.9s DUMP: Reading package lists... Building dependency tree... Reading state information... mathcomp-doc is already the newest version (2.6.0-3). Solving dependencies... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', '-y', 'install', 'mathcomp-doc=2.6.0-3'] 0m23.9s INFO: Running scripts post_install 0m23.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_install_exceptions'] 0m23.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m24.3s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m24.4s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', '-ac', '--ignore-obsolete'] 0m25.2s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', '-ac', '--ignore-obsolete'] 0m25.2s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m25.2s DUMP: 0.17.5+b5 0m25.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m25.2s INFO: Running adequate version 0.17.5+b5 now. 0m25.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'mathcomp-doc'] 0m25.3s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'mathcomp-doc'] 0m25.3s INFO: Running scripts pre_remove 0m25.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m25.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m25.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m25.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m25.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m25.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m25.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_exceptions'] 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/pre_remove_exceptions'] 0m25.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m25.8s DUMP: install ok installed apt apt 3.3.5 install ok installed base-files base-files 14.2 install ok installed base-passwd base-passwd 3.6.8 install ok installed bash bash 5.3-4 install ok installed bsdutils bsdutils 1:2.42.4-1 install ok installed coreutils coreutils 9.12-0.3 install ok installed dash dash 0.5.12-12 install ok installed debconf debconf 1.5.92 install ok installed debian-archive-keyring debian-archive-keyring 2025.1 install ok installed debianutils debianutils 5.24 install ok installed diffutils diffutils 1:3.12-1 install ok installed dpkg dpkg 1.23.11 install ok installed findutils findutils 4.11.0-3 install ok installed fonts-katex fonts-katex 0.16.10+~cs6.1.0-10 install ok installed gcc-16-base:amd64 gcc-16-base 16.2.0-4 install ok installed grep grep 3.12-1 install ok installed gzip gzip 1.14-1 install ok installed hostname hostname 3.25 install ok installed init-system-helpers init-system-helpers 1.69+nmu3 install ok installed libacl1:amd64 libacl1 2.4.0-1 install ok installed libapt-pkg7.0:amd64 libapt-pkg7.0 3.3.5 install ok installed libattr1:amd64 libattr1 1:2.6.0-1 install ok installed libaudit-common libaudit-common 1:4.2.1-1 install ok installed libaudit1:amd64 libaudit1 1:4.2.1-1+b1 install ok installed libblkid1:amd64 libblkid1 2.42.4-1 install ok installed libbsd0:amd64 libbsd0 0.12.2-3 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-6+b2 install ok installed libc-bin libc-bin 2.43-7 install ok installed libc-gconv-modules-extra:amd64 libc-gconv-modules-extra 2.43-7 install ok installed libc6:amd64 libc6 2.43-7 install ok installed libcap-ng0:amd64 libcap-ng0 0.9.6-1+b1 install ok installed libcap2:amd64 libcap2 1:2.78-1+b1 install ok installed libcrypt1:amd64 libcrypt1 1:4.5.2+20251210-1 install ok installed libdb5.3t64:amd64 libdb5.3t64 5.3.28+dfsg2-12 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.283 install ok installed libgcc-s1:amd64 libgcc-s1 16.2.0-4 install ok installed libgmp10:amd64 libgmp10 2:6.3.0+dfsg-5+b2 install ok installed libhogweed6t64:amd64 libhogweed6t64 3.10.2-1+b1 install ok installed libjs-jquery libjs-jquery 3.7.1+dfsg+~3.5.33-1 install ok installed libjs-katex libjs-katex 0.16.10+~cs6.1.0-10 install ok installed liblz4-1:amd64 liblz4-1 1.10.0-10 install ok installed liblzma5:amd64 liblzma5 5.8.4-1 install ok installed libmd0:amd64 libmd0 1.3.0-1 install ok installed libmount1:amd64 libmount1 2.42.4-1 install ok installed libnettle8t64:amd64 libnettle8t64 3.10.2-1+b1 install ok installed libpam-modules:amd64 libpam-modules 1.7.0-8 install ok installed libpam-modules-bin libpam-modules-bin 1.7.0-8 install ok installed libpam-runtime libpam-runtime 1.7.0-8 install ok installed libpam0g:amd64 libpam0g 1.7.0-8 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.49-1 install ok installed libseccomp2:amd64 libseccomp2 2.6.1-1+b2 install ok installed libselinux1:amd64 libselinux1 3.11-2.1+b1 install ok installed libsemanage-common libsemanage-common 3.11-1 install ok installed libsemanage2:amd64 libsemanage2 3.11-1+b2 install ok installed libsepol2:amd64 libsepol2 3.11-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.42.4-1 install ok installed libssl3t64:amd64 libssl3t64 3.6.5-1 install ok installed libstdc++6:amd64 libstdc++6 16.2.0-4 install ok installed libsystemd0:amd64 libsystemd0 262.1-1 install ok installed libtinfo6:amd64 libtinfo6 6.6+20260608-2 install ok installed libudev1:amd64 libudev1 262.1-1 install ok installed libuuid1:amd64 libuuid1 2.42.4-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.3-2+b2 install ok installed libzstd1:amd64 libzstd1 1.5.7+dfsg-4 install ok installed login login 1:4.16.0-2+really2.42.4-1 install ok installed login.defs login.defs 1:4.20.3-1 install ok installed mathcomp-doc mathcomp-doc 2.6.0-3 install ok installed mawk mawk 1.3.4.20260302-2 install ok installed mount mount 2.42.4-1 install ok installed ncurses-base ncurses-base 6.6+20260608-2 install ok installed ncurses-bin ncurses-bin 6.6+20260608-2 install ok installed node-markdown-it node-markdown-it 22.2.3+dfsg+~12.2.3-5 install ok installed node-markdown-it-texmath node-markdown-it-texmath 1.0-2 install ok installed node-punycode node-punycode 2.3.1+~2.1.4-1 install ok installed openssl-provider-legacy openssl-provider-legacy 3.6.5-1 install ok installed passwd passwd 1:4.20.3-1 install ok installed perl-base perl-base 5.42.3-1 install ok installed sed sed 4.9-3 install ok installed sqv sqv 1.5.0-1 install ok installed sysvinit-utils sysvinit-utils 3.18-1 install ok installed tar tar 1.35+dfsg-7 install ok installed tzdata tzdata 2026f-1 install ok installed util-linux util-linux 2.42.4-1 install ok installed zlib1g:amd64 zlib1g 1:1.3.dfsg+really1.3.2-4 0m25.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m25.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'remove', '--allow-remove-essential', 'fonts-katex', 'libjs-jquery', 'libjs-katex', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'mathcomp-doc'] 0m27.5s DUMP: Reading package lists... Building dependency tree... Reading state information... Solving dependencies... The following packages will be REMOVED: fonts-katex libjs-jquery libjs-katex mathcomp-doc node-markdown-it node-markdown-it-texmath node-punycode 0 upgraded, 0 newly installed, 7 to remove and 0 not upgraded. After this operation, 140 MB disk space will be freed. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 5503 files and directories currently installed.) Removing mathcomp-doc (2.6.0-3) ... Removing libjs-katex (0.16.10+~cs6.1.0-10) ... Removing fonts-katex (0.16.10+~cs6.1.0-10) ... Removing libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... Removing node-markdown-it-texmath (1.0-2) ... Removing node-markdown-it (22.2.3+dfsg+~12.2.3-5) ... Removing node-punycode (2.3.1+~2.1.4-1) ... 0m27.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'remove', '--allow-remove-essential', 'fonts-katex', 'libjs-jquery', 'libjs-katex', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode', 'mathcomp-doc'] 0m27.5s INFO: Running scripts post_remove 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_remove_exceptions'] 0m27.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_remove_exceptions'] 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', 'fonts-katex', 'libjs-jquery', 'libjs-katex', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode'] 0m27.5s DUMP: dpkg: warning: ignoring request to remove fonts-katex which is not installed (Reading database ... 4960 files and directories currently installed.) Purging configuration files for libjs-jquery (3.7.1+dfsg+~3.5.33-1) ... dpkg: warning: ignoring request to remove libjs-katex which is not installed dpkg: warning: ignoring request to remove node-markdown-it which is not installed dpkg: warning: ignoring request to remove node-markdown-it-texmath which is not installed dpkg: warning: ignoring request to remove node-punycode which is not installed 0m27.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', 'fonts-katex', 'libjs-jquery', 'libjs-katex', 'node-markdown-it', 'node-markdown-it-texmath', 'node-punycode'] 0m27.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', 'mathcomp-doc'] 0m27.6s DUMP: dpkg: warning: ignoring request to remove mathcomp-doc which is not installed 0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', 'mathcomp-doc'] 0m27.6s INFO: Running scripts post_purge 0m27.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_purge_exceptions'] 0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_purge_exceptions'] 0m27.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', '--pending'] 0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--purge', '--pending'] 0m27.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--remove', '--pending'] 0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg', '--remove', '--pending'] 0m27.6s INFO: Running scripts post_test 0m27.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_test_exceptions'] 0m27.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'tmp/scripts/post_test_exceptions'] 0m27.6s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m27.9s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m27.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-divert', '--list'] 0m28.0s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged local diversion of /home to /home.distrib diversion of /lib64/ld-linux-x86-64.so.2 to /lib64/ld-linux-x86-64.so.2.usr-is-merged by libc6 diversion of /libx32 to /.libx32.usr-is-merged by base-files local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /lib32 to /.lib32.usr-is-merged by base-files diversion of /libo32 to /.libo32.usr-is-merged by base-files 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'dpkg-divert', '--list'] 0m28.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'clean'] 0m28.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg', 'apt-get', 'clean'] 0m28.0s DEBUG: Recording chroot state 0m28.9s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/shm'] 0m29.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/shm'] 0m29.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/console'] 0m29.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/console'] 0m29.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/ptmx'] 0m29.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/ptmx'] 0m29.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/pts'] 0m29.0s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/dev/pts'] 0m29.0s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/proc'] 0m29.1s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg/proc'] 0m29.1s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m29.2s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmpagiw8gyg'] 0m29.2s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmpagiw8gyg 0m29.2s INFO: PASS: Upgrading between Debian distributions. 0m29.2s INFO: PASS: All tests. 0m29.2s INFO: piuparts run ends. ret=0 End: 2026-11-02 22:04:13 GMT