Start: 2024-10-17 04:47:30 GMT [bullseye] Package: frama-c-base Source: frama-c Version: 20201209+titanium-4.1 Installed-Size: 281644 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libc6 (>= 2.29), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10 (>= 2:5.1.1), libgtk-3-0 (>= 3.9.10), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libbiniou-ocaml-dsqd1, libcairo2-ocaml-vwag2, libeasy-format-ocaml-1ajv1, libfindlib-ocaml-wh6n1, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, libyojson-ocaml-mkm52, libzarith-ocaml-rccg7, ocaml-base-nox-4.11.1, perl:any, libocamlgraph-ocaml-dev, gcc, python3 Recommends: alt-ergo, why3, libwhy3-ocaml-dev Description: Platform dedicated to the analysis of source code written in C Homepage: https://frama-c.com Description-md5: 2e7860054dd191ec0787bab2062c3031 Tag: devel::testing-qa, interface::graphical, interface::x11, role::program, uitoolkit::gtk, uitoolkit::ncurses, x11::application Section: devel Priority: optional Filename: pool/main/f/frama-c/frama-c-base_20201209+titanium-4.1_amd64.deb Size: 60634612 MD5sum: ee412f62710536a586fc875b9e98f2b9 SHA256: f4cc375824f57dd59a94f513e6a0ebdac3904f696d90ad5ae1beebec37c770e6 [bullseye-next] Package: frama-c-base Source: frama-c Version: 20201209+titanium-4.1 Installed-Size: 281644 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libc6 (>= 2.29), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10 (>= 2:5.1.1), libgtk-3-0 (>= 3.9.10), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libbiniou-ocaml-dsqd1, libcairo2-ocaml-vwag2, libeasy-format-ocaml-1ajv1, libfindlib-ocaml-wh6n1, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, libyojson-ocaml-mkm52, libzarith-ocaml-rccg7, ocaml-base-nox-4.11.1, perl:any, libocamlgraph-ocaml-dev, gcc, python3 Recommends: alt-ergo, why3, libwhy3-ocaml-dev Description: Platform dedicated to the analysis of source code written in C Homepage: https://frama-c.com Description-md5: 2e7860054dd191ec0787bab2062c3031 Tag: devel::testing-qa, interface::graphical, interface::x11, role::program, uitoolkit::gtk, uitoolkit::ncurses, x11::application Section: devel Priority: optional Filename: pool/main/f/frama-c/frama-c-base_20201209+titanium-4.1_amd64.deb Size: 60634612 MD5sum: ee412f62710536a586fc875b9e98f2b9 SHA256: f4cc375824f57dd59a94f513e6a0ebdac3904f696d90ad5ae1beebec37c770e6 Executing: sudo env PYTHONPATH=/srv/piuparts.debian.org/lib/python3/dist-packages timeout -s INT -k 5m 80m /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz -d bullseye -d bullseye-next -B /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat --apt frama-c-base=20201209+titanium-4.1 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: To quickly glance what went wrong, scroll down to the bottom of this logfile. 0m0.0s INFO: FAQ available at https://wiki.debian.org/piuparts/FAQ 0m0.0s INFO: The FAQ also explains how to contact us in case you think piuparts is wrong. 0m0.0s INFO: ------------------------------------------------------------------------------ 0m0.0s INFO: piuparts version 1.4.5~202409272043~1.4.4-4-gf0f1b5e8 starting up. 0m0.0s INFO: Command line arguments: /srv/piuparts.debian.org/sbin/piuparts --scriptsdir /etc/piuparts/scripts --no-eatmydata --allow-database --warn-on-leftovers-after-purge --warn-on-usr-move fail --mirror 'http://deb.debian.org/debian/ main' --tmpdir /srv/piuparts.debian.org/tmp --arch amd64 -b /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz -d bullseye -d bullseye-next -B /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat --apt frama-c-base=20201209+titanium-4.1 0m0.0s INFO: Running on: Linux piu-slave-ubc-01 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 0m0.0s DEBUG: Created temporary directory /srv/piuparts.debian.org/tmp/tmps4dom78e 0m0.0s DEBUG: Unpacking /srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz into /srv/piuparts.debian.org/tmp/tmps4dom78e 0m0.0s DEBUG: Starting command: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmps4dom78e', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Command ok: ['tar', '-C', '/srv/piuparts.debian.org/tmp/tmps4dom78e', '--auto-compress', '-xf', '/srv/piuparts.debian.org/slave/basetgz/bullseye-merged-usr_amd64.tar.gz'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmps4dom78e/proc'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'proc', 'proc', '/srv/piuparts.debian.org/tmp/tmps4dom78e/proc'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'devpts', '-o', 'newinstance,noexec,nosuid,gid=5,mode=0620,ptmxmode=0666', 'devpts', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/ptmx'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts/ptmx', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/ptmx'] 0m0.2s DEBUG: Starting command: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/console'] 0m0.2s DEBUG: Command ok: ['mount', '-o', 'bind', '/dev/pts/1', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/console'] 0m0.2s DEBUG: Starting command: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/shm'] 0m0.2s DEBUG: Command ok: ['mount', '-t', 'tmpfs', '-o', 'size=65536k', 'tmpfs', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/shm'] 0m0.2s DEBUG: sources.list: deb http://deb.debian.org/debian/ bullseye main 0m0.2s DEBUG: Created policy-rc.d and chmodded it. 0m0.2s DEBUG: Created resolv.conf. 0m0.2s DEBUG: Copying scriptsdir /etc/piuparts/scripts to /srv/piuparts.debian.org/tmp/tmps4dom78e/tmp/scripts/ 0m0.2s INFO: Running scripts post_chroot_unpack 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_chroot_unpack_allow_unauthenticated'] 0m0.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'update'] 0m0.7s DUMP: Hit:1 http://deb.debian.org/debian bullseye InRelease Reading package lists... 0m0.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'update'] 0m0.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-yf', 'dist-upgrade'] 0m0.9s DUMP: Reading package lists... Building dependency tree... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-yf', 'dist-upgrade'] 0m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m1.0s DUMP: f58ca9ba0b3223edf5b7797c101a5448 - 0m1.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m1.0s INFO: Running scripts post_setup 0m1.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_dummy_users'] 0m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_dummy_users'] 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_forbid_home'] 0m1.6s DUMP: Disabling /home Adding 'local diversion of /home to /home.distrib' 0m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_forbid_home'] 0m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.7s 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' 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_force-unsafe-io'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_minimize'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_minimize'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_squeeze-backports'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_zz_backports'] 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_setup_zz_backports'] 0m1.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.7s DUMP: install ok installed adduser adduser 3.118+deb11u1 install ok installed apt apt 2.2.4 install ok installed base-files base-files 11.1+deb11u11 install ok installed base-passwd base-passwd 3.5.51 install ok installed bash bash 5.1-2+deb11u1 install ok installed bsdutils bsdutils 1:2.36.1-8+deb11u2 install ok installed coreutils coreutils 8.32-4+b1 install ok installed dash dash 0.5.11+git20200708+dd9ef66-5 install ok installed debconf debconf 1.5.77 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1+deb11u1 install ok installed debianutils debianutils 4.11.2 install ok installed diffutils diffutils 1:3.7-5 install ok installed dpkg dpkg 1.20.13 install ok installed e2fsprogs e2fsprogs 1.46.2-2 install ok installed findutils findutils 4.8.0-1 install ok installed gcc-10-base:amd64 gcc-10-base 10.2.1-6 install ok installed gcc-9-base:amd64 gcc-9-base 9.3.0-22 install ok installed gpgv gpgv 2.2.27-2+deb11u2 install ok installed grep grep 3.6-1+deb11u1 install ok installed gzip gzip 1.10-4+deb11u1 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.60 install ok installed libacl1:amd64 libacl1 2.2.53-10 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.2.4 install ok installed libattr1:amd64 libattr1 1:2.4.48-6 install ok installed libaudit-common libaudit-common 1:3.0-2 install ok installed libaudit1:amd64 libaudit1 1:3.0-2 install ok installed libblkid1:amd64 libblkid1 2.36.1-8+deb11u2 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-4 install ok installed libc-bin libc-bin 2.31-13+deb11u11 install ok installed libc6:amd64 libc6 2.31-13+deb11u11 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.2+b1 install ok installed libcom-err2:amd64 libcom-err2 1.46.2-2 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.18-4 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.8 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.260 install ok installed libext2fs2:amd64 libext2fs2 1.46.2-2 install ok installed libffi7:amd64 libffi7 3.3-6 install ok installed libgcc-s1:amd64 libgcc-s1 10.2.1-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.7-6 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-1+deb11u1 install ok installed libgnutls30:amd64 libgnutls30 3.7.1-5+deb11u5 install ok installed libgpg-error0:amd64 libgpg-error0 1.38-2 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.18.3-6+deb11u5 install ok installed libhogweed6:amd64 libhogweed6 3.7.3-1 install ok installed libidn2-0:amd64 libidn2-0 2.3.0-5 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-6+deb11u5 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-6+deb11u5 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u5 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2.1~deb11u1 install ok installed libmount1:amd64 libmount1 2.36.1-8+deb11u2 install ok installed libnettle8:amd64 libnettle8 3.7.3-1 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.22-1 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-9+deb11u1 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-9+deb11u1 install ok installed libpam-runtime libpam-runtime 1.4.0-9+deb11u1 install ok installed libpam0g:amd64 libpam0g 1.4.0-9+deb11u1 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.36-2+deb11u1 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libseccomp2:amd64 libseccomp2 2.5.1-1+deb11u1 install ok installed libselinux1:amd64 libselinux1 3.1-3 install ok installed libsemanage-common libsemanage-common 3.1-1 install ok installed libsemanage1:amd64 libsemanage1 3.1-1+b2 install ok installed libsepol1:amd64 libsepol1 3.1-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.36.1-8+deb11u2 install ok installed libss2:amd64 libss2 1.46.2-2 install ok installed libssl1.1:amd64 libssl1.1 1.1.1w-0+deb11u1 install ok installed libstdc++6:amd64 libstdc++6 10.2.1-6 install ok installed libsystemd0:amd64 libsystemd0 247.3-7+deb11u5 install ok installed libtasn1-6:amd64 libtasn1-6 4.16.0-2+deb11u1 install ok installed libtinfo6:amd64 libtinfo6 6.2+20201114-2+deb11u2 install ok installed libtirpc-common libtirpc-common 1.3.1-1+deb11u1 install ok installed libtirpc3:amd64 libtirpc3 1.3.1-1+deb11u1 install ok installed libudev1:amd64 libudev1 247.3-7+deb11u5 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u2 install ok installed libxxhash0:amd64 libxxhash0 0.8.0-2 install ok installed libzstd1:amd64 libzstd1 1.4.8+dfsg-2.1 install ok installed login login 1:4.8.1-1 install ok installed logsave logsave 1.46.2-2 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.4.20200120-2 install ok installed mount mount 2.36.1-8+deb11u2 install ok installed ncurses-base ncurses-base 6.2+20201114-2+deb11u2 install ok installed ncurses-bin ncurses-bin 6.2+20201114-2+deb11u2 install ok installed passwd passwd 1:4.8.1-1 install ok installed perl-base perl-base 5.32.1-4+deb11u3 install ok installed sed sed 4.7-1 install ok installed sysvinit-utils sysvinit-utils 2.96-7+deb11u1 install ok installed tar tar 1.34+dfsg-1+deb11u1 install ok installed tzdata tzdata 2024a-0+deb11u1 install ok installed util-linux util-linux 2.36.1-8+deb11u2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 0m1.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m1.7s DEBUG: Loading chroot meta data from /srv/piuparts.debian.org/slave/refchroot/bullseye2next/reference-chroot-metadata.dat 0m1.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m2.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m2.0s INFO: Running scripts is_testable 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/is_testable_uninstallable'] 0m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/is_testable_uninstallable'] 0m2.0s INFO: Running scripts pre_test 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_test_exceptions'] 0m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_test_exceptions'] 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_test_root_password'] 0m2.0s DUMP: New password: Retype new password: passwd: password updated successfully 0m2.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_test_root_password'] 0m2.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'show', '--no-all-versions', 'frama-c-base'] 0m2.1s DUMP: Package: frama-c-base Source: frama-c Version: 20201209+titanium-4.1 Installed-Size: 281644 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libc6 (>= 2.29), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10 (>= 2:5.1.1), libgtk-3-0 (>= 3.9.10), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libbiniou-ocaml-dsqd1, libcairo2-ocaml-vwag2, libeasy-format-ocaml-1ajv1, libfindlib-ocaml-wh6n1, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, libyojson-ocaml-mkm52, libzarith-ocaml-rccg7, ocaml-base-nox-4.11.1, perl:any, libocamlgraph-ocaml-dev, gcc, python3 Recommends: alt-ergo, why3, libwhy3-ocaml-dev Description-en: Platform dedicated to the analysis of source code written in C Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aora? plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface. Description-md5: 2e7860054dd191ec0787bab2062c3031 Homepage: https://frama-c.com Tag: devel::testing-qa, interface::graphical, interface::x11, role::program, uitoolkit::gtk, uitoolkit::ncurses, x11::application Section: devel Priority: optional Filename: pool/main/f/frama-c/frama-c-base_20201209+titanium-4.1_amd64.deb Size: 60634612 MD5sum: ee412f62710536a586fc875b9e98f2b9 SHA256: f4cc375824f57dd59a94f513e6a0ebdac3904f696d90ad5ae1beebec37c770e6 0m2.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'show', '--no-all-versions', 'frama-c-base'] 0m2.1s INFO: apt-cache knows about the following packages: frama-c-base 0m2.1s INFO: Running scripts pre_install 0m2.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m2.2s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m2.2s DUMP: frama-c-base: Installed: (none) Candidate: 20201209+titanium-4.1 Version table: 20201209+titanium-4.1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 0m2.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m2.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base'] 0m44.2s DUMP: Reading package lists... Building dependency tree... The following additional packages will be installed: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-10 dbus dbus-user-session dconf-gsettings-backend dconf-service dmsetup fontconfig fontconfig-config fonts-dejavu-core gcc gcc-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme libapparmor1 libargon2-1 libasan6 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbiniou-ocaml libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcap2 libcc1-0 libcolord2 libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libeasy-format-ocaml libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-10-dev libgdbm-compat4 libgdbm6 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.32 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox perl perl-modules-5.32 python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv ucf xkb-data Suggested packages: binutils-doc cpp-doc gcc-10-locales gcc-multilib make manpages-dev autoconf automake libtool flex bison gdb gcc-doc gcc-10-multilib gcc-10-doc glibc-doc colord cups-common gdbm-l10n gvfs liblcms2-utils ncurses-doc ocaml-doc elpa-tuareg perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl libtap-harness-archive-perl python3-doc python3-tk python3-venv python3.9-venv python3.9-doc binfmt-support readline-doc systemd-container policykit-1 Recommended packages: librsvg2-common alt-ergo why3 libwhy3-ocaml-dev at-spi2-core ocaml-findlib manpages manpages-dev libc-devtools libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgtk-3-bin libgpm2 publicsuffix ca-certificates ocaml-man ledit | readline-editor file netbase systemd-timesyncd | time-daemon libnss-systemd The following NEW packages will be installed: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-10 dbus dbus-user-session dconf-gsettings-backend dconf-service dmsetup fontconfig fontconfig-config fonts-dejavu-core frama-c-base gcc gcc-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme libapparmor1 libargon2-1 libasan6 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbiniou-ocaml libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcap2 libcc1-0 libcolord2 libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libeasy-format-ocaml libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-10-dev libgdbm-compat4 libgdbm6 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.32 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox perl perl-modules-5.32 python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv ucf xkb-data 0 upgraded, 169 newly installed, 0 to remove and 0 not upgraded. Need to get 281 MB of archives. After this operation, 1203 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian bullseye/main amd64 libapparmor1 amd64 2.13.6-10 [99.3 kB] Get:2 http://deb.debian.org/debian bullseye/main amd64 libcap2 amd64 1:2.44-1 [23.6 kB] Get:3 http://deb.debian.org/debian bullseye/main amd64 libargon2-1 amd64 0~20171227-0.2 [19.6 kB] Get:4 http://deb.debian.org/debian bullseye/main amd64 dmsetup amd64 2:1.02.175-2.1 [92.1 kB] Get:5 http://deb.debian.org/debian bullseye/main amd64 libdevmapper1.02.1 amd64 2:1.02.175-2.1 [143 kB] Get:6 http://deb.debian.org/debian bullseye/main amd64 libjson-c5 amd64 0.15-2+deb11u1 [42.9 kB] Get:7 http://deb.debian.org/debian bullseye/main amd64 libcryptsetup12 amd64 2:2.3.7-1+deb11u1 [248 kB] Get:8 http://deb.debian.org/debian bullseye/main amd64 libip4tc2 amd64 1.8.7-1 [34.6 kB] Get:9 http://deb.debian.org/debian bullseye/main amd64 libkmod2 amd64 28-1 [55.6 kB] Get:10 http://deb.debian.org/debian bullseye/main amd64 systemd amd64 247.3-7+deb11u5 [4502 kB] Get:11 http://deb.debian.org/debian bullseye/main amd64 systemd-sysv amd64 247.3-7+deb11u5 [114 kB] Get:12 http://deb.debian.org/debian bullseye/main amd64 libdbus-1-3 amd64 1.12.28-0+deb11u1 [223 kB] Get:13 http://deb.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.10-2+deb11u5 [98.2 kB] Get:14 http://deb.debian.org/debian bullseye/main amd64 dbus amd64 1.12.28-0+deb11u1 [244 kB] Get:15 http://deb.debian.org/debian bullseye/main amd64 perl-modules-5.32 all 5.32.1-4+deb11u3 [2823 kB] Get:16 http://deb.debian.org/debian bullseye/main amd64 libgdbm6 amd64 1.19-2 [64.9 kB] Get:17 http://deb.debian.org/debian bullseye/main amd64 libgdbm-compat4 amd64 1.19-2 [44.7 kB] Get:18 http://deb.debian.org/debian bullseye/main amd64 libperl5.32 amd64 5.32.1-4+deb11u3 [4121 kB] Get:19 http://deb.debian.org/debian bullseye/main amd64 perl amd64 5.32.1-4+deb11u3 [293 kB] Get:20 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-minimal amd64 3.9.2-1 [801 kB] Get:21 http://deb.debian.org/debian bullseye/main amd64 python3.9-minimal amd64 3.9.2-1 [1955 kB] Get:22 http://deb.debian.org/debian bullseye/main amd64 python3-minimal amd64 3.9.2-3 [38.2 kB] Get:23 http://deb.debian.org/debian bullseye/main amd64 media-types all 4.0.0 [30.3 kB] Get:24 http://deb.debian.org/debian bullseye/main amd64 libmpdec3 amd64 2.5.1-1 [87.7 kB] Get:25 http://deb.debian.org/debian bullseye/main amd64 libncursesw6 amd64 6.2+20201114-2+deb11u2 [132 kB] Get:26 http://deb.debian.org/debian bullseye/main amd64 readline-common all 8.1-1 [73.7 kB] Get:27 http://deb.debian.org/debian bullseye/main amd64 libreadline8 amd64 8.1-1 [169 kB] Get:28 http://deb.debian.org/debian bullseye/main amd64 libsqlite3-0 amd64 3.34.1-3 [797 kB] Get:29 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-stdlib amd64 3.9.2-1 [1684 kB] Get:30 http://deb.debian.org/debian bullseye/main amd64 python3.9 amd64 3.9.2-1 [466 kB] Get:31 http://deb.debian.org/debian bullseye/main amd64 libpython3-stdlib amd64 3.9.2-3 [21.4 kB] Get:32 http://deb.debian.org/debian bullseye/main amd64 python3 amd64 3.9.2-3 [37.9 kB] Get:33 http://deb.debian.org/debian bullseye/main amd64 sensible-utils all 0.0.14 [14.8 kB] Get:34 http://deb.debian.org/debian bullseye/main amd64 libpam-systemd amd64 247.3-7+deb11u5 [283 kB] Get:35 http://deb.debian.org/debian bullseye/main amd64 ucf all 3.0043 [74.0 kB] Get:36 http://deb.debian.org/debian bullseye/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get:37 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-common all 2.42.2+dfsg-1+deb11u2 [320 kB] Get:38 http://deb.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.66.8-1+deb11u4 [1377 kB] Get:39 http://deb.debian.org/debian bullseye/main amd64 libicu67 amd64 67.1-7 [8622 kB] Get:40 http://deb.debian.org/debian bullseye/main amd64 libxml2 amd64 2.9.10+dfsg-6.7+deb11u4 [693 kB] Get:41 http://deb.debian.org/debian bullseye/main amd64 shared-mime-info amd64 2.0-1 [701 kB] Get:42 http://deb.debian.org/debian bullseye/main amd64 libjpeg62-turbo amd64 1:2.0.6-4 [151 kB] Get:43 http://deb.debian.org/debian bullseye/main amd64 libpng16-16 amd64 1.6.37-3 [294 kB] Get:44 http://deb.debian.org/debian bullseye/main amd64 libdeflate0 amd64 1.7-1 [53.1 kB] Get:45 http://deb.debian.org/debian bullseye/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:46 http://deb.debian.org/debian bullseye/main amd64 libwebp6 amd64 0.6.1-2.1+deb11u2 [259 kB] Get:47 http://deb.debian.org/debian bullseye/main amd64 libtiff5 amd64 4.2.0-1+deb11u5 [290 kB] Get:48 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.2+dfsg-1+deb11u2 [147 kB] Get:49 http://deb.debian.org/debian bullseye/main amd64 gtk-update-icon-cache amd64 3.24.24-4+deb11u4 [88.4 kB] Get:50 http://deb.debian.org/debian bullseye/main amd64 adwaita-icon-theme all 3.38.0-1 [10.9 MB] Get:51 http://deb.debian.org/debian bullseye/main amd64 binutils-common amd64 2.35.2-2 [2220 kB] Get:52 http://deb.debian.org/debian bullseye/main amd64 libbinutils amd64 2.35.2-2 [570 kB] Get:53 http://deb.debian.org/debian bullseye/main amd64 libctf-nobfd0 amd64 2.35.2-2 [110 kB] Get:54 http://deb.debian.org/debian bullseye/main amd64 libctf0 amd64 2.35.2-2 [53.2 kB] Get:55 http://deb.debian.org/debian bullseye/main amd64 binutils-x86-64-linux-gnu amd64 2.35.2-2 [1809 kB] Get:56 http://deb.debian.org/debian bullseye/main amd64 binutils amd64 2.35.2-2 [61.2 kB] Get:57 http://deb.debian.org/debian bullseye/main amd64 libisl23 amd64 0.23-1 [676 kB] Get:58 http://deb.debian.org/debian bullseye/main amd64 libmpfr6 amd64 4.1.0-3 [2012 kB] Get:59 http://deb.debian.org/debian bullseye/main amd64 libmpc3 amd64 1.2.0-1 [45.0 kB] Get:60 http://deb.debian.org/debian bullseye/main amd64 cpp-10 amd64 10.2.1-6 [8528 kB] Get:61 http://deb.debian.org/debian bullseye/main amd64 cpp amd64 4:10.2.1-1 [19.7 kB] Get:62 http://deb.debian.org/debian bullseye/main amd64 dbus-user-session amd64 1.12.28-0+deb11u1 [100 kB] Get:63 http://deb.debian.org/debian bullseye/main amd64 libdconf1 amd64 0.38.0-2 [43.5 kB] Get:64 http://deb.debian.org/debian bullseye/main amd64 dconf-service amd64 0.38.0-2 [37.4 kB] Get:65 http://deb.debian.org/debian bullseye/main amd64 dconf-gsettings-backend amd64 0.38.0-2 [30.6 kB] Get:66 http://deb.debian.org/debian bullseye/main amd64 libbrotli1 amd64 1.0.9-2+b2 [279 kB] Get:67 http://deb.debian.org/debian bullseye/main amd64 libfreetype6 amd64 2.10.4+dfsg-1+deb11u1 [418 kB] Get:68 http://deb.debian.org/debian bullseye/main amd64 fonts-dejavu-core all 2.37-2 [1069 kB] Get:69 http://deb.debian.org/debian bullseye/main amd64 fontconfig-config all 2.13.1-4.2 [281 kB] Get:70 http://deb.debian.org/debian bullseye/main amd64 libfontconfig1 amd64 2.13.1-4.2 [347 kB] Get:71 http://deb.debian.org/debian bullseye/main amd64 fontconfig amd64 2.13.1-4.2 [417 kB] Get:72 http://deb.debian.org/debian bullseye/main amd64 libpixman-1-0 amd64 0.40.0-1.1~deb11u1 [543 kB] Get:73 http://deb.debian.org/debian bullseye/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:74 http://deb.debian.org/debian bullseye/main amd64 libmd0 amd64 1.0.3-3 [28.0 kB] Get:75 http://deb.debian.org/debian bullseye/main amd64 libbsd0 amd64 0.11.3-1+deb11u1 [108 kB] Get:76 http://deb.debian.org/debian bullseye/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:77 http://deb.debian.org/debian bullseye/main amd64 libxcb1 amd64 1.14-3 [140 kB] Get:78 http://deb.debian.org/debian bullseye/main amd64 libx11-data all 2:1.7.2-1+deb11u2 [311 kB] Get:79 http://deb.debian.org/debian bullseye/main amd64 libx11-6 amd64 2:1.7.2-1+deb11u2 [772 kB] Get:80 http://deb.debian.org/debian bullseye/main amd64 libxcb-render0 amd64 1.14-3 [111 kB] Get:81 http://deb.debian.org/debian bullseye/main amd64 libxcb-shm0 amd64 1.14-3 [101 kB] Get:82 http://deb.debian.org/debian bullseye/main amd64 libxext6 amd64 2:1.3.3-1.1 [52.7 kB] Get:83 http://deb.debian.org/debian bullseye/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:84 http://deb.debian.org/debian bullseye/main amd64 libcairo2 amd64 1.16.0-5 [694 kB] Get:85 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-data all 2.36.0-2 [149 kB] Get:86 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-0 amd64 2.36.0-2 [52.2 kB] Get:87 http://deb.debian.org/debian bullseye/main amd64 libatspi2.0-0 amd64 2.38.0-4+deb11u1 [72.4 kB] Get:88 http://deb.debian.org/debian bullseye/main amd64 libatk-bridge2.0-0 amd64 2.38.0-1 [64.6 kB] Get:89 http://deb.debian.org/debian bullseye/main amd64 libcairo-gobject2 amd64 1.16.0-5 [125 kB] Get:90 http://deb.debian.org/debian bullseye/main amd64 liblcms2-2 amd64 2.12~rc1-2 [150 kB] Get:91 http://deb.debian.org/debian bullseye/main amd64 libcolord2 amd64 1.4.5-3 [144 kB] Get:92 http://deb.debian.org/debian bullseye/main amd64 libavahi-common-data amd64 0.8-5+deb11u2 [124 kB] Get:93 http://deb.debian.org/debian bullseye/main amd64 libavahi-common3 amd64 0.8-5+deb11u2 [58.7 kB] Get:94 http://deb.debian.org/debian bullseye/main amd64 libavahi-client3 amd64 0.8-5+deb11u2 [62.6 kB] Get:95 http://deb.debian.org/debian bullseye/main amd64 libcups2 amd64 2.3.3op2-3+deb11u8 [350 kB] Get:96 http://deb.debian.org/debian bullseye/main amd64 libepoxy0 amd64 1.5.5-1 [193 kB] Get:97 http://deb.debian.org/debian bullseye/main amd64 libfribidi0 amd64 1.0.8-2+deb11u1 [64.9 kB] Get:98 http://deb.debian.org/debian bullseye/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get:99 http://deb.debian.org/debian bullseye/main amd64 libharfbuzz0b amd64 2.7.4-1 [1471 kB] Get:100 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-common all 1.6.2-1 [56.9 kB] Get:101 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-0 amd64 1.6.2-1 [65.4 kB] Get:102 http://deb.debian.org/debian bullseye/main amd64 libthai-data all 0.1.28-3 [170 kB] Get:103 http://deb.debian.org/debian bullseye/main amd64 libdatrie1 amd64 0.2.13-1 [42.7 kB] Get:104 http://deb.debian.org/debian bullseye/main amd64 libthai0 amd64 0.1.28-3 [54.2 kB] Get:105 http://deb.debian.org/debian bullseye/main amd64 libpango-1.0-0 amd64 1.46.2-3 [191 kB] Get:106 http://deb.debian.org/debian bullseye/main amd64 libpangoft2-1.0-0 amd64 1.46.2-3 [62.2 kB] Get:107 http://deb.debian.org/debian bullseye/main amd64 libpangocairo-1.0-0 amd64 1.46.2-3 [50.6 kB] Get:108 http://deb.debian.org/debian bullseye/main amd64 libproxy1v5 amd64 0.4.17-1 [59.5 kB] Get:109 http://deb.debian.org/debian bullseye/main amd64 glib-networking-common all 2.66.0-2 [68.1 kB] Get:110 http://deb.debian.org/debian bullseye/main amd64 glib-networking-services amd64 2.66.0-2 [17.5 kB] Get:111 http://deb.debian.org/debian bullseye/main amd64 gsettings-desktop-schemas all 3.38.0-2 [588 kB] Get:112 http://deb.debian.org/debian bullseye/main amd64 glib-networking amd64 2.66.0-2 [67.6 kB] Get:113 http://deb.debian.org/debian bullseye/main amd64 libpsl5 amd64 0.21.0-1.2 [57.3 kB] Get:114 http://deb.debian.org/debian bullseye/main amd64 libsoup2.4-1 amd64 2.72.0-2 [280 kB] Get:115 http://deb.debian.org/debian bullseye/main amd64 libsoup-gnome2.4-1 amd64 2.72.0-2 [22.2 kB] Get:116 http://deb.debian.org/debian bullseye/main amd64 librest-0.7-0 amd64 0.8.1-1.1 [33.8 kB] Get:117 http://deb.debian.org/debian bullseye/main amd64 libwayland-client0 amd64 1.18.0-2~exp1.1 [26.9 kB] Get:118 http://deb.debian.org/debian bullseye/main amd64 libwayland-cursor0 amd64 1.18.0-2~exp1.1 [14.6 kB] Get:119 http://deb.debian.org/debian bullseye/main amd64 libwayland-egl1 amd64 1.18.0-2~exp1.1 [8448 B] Get:120 http://deb.debian.org/debian bullseye/main amd64 libxcomposite1 amd64 1:0.4.5-1 [16.6 kB] Get:121 http://deb.debian.org/debian bullseye/main amd64 libxfixes3 amd64 1:5.0.3-2 [22.1 kB] Get:122 http://deb.debian.org/debian bullseye/main amd64 libxcursor1 amd64 1:1.2.0-2 [37.3 kB] Get:123 http://deb.debian.org/debian bullseye/main amd64 libxdamage1 amd64 1:1.1.5-2 [15.7 kB] Get:124 http://deb.debian.org/debian bullseye/main amd64 libxi6 amd64 2:1.7.10-1 [83.4 kB] Get:125 http://deb.debian.org/debian bullseye/main amd64 libxinerama1 amd64 2:1.1.4-2 [17.7 kB] Get:126 http://deb.debian.org/debian bullseye/main amd64 xkb-data all 2.29-2 [655 kB] Get:127 http://deb.debian.org/debian bullseye/main amd64 libxkbcommon0 amd64 1.0.3-2 [101 kB] Get:128 http://deb.debian.org/debian bullseye/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get:129 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-common all 3.24.24-4+deb11u4 [3757 kB] Get:130 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-0 amd64 3.24.24-4+deb11u4 [2715 kB] Get:131 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-xlib-2.0-0 amd64 2.40.2-2 [47.9 kB] Get:132 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-0 amd64 2.40.2-2 [14.1 kB] Get:133 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-common all 3.24.11-2 [285 kB] Get:134 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-1 amd64 3.24.11-2 [238 kB] Get:135 http://deb.debian.org/debian bullseye/main amd64 ocaml-base-nox amd64 4.11.1-4 [707 kB] Get:136 http://deb.debian.org/debian bullseye/main amd64 libeasy-format-ocaml amd64 1.3.2-1+b1 [45.7 kB] Get:137 http://deb.debian.org/debian bullseye/main amd64 libbiniou-ocaml amd64 1.2.1-1+b2 [126 kB] Get:138 http://deb.debian.org/debian bullseye/main amd64 libcairo2-ocaml amd64 0.6.2+dfsg-1 [23.8 kB] Get:139 http://deb.debian.org/debian bullseye/main amd64 libfindlib-ocaml amd64 1.8.1-2 [193 kB] Get:140 http://deb.debian.org/debian bullseye/main amd64 liblablgtk3-ocaml amd64 3.1.1+official-1+b1 [2910 kB] Get:141 http://deb.debian.org/debian bullseye/main amd64 liblablgtksourceview3-ocaml amd64 3.1.1+official-1+b1 [291 kB] Get:142 http://deb.debian.org/debian bullseye/main amd64 libyojson-ocaml amd64 1.7.0-1+b4 [598 kB] Get:143 http://deb.debian.org/debian bullseye/main amd64 libzarith-ocaml amd64 1.11-1 [56.3 kB] Get:144 http://deb.debian.org/debian bullseye/main amd64 libncurses6 amd64 6.2+20201114-2+deb11u2 [102 kB] Get:145 http://deb.debian.org/debian bullseye/main amd64 libc-dev-bin amd64 2.31-13+deb11u11 [276 kB] Get:146 http://deb.debian.org/debian bullseye/main amd64 linux-libc-dev amd64 5.10.223-1 [1756 kB] Get:147 http://deb.debian.org/debian bullseye/main amd64 libcrypt-dev amd64 1:4.4.18-4 [104 kB] Get:148 http://deb.debian.org/debian bullseye/main amd64 libtirpc-dev amd64 1.3.1-1+deb11u1 [191 kB] Get:149 http://deb.debian.org/debian bullseye/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:150 http://deb.debian.org/debian bullseye/main amd64 libc6-dev amd64 2.31-13+deb11u11 [2361 kB] Get:151 http://deb.debian.org/debian bullseye/main amd64 libncurses-dev amd64 6.2+20201114-2+deb11u2 [344 kB] Get:152 http://deb.debian.org/debian bullseye/main amd64 libncurses5-dev amd64 6.2+20201114-2+deb11u2 [948 B] Get:153 http://deb.debian.org/debian bullseye/main amd64 ocaml-compiler-libs amd64 4.11.1-4 [29.9 MB] Get:154 http://deb.debian.org/debian bullseye/main amd64 ocaml-interp amd64 4.11.1-4 [5861 kB] Get:155 http://deb.debian.org/debian bullseye/main amd64 libcc1-0 amd64 10.2.1-6 [47.0 kB] Get:156 http://deb.debian.org/debian bullseye/main amd64 libgomp1 amd64 10.2.1-6 [99.9 kB] Get:157 http://deb.debian.org/debian bullseye/main amd64 libitm1 amd64 10.2.1-6 [25.8 kB] Get:158 http://deb.debian.org/debian bullseye/main amd64 libatomic1 amd64 10.2.1-6 [9008 B] Get:159 http://deb.debian.org/debian bullseye/main amd64 libasan6 amd64 10.2.1-6 [2065 kB] Get:160 http://deb.debian.org/debian bullseye/main amd64 liblsan0 amd64 10.2.1-6 [828 kB] Get:161 http://deb.debian.org/debian bullseye/main amd64 libtsan0 amd64 10.2.1-6 [2000 kB] Get:162 http://deb.debian.org/debian bullseye/main amd64 libubsan1 amd64 10.2.1-6 [777 kB] Get:163 http://deb.debian.org/debian bullseye/main amd64 libquadmath0 amd64 10.2.1-6 [145 kB] Get:164 http://deb.debian.org/debian bullseye/main amd64 libgcc-10-dev amd64 10.2.1-6 [2328 kB] Get:165 http://deb.debian.org/debian bullseye/main amd64 gcc-10 amd64 10.2.1-6 [17.0 MB] Get:166 http://deb.debian.org/debian bullseye/main amd64 gcc amd64 4:10.2.1-1 [5192 B] Get:167 http://deb.debian.org/debian bullseye/main amd64 ocaml-nox amd64 4.11.1-4 [68.2 MB] Get:168 http://deb.debian.org/debian bullseye/main amd64 libocamlgraph-ocaml-dev amd64 1.8.8-1.1+b2 [1687 kB] Get:169 http://deb.debian.org/debian bullseye/main amd64 frama-c-base amd64 20201209+titanium-4.1 [60.6 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 281 MB in 18s (15.8 MB/s) Selecting previously unselected package libapparmor1: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 ... 6674 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.13.6-10_amd64.deb ... Unpacking libapparmor1:amd64 (2.13.6-10) ... Selecting previously unselected package libcap2:amd64. Preparing to unpack .../1-libcap2_1%3a2.44-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.44-1) ... Selecting previously unselected package libargon2-1:amd64. Preparing to unpack .../2-libargon2-1_0~20171227-0.2_amd64.deb ... Unpacking libargon2-1:amd64 (0~20171227-0.2) ... Selecting previously unselected package dmsetup. Preparing to unpack .../3-dmsetup_2%3a1.02.175-2.1_amd64.deb ... Unpacking dmsetup (2:1.02.175-2.1) ... Selecting previously unselected package libdevmapper1.02.1:amd64. Preparing to unpack .../4-libdevmapper1.02.1_2%3a1.02.175-2.1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../5-libjson-c5_0.15-2+deb11u1_amd64.deb ... Unpacking libjson-c5:amd64 (0.15-2+deb11u1) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../6-libcryptsetup12_2%3a2.3.7-1+deb11u1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Selecting previously unselected package libip4tc2:amd64. Preparing to unpack .../7-libip4tc2_1.8.7-1_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.7-1) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../8-libkmod2_28-1_amd64.deb ... Unpacking libkmod2:amd64 (28-1) ... Selecting previously unselected package systemd. Preparing to unpack .../9-systemd_247.3-7+deb11u5_amd64.deb ... Unpacking systemd (247.3-7+deb11u5) ... Setting up libapparmor1:amd64 (2.13.6-10) ... Setting up libcap2:amd64 (1:2.44-1) ... Setting up libargon2-1:amd64 (0~20171227-0.2) ... Setting up libjson-c5:amd64 (0.15-2+deb11u1) ... Setting up libip4tc2:amd64 (1.8.7-1) ... Setting up libkmod2:amd64 (28-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Setting up libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Setting up systemd (247.3-7+deb11u5) ... Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service → /lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target → /lib/systemd/system/remote-fs.target. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service → /lib/systemd/system/systemd-pstore.service. Initializing machine ID from random generator. Setting up dmsetup (2:1.02.175-2.1) ... Selecting previously unselected package systemd-sysv. (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 ... 7531 files and directories currently installed.) Preparing to unpack .../00-systemd-sysv_247.3-7+deb11u5_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u5) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../01-libdbus-1-3_1.12.28-0+deb11u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../02-libexpat1_2.2.10-2+deb11u5_amd64.deb ... Unpacking libexpat1:amd64 (2.2.10-2+deb11u5) ... Selecting previously unselected package dbus. Preparing to unpack .../03-dbus_1.12.28-0+deb11u1_amd64.deb ... Unpacking dbus (1.12.28-0+deb11u1) ... Selecting previously unselected package perl-modules-5.32. Preparing to unpack .../04-perl-modules-5.32_5.32.1-4+deb11u3_all.deb ... Unpacking perl-modules-5.32 (5.32.1-4+deb11u3) ... Selecting previously unselected package libgdbm6:amd64. Preparing to unpack .../05-libgdbm6_1.19-2_amd64.deb ... Unpacking libgdbm6:amd64 (1.19-2) ... Selecting previously unselected package libgdbm-compat4:amd64. Preparing to unpack .../06-libgdbm-compat4_1.19-2_amd64.deb ... Unpacking libgdbm-compat4:amd64 (1.19-2) ... Selecting previously unselected package libperl5.32:amd64. Preparing to unpack .../07-libperl5.32_5.32.1-4+deb11u3_amd64.deb ... Unpacking libperl5.32:amd64 (5.32.1-4+deb11u3) ... Selecting previously unselected package perl. Preparing to unpack .../08-perl_5.32.1-4+deb11u3_amd64.deb ... Unpacking perl (5.32.1-4+deb11u3) ... Selecting previously unselected package libpython3.9-minimal:amd64. Preparing to unpack .../09-libpython3.9-minimal_3.9.2-1_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../10-python3.9-minimal_3.9.2-1_amd64.deb ... Unpacking python3.9-minimal (3.9.2-1) ... Setting up libpython3.9-minimal:amd64 (3.9.2-1) ... Setting up libexpat1:amd64 (2.2.10-2+deb11u5) ... Setting up python3.9-minimal (3.9.2-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 ... 9864 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.2-3_amd64.deb ... Unpacking python3-minimal (3.9.2-3) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_4.0.0_all.deb ... Unpacking media-types (4.0.0) ... Selecting previously unselected package libmpdec3:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-1_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-1) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../3-libncursesw6_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.1-1_all.deb ... Unpacking readline-common (8.1-1) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../5-libreadline8_8.1-1_amd64.deb ... Unpacking libreadline8:amd64 (8.1-1) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../6-libsqlite3-0_3.34.1-3_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.34.1-3) ... Selecting previously unselected package libpython3.9-stdlib:amd64. Preparing to unpack .../7-libpython3.9-stdlib_3.9.2-1_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9. Preparing to unpack .../8-python3.9_3.9.2-1_amd64.deb ... Unpacking python3.9 (3.9.2-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.9.2-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.9.2-3) ... Setting up python3-minimal (3.9.2-3) ... 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 ... 10302 files and directories currently installed.) Preparing to unpack .../000-python3_3.9.2-3_amd64.deb ... Unpacking python3 (3.9.2-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../001-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../002-libpam-systemd_247.3-7+deb11u5_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u5) ... Selecting previously unselected package ucf. Preparing to unpack .../003-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../004-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../005-libgdk-pixbuf2.0-common_2.42.2+dfsg-1+deb11u2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../006-libglib2.0-0_2.66.8-1+deb11u4_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../007-libicu67_67.1-7_amd64.deb ... Unpacking libicu67:amd64 (67.1-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../008-libxml2_2.9.10+dfsg-6.7+deb11u4_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../009-shared-mime-info_2.0-1_amd64.deb ... Unpacking shared-mime-info (2.0-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../010-libjpeg62-turbo_1%3a2.0.6-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.0.6-4) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../011-libpng16-16_1.6.37-3_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-3) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../012-libdeflate0_1.7-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.7-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../013-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../014-libwebp6_0.6.1-2.1+deb11u2_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2.1+deb11u2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../015-libtiff5_4.2.0-1+deb11u5_amd64.deb ... Unpacking libtiff5:amd64 (4.2.0-1+deb11u5) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../016-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1+deb11u2_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../017-gtk-update-icon-cache_3.24.24-4+deb11u4_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.24-4+deb11u4) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../018-adwaita-icon-theme_3.38.0-1_all.deb ... Unpacking adwaita-icon-theme (3.38.0-1) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../019-binutils-common_2.35.2-2_amd64.deb ... Unpacking binutils-common:amd64 (2.35.2-2) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../020-libbinutils_2.35.2-2_amd64.deb ... Unpacking libbinutils:amd64 (2.35.2-2) ... Selecting previously unselected package libctf-nobfd0:amd64. Preparing to unpack .../021-libctf-nobfd0_2.35.2-2_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.35.2-2) ... Selecting previously unselected package libctf0:amd64. Preparing to unpack .../022-libctf0_2.35.2-2_amd64.deb ... Unpacking libctf0:amd64 (2.35.2-2) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../023-binutils-x86-64-linux-gnu_2.35.2-2_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.35.2-2) ... Selecting previously unselected package binutils. Preparing to unpack .../024-binutils_2.35.2-2_amd64.deb ... Unpacking binutils (2.35.2-2) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../025-libisl23_0.23-1_amd64.deb ... Unpacking libisl23:amd64 (0.23-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../026-libmpfr6_4.1.0-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.1.0-3) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../027-libmpc3_1.2.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.0-1) ... Selecting previously unselected package cpp-10. Preparing to unpack .../028-cpp-10_10.2.1-6_amd64.deb ... Unpacking cpp-10 (10.2.1-6) ... Selecting previously unselected package cpp. Preparing to unpack .../029-cpp_4%3a10.2.1-1_amd64.deb ... Unpacking cpp (4:10.2.1-1) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../030-dbus-user-session_1.12.28-0+deb11u1_amd64.deb ... Unpacking dbus-user-session (1.12.28-0+deb11u1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../031-libdconf1_0.38.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.38.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../032-dconf-service_0.38.0-2_amd64.deb ... Unpacking dconf-service (0.38.0-2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../033-dconf-gsettings-backend_0.38.0-2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.38.0-2) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../034-libbrotli1_1.0.9-2+b2_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../035-libfreetype6_2.10.4+dfsg-1+deb11u1_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../036-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../037-fontconfig-config_2.13.1-4.2_all.deb ... Unpacking fontconfig-config (2.13.1-4.2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../038-libfontconfig1_2.13.1-4.2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-4.2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../039-fontconfig_2.13.1-4.2_amd64.deb ... Unpacking fontconfig (2.13.1-4.2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../040-libpixman-1-0_0.40.0-1.1~deb11u1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../041-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../042-libmd0_1.0.3-3_amd64.deb ... Unpacking libmd0:amd64 (1.0.3-3) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../043-libbsd0_0.11.3-1+deb11u1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.3-1+deb11u1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../044-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../045-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../046-libx11-data_2%3a1.7.2-1+deb11u2_all.deb ... Unpacking libx11-data (2:1.7.2-1+deb11u2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../047-libx11-6_2%3a1.7.2-1+deb11u2_amd64.deb ... Unpacking libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../048-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../049-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../050-libxext6_2%3a1.3.3-1.1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1.1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../051-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../052-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../053-libatk1.0-data_2.36.0-2_all.deb ... Unpacking libatk1.0-data (2.36.0-2) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../054-libatk1.0-0_2.36.0-2_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.36.0-2) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../055-libatspi2.0-0_2.38.0-4+deb11u1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../056-libatk-bridge2.0-0_2.38.0-1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.38.0-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../057-libcairo-gobject2_1.16.0-5_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-5) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../058-liblcms2-2_2.12~rc1-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.12~rc1-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../059-libcolord2_1.4.5-3_amd64.deb ... Unpacking libcolord2:amd64 (1.4.5-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../060-libavahi-common-data_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../061-libavahi-common3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../062-libavahi-client3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../063-libcups2_2.3.3op2-3+deb11u8_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u8) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../064-libepoxy0_1.5.5-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.5-1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../065-libfribidi0_1.0.8-2+deb11u1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2+deb11u1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../066-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../067-libharfbuzz0b_2.7.4-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.7.4-1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../068-libjson-glib-1.0-common_1.6.2-1_all.deb ... Unpacking libjson-glib-1.0-common (1.6.2-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../069-libjson-glib-1.0-0_1.6.2-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.6.2-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../070-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../071-libdatrie1_0.2.13-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../072-libthai0_0.1.28-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../073-libpango-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../074-libpangoft2-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../075-libpangocairo-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../076-libproxy1v5_0.4.17-1_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.17-1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../077-glib-networking-common_2.66.0-2_all.deb ... Unpacking glib-networking-common (2.66.0-2) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../078-glib-networking-services_2.66.0-2_amd64.deb ... Unpacking glib-networking-services (2.66.0-2) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../079-gsettings-desktop-schemas_3.38.0-2_all.deb ... Unpacking gsettings-desktop-schemas (3.38.0-2) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../080-glib-networking_2.66.0-2_amd64.deb ... Unpacking glib-networking:amd64 (2.66.0-2) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../081-libpsl5_0.21.0-1.2_amd64.deb ... Unpacking libpsl5:amd64 (0.21.0-1.2) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../082-libsoup2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../083-libsoup-gnome2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../084-librest-0.7-0_0.8.1-1.1_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.1-1.1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../085-libwayland-client0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../086-libwayland-cursor0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../087-libwayland-egl1_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../088-libxcomposite1_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../089-libxfixes3_1%3a5.0.3-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../090-libxcursor1_1%3a1.2.0-2_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../091-libxdamage1_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../092-libxi6_2%3a1.7.10-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../093-libxinerama1_2%3a1.1.4-2_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../094-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../095-libxkbcommon0_1.0.3-2_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.0.3-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../096-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../097-libgtk-3-common_3.24.24-4+deb11u4_all.deb ... Unpacking libgtk-3-common (3.24.24-4+deb11u4) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../098-libgtk-3-0_3.24.24-4+deb11u4_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Selecting previously unselected package libgdk-pixbuf-xlib-2.0-0:amd64. Preparing to unpack .../099-libgdk-pixbuf-xlib-2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../100-libgdk-pixbuf2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Selecting previously unselected package libgtksourceview-3.0-common. Preparing to unpack .../101-libgtksourceview-3.0-common_3.24.11-2_all.deb ... Unpacking libgtksourceview-3.0-common (3.24.11-2) ... Selecting previously unselected package libgtksourceview-3.0-1:amd64. Preparing to unpack .../102-libgtksourceview-3.0-1_3.24.11-2_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../103-ocaml-base-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4) ... Selecting previously unselected package libeasy-format-ocaml. Preparing to unpack .../104-libeasy-format-ocaml_1.3.2-1+b1_amd64.deb ... Unpacking libeasy-format-ocaml (1.3.2-1+b1) ... Selecting previously unselected package libbiniou-ocaml. Preparing to unpack .../105-libbiniou-ocaml_1.2.1-1+b2_amd64.deb ... Unpacking libbiniou-ocaml (1.2.1-1+b2) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../106-libcairo2-ocaml_0.6.2+dfsg-1_amd64.deb ... Unpacking libcairo2-ocaml (0.6.2+dfsg-1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../107-libfindlib-ocaml_1.8.1-2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../108-liblablgtk3-ocaml_3.1.1+official-1+b1_amd64.deb ... Unpacking liblablgtk3-ocaml (3.1.1+official-1+b1) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../109-liblablgtksourceview3-ocaml_3.1.1+official-1+b1_amd64.deb ... Unpacking liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Selecting previously unselected package libyojson-ocaml. Preparing to unpack .../110-libyojson-ocaml_1.7.0-1+b4_amd64.deb ... Unpacking libyojson-ocaml (1.7.0-1+b4) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../111-libzarith-ocaml_1.11-1_amd64.deb ... Unpacking libzarith-ocaml (1.11-1) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../112-libncurses6_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../113-libc-dev-bin_2.31-13+deb11u11_amd64.deb ... Unpacking libc-dev-bin (2.31-13+deb11u11) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../114-linux-libc-dev_5.10.223-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.10.223-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../115-libcrypt-dev_1%3a4.4.18-4_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.18-4) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../116-libtirpc-dev_1.3.1-1+deb11u1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../117-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../118-libc6-dev_2.31-13+deb11u11_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-13+deb11u11) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../119-libncurses-dev_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../120-libncurses5-dev_6.2+20201114-2+deb11u2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../121-ocaml-compiler-libs_4.11.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../122-ocaml-interp_4.11.1-4_amd64.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../123-libcc1-0_10.2.1-6_amd64.deb ... Unpacking libcc1-0:amd64 (10.2.1-6) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../124-libgomp1_10.2.1-6_amd64.deb ... Unpacking libgomp1:amd64 (10.2.1-6) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../125-libitm1_10.2.1-6_amd64.deb ... Unpacking libitm1:amd64 (10.2.1-6) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../126-libatomic1_10.2.1-6_amd64.deb ... Unpacking libatomic1:amd64 (10.2.1-6) ... Selecting previously unselected package libasan6:amd64. Preparing to unpack .../127-libasan6_10.2.1-6_amd64.deb ... Unpacking libasan6:amd64 (10.2.1-6) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../128-liblsan0_10.2.1-6_amd64.deb ... Unpacking liblsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../129-libtsan0_10.2.1-6_amd64.deb ... Unpacking libtsan0:amd64 (10.2.1-6) ... Selecting previously unselected package libubsan1:amd64. Preparing to unpack .../130-libubsan1_10.2.1-6_amd64.deb ... Unpacking libubsan1:amd64 (10.2.1-6) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../131-libquadmath0_10.2.1-6_amd64.deb ... Unpacking libquadmath0:amd64 (10.2.1-6) ... Selecting previously unselected package libgcc-10-dev:amd64. Preparing to unpack .../132-libgcc-10-dev_10.2.1-6_amd64.deb ... Unpacking libgcc-10-dev:amd64 (10.2.1-6) ... Selecting previously unselected package gcc-10. Preparing to unpack .../133-gcc-10_10.2.1-6_amd64.deb ... Unpacking gcc-10 (10.2.1-6) ... Selecting previously unselected package gcc. Preparing to unpack .../134-gcc_4%3a10.2.1-1_amd64.deb ... Unpacking gcc (4:10.2.1-1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../135-ocaml-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../136-libocamlgraph-ocaml-dev_1.8.8-1.1+b2_amd64.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1+b2) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../137-frama-c-base_20201209+titanium-4.1_amd64.deb ... Unpacking frama-c-base (20201209+titanium-4.1) ... Setting up media-types (4.0.0) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.12~rc1-2) ... Setting up libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Setting up systemd-sysv (247.3-7+deb11u5) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libproxy1v5:amd64 (0.4.17-1) ... Setting up libpsl5:amd64 (0.21.0-1.2) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libicu67:amd64 (67.1-7) ... Setting up libdatrie1:amd64 (0.2.13-1) ... Setting up libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... Setting up perl-modules-5.32 (5.32.1-4+deb11u3) ... Setting up libbrotli1:amd64 (1.0.9-2+b2) ... Setting up libsqlite3-0:amd64 (3.34.1-3) ... Setting up libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u2) ... Setting up binutils-common:amd64 (2.35.2-2) ... Setting up libdeflate0:amd64 (1.7-1) ... Setting up linux-libc-dev:amd64 (5.10.223-1) ... Setting up libctf-nobfd0:amd64 (2.35.2-2) ... Setting up xkb-data (2.29-2) ... Setting up libgomp1:amd64 (10.2.1-6) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up libcolord2:amd64 (1.4.5-3) ... Setting up libasan6:amd64 (10.2.1-6) ... Setting up libdconf1:amd64 (0.38.0-2) ... Setting up libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Setting up libjpeg62-turbo:amd64 (1:2.0.6-4) ... Setting up libx11-data (2:1.7.2-1+deb11u2) ... Setting up libepoxy0:amd64 (1.5.5-1) ... Setting up libmpfr6:amd64 (4.1.0-3) ... Setting up libavahi-common-data:amd64 (0.8-5+deb11u2) ... Setting up libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Setting up libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Setting up dbus (1.12.28-0+deb11u1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libfribidi0:amd64 (1.0.8-2+deb11u1) ... Setting up libquadmath0:amd64 (10.2.1-6) ... Setting up libpng16-16:amd64 (1.6.37-3) ... Setting up libmpc3:amd64 (1.2.0-1) ... Setting up libatomic1:amd64 (10.2.1-6) ... Setting up libwebp6:amd64 (0.6.1-2.1+deb11u2) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Setting up libubsan1:amd64 (10.2.1-6) ... Setting up libatk1.0-data (2.36.0-2) ... Setting up libmd0:amd64 (1.0.3-3) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up sensible-utils (0.0.14) ... Setting up libcrypt-dev:amd64 (1:4.4.18-4) ... Setting up libgtksourceview-3.0-common (3.24.11-2) ... Setting up libmpdec3:amd64 (2.5.1-1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u5) ... Setting up libthai-data (0.1.28-3) ... Setting up libjson-glib-1.0-common (1.6.2-1) ... Setting up libatk1.0-0:amd64 (2.36.0-2) ... Setting up libtiff5:amd64 (4.2.0-1+deb11u5) ... Setting up libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Setting up ocaml-base-nox (4.11.1-4) ... Setting up glib-networking-common (2.66.0-2) ... Setting up libbinutils:amd64 (2.35.2-2) ... Setting up libisl23:amd64 (0.23-1) ... Setting up libc-dev-bin (2.31-13+deb11u11) ... Setting up libbsd0:amd64 (0.11.3-1+deb11u1) ... Setting up readline-common (8.1-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Setting up libcc1-0:amd64 (10.2.1-6) ... Setting up liblsan0:amd64 (10.2.1-6) ... Setting up cpp-10 (10.2.1-6) ... Setting up libitm1:amd64 (10.2.1-6) ... Setting up libgdbm6:amd64 (1.19-2) ... Setting up libtsan0:amd64 (10.2.1-6) ... Setting up libxkbcommon0:amd64 (1.0.3-2) ... Setting up libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Setting up libctf0:amd64 (2.35.2-2) ... Setting up glib-networking-services (2.66.0-2) ... Setting up libeasy-format-ocaml (1.3.2-1+b1) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libxcb1:amd64 (1.14-3) ... Setting up libxcb-render0:amd64 (1.14-3) ... Setting up libgcc-10-dev:amd64 (10.2.1-6) ... Setting up libreadline8:amd64 (8.1-1) ... Setting up libavahi-common3:amd64 (0.8-5+deb11u2) ... Setting up libfindlib-ocaml (1.8.1-2) ... Setting up libxcb-shm0:amd64 (1.14-3) ... Setting up libzarith-ocaml (1.11-1) ... Setting up libbiniou-ocaml (1.2.1-1+b2) ... Setting up libjson-glib-1.0-0:amd64 (1.6.2-1) ... Setting up libthai0:amd64 (0.1.28-3) ... Setting up dbus-user-session (1.12.28-0+deb11u1) ... Setting up libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Setting up shared-mime-info (2.0-1) ... Setting up libgdbm-compat4:amd64 (1.19-2) ... Setting up ucf (3.0043) ... Setting up libperl5.32:amd64 (5.32.1-4+deb11u3) ... Setting up libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Setting up cpp (4:10.2.1-1) ... Setting up libc6-dev:amd64 (2.31-13+deb11u11) ... Setting up libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Setting up libharfbuzz0b:amd64 (2.7.4-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... Setting up libxcomposite1:amd64 (1:0.4.5-1) ... Setting up libavahi-client3:amd64 (0.8-5+deb11u2) ... Setting up libpython3.9-stdlib:amd64 (3.9.2-1) ... Setting up libpython3-stdlib:amd64 (3.9.2-3) ... Setting up binutils-x86-64-linux-gnu (2.35.2-2) ... Setting up gtk-update-icon-cache (3.24.24-4+deb11u4) ... Setting up libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Setting up libxdamage1:amd64 (1:1.1.5-2) ... Setting up libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libyojson-ocaml (1.7.0-1+b4) ... Setting up fontconfig-config (2.13.1-4.2) ... Setting up libxext6:amd64 (2:1.3.3-1.1) ... Setting up dconf-service (0.38.0-2) ... Setting up binutils (2.35.2-2) ... Setting up libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Setting up libatk-bridge2.0-0:amd64 (2.38.0-1) ... Setting up perl (5.32.1-4+deb11u3) ... Setting up adwaita-icon-theme (3.38.0-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libxfixes3:amd64 (1:5.0.3-2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Setting up libxinerama1:amd64 (2:1.1.4-2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up gcc-10 (10.2.1-6) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u8) ... Setting up libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Setting up libfontconfig1:amd64 (2.13.1-4.2) ... Setting up python3.9 (3.9.2-1) ... Setting up fontconfig (2.13.1-4.2) ... Regenerating fonts cache... done. Setting up libxi6:amd64 (2:1.7.10-1) ... Setting up dconf-gsettings-backend:amd64 (0.38.0-2) ... Setting up libxcursor1:amd64 (1:1.2.0-2) ... Setting up libpango-1.0-0:amd64 (1.46.2-3) ... Setting up python3 (3.9.2-3) ... Setting up libcairo2:amd64 (1.16.0-5) ... Setting up gcc (4:10.2.1-1) ... Setting up libcairo-gobject2:amd64 (1.16.0-5) ... Setting up libpangoft2-1.0-0:amd64 (1.46.2-3) ... Setting up libgtk-3-common (3.24.24-4+deb11u4) ... Setting up libpangocairo-1.0-0:amd64 (1.46.2-3) ... Setting up gsettings-desktop-schemas (3.38.0-2) ... Setting up libcairo2-ocaml (0.6.2+dfsg-1) ... Setting up glib-networking:amd64 (2.66.0-2) ... Setting up libsoup2.4-1:amd64 (2.72.0-2) ... Setting up libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Setting up librest-0.7-0:amd64 (0.8.1-1.1) ... Setting up libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Setting up liblablgtk3-ocaml (3.1.1+official-1+b1) ... Setting up liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Setting up ocaml-compiler-libs (4.11.1-4) ... Setting up ocaml-interp (4.11.1-4) ... Setting up ocaml-nox (4.11.1-4) ... Setting up libocamlgraph-ocaml-dev (1.8.8-1.1+b2) ... Setting up frama-c-base (20201209+titanium-4.1) ... Processing triggers for libc-bin (2.31-13+deb11u11) ... 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base'] 0m44.2s INFO: Running scripts post_install 0m44.2s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m44.2s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m44.2s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m45.0s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m45.1s DEBUG: Upgrading /srv/piuparts.debian.org/tmp/tmps4dom78e to bullseye-next 0m45.1s DEBUG: sources.list: deb http://deb.debian.org/debian/ bullseye main deb http://security.debian.org bullseye-security main deb http://deb.debian.org/debian/ bullseye-updates main deb http://deb.debian.org/debian/ bullseye-proposed-updates main 0m45.1s INFO: Running scripts pre_distupgrade 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_allow_unauthenticated'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_exceptions'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_exceptions'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_foreign_architecture_i386'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_zz_database-server'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m45.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_distupgrade_zz_upgrade_early'] 0m45.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'update'] 0m45.8s DUMP: Hit:1 http://deb.debian.org/debian bullseye InRelease Get:2 http://deb.debian.org/debian bullseye-updates InRelease [44.1 kB] Get:3 http://security.debian.org bullseye-security InRelease [27.2 kB] Get:4 http://deb.debian.org/debian bullseye-proposed-updates InRelease [54.0 kB] Get:5 http://security.debian.org bullseye-security/main amd64 Packages [303 kB] Get:6 http://security.debian.org bullseye-security/main Translation-en [195 kB] Get:7 http://deb.debian.org/debian bullseye-updates/main amd64 Packages [18.8 kB] Get:8 http://deb.debian.org/debian bullseye-updates/main Translation-en [10.9 kB] Fetched 653 kB in 0s (1771 kB/s) Reading package lists... 0m45.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'update'] 0m45.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-yf', 'dist-upgrade'] 0m48.3s DUMP: Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: e2fsprogs libcom-err2 libcups2 libexpat1 libext2fs2 libgnutls30 libpam-systemd libsqlite3-0 libss2 libsystemd0 libudev1 libxml2 linux-libc-dev logsave systemd systemd-sysv 16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 11.6 MB of archives. After this operation, 18.4 kB of additional disk space will be used. Get:1 http://security.debian.org bullseye-security/main amd64 systemd-sysv amd64 247.3-7+deb11u6 [114 kB] Get:2 http://security.debian.org bullseye-security/main amd64 libpam-systemd amd64 247.3-7+deb11u6 [283 kB] Get:3 http://security.debian.org bullseye-security/main amd64 libgnutls30 amd64 3.7.1-5+deb11u6 [1340 kB] Get:4 http://security.debian.org bullseye-security/main amd64 systemd amd64 247.3-7+deb11u6 [4501 kB] Get:5 http://security.debian.org bullseye-security/main amd64 libsystemd0 amd64 247.3-7+deb11u6 [377 kB] Get:6 http://security.debian.org bullseye-security/main amd64 logsave amd64 1.46.2-2+deb11u1 [75.0 kB] Get:7 http://security.debian.org bullseye-security/main amd64 libext2fs2 amd64 1.46.2-2+deb11u1 [257 kB] Get:8 http://security.debian.org bullseye-security/main amd64 e2fsprogs amd64 1.46.2-2+deb11u1 [614 kB] Get:9 http://security.debian.org bullseye-security/main amd64 libcom-err2 amd64 1.46.2-2+deb11u1 [74.3 kB] Get:10 http://security.debian.org bullseye-security/main amd64 libudev1 amd64 247.3-7+deb11u6 [169 kB] Get:11 http://security.debian.org bullseye-security/main amd64 libcups2 amd64 2.3.3op2-3+deb11u9 [351 kB] Get:12 http://security.debian.org bullseye-security/main amd64 libexpat1 amd64 2.2.10-2+deb11u6 [99.0 kB] Get:13 http://security.debian.org bullseye-security/main amd64 libsqlite3-0 amd64 3.34.1-3+deb11u1 [797 kB] Get:14 http://security.debian.org bullseye-security/main amd64 libss2 amd64 1.46.2-2+deb11u1 [78.9 kB] Get:15 http://security.debian.org bullseye-security/main amd64 libxml2 amd64 2.9.10+dfsg-6.7+deb11u5 [693 kB] Get:16 http://security.debian.org bullseye-security/main amd64 linux-libc-dev amd64 5.10.226-1 [1770 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 11.6 MB in 0s (81.4 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 ... 25375 files and directories currently installed.) Preparing to unpack .../systemd-sysv_247.3-7+deb11u6_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libpam-systemd_247.3-7+deb11u6_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libgnutls30_3.7.1-5+deb11u6_amd64.deb ... Unpacking libgnutls30:amd64 (3.7.1-5+deb11u6) over (3.7.1-5+deb11u5) ... Setting up libgnutls30:amd64 (3.7.1-5+deb11u6) ... (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 ... 25375 files and directories currently installed.) Preparing to unpack .../systemd_247.3-7+deb11u6_amd64.deb ... Unpacking systemd (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Preparing to unpack .../libsystemd0_247.3-7+deb11u6_amd64.deb ... Unpacking libsystemd0:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Setting up libsystemd0:amd64 (247.3-7+deb11u6) ... (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 ... 25375 files and directories currently installed.) Preparing to unpack .../logsave_1.46.2-2+deb11u1_amd64.deb ... Unpacking logsave (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../libext2fs2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libext2fs2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Setting up libext2fs2:amd64 (1.46.2-2+deb11u1) ... (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 ... 25375 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.46.2-2+deb11u1_amd64.deb ... Unpacking e2fsprogs (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../libcom-err2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libcom-err2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Setting up libcom-err2:amd64 (1.46.2-2+deb11u1) ... (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 ... 25375 files and directories currently installed.) Preparing to unpack .../libudev1_247.3-7+deb11u6_amd64.deb ... Unpacking libudev1:amd64 (247.3-7+deb11u6) over (247.3-7+deb11u5) ... Setting up libudev1:amd64 (247.3-7+deb11u6) ... (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 ... 25375 files and directories currently installed.) Preparing to unpack .../0-libcups2_2.3.3op2-3+deb11u9_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u9) over (2.3.3op2-3+deb11u8) ... Preparing to unpack .../1-libexpat1_2.2.10-2+deb11u6_amd64.deb ... Unpacking libexpat1:amd64 (2.2.10-2+deb11u6) over (2.2.10-2+deb11u5) ... Preparing to unpack .../2-libsqlite3-0_3.34.1-3+deb11u1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.34.1-3+deb11u1) over (3.34.1-3) ... Preparing to unpack .../3-libss2_1.46.2-2+deb11u1_amd64.deb ... Unpacking libss2:amd64 (1.46.2-2+deb11u1) over (1.46.2-2) ... Preparing to unpack .../4-libxml2_2.9.10+dfsg-6.7+deb11u5_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) over (2.9.10+dfsg-6.7+deb11u4) ... Preparing to unpack .../5-linux-libc-dev_5.10.226-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.10.226-1) over (5.10.223-1) ... Setting up libexpat1:amd64 (2.2.10-2+deb11u6) ... Setting up libsqlite3-0:amd64 (3.34.1-3+deb11u1) ... Setting up linux-libc-dev:amd64 (5.10.226-1) ... Setting up systemd (247.3-7+deb11u6) ... Setting up libss2:amd64 (1.46.2-2+deb11u1) ... Setting up logsave (1.46.2-2+deb11u1) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u9) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) ... Setting up systemd-sysv (247.3-7+deb11u6) ... Setting up e2fsprogs (1.46.2-2+deb11u1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u6) ... Processing triggers for dbus (1.12.28-0+deb11u1) ... Processing triggers for libc-bin (2.31-13+deb11u11) ... 0m48.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-yf', 'dist-upgrade'] 0m48.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m48.5s DUMP: 391c87db0546fb1fef04a326c9705946 - 0m48.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'sh', '-c', 'apt-cache dumpavail | md5sum'] 0m48.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'show', '--no-all-versions', 'frama-c-base'] 0m48.6s DUMP: Package: frama-c-base Source: frama-c Version: 20201209+titanium-4.1 Installed-Size: 281644 Maintainer: Debian OCaml Maintainers Architecture: amd64 Depends: libc6 (>= 2.29), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10 (>= 2:5.1.1), libgtk-3-0 (>= 3.9.10), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.22.0), libbiniou-ocaml-dsqd1, libcairo2-ocaml-vwag2, libeasy-format-ocaml-1ajv1, libfindlib-ocaml-wh6n1, liblablgtk3-ocaml-x0f80, liblablgtksourceview3-ocaml-5j5o8, libyojson-ocaml-mkm52, libzarith-ocaml-rccg7, ocaml-base-nox-4.11.1, perl:any, libocamlgraph-ocaml-dev, gcc, python3 Recommends: alt-ergo, why3, libwhy3-ocaml-dev Description-en: Platform dedicated to the analysis of source code written in C Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aora? plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c, the command-line tools, and the graphical interface. Description-md5: 2e7860054dd191ec0787bab2062c3031 Homepage: https://frama-c.com Tag: devel::testing-qa, interface::graphical, interface::x11, role::program, uitoolkit::gtk, uitoolkit::ncurses, x11::application Section: devel Priority: optional Filename: pool/main/f/frama-c/frama-c-base_20201209+titanium-4.1_amd64.deb Size: 60634612 MD5sum: ee412f62710536a586fc875b9e98f2b9 SHA256: f4cc375824f57dd59a94f513e6a0ebdac3904f696d90ad5ae1beebec37c770e6 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'show', '--no-all-versions', 'frama-c-base'] 0m48.6s INFO: apt-cache knows about the following packages: frama-c-base 0m48.6s INFO: Running scripts pre_install 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m48.6s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-updates,n=bullseye-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bullseye-security/main amd64 Packages release v=11,o=Debian,a=oldstable-security,n=bullseye-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m48.6s DUMP: frama-c-base: Installed: 20201209+titanium-4.1 Candidate: 20201209+titanium-4.1 Version table: *** 20201209+titanium-4.1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 0m48.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m48.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base'] 0m48.8s DUMP: Reading package lists... Building dependency tree... Reading state information... frama-c-base is already the newest version (20201209+titanium-4.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base'] 0m48.8s INFO: Running scripts post_install 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m48.8s INFO: Running scripts post_distupgrade 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_base_cleanup'] 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_exceptions'] 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_exceptions'] 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_force-unsafe-io'] 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m48.8s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_squeeze-backports'] 0m48.8s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_zz_backports'] 0m48.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_distupgrade_zz_backports'] 0m48.9s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m49.7s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m49.7s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m50.5s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m50.5s INFO: Running scripts pre_install 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_database-server'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_exceptions'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_extras'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_install_foreign_architecture_i386'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m50.5s DUMP: Package files: 100 /var/lib/dpkg/status release a=now 500 http://deb.debian.org/debian bullseye-updates/main amd64 Packages release v=11-updates,o=Debian,a=oldstable-updates,n=bullseye-updates,l=Debian,c=main,b=amd64 origin deb.debian.org 500 http://security.debian.org bullseye-security/main amd64 Packages release v=11,o=Debian,a=oldstable-security,n=bullseye-security,l=Debian-Security,c=main,b=amd64 origin security.debian.org 500 http://deb.debian.org/debian bullseye/main amd64 Packages release v=11.11,o=Debian,a=oldstable,n=bullseye,l=Debian,c=main,b=amd64 origin deb.debian.org Pinned packages: 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m50.5s DUMP: frama-c-base: Installed: 20201209+titanium-4.1 Candidate: 20201209+titanium-4.1 Version table: *** 20201209+titanium-4.1 500 500 http://deb.debian.org/debian bullseye/main amd64 Packages 100 /var/lib/dpkg/status 0m50.5s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-cache', 'policy', 'frama-c-base'] 0m50.5s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base=20201209+titanium-4.1'] 0m50.7s DUMP: Reading package lists... Building dependency tree... Reading state information... frama-c-base is already the newest version (20201209+titanium-4.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', '-y', 'install', 'frama-c-base=20201209+titanium-4.1'] 0m50.7s INFO: Running scripts post_install 0m50.7s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m50.7s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_install_exceptions'] 0m50.8s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m51.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 0m51.7s DEBUG: No file moved between /{bin|sbin|lib*} and /usr/{bin|sbin|lib*}. 0m51.7s INFO: /bin converted to /usr/bin by /usr merge 0m51.7s INFO: /lib converted to /usr/lib by /usr merge 0m51.7s INFO: /lib/init converted to /usr/lib/init by /usr merge 0m51.7s INFO: /lib/lsb converted to /usr/lib/lsb by /usr merge 0m51.7s INFO: /lib/lsb/init-functions.d converted to /usr/lib/lsb/init-functions.d by /usr merge 0m51.7s INFO: /lib/modprobe.d converted to /usr/lib/modprobe.d by /usr merge 0m51.7s INFO: /lib/systemd converted to /usr/lib/systemd by /usr merge 0m51.7s INFO: /lib/systemd/network converted to /usr/lib/systemd/network by /usr merge 0m51.7s INFO: /lib/systemd/system-generators converted to /usr/lib/systemd/system-generators by /usr merge 0m51.7s INFO: /lib/systemd/system-preset converted to /usr/lib/systemd/system-preset by /usr merge 0m51.7s INFO: /lib/systemd/system converted to /usr/lib/systemd/system by /usr merge 0m51.7s INFO: /lib/systemd/system/getty.target.wants converted to /usr/lib/systemd/system/getty.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/graphical.target.wants converted to /usr/lib/systemd/system/graphical.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/initrd-root-device.target.wants converted to /usr/lib/systemd/system/initrd-root-device.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/multi-user.target.wants converted to /usr/lib/systemd/system/multi-user.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/rc-local.service.d converted to /usr/lib/systemd/system/rc-local.service.d by /usr merge 0m51.7s INFO: /lib/systemd/system/rescue.target.wants converted to /usr/lib/systemd/system/rescue.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/sockets.target.wants converted to /usr/lib/systemd/system/sockets.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/sysinit.target.wants converted to /usr/lib/systemd/system/sysinit.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/systemd-localed.service.d converted to /usr/lib/systemd/system/systemd-localed.service.d by /usr merge 0m51.7s INFO: /lib/systemd/system/timers.target.wants converted to /usr/lib/systemd/system/timers.target.wants by /usr merge 0m51.7s INFO: /lib/systemd/system/user-.slice.d converted to /usr/lib/systemd/system/user-.slice.d by /usr merge 0m51.7s INFO: /lib/terminfo converted to /usr/lib/terminfo by /usr merge 0m51.7s INFO: /lib/terminfo/E converted to /usr/lib/terminfo/E by /usr merge 0m51.7s INFO: /lib/terminfo/a converted to /usr/lib/terminfo/a by /usr merge 0m51.7s INFO: /lib/terminfo/c converted to /usr/lib/terminfo/c by /usr merge 0m51.7s INFO: /lib/terminfo/d converted to /usr/lib/terminfo/d by /usr merge 0m51.7s INFO: /lib/terminfo/h converted to /usr/lib/terminfo/h by /usr merge 0m51.7s INFO: /lib/terminfo/l converted to /usr/lib/terminfo/l by /usr merge 0m51.7s INFO: /lib/terminfo/m converted to /usr/lib/terminfo/m by /usr merge 0m51.7s INFO: /lib/terminfo/p converted to /usr/lib/terminfo/p by /usr merge 0m51.7s INFO: /lib/terminfo/r converted to /usr/lib/terminfo/r by /usr merge 0m51.7s INFO: /lib/terminfo/s converted to /usr/lib/terminfo/s by /usr merge 0m51.7s INFO: /lib/terminfo/t converted to /usr/lib/terminfo/t by /usr merge 0m51.7s INFO: /lib/terminfo/v converted to /usr/lib/terminfo/v by /usr merge 0m51.7s INFO: /lib/terminfo/w converted to /usr/lib/terminfo/w by /usr merge 0m51.7s INFO: /lib/terminfo/x converted to /usr/lib/terminfo/x by /usr merge 0m51.7s INFO: /lib/udev converted to /usr/lib/udev by /usr merge 0m51.7s INFO: /lib/udev/rules.d converted to /usr/lib/udev/rules.d by /usr merge 0m51.7s INFO: /lib/x86_64-linux-gnu converted to /usr/lib/x86_64-linux-gnu by /usr merge 0m51.7s INFO: /lib/x86_64-linux-gnu/security converted to /usr/lib/x86_64-linux-gnu/security by /usr merge 0m51.7s INFO: /lib64 converted to /usr/lib64 by /usr merge 0m51.7s INFO: /sbin converted to /usr/sbin by /usr merge 0m52.4s DEBUG: Starting command: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmps4dom78e', '-ac', '--ignore-obsolete'] 0m55.1s DEBUG: Command ok: ['debsums', '--root', '/srv/piuparts.debian.org/tmp/tmps4dom78e', '-ac', '--ignore-obsolete'] 0m55.1s DEBUG: Starting command: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m55.2s DUMP: 0.15.6 0m55.2s DEBUG: Command ok: ['dpkg-query', '-f', '${Version}\n', '-W', 'adequate'] 0m55.2s INFO: Running adequate version 0.15.6 now. 0m55.2s DEBUG: Starting command: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'frama-c-base'] 0m55.3s DUMP: frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/benchmark_database.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/frama_c_results.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/function_finder.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/git_utils.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/results_display.py 0m55.3s DEBUG: Command ok: ['adequate', '--root', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'frama-c-base'] 0m55.3s ERROR: WARN: Inadequate results from running adequate! frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/benchmark_database.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/frama_c_results.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/function_finder.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/git_utils.py frama-c-base: py-file-not-bytecompiled /usr/share/frama-c/analysis-scripts/results_display.py 0m55.3s ERROR: WARN: Running adequate resulted in inadequate tags found: py-file-not-bytecompiled 0m55.3s INFO: Running scripts pre_remove 0m55.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_missing_md5sums'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m55.4s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_obsolete_conffiles'] 0m55.4s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m58.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_40_find_unowned_lib_links'] 0m58.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m59.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_50_find_bad_permissions'] 0m59.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m59.0s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_50_find_missing_copyright'] 0m59.0s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_exceptions'] 0m59.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/pre_remove_exceptions'] 0m59.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m59.1s DUMP: install ok installed adduser adduser 3.118+deb11u1 install ok installed adwaita-icon-theme adwaita-icon-theme 3.38.0-1 install ok installed apt apt 2.2.4 install ok installed base-files base-files 11.1+deb11u11 install ok installed base-passwd base-passwd 3.5.51 install ok installed bash bash 5.1-2+deb11u1 install ok installed binutils binutils 2.35.2-2 install ok installed binutils-common:amd64 binutils-common 2.35.2-2 install ok installed binutils-x86-64-linux-gnu binutils-x86-64-linux-gnu 2.35.2-2 install ok installed bsdutils bsdutils 1:2.36.1-8+deb11u2 install ok installed coreutils coreutils 8.32-4+b1 install ok installed cpp cpp 4:10.2.1-1 install ok installed cpp-10 cpp-10 10.2.1-6 install ok installed dash dash 0.5.11+git20200708+dd9ef66-5 install ok installed dbus dbus 1.12.28-0+deb11u1 install ok installed dbus-user-session dbus-user-session 1.12.28-0+deb11u1 install ok installed dconf-gsettings-backend:amd64 dconf-gsettings-backend 0.38.0-2 install ok installed dconf-service dconf-service 0.38.0-2 install ok installed debconf debconf 1.5.77 install ok installed debian-archive-keyring debian-archive-keyring 2021.1.1+deb11u1 install ok installed debianutils debianutils 4.11.2 install ok installed diffutils diffutils 1:3.7-5 install ok installed dmsetup dmsetup 2:1.02.175-2.1 install ok installed dpkg dpkg 1.20.13 install ok installed e2fsprogs e2fsprogs 1.46.2-2+deb11u1 install ok installed findutils findutils 4.8.0-1 install ok installed fontconfig fontconfig 2.13.1-4.2 install ok installed fontconfig-config fontconfig-config 2.13.1-4.2 install ok installed fonts-dejavu-core fonts-dejavu-core 2.37-2 install ok installed frama-c-base frama-c-base 20201209+titanium-4.1 install ok installed gcc gcc 4:10.2.1-1 install ok installed gcc-10 gcc-10 10.2.1-6 install ok installed gcc-10-base:amd64 gcc-10-base 10.2.1-6 install ok installed gcc-9-base:amd64 gcc-9-base 9.3.0-22 install ok installed glib-networking:amd64 glib-networking 2.66.0-2 install ok installed glib-networking-common glib-networking-common 2.66.0-2 install ok installed glib-networking-services glib-networking-services 2.66.0-2 install ok installed gpgv gpgv 2.2.27-2+deb11u2 install ok installed grep grep 3.6-1+deb11u1 install ok installed gsettings-desktop-schemas gsettings-desktop-schemas 3.38.0-2 install ok installed gtk-update-icon-cache gtk-update-icon-cache 3.24.24-4+deb11u4 install ok installed gzip gzip 1.10-4+deb11u1 install ok installed hicolor-icon-theme hicolor-icon-theme 0.17-2 install ok installed hostname hostname 3.23 install ok installed init-system-helpers init-system-helpers 1.60 install ok installed libacl1:amd64 libacl1 2.2.53-10 install ok installed libapparmor1:amd64 libapparmor1 2.13.6-10 install ok installed libapt-pkg6.0:amd64 libapt-pkg6.0 2.2.4 install ok installed libargon2-1:amd64 libargon2-1 0~20171227-0.2 install ok installed libasan6:amd64 libasan6 10.2.1-6 install ok installed libatk-bridge2.0-0:amd64 libatk-bridge2.0-0 2.38.0-1 install ok installed libatk1.0-0:amd64 libatk1.0-0 2.36.0-2 install ok installed libatk1.0-data libatk1.0-data 2.36.0-2 install ok installed libatomic1:amd64 libatomic1 10.2.1-6 install ok installed libatspi2.0-0:amd64 libatspi2.0-0 2.38.0-4+deb11u1 install ok installed libattr1:amd64 libattr1 1:2.4.48-6 install ok installed libaudit-common libaudit-common 1:3.0-2 install ok installed libaudit1:amd64 libaudit1 1:3.0-2 install ok installed libavahi-client3:amd64 libavahi-client3 0.8-5+deb11u2 install ok installed libavahi-common-data:amd64 libavahi-common-data 0.8-5+deb11u2 install ok installed libavahi-common3:amd64 libavahi-common3 0.8-5+deb11u2 install ok installed libbiniou-ocaml libbiniou-ocaml 1.2.1-1+b2 install ok installed libbinutils:amd64 libbinutils 2.35.2-2 install ok installed libblkid1:amd64 libblkid1 2.36.1-8+deb11u2 install ok installed libbrotli1:amd64 libbrotli1 1.0.9-2+b2 install ok installed libbsd0:amd64 libbsd0 0.11.3-1+deb11u1 install ok installed libbz2-1.0:amd64 libbz2-1.0 1.0.8-4 install ok installed libc-bin libc-bin 2.31-13+deb11u11 install ok installed libc-dev-bin libc-dev-bin 2.31-13+deb11u11 install ok installed libc6:amd64 libc6 2.31-13+deb11u11 install ok installed libc6-dev:amd64 libc6-dev 2.31-13+deb11u11 install ok installed libcairo-gobject2:amd64 libcairo-gobject2 1.16.0-5 install ok installed libcairo2:amd64 libcairo2 1.16.0-5 install ok installed libcairo2-ocaml libcairo2-ocaml 0.6.2+dfsg-1 install ok installed libcap-ng0:amd64 libcap-ng0 0.7.9-2.2+b1 install ok installed libcap2:amd64 libcap2 1:2.44-1 install ok installed libcc1-0:amd64 libcc1-0 10.2.1-6 install ok installed libcolord2:amd64 libcolord2 1.4.5-3 install ok installed libcom-err2:amd64 libcom-err2 1.46.2-2+deb11u1 install ok installed libcrypt-dev:amd64 libcrypt-dev 1:4.4.18-4 install ok installed libcrypt1:amd64 libcrypt1 1:4.4.18-4 install ok installed libcryptsetup12:amd64 libcryptsetup12 2:2.3.7-1+deb11u1 install ok installed libctf-nobfd0:amd64 libctf-nobfd0 2.35.2-2 install ok installed libctf0:amd64 libctf0 2.35.2-2 install ok installed libcups2:amd64 libcups2 2.3.3op2-3+deb11u9 install ok installed libdatrie1:amd64 libdatrie1 0.2.13-1 install ok installed libdb5.3:amd64 libdb5.3 5.3.28+dfsg1-0.8 install ok installed libdbus-1-3:amd64 libdbus-1-3 1.12.28-0+deb11u1 install ok installed libdconf1:amd64 libdconf1 0.38.0-2 install ok installed libdebconfclient0:amd64 libdebconfclient0 0.260 install ok installed libdeflate0:amd64 libdeflate0 1.7-1 install ok installed libdevmapper1.02.1:amd64 libdevmapper1.02.1 2:1.02.175-2.1 install ok installed libeasy-format-ocaml libeasy-format-ocaml 1.3.2-1+b1 install ok installed libepoxy0:amd64 libepoxy0 1.5.5-1 install ok installed libexpat1:amd64 libexpat1 2.2.10-2+deb11u6 install ok installed libext2fs2:amd64 libext2fs2 1.46.2-2+deb11u1 install ok installed libffi7:amd64 libffi7 3.3-6 install ok installed libfindlib-ocaml libfindlib-ocaml 1.8.1-2 install ok installed libfontconfig1:amd64 libfontconfig1 2.13.1-4.2 install ok installed libfreetype6:amd64 libfreetype6 2.10.4+dfsg-1+deb11u1 install ok installed libfribidi0:amd64 libfribidi0 1.0.8-2+deb11u1 install ok installed libgcc-10-dev:amd64 libgcc-10-dev 10.2.1-6 install ok installed libgcc-s1:amd64 libgcc-s1 10.2.1-6 install ok installed libgcrypt20:amd64 libgcrypt20 1.8.7-6 install ok installed libgdbm-compat4:amd64 libgdbm-compat4 1.19-2 install ok installed libgdbm6:amd64 libgdbm6 1.19-2 install ok installed libgdk-pixbuf-2.0-0:amd64 libgdk-pixbuf-2.0-0 2.42.2+dfsg-1+deb11u2 install ok installed libgdk-pixbuf-xlib-2.0-0:amd64 libgdk-pixbuf-xlib-2.0-0 2.40.2-2 install ok installed libgdk-pixbuf2.0-0:amd64 libgdk-pixbuf2.0-0 2.40.2-2 install ok installed libgdk-pixbuf2.0-common libgdk-pixbuf2.0-common 2.42.2+dfsg-1+deb11u2 install ok installed libglib2.0-0:amd64 libglib2.0-0 2.66.8-1+deb11u4 install ok installed libgmp10:amd64 libgmp10 2:6.2.1+dfsg-1+deb11u1 install ok installed libgnutls30:amd64 libgnutls30 3.7.1-5+deb11u6 install ok installed libgomp1:amd64 libgomp1 10.2.1-6 install ok installed libgpg-error0:amd64 libgpg-error0 1.38-2 install ok installed libgraphite2-3:amd64 libgraphite2-3 1.3.14-1 install ok installed libgssapi-krb5-2:amd64 libgssapi-krb5-2 1.18.3-6+deb11u5 install ok installed libgtk-3-0:amd64 libgtk-3-0 3.24.24-4+deb11u4 install ok installed libgtk-3-common libgtk-3-common 3.24.24-4+deb11u4 install ok installed libgtksourceview-3.0-1:amd64 libgtksourceview-3.0-1 3.24.11-2 install ok installed libgtksourceview-3.0-common libgtksourceview-3.0-common 3.24.11-2 install ok installed libharfbuzz0b:amd64 libharfbuzz0b 2.7.4-1 install ok installed libhogweed6:amd64 libhogweed6 3.7.3-1 install ok installed libicu67:amd64 libicu67 67.1-7 install ok installed libidn2-0:amd64 libidn2-0 2.3.0-5 install ok installed libip4tc2:amd64 libip4tc2 1.8.7-1 install ok installed libisl23:amd64 libisl23 0.23-1 install ok installed libitm1:amd64 libitm1 10.2.1-6 install ok installed libjbig0:amd64 libjbig0 2.1-3.1+b2 install ok installed libjpeg62-turbo:amd64 libjpeg62-turbo 1:2.0.6-4 install ok installed libjson-c5:amd64 libjson-c5 0.15-2+deb11u1 install ok installed libjson-glib-1.0-0:amd64 libjson-glib-1.0-0 1.6.2-1 install ok installed libjson-glib-1.0-common libjson-glib-1.0-common 1.6.2-1 install ok installed libk5crypto3:amd64 libk5crypto3 1.18.3-6+deb11u5 install ok installed libkeyutils1:amd64 libkeyutils1 1.6.1-2 install ok installed libkmod2:amd64 libkmod2 28-1 install ok installed libkrb5-3:amd64 libkrb5-3 1.18.3-6+deb11u5 install ok installed libkrb5support0:amd64 libkrb5support0 1.18.3-6+deb11u5 install ok installed liblablgtk3-ocaml liblablgtk3-ocaml 3.1.1+official-1+b1 install ok installed liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml 3.1.1+official-1+b1 install ok installed liblcms2-2:amd64 liblcms2-2 2.12~rc1-2 install ok installed liblsan0:amd64 liblsan0 10.2.1-6 install ok installed liblz4-1:amd64 liblz4-1 1.9.3-2 install ok installed liblzma5:amd64 liblzma5 5.2.5-2.1~deb11u1 install ok installed libmd0:amd64 libmd0 1.0.3-3 install ok installed libmount1:amd64 libmount1 2.36.1-8+deb11u2 install ok installed libmpc3:amd64 libmpc3 1.2.0-1 install ok installed libmpdec3:amd64 libmpdec3 2.5.1-1 install ok installed libmpfr6:amd64 libmpfr6 4.1.0-3 install ok installed libncurses-dev:amd64 libncurses-dev 6.2+20201114-2+deb11u2 install ok installed libncurses5-dev:amd64 libncurses5-dev 6.2+20201114-2+deb11u2 install ok installed libncurses6:amd64 libncurses6 6.2+20201114-2+deb11u2 install ok installed libncursesw6:amd64 libncursesw6 6.2+20201114-2+deb11u2 install ok installed libnettle8:amd64 libnettle8 3.7.3-1 install ok installed libnsl-dev:amd64 libnsl-dev 1.3.0-2 install ok installed libnsl2:amd64 libnsl2 1.3.0-2 install ok installed libocamlgraph-ocaml-dev libocamlgraph-ocaml-dev 1.8.8-1.1+b2 install ok installed libp11-kit0:amd64 libp11-kit0 0.23.22-1 install ok installed libpam-modules:amd64 libpam-modules 1.4.0-9+deb11u1 install ok installed libpam-modules-bin libpam-modules-bin 1.4.0-9+deb11u1 install ok installed libpam-runtime libpam-runtime 1.4.0-9+deb11u1 install ok installed libpam-systemd:amd64 libpam-systemd 247.3-7+deb11u6 install ok installed libpam0g:amd64 libpam0g 1.4.0-9+deb11u1 install ok installed libpango-1.0-0:amd64 libpango-1.0-0 1.46.2-3 install ok installed libpangocairo-1.0-0:amd64 libpangocairo-1.0-0 1.46.2-3 install ok installed libpangoft2-1.0-0:amd64 libpangoft2-1.0-0 1.46.2-3 install ok installed libpcre2-8-0:amd64 libpcre2-8-0 10.36-2+deb11u1 install ok installed libpcre3:amd64 libpcre3 2:8.39-13 install ok installed libperl5.32:amd64 libperl5.32 5.32.1-4+deb11u3 install ok installed libpixman-1-0:amd64 libpixman-1-0 0.40.0-1.1~deb11u1 install ok installed libpng16-16:amd64 libpng16-16 1.6.37-3 install ok installed libproxy1v5:amd64 libproxy1v5 0.4.17-1 install ok installed libpsl5:amd64 libpsl5 0.21.0-1.2 install ok installed libpython3-stdlib:amd64 libpython3-stdlib 3.9.2-3 install ok installed libpython3.9-minimal:amd64 libpython3.9-minimal 3.9.2-1 install ok installed libpython3.9-stdlib:amd64 libpython3.9-stdlib 3.9.2-1 install ok installed libquadmath0:amd64 libquadmath0 10.2.1-6 install ok installed libreadline8:amd64 libreadline8 8.1-1 install ok installed librest-0.7-0:amd64 librest-0.7-0 0.8.1-1.1 install ok installed libseccomp2:amd64 libseccomp2 2.5.1-1+deb11u1 install ok installed libselinux1:amd64 libselinux1 3.1-3 install ok installed libsemanage-common libsemanage-common 3.1-1 install ok installed libsemanage1:amd64 libsemanage1 3.1-1+b2 install ok installed libsepol1:amd64 libsepol1 3.1-1 install ok installed libsmartcols1:amd64 libsmartcols1 2.36.1-8+deb11u2 install ok installed libsoup-gnome2.4-1:amd64 libsoup-gnome2.4-1 2.72.0-2 install ok installed libsoup2.4-1:amd64 libsoup2.4-1 2.72.0-2 install ok installed libsqlite3-0:amd64 libsqlite3-0 3.34.1-3+deb11u1 install ok installed libss2:amd64 libss2 1.46.2-2+deb11u1 install ok installed libssl1.1:amd64 libssl1.1 1.1.1w-0+deb11u1 install ok installed libstdc++6:amd64 libstdc++6 10.2.1-6 install ok installed libsystemd0:amd64 libsystemd0 247.3-7+deb11u6 install ok installed libtasn1-6:amd64 libtasn1-6 4.16.0-2+deb11u1 install ok installed libthai-data libthai-data 0.1.28-3 install ok installed libthai0:amd64 libthai0 0.1.28-3 install ok installed libtiff5:amd64 libtiff5 4.2.0-1+deb11u5 install ok installed libtinfo6:amd64 libtinfo6 6.2+20201114-2+deb11u2 install ok installed libtirpc-common libtirpc-common 1.3.1-1+deb11u1 install ok installed libtirpc-dev:amd64 libtirpc-dev 1.3.1-1+deb11u1 install ok installed libtirpc3:amd64 libtirpc3 1.3.1-1+deb11u1 install ok installed libtsan0:amd64 libtsan0 10.2.1-6 install ok installed libubsan1:amd64 libubsan1 10.2.1-6 install ok installed libudev1:amd64 libudev1 247.3-7+deb11u6 install ok installed libunistring2:amd64 libunistring2 0.9.10-4 install ok installed libuuid1:amd64 libuuid1 2.36.1-8+deb11u2 install ok installed libwayland-client0:amd64 libwayland-client0 1.18.0-2~exp1.1 install ok installed libwayland-cursor0:amd64 libwayland-cursor0 1.18.0-2~exp1.1 install ok installed libwayland-egl1:amd64 libwayland-egl1 1.18.0-2~exp1.1 install ok installed libwebp6:amd64 libwebp6 0.6.1-2.1+deb11u2 install ok installed libx11-6:amd64 libx11-6 2:1.7.2-1+deb11u2 install ok installed libx11-data libx11-data 2:1.7.2-1+deb11u2 install ok installed libxau6:amd64 libxau6 1:1.0.9-1 install ok installed libxcb-render0:amd64 libxcb-render0 1.14-3 install ok installed libxcb-shm0:amd64 libxcb-shm0 1.14-3 install ok installed libxcb1:amd64 libxcb1 1.14-3 install ok installed libxcomposite1:amd64 libxcomposite1 1:0.4.5-1 install ok installed libxcursor1:amd64 libxcursor1 1:1.2.0-2 install ok installed libxdamage1:amd64 libxdamage1 1:1.1.5-2 install ok installed libxdmcp6:amd64 libxdmcp6 1:1.1.2-3 install ok installed libxext6:amd64 libxext6 2:1.3.3-1.1 install ok installed libxfixes3:amd64 libxfixes3 1:5.0.3-2 install ok installed libxi6:amd64 libxi6 2:1.7.10-1 install ok installed libxinerama1:amd64 libxinerama1 2:1.1.4-2 install ok installed libxkbcommon0:amd64 libxkbcommon0 1.0.3-2 install ok installed libxml2:amd64 libxml2 2.9.10+dfsg-6.7+deb11u5 install ok installed libxrandr2:amd64 libxrandr2 2:1.5.1-1 install ok installed libxrender1:amd64 libxrender1 1:0.9.10-1 install ok installed libxxhash0:amd64 libxxhash0 0.8.0-2 install ok installed libyojson-ocaml libyojson-ocaml 1.7.0-1+b4 install ok installed libzarith-ocaml libzarith-ocaml 1.11-1 install ok installed libzstd1:amd64 libzstd1 1.4.8+dfsg-2.1 install ok installed linux-libc-dev:amd64 linux-libc-dev 5.10.226-1 install ok installed login login 1:4.8.1-1 install ok installed logsave logsave 1.46.2-2+deb11u1 install ok installed lsb-base lsb-base 11.1.0 install ok installed mawk mawk 1.3.4.20200120-2 install ok installed media-types media-types 4.0.0 install ok installed mount mount 2.36.1-8+deb11u2 install ok installed ncurses-base ncurses-base 6.2+20201114-2+deb11u2 install ok installed ncurses-bin ncurses-bin 6.2+20201114-2+deb11u2 install ok installed ocaml-base-nox ocaml-base-nox 4.11.1-4 install ok installed ocaml-compiler-libs ocaml-compiler-libs 4.11.1-4 install ok installed ocaml-interp ocaml-interp 4.11.1-4 install ok installed ocaml-nox ocaml-nox 4.11.1-4 install ok installed passwd passwd 1:4.8.1-1 install ok installed perl perl 5.32.1-4+deb11u3 install ok installed perl-base perl-base 5.32.1-4+deb11u3 install ok installed perl-modules-5.32 perl-modules-5.32 5.32.1-4+deb11u3 install ok installed python3 python3 3.9.2-3 install ok installed python3-minimal python3-minimal 3.9.2-3 install ok installed python3.9 python3.9 3.9.2-1 install ok installed python3.9-minimal python3.9-minimal 3.9.2-1 install ok installed readline-common readline-common 8.1-1 install ok installed sed sed 4.7-1 install ok installed sensible-utils sensible-utils 0.0.14 install ok installed shared-mime-info shared-mime-info 2.0-1 install ok installed systemd systemd 247.3-7+deb11u6 install ok installed systemd-sysv systemd-sysv 247.3-7+deb11u6 install ok installed sysvinit-utils sysvinit-utils 2.96-7+deb11u1 install ok installed tar tar 1.34+dfsg-1+deb11u1 install ok installed tzdata tzdata 2024a-0+deb11u1 install ok installed ucf ucf 3.0043 install ok installed util-linux util-linux 2.36.1-8+deb11u2 install ok installed xkb-data xkb-data 2.29-2 install ok installed zlib1g:amd64 zlib1g 1:1.2.11.dfsg-2+deb11u2 0m59.1s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-query', '-W', '-f', '${Status}\\t${binary:Package}\\t${Package}\\t${Version}\\n'] 0m59.1s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-10', 'dbus', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbiniou-ocaml', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcap2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libeasy-format-ocaml', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-10-dev:amd64', 'libgdbm-compat4:amd64', 'libgdbm6:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.32:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-interp', 'ocaml-nox', 'perl', 'perl-modules-5.32', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'xkb-data', 'frama-c-base'] 1m0.9s DUMP: Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adwaita-icon-theme binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-10 dbus dbus-user-session dconf-gsettings-backend dconf-service dmsetup fontconfig fontconfig-config fonts-dejavu-core frama-c-base gcc gcc-10 glib-networking glib-networking-common glib-networking-services gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme libapparmor1 libargon2-1 libasan6 libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbiniou-ocaml libbinutils libbrotli1 libbsd0 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2 libcairo2-ocaml libcap2 libcc1-0 libcolord2 libcrypt-dev libcryptsetup12 libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdeflate0 libdevmapper1.02.1 libeasy-format-ocaml libepoxy0 libexpat1 libfindlib-ocaml libfontconfig1 libfreetype6 libfribidi0 libgcc-10-dev libgdbm-compat4 libgdbm6 libgdk-pixbuf-2.0-0 libgdk-pixbuf-xlib-2.0-0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1 libgraphite2-3 libgtk-3-0 libgtk-3-common libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67 libip4tc2 libisl23 libitm1 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0 libjson-glib-1.0-common libkmod2 liblablgtk3-ocaml liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmd0 libmpc3 libmpdec3 libmpfr6 libncurses-dev libncurses5-dev libncurses6 libncursesw6 libnsl-dev libocamlgraph-ocaml-dev libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.32 libpixman-1-0 libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libquadmath0 libreadline8 librest-0.7-0 libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libthai-data libthai0 libtiff5 libtirpc-dev libtsan0 libubsan1 libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 libyojson-ocaml libzarith-ocaml linux-libc-dev media-types ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox perl perl-modules-5.32 python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils shared-mime-info systemd systemd-sysv ucf xkb-data 0 upgraded, 0 newly installed, 169 to remove and 0 not upgraded. After this operation, 1203 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 ... 25375 files and directories currently installed.) Removing frama-c-base (20201209+titanium-4.1) ... Removing liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ... Removing liblablgtk3-ocaml (3.1.1+official-1+b1) ... Removing libocamlgraph-ocaml-dev (1.8.8-1.1+b2) ... Removing libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Removing libcairo2-ocaml (0.6.2+dfsg-1) ... Removing libyojson-ocaml (1.7.0-1+b4) ... Removing libbiniou-ocaml (1.2.1-1+b2) ... Removing libncurses5-dev:amd64 (6.2+20201114-2+deb11u2) ... Removing libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Removing libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Removing libeasy-format-ocaml (1.3.2-1+b1) ... Removing python3 (3.9.2-3) ... Removing python3-minimal (3.9.2-3) ... Removing python3.9 (3.9.2-1) ... Removing python3.9-minimal (3.9.2-1) ... Removing libfindlib-ocaml (1.8.1-2) ... Removing perl (5.32.1-4+deb11u3) ... Removing libperl5.32:amd64 (5.32.1-4+deb11u3) ... Removing libgdbm-compat4:amd64 (1.19-2) ... Removing libgdbm6:amd64 (1.19-2) ... Removing libgtksourceview-3.0-common (3.24.11-2) ... Removing libpython3-stdlib:amd64 (3.9.2-3) ... Removing libpython3.9-stdlib:amd64 (3.9.2-1) ... find: '/usr/lib/python3': No such file or directory Removing libmpdec3:amd64 (2.5.1-1) ... Removing libpython3.9-minimal:amd64 (3.9.2-1) ... find: '/usr/lib/python3': No such file or directory Removing libreadline8:amd64 (8.1-1) ... Removing libzarith-ocaml (1.11-1) ... Removing media-types (4.0.0) ... Removing perl-modules-5.32 (5.32.1-4+deb11u3) ... Removing readline-common (8.1-1) ... Removing libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Removing adwaita-icon-theme (3.38.0-1) ... Removing libgtk-3-common (3.24.24-4+deb11u4) ... Removing librest-0.7-0:amd64 (0.8.1-1.1) ... Removing libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Removing libsoup2.4-1:amd64 (2.72.0-2) ... Removing glib-networking:amd64 (2.66.0-2) ... Removing gsettings-desktop-schemas (3.38.0-2) ... Removing dconf-gsettings-backend:amd64 (0.38.0-2) ... Removing dconf-service (0.38.0-2) ... Removing dbus-user-session (1.12.28-0+deb11u1) ... Removing libpam-systemd:amd64 (247.3-7+deb11u6) ... Removing dbus (1.12.28-0+deb11u1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of stop. Removing systemd-sysv (247.3-7+deb11u6) ... Removing systemd (247.3-7+deb11u6) ... Removing libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Removing libpangocairo-1.0-0:amd64 (1.46.2-3) ... Removing libpangoft2-1.0-0:amd64 (1.46.2-3) ... Removing libpango-1.0-0:amd64 (1.46.2-3) ... Removing fontconfig (2.13.1-4.2) ... Removing libcairo-gobject2:amd64 (1.16.0-5) ... Removing libcairo2:amd64 (1.16.0-5) ... Removing libfontconfig1:amd64 (2.13.1-4.2) ... Removing fontconfig-config (2.13.1-4.2) ... Removing fonts-dejavu-core (2.37-2) ... Removing glib-networking-services (2.66.0-2) ... dpkg: warning: while removing glib-networking-services, directory '/usr/lib/systemd' not empty so not removed Removing glib-networking-common (2.66.0-2) ... Removing gtk-update-icon-cache (3.24.24-4+deb11u4) ... Removing hicolor-icon-theme (0.17-2) ... Removing libapparmor1:amd64 (2.13.6-10) ... Removing libargon2-1:amd64 (0~20171227-0.2) ... Removing libatk-bridge2.0-0:amd64 (2.38.0-1) ... Removing libatk1.0-0:amd64 (2.36.0-2) ... Removing libatk1.0-data (2.36.0-2) ... Removing libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Removing libcups2:amd64 (2.3.3op2-3+deb11u9) ... Removing libavahi-client3:amd64 (0.8-5+deb11u2) ... Removing libavahi-common3:amd64 (0.8-5+deb11u2) ... Removing libavahi-common-data:amd64 (0.8-5+deb11u2) ... Removing libharfbuzz0b:amd64 (2.7.4-1) ... Removing libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... Removing libbrotli1:amd64 (1.0.9-2+b2) ... Removing libxrandr2:amd64 (2:1.5.1-1) ... Removing libxcursor1:amd64 (1:1.2.0-2) ... Removing libxrender1:amd64 (1:0.9.10-1) ... Removing libxinerama1:amd64 (2:1.1.4-2) ... Removing libxcb-shm0:amd64 (1.14-3) ... Removing libcap2:amd64 (1:2.44-1) ... Removing libcolord2:amd64 (1.4.5-3) ... Removing libthai0:amd64 (0.1.28-3) ... Removing libdatrie1:amd64 (0.2.13-1) ... Removing libdbus-1-3:amd64 (1.12.28-0+deb11u1) ... Removing libdconf1:amd64 (0.38.0-2) ... Removing libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... Removing libtiff5:amd64 (4.2.0-1+deb11u5) ... Removing libdeflate0:amd64 (1.7-1) ... Removing libepoxy0:amd64 (1.5.5-1) ... Removing libexpat1:amd64 (2.2.10-2+deb11u6) ... Removing libfribidi0:amd64 (1.0.8-2+deb11u1) ... Removing libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u2) ... Removing shared-mime-info (2.0-1) ... Removing libjson-glib-1.0-0:amd64 (1.6.2-1) ... Removing libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... Removing libgraphite2-3:amd64 (1.3.14-1) ... Removing libxml2:amd64 (2.9.10+dfsg-6.7+deb11u5) ... Removing libicu67:amd64 (67.1-7) ... Removing libip4tc2:amd64 (1.8.7-1) ... Removing libjbig0:amd64 (2.1-3.1+b2) ... Removing libjpeg62-turbo:amd64 (1:2.0.6-4) ... Removing libjson-c5:amd64 (0.15-2+deb11u1) ... Removing libjson-glib-1.0-common (1.6.2-1) ... Removing libkmod2:amd64 (28-1) ... Removing liblcms2-2:amd64 (2.12~rc1-2) ... Removing libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Removing libpng16-16:amd64 (1.6.37-3) ... Removing libproxy1v5:amd64 (0.4.17-1) ... Removing libpsl5:amd64 (0.21.0-1.2) ... Removing libsqlite3-0:amd64 (3.34.1-3+deb11u1) ... Removing libthai-data (0.1.28-3) ... Removing libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Removing libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Removing libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Removing libwebp6:amd64 (0.6.1-2.1+deb11u2) ... Removing libxcb-render0:amd64 (1.14-3) ... Removing libxcomposite1:amd64 (1:0.4.5-1) ... Removing libxdamage1:amd64 (1:1.1.5-2) ... Removing libxi6:amd64 (2:1.7.10-1) ... Removing libxext6:amd64 (2:1.3.3-1.1) ... Removing libxfixes3:amd64 (1:5.0.3-2) ... Removing libxkbcommon0:amd64 (1.0.3-2) ... Removing ucf (3.0043) ... Removing sensible-utils (0.0.14) ... Removing xkb-data (2.29-2) ... Removing libx11-6:amd64 (2:1.7.2-1+deb11u2) ... Removing libxcb1:amd64 (1.14-3) ... Removing libxdmcp6:amd64 (1:1.1.2-3) ... Removing libbsd0:amd64 (0.11.3-1+deb11u1) ... Removing libmd0:amd64 (1.0.3-3) ... Removing libx11-data (2:1.7.2-1+deb11u2) ... Removing libxau6:amd64 (1:1.0.9-1) ... Removing ocaml-nox (4.11.1-4) ... Removing gcc (4:10.2.1-1) ... Removing gcc-10 (10.2.1-6) ... Removing binutils (2.35.2-2) ... Removing binutils-x86-64-linux-gnu (2.35.2-2) ... Removing libctf0:amd64 (2.35.2-2) ... Removing libbinutils:amd64 (2.35.2-2) ... Removing binutils-common:amd64 (2.35.2-2) ... Removing cpp (4:10.2.1-1) ... Removing cpp-10 (10.2.1-6) ... Removing dmsetup (2:1.02.175-2.1) ... Removing libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Removing libgcc-10-dev:amd64 (10.2.1-6) ... Removing libasan6:amd64 (10.2.1-6) ... Removing libatomic1:amd64 (10.2.1-6) ... Removing libncurses-dev:amd64 (6.2+20201114-2+deb11u2) ... Removing libc6-dev:amd64 (2.31-13+deb11u11) ... Removing libc-dev-bin (2.31-13+deb11u11) ... Removing libcc1-0:amd64 (10.2.1-6) ... Removing libcrypt-dev:amd64 (1:4.4.18-4) ... Removing libctf-nobfd0:amd64 (2.35.2-2) ... Removing libgomp1:amd64 (10.2.1-6) ... Removing libisl23:amd64 (0.23-1) ... Removing libitm1:amd64 (10.2.1-6) ... Removing liblsan0:amd64 (10.2.1-6) ... Removing libmpc3:amd64 (1.2.0-1) ... Removing libmpfr6:amd64 (4.1.0-3) ... Removing libncurses6:amd64 (6.2+20201114-2+deb11u2) ... Removing libncursesw6:amd64 (6.2+20201114-2+deb11u2) ... Removing libnsl-dev:amd64 (1.3.0-2) ... Removing libquadmath0:amd64 (10.2.1-6) ... Removing libtirpc-dev:amd64 (1.3.1-1+deb11u1) ... Removing libtsan0:amd64 (10.2.1-6) ... Removing libubsan1:amd64 (10.2.1-6) ... Removing linux-libc-dev:amd64 (5.10.226-1) ... Removing ocaml-interp (4.11.1-4) ... Removing ocaml-compiler-libs (4.11.1-4) ... Removing ocaml-base-nox (4.11.1-4) ... Processing triggers for libc-bin (2.31-13+deb11u11) ... 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'remove', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-10', 'dbus', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbiniou-ocaml', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcap2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libeasy-format-ocaml', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-10-dev:amd64', 'libgdbm-compat4:amd64', 'libgdbm6:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.32:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-interp', 'ocaml-nox', 'perl', 'perl-modules-5.32', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'xkb-data', 'frama-c-base'] 1m0.9s INFO: Running scripts post_remove 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_remove_exceptions'] 1m0.9s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_remove_exceptions'] 1m0.9s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-10', 'dbus', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbiniou-ocaml', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcap2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libeasy-format-ocaml', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-10-dev:amd64', 'libgdbm-compat4:amd64', 'libgdbm6:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.32:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-interp', 'ocaml-nox', 'perl', 'perl-modules-5.32', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'xkb-data'] 1m1.3s DUMP: (Reading database ... 6730 files and directories currently installed.) Purging configuration files for adwaita-icon-theme (3.38.0-1) ... dpkg: warning: ignoring request to remove binutils which isn't installed dpkg: warning: ignoring request to remove binutils-common which isn't installed dpkg: warning: ignoring request to remove binutils-x86-64-linux-gnu which isn't installed dpkg: warning: ignoring request to remove cpp which isn't installed dpkg: warning: ignoring request to remove cpp-10 which isn't installed Purging configuration files for dbus (1.12.28-0+deb11u1) ... rmdir: failed to remove '/var/run/dbus': No such file or directory Purging configuration files for dbus-user-session (1.12.28-0+deb11u1) ... dpkg: warning: ignoring request to remove dconf-gsettings-backend which isn't installed dpkg: warning: ignoring request to remove dconf-service which isn't installed dpkg: warning: ignoring request to remove dmsetup which isn't installed Purging configuration files for fontconfig (2.13.1-4.2) ... Purging configuration files for fontconfig-config (2.13.1-4.2) ... Purging configuration files for fonts-dejavu-core (2.37-2) ... dpkg: warning: while removing fonts-dejavu-core, directory '/usr/share/fonts/truetype/dejavu' not empty so not removed dpkg: warning: ignoring request to remove gcc which isn't installed dpkg: warning: ignoring request to remove gcc-10 which isn't installed dpkg: warning: ignoring request to remove glib-networking which isn't installed dpkg: warning: ignoring request to remove glib-networking-common which isn't installed dpkg: warning: ignoring request to remove glib-networking-services which isn't installed dpkg: warning: ignoring request to remove gsettings-desktop-schemas which isn't installed dpkg: warning: ignoring request to remove gtk-update-icon-cache which isn't installed dpkg: warning: ignoring request to remove hicolor-icon-theme which isn't installed dpkg: warning: ignoring request to remove libapparmor1 which isn't installed dpkg: warning: ignoring request to remove libargon2-1 which isn't installed dpkg: warning: ignoring request to remove libasan6 which isn't installed dpkg: warning: ignoring request to remove libatk-bridge2.0-0 which isn't installed dpkg: warning: ignoring request to remove libatk1.0-0 which isn't installed dpkg: warning: ignoring request to remove libatk1.0-data which isn't installed dpkg: warning: ignoring request to remove libatomic1 which isn't installed dpkg: warning: ignoring request to remove libatspi2.0-0 which isn't installed dpkg: warning: ignoring request to remove libavahi-client3 which isn't installed dpkg: warning: ignoring request to remove libavahi-common-data which isn't installed dpkg: warning: ignoring request to remove libavahi-common3 which isn't installed dpkg: warning: ignoring request to remove libbiniou-ocaml which isn't installed dpkg: warning: ignoring request to remove libbinutils which isn't installed dpkg: warning: ignoring request to remove libbrotli1 which isn't installed dpkg: warning: ignoring request to remove libbsd0 which isn't installed dpkg: warning: ignoring request to remove libc-dev-bin which isn't installed dpkg: warning: ignoring request to remove libc6-dev which isn't installed dpkg: warning: ignoring request to remove libcairo-gobject2 which isn't installed dpkg: warning: ignoring request to remove libcairo2 which isn't installed dpkg: warning: ignoring request to remove libcairo2-ocaml which isn't installed dpkg: warning: ignoring request to remove libcap2 which isn't installed dpkg: warning: ignoring request to remove libcc1-0 which isn't installed dpkg: warning: ignoring request to remove libcolord2 which isn't installed dpkg: warning: ignoring request to remove libcrypt-dev which isn't installed dpkg: warning: ignoring request to remove libcryptsetup12 which isn't installed dpkg: warning: ignoring request to remove libctf-nobfd0 which isn't installed dpkg: warning: ignoring request to remove libctf0 which isn't installed dpkg: warning: ignoring request to remove libcups2 which isn't installed dpkg: warning: ignoring request to remove libdatrie1 which isn't installed dpkg: warning: ignoring request to remove libdbus-1-3 which isn't installed dpkg: warning: ignoring request to remove libdconf1 which isn't installed dpkg: warning: ignoring request to remove libdeflate0 which isn't installed dpkg: warning: ignoring request to remove libdevmapper1.02.1 which isn't installed dpkg: warning: ignoring request to remove libeasy-format-ocaml which isn't installed dpkg: warning: ignoring request to remove libepoxy0 which isn't installed dpkg: warning: ignoring request to remove libexpat1 which isn't installed Purging configuration files for libfindlib-ocaml (1.8.1-2) ... dpkg: warning: ignoring request to remove libfontconfig1 which isn't installed dpkg: warning: ignoring request to remove libfreetype6 which isn't installed dpkg: warning: ignoring request to remove libfribidi0 which isn't installed dpkg: warning: ignoring request to remove libgcc-10-dev which isn't installed dpkg: warning: ignoring request to remove libgdbm-compat4 which isn't installed dpkg: warning: ignoring request to remove libgdbm6 which isn't installed Purging configuration files for libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u2) ... dpkg: warning: ignoring request to remove libgdk-pixbuf-xlib-2.0-0 which isn't installed dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-0 which isn't installed dpkg: warning: ignoring request to remove libgdk-pixbuf2.0-common which isn't installed Purging configuration files for libglib2.0-0:amd64 (2.66.8-1+deb11u4) ... dpkg: warning: ignoring request to remove libgomp1 which isn't installed dpkg: warning: ignoring request to remove libgraphite2-3 which isn't installed Purging configuration files for libgtk-3-0:amd64 (3.24.24-4+deb11u4) ... Purging configuration files for libgtk-3-common (3.24.24-4+deb11u4) ... dpkg: warning: ignoring request to remove libgtksourceview-3.0-1 which isn't installed dpkg: warning: ignoring request to remove libgtksourceview-3.0-common which isn't installed dpkg: warning: ignoring request to remove libharfbuzz0b which isn't installed dpkg: warning: ignoring request to remove libicu67 which isn't installed dpkg: warning: ignoring request to remove libip4tc2 which isn't installed dpkg: warning: ignoring request to remove libisl23 which isn't installed dpkg: warning: ignoring request to remove libitm1 which isn't installed dpkg: warning: ignoring request to remove libjbig0 which isn't installed dpkg: warning: ignoring request to remove libjpeg62-turbo which isn't installed dpkg: warning: ignoring request to remove libjson-c5 which isn't installed dpkg: warning: ignoring request to remove libjson-glib-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libjson-glib-1.0-common which isn't installed dpkg: warning: ignoring request to remove libkmod2 which isn't installed dpkg: warning: ignoring request to remove liblablgtk3-ocaml which isn't installed dpkg: warning: ignoring request to remove liblablgtksourceview3-ocaml which isn't installed dpkg: warning: ignoring request to remove liblcms2-2 which isn't installed dpkg: warning: ignoring request to remove liblsan0 which isn't installed dpkg: warning: ignoring request to remove libmd0 which isn't installed dpkg: warning: ignoring request to remove libmpc3 which isn't installed dpkg: warning: ignoring request to remove libmpdec3 which isn't installed dpkg: warning: ignoring request to remove libmpfr6 which isn't installed dpkg: warning: ignoring request to remove libncurses-dev which isn't installed dpkg: warning: ignoring request to remove libncurses5-dev which isn't installed dpkg: warning: ignoring request to remove libncurses6 which isn't installed dpkg: warning: ignoring request to remove libncursesw6 which isn't installed dpkg: warning: ignoring request to remove libnsl-dev which isn't installed dpkg: warning: ignoring request to remove libocamlgraph-ocaml-dev which isn't installed dpkg: warning: ignoring request to remove libpam-systemd which isn't installed dpkg: warning: ignoring request to remove libpango-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangocairo-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libpangoft2-1.0-0 which isn't installed dpkg: warning: ignoring request to remove libperl5.32 which isn't installed dpkg: warning: ignoring request to remove libpixman-1-0 which isn't installed dpkg: warning: ignoring request to remove libpng16-16 which isn't installed dpkg: warning: ignoring request to remove libproxy1v5 which isn't installed dpkg: warning: ignoring request to remove libpsl5 which isn't installed dpkg: warning: ignoring request to remove libpython3-stdlib which isn't installed Purging configuration files for libpython3.9-minimal:amd64 (3.9.2-1) ... dpkg: warning: ignoring request to remove libpython3.9-stdlib which isn't installed dpkg: warning: ignoring request to remove libquadmath0 which isn't installed dpkg: warning: ignoring request to remove libreadline8 which isn't installed dpkg: warning: ignoring request to remove librest-0.7-0 which isn't installed dpkg: warning: ignoring request to remove libsoup-gnome2.4-1 which isn't installed dpkg: warning: ignoring request to remove libsoup2.4-1 which isn't installed dpkg: warning: ignoring request to remove libsqlite3-0 which isn't installed dpkg: warning: ignoring request to remove libthai-data which isn't installed dpkg: warning: ignoring request to remove libthai0 which isn't installed dpkg: warning: ignoring request to remove libtiff5 which isn't installed dpkg: warning: ignoring request to remove libtirpc-dev which isn't installed dpkg: warning: ignoring request to remove libtsan0 which isn't installed dpkg: warning: ignoring request to remove libubsan1 which isn't installed dpkg: warning: ignoring request to remove libwayland-client0 which isn't installed dpkg: warning: ignoring request to remove libwayland-cursor0 which isn't installed dpkg: warning: ignoring request to remove libwayland-egl1 which isn't installed dpkg: warning: ignoring request to remove libwebp6 which isn't installed dpkg: warning: ignoring request to remove libx11-6 which isn't installed dpkg: warning: ignoring request to remove libx11-data which isn't installed dpkg: warning: ignoring request to remove libxau6 which isn't installed dpkg: warning: ignoring request to remove libxcb-render0 which isn't installed dpkg: warning: ignoring request to remove libxcb-shm0 which isn't installed dpkg: warning: ignoring request to remove libxcb1 which isn't installed dpkg: warning: ignoring request to remove libxcomposite1 which isn't installed dpkg: warning: ignoring request to remove libxcursor1 which isn't installed dpkg: warning: ignoring request to remove libxdamage1 which isn't installed dpkg: warning: ignoring request to remove libxdmcp6 which isn't installed dpkg: warning: ignoring request to remove libxext6 which isn't installed dpkg: warning: ignoring request to remove libxfixes3 which isn't installed dpkg: warning: ignoring request to remove libxi6 which isn't installed dpkg: warning: ignoring request to remove libxinerama1 which isn't installed dpkg: warning: ignoring request to remove libxkbcommon0 which isn't installed dpkg: warning: ignoring request to remove libxml2 which isn't installed dpkg: warning: ignoring request to remove libxrandr2 which isn't installed dpkg: warning: ignoring request to remove libxrender1 which isn't installed dpkg: warning: ignoring request to remove libyojson-ocaml which isn't installed dpkg: warning: ignoring request to remove libzarith-ocaml which isn't installed dpkg: warning: ignoring request to remove linux-libc-dev which isn't installed Purging configuration files for media-types (4.0.0) ... dpkg: warning: ignoring request to remove ocaml-base-nox which isn't installed dpkg: warning: ignoring request to remove ocaml-compiler-libs which isn't installed dpkg: warning: ignoring request to remove ocaml-interp which isn't installed Purging configuration files for ocaml-nox (4.11.1-4) ... Purging configuration files for perl (5.32.1-4+deb11u3) ... dpkg: warning: ignoring request to remove perl-modules-5.32 which isn't installed Purging configuration files for python3 (3.9.2-3) ... dpkg: warning: ignoring request to remove python3-minimal which isn't installed dpkg: warning: ignoring request to remove python3.9 which isn't installed Purging configuration files for python3.9-minimal (3.9.2-1) ... Purging configuration files for readline-common (8.1-1) ... dpkg: warning: ignoring request to remove sensible-utils which isn't installed Purging configuration files for shared-mime-info (2.0-1) ... Purging configuration files for systemd (247.3-7+deb11u6) ... dpkg: warning: ignoring request to remove systemd-sysv which isn't installed Purging configuration files for ucf (3.0043) ... dpkg: warning: ignoring request to remove xkb-data which isn't installed 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', 'adwaita-icon-theme', 'binutils', 'binutils-common:amd64', 'binutils-x86-64-linux-gnu', 'cpp', 'cpp-10', 'dbus', 'dbus-user-session', 'dconf-gsettings-backend:amd64', 'dconf-service', 'dmsetup', 'fontconfig', 'fontconfig-config', 'fonts-dejavu-core', 'gcc', 'gcc-10', 'glib-networking:amd64', 'glib-networking-common', 'glib-networking-services', 'gsettings-desktop-schemas', 'gtk-update-icon-cache', 'hicolor-icon-theme', 'libapparmor1:amd64', 'libargon2-1:amd64', 'libasan6:amd64', 'libatk-bridge2.0-0:amd64', 'libatk1.0-0:amd64', 'libatk1.0-data', 'libatomic1:amd64', 'libatspi2.0-0:amd64', 'libavahi-client3:amd64', 'libavahi-common-data:amd64', 'libavahi-common3:amd64', 'libbiniou-ocaml', 'libbinutils:amd64', 'libbrotli1:amd64', 'libbsd0:amd64', 'libc-dev-bin', 'libc6-dev:amd64', 'libcairo-gobject2:amd64', 'libcairo2:amd64', 'libcairo2-ocaml', 'libcap2:amd64', 'libcc1-0:amd64', 'libcolord2:amd64', 'libcrypt-dev:amd64', 'libcryptsetup12:amd64', 'libctf-nobfd0:amd64', 'libctf0:amd64', 'libcups2:amd64', 'libdatrie1:amd64', 'libdbus-1-3:amd64', 'libdconf1:amd64', 'libdeflate0:amd64', 'libdevmapper1.02.1:amd64', 'libeasy-format-ocaml', 'libepoxy0:amd64', 'libexpat1:amd64', 'libfindlib-ocaml', 'libfontconfig1:amd64', 'libfreetype6:amd64', 'libfribidi0:amd64', 'libgcc-10-dev:amd64', 'libgdbm-compat4:amd64', 'libgdbm6:amd64', 'libgdk-pixbuf-2.0-0:amd64', 'libgdk-pixbuf-xlib-2.0-0:amd64', 'libgdk-pixbuf2.0-0:amd64', 'libgdk-pixbuf2.0-common', 'libglib2.0-0:amd64', 'libgomp1:amd64', 'libgraphite2-3:amd64', 'libgtk-3-0:amd64', 'libgtk-3-common', 'libgtksourceview-3.0-1:amd64', 'libgtksourceview-3.0-common', 'libharfbuzz0b:amd64', 'libicu67:amd64', 'libip4tc2:amd64', 'libisl23:amd64', 'libitm1:amd64', 'libjbig0:amd64', 'libjpeg62-turbo:amd64', 'libjson-c5:amd64', 'libjson-glib-1.0-0:amd64', 'libjson-glib-1.0-common', 'libkmod2:amd64', 'liblablgtk3-ocaml', 'liblablgtksourceview3-ocaml', 'liblcms2-2:amd64', 'liblsan0:amd64', 'libmd0:amd64', 'libmpc3:amd64', 'libmpdec3:amd64', 'libmpfr6:amd64', 'libncurses-dev:amd64', 'libncurses5-dev:amd64', 'libncurses6:amd64', 'libncursesw6:amd64', 'libnsl-dev:amd64', 'libocamlgraph-ocaml-dev', 'libpam-systemd:amd64', 'libpango-1.0-0:amd64', 'libpangocairo-1.0-0:amd64', 'libpangoft2-1.0-0:amd64', 'libperl5.32:amd64', 'libpixman-1-0:amd64', 'libpng16-16:amd64', 'libproxy1v5:amd64', 'libpsl5:amd64', 'libpython3-stdlib:amd64', 'libpython3.9-minimal:amd64', 'libpython3.9-stdlib:amd64', 'libquadmath0:amd64', 'libreadline8:amd64', 'librest-0.7-0:amd64', 'libsoup-gnome2.4-1:amd64', 'libsoup2.4-1:amd64', 'libsqlite3-0:amd64', 'libthai-data', 'libthai0:amd64', 'libtiff5:amd64', 'libtirpc-dev:amd64', 'libtsan0:amd64', 'libubsan1:amd64', 'libwayland-client0:amd64', 'libwayland-cursor0:amd64', 'libwayland-egl1:amd64', 'libwebp6:amd64', 'libx11-6:amd64', 'libx11-data', 'libxau6:amd64', 'libxcb-render0:amd64', 'libxcb-shm0:amd64', 'libxcb1:amd64', 'libxcomposite1:amd64', 'libxcursor1:amd64', 'libxdamage1:amd64', 'libxdmcp6:amd64', 'libxext6:amd64', 'libxfixes3:amd64', 'libxi6:amd64', 'libxinerama1:amd64', 'libxkbcommon0:amd64', 'libxml2:amd64', 'libxrandr2:amd64', 'libxrender1:amd64', 'libyojson-ocaml', 'libzarith-ocaml', 'linux-libc-dev:amd64', 'media-types', 'ocaml-base-nox', 'ocaml-compiler-libs', 'ocaml-interp', 'ocaml-nox', 'perl', 'perl-modules-5.32', 'python3', 'python3-minimal', 'python3.9', 'python3.9-minimal', 'readline-common', 'sensible-utils', 'shared-mime-info', 'systemd', 'systemd-sysv', 'ucf', 'xkb-data'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', 'frama-c-base'] 1m1.3s DUMP: dpkg: warning: ignoring request to remove frama-c-base which isn't installed 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', 'frama-c-base'] 1m1.3s INFO: Running scripts post_purge 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_purge_exceptions'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_purge_exceptions'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', '--pending'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--purge', '--pending'] 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--remove', '--pending'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg', '--remove', '--pending'] 1m1.3s INFO: Running scripts post_test 1m1.3s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_test_exceptions'] 1m1.3s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'tmp/scripts/post_test_exceptions'] 1m1.3s DEBUG: Starting command: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 1m1.6s DEBUG: Command failed (status=1), but ignoring error: ['lsof', '-w', '+D', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 1m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-divert', '--list'] 1m1.6s DUMP: local diversion of /bin/sync to /bin/sync.distrib.usr-is-merged diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash local diversion of /home to /home.distrib local diversion of /usr/bin/sync to /usr/bin/sync.distrib diversion of /bin/sh to /bin/sh.distrib by dash 1m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'dpkg-divert', '--list'] 1m1.6s DEBUG: Starting command: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'clean'] 1m1.6s DEBUG: Command ok: ['chroot', '/srv/piuparts.debian.org/tmp/tmps4dom78e', 'apt-get', 'clean'] 1m1.6s DEBUG: Recording chroot state 1m2.0s INFO: Warning: Package purging left files on system: /usr/local/share/fonts/ not owned /usr/local/share/fonts/.uuid not owned /usr/share/fonts/ owned by: fonts-dejavu-core /usr/share/fonts/.uuid not owned /usr/share/fonts/truetype/ owned by: fonts-dejavu-core /usr/share/fonts/truetype/.uuid not owned /usr/share/fonts/truetype/dejavu/ owned by: fonts-dejavu-core /usr/share/fonts/truetype/dejavu/.uuid not owned 1m2.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/shm'] 1m2.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/shm'] 1m2.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/console'] 1m2.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/console'] 1m2.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/ptmx'] 1m2.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/ptmx'] 1m2.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts'] 1m2.2s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/dev/pts'] 1m2.2s DEBUG: Starting command: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/proc'] 1m2.3s DEBUG: Command ok: ['umount', '/srv/piuparts.debian.org/tmp/tmps4dom78e/proc'] 1m2.3s DEBUG: Starting command: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 1m2.4s DEBUG: Command ok: ['rm', '-rf', '--one-file-system', '/srv/piuparts.debian.org/tmp/tmps4dom78e'] 1m2.4s DEBUG: Removed directory tree at /srv/piuparts.debian.org/tmp/tmps4dom78e 1m2.4s INFO: PASS: Upgrading between Debian distributions. 1m2.4s INFO: PASS: All tests. 1m2.4s INFO: piuparts run ends. ret=0 End: 2024-10-17 04:48:33 GMT