Build:
- 0
2026-01-27 18:59.19: New job: build frama_c_codex.1.0-rc4, using opam 2.0
from https://github.com/ocaml/opam-repository.git#refs/pull/29259/head (0878f1e4934ec6f044a2e66b56cfff2fb96f2871)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29259/head" && git reset --hard 0878f1e4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam
RUN opam init --reinit -ni
RUN opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam depext -u || true
RUN opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4
RUN opam depext frama_c_codex.1.0-rc4 && opam reinstall frama_c_codex.1.0-rc4; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'frama_c_codex.1.0-rc4' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 18:59.19: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-frama_c_codex.1.0-rc4-0878f1e4934ec6f044a2e66b56cfff2fb96f2871"
2026-01-27 18:59.19: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam depext -u || true"))
(run (shell "opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext frama_c_codex.1.0-rc4 && opam reinstall frama_c_codex.1.0-rc4;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'frama_c_codex.1.0-rc4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 18:59.19: Waiting for resource in pool OCluster
2026-01-27 19:12.49: Waiting for worker…
2026-01-27 19:17.09: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 88150787b3 Merge pull request #29287 from dinosaure/release-git-kv-v0.2.1
Updating 88150787b3..0878f1e493
Fast-forward
packages/binsec_codex/binsec_codex.1.0-rc4/opam | 54 ++++++++++++++
packages/codex/codex.1.0~rc4/opam | 91 +++++++++++++++++++++++
packages/frama_c_codex/frama_c_codex.1.0-rc4/opam | 55 ++++++++++++++
3 files changed, 200 insertions(+)
create mode 100644 packages/binsec_codex/binsec_codex.1.0-rc4/opam
create mode 100644 packages/codex/codex.1.0~rc4/opam
create mode 100644 packages/frama_c_codex/frama_c_codex.1.0-rc4/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012' locally
docker.io/ocaml/opam@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012: Pulling from ocaml/opam
32ef12fa09dd: Pulling fs layer
32ef12fa09dd: Waiting
32ef12fa09dd: Verifying Checksum
32ef12fa09dd: Download complete
32ef12fa09dd: Pull complete
Digest: sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
Status: Downloaded newer image for ocaml/opam@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
2026-01-27 19:37.40 ---> using "3fd264bad5105e854dbd96d70e0cfc1d39526afdd30eb5071f64946db0e5017f" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam"))
2026-01-27 19:37.41 ---> saved as "70c27e564b1e5cf568062c555c0e94b415117e42d56be11c6457e8193b45ceda"
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
[NOTE] Will configure from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
[WARNING] Recommended dependencies -- most packages rely on these:
- m4
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
2026-01-27 19:38.23 ---> saved as "24904cbbbc7eacb8597a99b3e84ca485f6bf6d76dd5affbfdbfbbfce1dc0fcd6"
/home/opam: (run (shell "opam config report"))
# opam config report
# opam-version 2.0.10 (adc1e1829a2bef5b240746df80341b508290fe3b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-mccs+glpk
# install-criteria -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria -removed,-count[version-lag,solution],-new
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
2026-01-27 19:38.25 ---> saved as "b15d1895a9104a51ec6eec2bb4395818aaa5cf715ab8f67b2b96a61df035cc40"
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-01-27 19:38.33 ---> saved as "8a9a330f504e43f89742bace8203b3fa61b4493c9cff8434f62f668a5e2e7afc"
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-27 19:38.40 ---> saved as "44c79049e1523e9fc512bdabdc7a03bd941b656324f921c9332700dc5e7e8fa5"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
default (at file:///home/opam/opam-repository):
[INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
2026-01-27 19:38.51 ---> saved as "753b1872cf6e8aa1aaf86ceab918476564309c56329ec861757078ddeae34579"
/home/opam: (run (network host)
(shell "opam depext -u || true"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
The following command needs to be run through "sudo":
apt-get update
Hit:1 http://deb.debian.org/debian trixie InRelease
Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [97.9 kB]
Fetched 189 kB in 0s (1920 kB/s)
Reading package lists...
# OS package update successful
2026-01-27 19:38.52 ---> saved as "ad67fb20260585fc7f33d0c0e7a1d8072f00379e52aa3e7164ac17f451075277"
/home/opam: (run (shell "opam pin add -k version -yn frama_c_codex.1.0-rc4 1.0-rc4"))
frama_c_codex is now pinned to version 1.0-rc4
2026-01-27 19:38.52 ---> saved as "c97ed9273551ae7324a2a5594c36ed6e5540d1110c289558031e45d761294424"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext frama_c_codex.1.0-rc4 && opam reinstall frama_c_codex.1.0-rc4;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'frama_c_codex.1.0-rc4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
graphviz
libcairo2-dev
libexpat1-dev
libgmp-dev
libgtk-3-dev
libgtksourceview-3.0-dev
pkg-config
zlib1g-dev
The following command needs to be run through "sudo":
apt-get install -qq -yy graphviz libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev pkg-config zlib1g-dev
Preconfiguring packages ...
Selecting previously unselected package libsystemd-shared: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 ... 20623 files and directories currently installed.)
Preparing to unpack .../libsystemd-shared_257.9-1~deb13u1_amd64.deb ...
Unpacking libsystemd-shared:amd64 (257.9-1~deb13u1) ...
Setting up libsystemd-shared:amd64 (257.9-1~deb13u1) ...
Selecting previously unselected package systemd.
(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 ... 20631 files and directories currently installed.)
Preparing to unpack .../systemd_257.9-1~deb13u1_amd64.deb ...
Unpacking systemd (257.9-1~deb13u1) ...
Setting up systemd (257.9-1~deb13u1) ...
Created symlink '/etc/systemd/system/getty.target.wants/getty@tty1.service' → '/usr/lib/systemd/system/getty@.service'.
Created symlink '/etc/systemd/system/multi-user.target.wants/remote-fs.target' → '/usr/lib/systemd/system/remote-fs.target'.
Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-pstore.service' → '/usr/lib/systemd/system/systemd-pstore.service'.
Initializing machine ID from random generator.
Creating group 'systemd-journal' with GID 999.
Creating group 'systemd-network' with GID 998.
Creating user 'systemd-network' (systemd Network Management) with UID 998 and GID 998.
/usr/lib/tmpfiles.d/legacy.conf:14: Duplicate line for path "/run/lock", ignoring.
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 ... 21564 files and directories currently installed.)
Preparing to unpack .../0-systemd-sysv_257.9-1~deb13u1_amd64.deb ...
Unpacking systemd-sysv (257.9-1~deb13u1) ...
Selecting previously unselected package libdbus-1-3:amd64.
Preparing to unpack .../1-libdbus-1-3_1.16.2-2_amd64.deb ...
Unpacking libdbus-1-3:amd64 (1.16.2-2) ...
Selecting previously unselected package dbus-bin.
Preparing to unpack .../2-dbus-bin_1.16.2-2_amd64.deb ...
Unpacking dbus-bin (1.16.2-2) ...
Selecting previously unselected package dbus-session-bus-common.
Preparing to unpack .../3-dbus-session-bus-common_1.16.2-2_all.deb ...
Unpacking dbus-session-bus-common (1.16.2-2) ...
Selecting previously unselected package dbus-daemon.
Preparing to unpack .../4-dbus-daemon_1.16.2-2_amd64.deb ...
Unpacking dbus-daemon (1.16.2-2) ...
Selecting previously unselected package dbus-system-bus-common.
Preparing to unpack .../5-dbus-system-bus-common_1.16.2-2_all.deb ...
Unpacking dbus-system-bus-common (1.16.2-2) ...
Selecting previously unselected package dbus.
Preparing to unpack .../6-dbus_1.16.2-2_amd64.deb ...
Unpacking dbus (1.16.2-2) ...
Selecting previously unselected package libpython3.13-minimal:amd64.
Preparing to unpack .../7-libpython3.13-minimal_3.13.5-2_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../8-python3.13-minimal_3.13.5-2_amd64.deb ...
Unpacking python3.13-minimal (3.13.5-2) ...
Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
Setting up python3.13-minimal (3.13.5-2) ...
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 ... 21981 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
Unpacking python3-minimal (3.13.5-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_13.0.0_all.deb ...
Unpacking media-types (13.0.0) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.2-6) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ...
Unpacking python3.13 (3.13.5-2) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
Setting up python3-minimal (3.13.5-1) ...
Selecting previously unselected package python3.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 22467 files and directories currently installed.)
Preparing to unpack .../000-python3_3.13.5-1_amd64.deb ...
Unpacking python3 (3.13.5-1) ...
Selecting previously unselected package libnss-systemd:amd64.
Preparing to unpack .../001-libnss-systemd_257.9-1~deb13u1_amd64.deb ...
Unpacking libnss-systemd:amd64 (257.9-1~deb13u1) ...
Selecting previously unselected package libpam-systemd:amd64.
Preparing to unpack .../002-libpam-systemd_257.9-1~deb13u1_amd64.deb ...
Unpacking libpam-systemd:amd64 (257.9-1~deb13u1) ...
Selecting previously unselected package systemd-timesyncd.
Preparing to unpack .../003-systemd-timesyncd_257.9-1~deb13u1_amd64.deb ...
Unpacking systemd-timesyncd (257.9-1~deb13u1) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../004-libgdk-pixbuf2.0-common_2.42.12+dfsg-4_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-4) ...
Selecting previously unselected package libglib2.0-0t64:amd64.
Preparing to unpack .../005-libglib2.0-0t64_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libglib2.0-0t64:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../006-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../007-shared-mime-info_2.4-5+b2_amd64.deb ...
Unpacking shared-mime-info (2.4-5+b2) ...
Selecting previously unselected package libjpeg62-turbo:amd64.
Preparing to unpack .../008-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ...
Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ...
Selecting previously unselected package libpng16-16t64:amd64.
Preparing to unpack .../009-libpng16-16t64_1.6.48-1+deb13u1_amd64.deb ...
Unpacking libpng16-16t64:amd64 (1.6.48-1+deb13u1) ...
Selecting previously unselected package libdeflate0:amd64.
Preparing to unpack .../010-libdeflate0_1.23-2_amd64.deb ...
Unpacking libdeflate0:amd64 (1.23-2) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../011-libjbig0_2.1-6.1+b2_amd64.deb ...
Unpacking libjbig0:amd64 (2.1-6.1+b2) ...
Selecting previously unselected package liblerc4:amd64.
Preparing to unpack .../012-liblerc4_4.0.0+ds-5_amd64.deb ...
Unpacking liblerc4:amd64 (4.0.0+ds-5) ...
Selecting previously unselected package libsharpyuv0:amd64.
Preparing to unpack .../013-libsharpyuv0_1.5.0-0.1_amd64.deb ...
Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libwebp7:amd64.
Preparing to unpack .../014-libwebp7_1.5.0-0.1_amd64.deb ...
Unpacking libwebp7:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libtiff6:amd64.
Preparing to unpack .../015-libtiff6_4.7.0-3+deb13u1_amd64.deb ...
Unpacking libtiff6:amd64 (4.7.0-3+deb13u1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64.
Preparing to unpack .../016-libgdk-pixbuf-2.0-0_2.42.12+dfsg-4_amd64.deb ...
Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-4) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../017-gtk-update-icon-cache_4.18.6+ds-2_amd64.deb ...
No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed.
Unpacking gtk-update-icon-cache (4.18.6+ds-2) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../018-hicolor-icon-theme_0.18-2_all.deb ...
Unpacking hicolor-icon-theme (0.18-2) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../019-adwaita-icon-theme_48.1-1_all.deb ...
Unpacking adwaita-icon-theme (48.1-1) ...
Selecting previously unselected package at-spi2-common.
Preparing to unpack .../020-at-spi2-common_2.56.2-1+deb13u1_all.deb ...
Unpacking at-spi2-common (2.56.2-1+deb13u1) ...
Selecting previously unselected package libxi6:amd64.
Preparing to unpack .../021-libxi6_2%3a1.8.2-1_amd64.deb ...
Unpacking libxi6:amd64 (2:1.8.2-1) ...
Selecting previously unselected package libatspi2.0-0t64:amd64.
Preparing to unpack .../022-libatspi2.0-0t64_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatspi2.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../023-x11-common_1%3a7.7+24+deb13u1_all.deb ...
Unpacking x11-common (1:7.7+24+deb13u1) ...
Selecting previously unselected package libxtst6:amd64.
Preparing to unpack .../024-libxtst6_2%3a1.2.5-1_amd64.deb ...
Unpacking libxtst6:amd64 (2:1.2.5-1) ...
Selecting previously unselected package dbus-user-session.
Preparing to unpack .../025-dbus-user-session_1.16.2-2_amd64.deb ...
Unpacking dbus-user-session (1.16.2-2) ...
Selecting previously unselected package libdconf1:amd64.
Preparing to unpack .../026-libdconf1_0.40.0-5_amd64.deb ...
Unpacking libdconf1:amd64 (0.40.0-5) ...
Selecting previously unselected package dconf-service.
Preparing to unpack .../027-dconf-service_0.40.0-5_amd64.deb ...
Unpacking dconf-service (0.40.0-5) ...
Selecting previously unselected package dconf-gsettings-backend:amd64.
Preparing to unpack .../028-dconf-gsettings-backend_0.40.0-5_amd64.deb ...
Unpacking dconf-gsettings-backend:amd64 (0.40.0-5) ...
Selecting previously unselected package gsettings-desktop-schemas.
Preparing to unpack .../029-gsettings-desktop-schemas_48.0-1_all.deb ...
Unpacking gsettings-desktop-schemas (48.0-1) ...
Selecting previously unselected package at-spi2-core.
Preparing to unpack .../030-at-spi2-core_2.56.2-1+deb13u1_amd64.deb ...
Unpacking at-spi2-core (2.56.2-1+deb13u1) ...
Selecting previously unselected package bzip2-doc.
Preparing to unpack .../031-bzip2-doc_1.0.8-6_all.deb ...
Unpacking bzip2-doc (1.0.8-6) ...
Selecting previously unselected package libdevmapper1.02.1:amd64.
Preparing to unpack .../032-libdevmapper1.02.1_2%3a1.02.205-2_amd64.deb ...
Unpacking libdevmapper1.02.1:amd64 (2:1.02.205-2) ...
Selecting previously unselected package dmsetup.
Preparing to unpack .../033-dmsetup_2%3a1.02.205-2_amd64.deb ...
Unpacking dmsetup (2:1.02.205-2) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../034-libfreetype6_2.13.3+dfsg-1_amd64.deb ...
Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ...
Selecting previously unselected package fonts-dejavu-mono.
Preparing to unpack .../035-fonts-dejavu-mono_2.37-8_all.deb ...
Unpacking fonts-dejavu-mono (2.37-8) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../036-fonts-dejavu-core_2.37-8_all.deb ...
Unpacking fonts-dejavu-core (2.37-8) ...
Selecting previously unselected package fonts-liberation.
Preparing to unpack .../037-fonts-liberation_1%3a2.1.5-3_all.deb ...
Unpacking fonts-liberation (1:2.1.5-3) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../038-fontconfig-config_2.15.0-2.3_amd64.deb ...
Unpacking fontconfig-config (2.15.0-2.3) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../039-libfontconfig1_2.15.0-2.3_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.15.0-2.3) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../040-fontconfig_2.15.0-2.3_amd64.deb ...
Unpacking fontconfig (2.15.0-2.3) ...
Selecting previously unselected package fonts-liberation-sans-narrow.
Preparing to unpack .../041-fonts-liberation-sans-narrow_1%3a1.07.6-4_all.deb ...
Unpacking fonts-liberation-sans-narrow (1:1.07.6-4) ...
Selecting previously unselected package gir1.2-glib-2.0:amd64.
Preparing to unpack .../042-gir1.2-glib-2.0_2.84.4-3~deb13u2_amd64.deb ...
Unpacking gir1.2-glib-2.0:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package libatk1.0-0t64:amd64.
Preparing to unpack .../043-libatk1.0-0t64_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatk1.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package gir1.2-atk-1.0:amd64.
Preparing to unpack .../044-gir1.2-atk-1.0_2.56.2-1+deb13u1_amd64.deb ...
Unpacking gir1.2-atk-1.0:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../045-libpixman-1-0_0.44.0-3_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.44.0-3) ...
Selecting previously unselected package libxcb-render0:amd64.
Preparing to unpack .../046-libxcb-render0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-shm0:amd64.
Preparing to unpack .../047-libxcb-shm0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../048-libxrender1_1%3a0.9.12-1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.12-1) ...
Selecting previously unselected package libcairo2:amd64.
Preparing to unpack .../049-libcairo2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libcairo-gobject2:amd64.
Preparing to unpack .../050-libcairo-gobject2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo-gobject2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package gir1.2-freedesktop:amd64.
Preparing to unpack .../051-gir1.2-freedesktop_1.84.0-1_amd64.deb ...
Unpacking gir1.2-freedesktop:amd64 (1.84.0-1) ...
Selecting previously unselected package gir1.2-atspi-2.0:amd64.
Preparing to unpack .../052-gir1.2-atspi-2.0_2.56.2-1+deb13u1_amd64.deb ...
Unpacking gir1.2-atspi-2.0:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package libcloudproviders0:amd64.
Preparing to unpack .../053-libcloudproviders0_0.3.6-2_amd64.deb ...
Unpacking libcloudproviders0:amd64 (0.3.6-2) ...
Selecting previously unselected package gir1.2-cloudproviders-0.3.0:amd64.
Preparing to unpack .../054-gir1.2-cloudproviders-0.3.0_0.3.6-2_amd64.deb ...
Unpacking gir1.2-cloudproviders-0.3.0:amd64 (0.3.6-2) ...
Selecting previously unselected package gir1.2-glib-2.0-dev:amd64.
Preparing to unpack .../055-gir1.2-glib-2.0-dev_2.84.4-3~deb13u2_amd64.deb ...
Unpacking gir1.2-glib-2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package gir1.2-freedesktop-dev:amd64.
Preparing to unpack .../056-gir1.2-freedesktop-dev_1.84.0-1_amd64.deb ...
Unpacking gir1.2-freedesktop-dev:amd64 (1.84.0-1) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64.
Preparing to unpack .../057-gir1.2-gdkpixbuf-2.0_2.42.12+dfsg-4_amd64.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.42.12+dfsg-4) ...
Selecting previously unselected package libgraphite2-3:amd64.
Preparing to unpack .../058-libgraphite2-3_1.3.14-2+b1_amd64.deb ...
Unpacking libgraphite2-3:amd64 (1.3.14-2+b1) ...
Selecting previously unselected package libharfbuzz0b:amd64.
Preparing to unpack .../059-libharfbuzz0b_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz0b:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libharfbuzz-gobject0:amd64.
Preparing to unpack .../060-libharfbuzz-gobject0_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz-gobject0:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package gir1.2-harfbuzz-0.0:amd64.
Preparing to unpack .../061-gir1.2-harfbuzz-0.0_10.2.0-1+b1_amd64.deb ...
Unpacking gir1.2-harfbuzz-0.0:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libfribidi0:amd64.
Preparing to unpack .../062-libfribidi0_1.0.16-1_amd64.deb ...
Unpacking libfribidi0:amd64 (1.0.16-1) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../063-libthai-data_0.1.29-2_all.deb ...
Unpacking libthai-data (0.1.29-2) ...
Selecting previously unselected package libdatrie1:amd64.
Preparing to unpack .../064-libdatrie1_0.2.13-3+b1_amd64.deb ...
Unpacking libdatrie1:amd64 (0.2.13-3+b1) ...
Selecting previously unselected package libthai0:amd64.
Preparing to unpack .../065-libthai0_0.1.29-2+b1_amd64.deb ...
Unpacking libthai0:amd64 (0.1.29-2+b1) ...
Selecting previously unselected package libpango-1.0-0:amd64.
Preparing to unpack .../066-libpango-1.0-0_1.56.3-1_amd64.deb ...
Unpacking libpango-1.0-0:amd64 (1.56.3-1) ...
Selecting previously unselected package libpangoft2-1.0-0:amd64.
Preparing to unpack .../067-libpangoft2-1.0-0_1.56.3-1_amd64.deb ...
Unpacking libpangoft2-1.0-0:amd64 (1.56.3-1) ...
Selecting previously unselected package libpangocairo-1.0-0:amd64.
Preparing to unpack .../068-libpangocairo-1.0-0_1.56.3-1_amd64.deb ...
Unpacking libpangocairo-1.0-0:amd64 (1.56.3-1) ...
Selecting previously unselected package libxft2:amd64.
Preparing to unpack .../069-libxft2_2.3.6-1+b4_amd64.deb ...
Unpacking libxft2:amd64 (2.3.6-1+b4) ...
Selecting previously unselected package libpangoxft-1.0-0:amd64.
Preparing to unpack .../070-libpangoxft-1.0-0_1.56.3-1_amd64.deb ...
Unpacking libpangoxft-1.0-0:amd64 (1.56.3-1) ...
Selecting previously unselected package gir1.2-pango-1.0:amd64.
Preparing to unpack .../071-gir1.2-pango-1.0_1.56.3-1_amd64.deb ...
Unpacking gir1.2-pango-1.0:amd64 (1.56.3-1) ...
Selecting previously unselected package libatk-bridge2.0-0t64:amd64.
Preparing to unpack .../072-libatk-bridge2.0-0t64_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatk-bridge2.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package liblcms2-2:amd64.
Preparing to unpack .../073-liblcms2-2_2.16-2_amd64.deb ...
Unpacking liblcms2-2:amd64 (2.16-2) ...
Selecting previously unselected package libcolord2:amd64.
Preparing to unpack .../074-libcolord2_1.4.7-3_amd64.deb ...
Unpacking libcolord2:amd64 (1.4.7-3) ...
Selecting previously unselected package libavahi-common-data:amd64.
Preparing to unpack .../075-libavahi-common-data_0.8-16_amd64.deb ...
Unpacking libavahi-common-data:amd64 (0.8-16) ...
Selecting previously unselected package libavahi-common3:amd64.
Preparing to unpack .../076-libavahi-common3_0.8-16_amd64.deb ...
Unpacking libavahi-common3:amd64 (0.8-16) ...
Selecting previously unselected package libavahi-client3:amd64.
Preparing to unpack .../077-libavahi-client3_0.8-16_amd64.deb ...
Unpacking libavahi-client3:amd64 (0.8-16) ...
Selecting previously unselected package libcups2t64:amd64.
Preparing to unpack .../078-libcups2t64_2.4.10-3+deb13u2_amd64.deb ...
Unpacking libcups2t64:amd64 (2.4.10-3+deb13u2) ...
Selecting previously unselected package libepoxy0:amd64.
Preparing to unpack .../079-libepoxy0_1.5.10-2_amd64.deb ...
Unpacking libepoxy0:amd64 (1.5.10-2) ...
Selecting previously unselected package libwayland-client0:amd64.
Preparing to unpack .../080-libwayland-client0_1.23.1-3_amd64.deb ...
Unpacking libwayland-client0:amd64 (1.23.1-3) ...
Selecting previously unselected package libwayland-cursor0:amd64.
Preparing to unpack .../081-libwayland-cursor0_1.23.1-3_amd64.deb ...
Unpacking libwayland-cursor0:amd64 (1.23.1-3) ...
Selecting previously unselected package libwayland-egl1:amd64.
Preparing to unpack .../082-libwayland-egl1_1.23.1-3_amd64.deb ...
Unpacking libwayland-egl1:amd64 (1.23.1-3) ...
Selecting previously unselected package libxcomposite1:amd64.
Preparing to unpack .../083-libxcomposite1_1%3a0.4.6-1_amd64.deb ...
Unpacking libxcomposite1:amd64 (1:0.4.6-1) ...
Selecting previously unselected package libxfixes3:amd64.
Preparing to unpack .../084-libxfixes3_1%3a6.0.0-2+b4_amd64.deb ...
Unpacking libxfixes3:amd64 (1:6.0.0-2+b4) ...
Selecting previously unselected package libxcursor1:amd64.
Preparing to unpack .../085-libxcursor1_1%3a1.2.3-1_amd64.deb ...
Unpacking libxcursor1:amd64 (1:1.2.3-1) ...
Selecting previously unselected package libxdamage1:amd64.
Preparing to unpack .../086-libxdamage1_1%3a1.1.6-1+b2_amd64.deb ...
Unpacking libxdamage1:amd64 (1:1.1.6-1+b2) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../087-libxinerama1_2%3a1.1.4-3+b4_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.4-3+b4) ...
Selecting previously unselected package xkb-data.
Preparing to unpack .../088-xkb-data_2.42-1_all.deb ...
Unpacking xkb-data (2.42-1) ...
Selecting previously unselected package libxkbcommon0:amd64.
Preparing to unpack .../089-libxkbcommon0_1.7.0-2_amd64.deb ...
Unpacking libxkbcommon0:amd64 (1.7.0-2) ...
Selecting previously unselected package libxrandr2:amd64.
Preparing to unpack .../090-libxrandr2_2%3a1.5.4-1+b3_amd64.deb ...
Unpacking libxrandr2:amd64 (2:1.5.4-1+b3) ...
Selecting previously unselected package libgtk-3-common.
Preparing to unpack .../091-libgtk-3-common_3.24.49-3_all.deb ...
Unpacking libgtk-3-common (3.24.49-3) ...
Selecting previously unselected package libgtk-3-0t64:amd64.
Preparing to unpack .../092-libgtk-3-0t64_3.24.49-3_amd64.deb ...
Unpacking libgtk-3-0t64:amd64 (3.24.49-3) ...
Selecting previously unselected package gir1.2-gtk-3.0:amd64.
Preparing to unpack .../093-gir1.2-gtk-3.0_3.24.49-3_amd64.deb ...
Unpacking gir1.2-gtk-3.0:amd64 (3.24.49-3) ...
Selecting previously unselected package libgtksourceview-3.0-common.
Preparing to unpack .../094-libgtksourceview-3.0-common_3.24.11-3_all.deb ...
Unpacking libgtksourceview-3.0-common (3.24.11-3) ...
Selecting previously unselected package libgtksourceview-3.0-1:amd64.
Preparing to unpack .../095-libgtksourceview-3.0-1_3.24.11-3_amd64.deb ...
Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-3) ...
Selecting previously unselected package gir1.2-gtksource-3.0:amd64.
Preparing to unpack .../096-gir1.2-gtksource-3.0_3.24.11-3_amd64.deb ...
Unpacking gir1.2-gtksource-3.0:amd64 (3.24.11-3) ...
Selecting previously unselected package native-architecture.
Preparing to unpack .../097-native-architecture_0.2.6_all.deb ...
Unpacking native-architecture (0.2.6) ...
Selecting previously unselected package libgirepository-2.0-0:amd64.
Preparing to unpack .../098-libgirepository-2.0-0_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libgirepository-2.0-0:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package girepository-tools:amd64.
Preparing to unpack .../099-girepository-tools_2.84.4-3~deb13u2_amd64.deb ...
Unpacking girepository-tools:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package libann0.
Preparing to unpack .../100-libann0_1.1.2+doc-9+b1_amd64.deb ...
Unpacking libann0 (1.1.2+doc-9+b1) ...
Selecting previously unselected package libcdt5:amd64.
Preparing to unpack .../101-libcdt5_2.42.4-3_amd64.deb ...
Unpacking libcdt5:amd64 (2.42.4-3) ...
Selecting previously unselected package libcgraph6:amd64.
Preparing to unpack .../102-libcgraph6_2.42.4-3_amd64.deb ...
Unpacking libcgraph6:amd64 (2.42.4-3) ...
Selecting previously unselected package libaom3:amd64.
Preparing to unpack .../103-libaom3_3.12.1-1_amd64.deb ...
Unpacking libaom3:amd64 (3.12.1-1) ...
Selecting previously unselected package libdav1d7:amd64.
Preparing to unpack .../104-libdav1d7_1.5.1-1_amd64.deb ...
Unpacking libdav1d7:amd64 (1.5.1-1) ...
Selecting previously unselected package libabsl20240722:amd64.
Preparing to unpack .../105-libabsl20240722_20240722.0-4_amd64.deb ...
Unpacking libabsl20240722:amd64 (20240722.0-4) ...
Selecting previously unselected package libgav1-1:amd64.
Preparing to unpack .../106-libgav1-1_0.19.0-3+b1_amd64.deb ...
Unpacking libgav1-1:amd64 (0.19.0-3+b1) ...
Selecting previously unselected package librav1e0.7:amd64.
Preparing to unpack .../107-librav1e0.7_0.7.1-9+b2_amd64.deb ...
Unpacking librav1e0.7:amd64 (0.7.1-9+b2) ...
Selecting previously unselected package libsvtav1enc2:amd64.
Preparing to unpack .../108-libsvtav1enc2_2.3.0+dfsg-1_amd64.deb ...
Unpacking libsvtav1enc2:amd64 (2.3.0+dfsg-1) ...
Selecting previously unselected package libyuv0:amd64.
Preparing to unpack .../109-libyuv0_0.0.1904.20250204-1_amd64.deb ...
Unpacking libyuv0:amd64 (0.0.1904.20250204-1) ...
Selecting previously unselected package libavif16:amd64.
Preparing to unpack .../110-libavif16_1.2.1-1.2_amd64.deb ...
Unpacking libavif16:amd64 (1.2.1-1.2) ...
Selecting previously unselected package libheif-plugin-dav1d:amd64.
Preparing to unpack .../111-libheif-plugin-dav1d_1.19.8-1_amd64.deb ...
Unpacking libheif-plugin-dav1d:amd64 (1.19.8-1) ...
Selecting previously unselected package libde265-0:amd64.
Preparing to unpack .../112-libde265-0_1.0.15-1+b3_amd64.deb ...
Unpacking libde265-0:amd64 (1.0.15-1+b3) ...
Selecting previously unselected package libheif-plugin-libde265:amd64.
Preparing to unpack .../113-libheif-plugin-libde265_1.19.8-1_amd64.deb ...
Unpacking libheif-plugin-libde265:amd64 (1.19.8-1) ...
Selecting previously unselected package libheif1:amd64.
Preparing to unpack .../114-libheif1_1.19.8-1_amd64.deb ...
Unpacking libheif1:amd64 (1.19.8-1) ...
Selecting previously unselected package libimagequant0:amd64.
Preparing to unpack .../115-libimagequant0_2.18.0-1+b2_amd64.deb ...
Unpacking libimagequant0:amd64 (2.18.0-1+b2) ...
Selecting previously unselected package libxpm4:amd64.
Preparing to unpack .../116-libxpm4_1%3a3.5.17-1+b3_amd64.deb ...
Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ...
Selecting previously unselected package libgd3:amd64.
Preparing to unpack .../117-libgd3_2.3.3-13_amd64.deb ...
Unpacking libgd3:amd64 (2.3.3-13) ...
Selecting previously unselected package libgts-0.7-5t64:amd64.
Preparing to unpack .../118-libgts-0.7-5t64_0.7.6+darcs121130-5.2+b1_amd64.deb ...
Unpacking libgts-0.7-5t64:amd64 (0.7.6+darcs121130-5.2+b1) ...
Selecting previously unselected package libltdl7:amd64.
Preparing to unpack .../119-libltdl7_2.5.4-4_amd64.deb ...
Unpacking libltdl7:amd64 (2.5.4-4) ...
Selecting previously unselected package libpathplan4:amd64.
Preparing to unpack .../120-libpathplan4_2.42.4-3_amd64.deb ...
Unpacking libpathplan4:amd64 (2.42.4-3) ...
Selecting previously unselected package libgvc6.
Preparing to unpack .../121-libgvc6_2.42.4-3_amd64.deb ...
Unpacking libgvc6 (2.42.4-3) ...
Selecting previously unselected package libgvpr2:amd64.
Preparing to unpack .../122-libgvpr2_2.42.4-3_amd64.deb ...
Unpacking libgvpr2:amd64 (2.42.4-3) ...
Selecting previously unselected package liblab-gamut1:amd64.
Preparing to unpack .../123-liblab-gamut1_2.42.4-3_amd64.deb ...
Unpacking liblab-gamut1:amd64 (2.42.4-3) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../124-libice6_2%3a1.1.1-1_amd64.deb ...
Unpacking libice6:amd64 (2:1.1.1-1) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../125-libsm6_2%3a1.2.6-1_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.6-1) ...
Selecting previously unselected package libxt6t64:amd64.
Preparing to unpack .../126-libxt6t64_1%3a1.2.1-1.2+b2_amd64.deb ...
Unpacking libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
Selecting previously unselected package libxmu6:amd64.
Preparing to unpack .../127-libxmu6_2%3a1.1.3-3+b4_amd64.deb ...
Unpacking libxmu6:amd64 (2:1.1.3-3+b4) ...
Selecting previously unselected package libxaw7:amd64.
Preparing to unpack .../128-libxaw7_2%3a1.0.16-1_amd64.deb ...
Unpacking libxaw7:amd64 (2:1.0.16-1) ...
Selecting previously unselected package graphviz.
Preparing to unpack .../129-graphviz_2.42.4-3_amd64.deb ...
Unpacking graphviz (2.42.4-3) ...
Selecting previously unselected package libicu76:amd64.
Preparing to unpack .../130-libicu76_76.1-4_amd64.deb ...
Unpacking libicu76:amd64 (76.1-4) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../131-icu-devtools_76.1-4_amd64.deb ...
Unpacking icu-devtools (76.1-4) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../132-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../133-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../134-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package libffi-dev:amd64.
Preparing to unpack .../135-libffi-dev_3.4.8-2_amd64.deb ...
Unpacking libffi-dev:amd64 (3.4.8-2) ...
Selecting previously unselected package uuid-dev:amd64.
Preparing to unpack .../136-uuid-dev_2.41-5_amd64.deb ...
Unpacking uuid-dev:amd64 (2.41-5) ...
Selecting previously unselected package libblkid-dev:amd64.
Preparing to unpack .../137-libblkid-dev_2.41-5_amd64.deb ...
Unpacking libblkid-dev:amd64 (2.41-5) ...
Selecting previously unselected package libsepol-dev:amd64.
Preparing to unpack .../138-libsepol-dev_3.8.1-1_amd64.deb ...
Unpacking libsepol-dev:amd64 (3.8.1-1) ...
Selecting previously unselected package libpcre2-16-0:amd64.
Preparing to unpack .../139-libpcre2-16-0_10.46-1~deb13u1_amd64.deb ...
Unpacking libpcre2-16-0:amd64 (10.46-1~deb13u1) ...
Selecting previously unselected package libpcre2-32-0:amd64.
Preparing to unpack .../140-libpcre2-32-0_10.46-1~deb13u1_amd64.deb ...
Unpacking libpcre2-32-0:amd64 (10.46-1~deb13u1) ...
Selecting previously unselected package libpcre2-posix3:amd64.
Preparing to unpack .../141-libpcre2-posix3_10.46-1~deb13u1_amd64.deb ...
Unpacking libpcre2-posix3:amd64 (10.46-1~deb13u1) ...
Selecting previously unselected package libpcre2-dev:amd64.
Preparing to unpack .../142-libpcre2-dev_10.46-1~deb13u1_amd64.deb ...
Unpacking libpcre2-dev:amd64 (10.46-1~deb13u1) ...
Selecting previously unselected package libselinux1-dev:amd64.
Preparing to unpack .../143-libselinux1-dev_3.8.1-1_amd64.deb ...
Unpacking libselinux1-dev:amd64 (3.8.1-1) ...
Selecting previously unselected package libmount-dev:amd64.
Preparing to unpack .../144-libmount-dev_2.41-5_amd64.deb ...
Unpacking libmount-dev:amd64 (2.41-5) ...
Selecting previously unselected package libsysprof-capture-4-dev:amd64.
Preparing to unpack .../145-libsysprof-capture-4-dev_48.0-2_amd64.deb ...
Unpacking libsysprof-capture-4-dev:amd64 (48.0-2) ...
Selecting previously unselected package zlib1g-dev:amd64.
Preparing to unpack .../146-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
Selecting previously unselected package libgio-2.0-dev:amd64.
Preparing to unpack .../147-libgio-2.0-dev_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libgio-2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../148-libglib2.0-data_2.84.4-3~deb13u2_all.deb ...
Unpacking libglib2.0-data (2.84.4-3~deb13u2) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../149-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../150-libglib2.0-bin_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libglib2.0-bin (2.84.4-3~deb13u2) ...
Selecting previously unselected package python3-packaging.
Preparing to unpack .../151-python3-packaging_25.0-1_all.deb ...
Unpacking python3-packaging (25.0-1) ...
Selecting previously unselected package libgio-2.0-dev-bin.
Preparing to unpack .../152-libgio-2.0-dev-bin_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libgio-2.0-dev-bin (2.84.4-3~deb13u2) ...
Selecting previously unselected package libglib2.0-dev-bin.
Preparing to unpack .../153-libglib2.0-dev-bin_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libglib2.0-dev-bin (2.84.4-3~deb13u2) ...
Selecting previously unselected package libglib2.0-dev:amd64.
Preparing to unpack .../154-libglib2.0-dev_2.84.4-3~deb13u2_amd64.deb ...
Unpacking libglib2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Selecting previously unselected package libatk1.0-dev:amd64.
Preparing to unpack .../155-libatk1.0-dev_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatk1.0-dev:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package libsystemd-dev:amd64.
Preparing to unpack .../156-libsystemd-dev_257.9-1~deb13u1_amd64.deb ...
Unpacking libsystemd-dev:amd64 (257.9-1~deb13u1) ...
Selecting previously unselected package sgml-base.
Preparing to unpack .../157-sgml-base_1.31+nmu1_all.deb ...
Unpacking sgml-base (1.31+nmu1) ...
Selecting previously unselected package xml-core.
Preparing to unpack .../158-xml-core_0.19_all.deb ...
Unpacking xml-core (0.19) ...
Selecting previously unselected package libdbus-1-dev:amd64.
Preparing to unpack .../159-libdbus-1-dev_1.16.2-2_amd64.deb ...
Unpacking libdbus-1-dev:amd64 (1.16.2-2) ...
Selecting previously unselected package libxext-dev:amd64.
Preparing to unpack .../160-libxext-dev_2%3a1.3.4-1+b3_amd64.deb ...
Unpacking libxext-dev:amd64 (2:1.3.4-1+b3) ...
Selecting previously unselected package libxfixes-dev:amd64.
Preparing to unpack .../161-libxfixes-dev_1%3a6.0.0-2+b4_amd64.deb ...
Unpacking libxfixes-dev:amd64 (1:6.0.0-2+b4) ...
Selecting previously unselected package libxi-dev:amd64.
Preparing to unpack .../162-libxi-dev_2%3a1.8.2-1_amd64.deb ...
Unpacking libxi-dev:amd64 (2:1.8.2-1) ...
Selecting previously unselected package libxtst-dev:amd64.
Preparing to unpack .../163-libxtst-dev_2%3a1.2.5-1_amd64.deb ...
Unpacking libxtst-dev:amd64 (2:1.2.5-1) ...
Selecting previously unselected package libatspi2.0-dev:amd64.
Preparing to unpack .../164-libatspi2.0-dev_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatspi2.0-dev:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package libatk-bridge2.0-dev:amd64.
Preparing to unpack .../165-libatk-bridge2.0-dev_2.56.2-1+deb13u1_amd64.deb ...
Unpacking libatk-bridge2.0-dev:amd64 (2.56.2-1+deb13u1) ...
Selecting previously unselected package libbrotli-dev:amd64.
Preparing to unpack .../166-libbrotli-dev_1.1.0-2+b7_amd64.deb ...
Unpacking libbrotli-dev:amd64 (1.1.0-2+b7) ...
Selecting previously unselected package libbz2-dev:amd64.
Preparing to unpack .../167-libbz2-dev_1.0.8-6_amd64.deb ...
Unpacking libbz2-dev:amd64 (1.0.8-6) ...
Selecting previously unselected package liblzo2-2:amd64.
Preparing to unpack .../168-liblzo2-2_2.10-3+b1_amd64.deb ...
Unpacking liblzo2-2:amd64 (2.10-3+b1) ...
Selecting previously unselected package libcairo-script-interpreter2:amd64.
Preparing to unpack .../169-libcairo-script-interpreter2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo-script-interpreter2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libexpat1-dev:amd64.
Preparing to unpack .../170-libexpat1-dev_2.7.1-2_amd64.deb ...
Unpacking libexpat1-dev:amd64 (2.7.1-2) ...
Selecting previously unselected package libpng-dev:amd64.
Preparing to unpack .../171-libpng-dev_1.6.48-1+deb13u1_amd64.deb ...
Unpacking libpng-dev:amd64 (1.6.48-1+deb13u1) ...
Selecting previously unselected package libfreetype-dev:amd64.
Preparing to unpack .../172-libfreetype-dev_2.13.3+dfsg-1_amd64.deb ...
Unpacking libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
Selecting previously unselected package libfontconfig-dev:amd64.
Preparing to unpack .../173-libfontconfig-dev_2.15.0-2.3_amd64.deb ...
Unpacking libfontconfig-dev:amd64 (2.15.0-2.3) ...
Selecting previously unselected package libpixman-1-dev:amd64.
Preparing to unpack .../174-libpixman-1-dev_0.44.0-3_amd64.deb ...
Unpacking libpixman-1-dev:amd64 (0.44.0-3) ...
Selecting previously unselected package libice-dev:amd64.
Preparing to unpack .../175-libice-dev_2%3a1.1.1-1_amd64.deb ...
Unpacking libice-dev:amd64 (2:1.1.1-1) ...
Selecting previously unselected package libsm-dev:amd64.
Preparing to unpack .../176-libsm-dev_2%3a1.2.6-1_amd64.deb ...
Unpacking libsm-dev:amd64 (2:1.2.6-1) ...
Selecting previously unselected package libxcb-render0-dev:amd64.
Preparing to unpack .../177-libxcb-render0-dev_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-render0-dev:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-shm0-dev:amd64.
Preparing to unpack .../178-libxcb-shm0-dev_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-shm0-dev:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxrender-dev:amd64.
Preparing to unpack .../179-libxrender-dev_1%3a0.9.12-1_amd64.deb ...
Unpacking libxrender-dev:amd64 (1:0.9.12-1) ...
Selecting previously unselected package libcairo2-dev:amd64.
Preparing to unpack .../180-libcairo2-dev_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo2-dev:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libcloudproviders-dev:amd64.
Preparing to unpack .../181-libcloudproviders-dev_0.3.6-2_amd64.deb ...
Unpacking libcloudproviders-dev:amd64 (0.3.6-2) ...
Selecting previously unselected package libjson-c5:amd64.
Preparing to unpack .../182-libjson-c5_0.18+ds-1_amd64.deb ...
Unpacking libjson-c5:amd64 (0.18+ds-1) ...
Selecting previously unselected package libcryptsetup12:amd64.
Preparing to unpack .../183-libcryptsetup12_2%3a2.7.5-2_amd64.deb ...
Unpacking libcryptsetup12:amd64 (2:2.7.5-2) ...
Selecting previously unselected package libdatrie-dev:amd64.
Preparing to unpack .../184-libdatrie-dev_0.2.13-3+b1_amd64.deb ...
Unpacking libdatrie-dev:amd64 (0.2.13-3+b1) ...
Selecting previously unselected package libdeflate-dev:amd64.
Preparing to unpack .../185-libdeflate-dev_1.23-2_amd64.deb ...
Unpacking libdeflate-dev:amd64 (1.23-2) ...
Selecting previously unselected package libdrm-common.
Preparing to unpack .../186-libdrm-common_2.4.124-2_all.deb ...
Unpacking libdrm-common (2.4.124-2) ...
Selecting previously unselected package libdrm2:amd64.
Preparing to unpack .../187-libdrm2_2.4.124-2_amd64.deb ...
Unpacking libdrm2:amd64 (2.4.124-2) ...
Selecting previously unselected package libdrm-amdgpu1:amd64.
Preparing to unpack .../188-libdrm-amdgpu1_2.4.124-2_amd64.deb ...
Unpacking libdrm-amdgpu1:amd64 (2.4.124-2) ...
Selecting previously unselected package libpciaccess0:amd64.
Preparing to unpack .../189-libpciaccess0_0.17-3+b3_amd64.deb ...
Unpacking libpciaccess0:amd64 (0.17-3+b3) ...
Selecting previously unselected package libdrm-intel1:amd64.
Preparing to unpack .../190-libdrm-intel1_2.4.124-2_amd64.deb ...
Unpacking libdrm-intel1:amd64 (2.4.124-2) ...
Selecting previously unselected package libglvnd0:amd64.
Preparing to unpack .../191-libglvnd0_1.7.0-1+b2_amd64.deb ...
Unpacking libglvnd0:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libwayland-server0:amd64.
Preparing to unpack .../192-libwayland-server0_1.23.1-3_amd64.deb ...
Unpacking libwayland-server0:amd64 (1.23.1-3) ...
Selecting previously unselected package libz3-4:amd64.
Preparing to unpack .../193-libz3-4_4.13.3-1_amd64.deb ...
Unpacking libz3-4:amd64 (4.13.3-1) ...
Selecting previously unselected package libllvm19:amd64.
Preparing to unpack .../194-libllvm19_1%3a19.1.7-3+b1_amd64.deb ...
Unpacking libllvm19:amd64 (1:19.1.7-3+b1) ...
Selecting previously unselected package libsensors-config.
Preparing to unpack .../195-libsensors-config_1%3a3.6.2-2_all.deb ...
Unpacking libsensors-config (1:3.6.2-2) ...
Selecting previously unselected package libsensors5:amd64.
Preparing to unpack .../196-libsensors5_1%3a3.6.2-2_amd64.deb ...
Unpacking libsensors5:amd64 (1:3.6.2-2) ...
Selecting previously unselected package libx11-xcb1:amd64.
Preparing to unpack .../197-libx11-xcb1_2%3a1.8.12-1_amd64.deb ...
Unpacking libx11-xcb1:amd64 (2:1.8.12-1) ...
Selecting previously unselected package libxcb-dri3-0:amd64.
Preparing to unpack .../198-libxcb-dri3-0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-dri3-0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-present0:amd64.
Preparing to unpack .../199-libxcb-present0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-present0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-randr0:amd64.
Preparing to unpack .../200-libxcb-randr0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-randr0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-sync1:amd64.
Preparing to unpack .../201-libxcb-sync1_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-sync1:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-xfixes0:amd64.
Preparing to unpack .../202-libxcb-xfixes0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-xfixes0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxshmfence1:amd64.
Preparing to unpack .../203-libxshmfence1_1.3.3-1_amd64.deb ...
Unpacking libxshmfence1:amd64 (1.3.3-1) ...
Selecting previously unselected package mesa-libgallium:amd64.
Preparing to unpack .../204-mesa-libgallium_25.0.7-2_amd64.deb ...
Unpacking mesa-libgallium:amd64 (25.0.7-2) ...
Selecting previously unselected package libgbm1:amd64.
Preparing to unpack .../205-libgbm1_25.0.7-2_amd64.deb ...
Unpacking libgbm1:amd64 (25.0.7-2) ...
Selecting previously unselected package libegl-mesa0:amd64.
Preparing to unpack .../206-libegl-mesa0_25.0.7-2_amd64.deb ...
Unpacking libegl-mesa0:amd64 (25.0.7-2) ...
Selecting previously unselected package libegl1:amd64.
Preparing to unpack .../207-libegl1_1.7.0-1+b2_amd64.deb ...
Unpacking libegl1:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libxcb-glx0:amd64.
Preparing to unpack .../208-libxcb-glx0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-glx0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxxf86vm1:amd64.
Preparing to unpack .../209-libxxf86vm1_1%3a1.1.4-1+b4_amd64.deb ...
Unpacking libxxf86vm1:amd64 (1:1.1.4-1+b4) ...
Selecting previously unselected package libvulkan1:amd64.
Preparing to unpack .../210-libvulkan1_1.4.309.0-1_amd64.deb ...
Unpacking libvulkan1:amd64 (1.4.309.0-1) ...
Selecting previously unselected package libgl1-mesa-dri:amd64.
Preparing to unpack .../211-libgl1-mesa-dri_25.0.7-2_amd64.deb ...
Unpacking libgl1-mesa-dri:amd64 (25.0.7-2) ...
Selecting previously unselected package libglx-mesa0:amd64.
Preparing to unpack .../212-libglx-mesa0_25.0.7-2_amd64.deb ...
Unpacking libglx-mesa0:amd64 (25.0.7-2) ...
Selecting previously unselected package libglx0:amd64.
Preparing to unpack .../213-libglx0_1.7.0-1+b2_amd64.deb ...
Unpacking libglx0:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libgl1:amd64.
Preparing to unpack .../214-libgl1_1.7.0-1+b2_amd64.deb ...
Unpacking libgl1:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libglx-dev:amd64.
Preparing to unpack .../215-libglx-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libglx-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libgl-dev:amd64.
Preparing to unpack .../216-libgl-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libgl-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libegl-dev:amd64.
Preparing to unpack .../217-libegl-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libegl-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libglvnd-core-dev:amd64.
Preparing to unpack .../218-libglvnd-core-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libglvnd-core-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libgles1:amd64.
Preparing to unpack .../219-libgles1_1.7.0-1+b2_amd64.deb ...
Unpacking libgles1:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libgles2:amd64.
Preparing to unpack .../220-libgles2_1.7.0-1+b2_amd64.deb ...
Unpacking libgles2:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libgles-dev:amd64.
Preparing to unpack .../221-libgles-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libgles-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libopengl0:amd64.
Preparing to unpack .../222-libopengl0_1.7.0-1+b2_amd64.deb ...
Unpacking libopengl0:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libopengl-dev:amd64.
Preparing to unpack .../223-libopengl-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libopengl-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libglvnd-dev:amd64.
Preparing to unpack .../224-libglvnd-dev_1.7.0-1+b2_amd64.deb ...
Unpacking libglvnd-dev:amd64 (1.7.0-1+b2) ...
Selecting previously unselected package libegl1-mesa-dev:amd64.
Preparing to unpack .../225-libegl1-mesa-dev_25.0.7-2_amd64.deb ...
Unpacking libegl1-mesa-dev:amd64 (25.0.7-2) ...
Selecting previously unselected package libepoxy-dev:amd64.
Preparing to unpack .../226-libepoxy-dev_1.5.10-2_amd64.deb ...
Unpacking libepoxy-dev:amd64 (1.5.10-2) ...
Selecting previously unselected package libfribidi-dev:amd64.
Preparing to unpack .../227-libfribidi-dev_1.0.16-1_amd64.deb ...
Unpacking libfribidi-dev:amd64 (1.0.16-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-bin.
Preparing to unpack .../228-libgdk-pixbuf2.0-bin_2.42.12+dfsg-4_amd64.deb ...
Unpacking libgdk-pixbuf2.0-bin (2.42.12+dfsg-4) ...
Selecting previously unselected package libjpeg62-turbo-dev:amd64.
Preparing to unpack .../229-libjpeg62-turbo-dev_1%3a2.1.5-4_amd64.deb ...
Unpacking libjpeg62-turbo-dev:amd64 (1:2.1.5-4) ...
Selecting previously unselected package libjpeg-dev:amd64.
Preparing to unpack .../230-libjpeg-dev_1%3a2.1.5-4_amd64.deb ...
Unpacking libjpeg-dev:amd64 (1:2.1.5-4) ...
Selecting previously unselected package libjbig-dev:amd64.
Preparing to unpack .../231-libjbig-dev_2.1-6.1+b2_amd64.deb ...
Unpacking libjbig-dev:amd64 (2.1-6.1+b2) ...
Selecting previously unselected package liblzma-dev:amd64.
Preparing to unpack .../232-liblzma-dev_5.8.1-1_amd64.deb ...
Unpacking liblzma-dev:amd64 (5.8.1-1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../233-libzstd-dev_1.5.7+dfsg-1_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.7+dfsg-1) ...
Selecting previously unselected package libwebpdemux2:amd64.
Preparing to unpack .../234-libwebpdemux2_1.5.0-0.1_amd64.deb ...
Unpacking libwebpdemux2:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libwebpmux3:amd64.
Preparing to unpack .../235-libwebpmux3_1.5.0-0.1_amd64.deb ...
Unpacking libwebpmux3:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libwebpdecoder3:amd64.
Preparing to unpack .../236-libwebpdecoder3_1.5.0-0.1_amd64.deb ...
Unpacking libwebpdecoder3:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libsharpyuv-dev:amd64.
Preparing to unpack .../237-libsharpyuv-dev_1.5.0-0.1_amd64.deb ...
Unpacking libsharpyuv-dev:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libwebp-dev:amd64.
Preparing to unpack .../238-libwebp-dev_1.5.0-0.1_amd64.deb ...
Unpacking libwebp-dev:amd64 (1.5.0-0.1) ...
Selecting previously unselected package libtiffxx6:amd64.
Preparing to unpack .../239-libtiffxx6_4.7.0-3+deb13u1_amd64.deb ...
Unpacking libtiffxx6:amd64 (4.7.0-3+deb13u1) ...
Selecting previously unselected package liblerc-dev:amd64.
Preparing to unpack .../240-liblerc-dev_4.0.0+ds-5_amd64.deb ...
Unpacking liblerc-dev:amd64 (4.0.0+ds-5) ...
Selecting previously unselected package libtiff-dev:amd64.
Preparing to unpack .../241-libtiff-dev_4.7.0-3+deb13u1_amd64.deb ...
Unpacking libtiff-dev:amd64 (4.7.0-3+deb13u1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-dev:amd64.
Preparing to unpack .../242-libgdk-pixbuf-2.0-dev_2.42.12+dfsg-4_amd64.deb ...
Unpacking libgdk-pixbuf-2.0-dev:amd64 (2.42.12+dfsg-4) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../243-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../244-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgraphite2-dev:amd64.
Preparing to unpack .../245-libgraphite2-dev_1.3.14-2+b1_amd64.deb ...
Unpacking libgraphite2-dev:amd64 (1.3.14-2+b1) ...
Selecting previously unselected package libgtk-3-bin.
Preparing to unpack .../246-libgtk-3-bin_3.24.49-3_amd64.deb ...
Unpacking libgtk-3-bin (3.24.49-3) ...
Selecting previously unselected package libharfbuzz-icu0:amd64.
Preparing to unpack .../247-libharfbuzz-icu0_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz-icu0:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libharfbuzz-subset0:amd64.
Preparing to unpack .../248-libharfbuzz-subset0_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz-subset0:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libharfbuzz-cairo0:amd64.
Preparing to unpack .../249-libharfbuzz-cairo0_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz-cairo0:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libicu-dev:amd64.
Preparing to unpack .../250-libicu-dev_76.1-4_amd64.deb ...
Unpacking libicu-dev:amd64 (76.1-4) ...
Selecting previously unselected package libharfbuzz-dev:amd64.
Preparing to unpack .../251-libharfbuzz-dev_10.2.0-1+b1_amd64.deb ...
Unpacking libharfbuzz-dev:amd64 (10.2.0-1+b1) ...
Selecting previously unselected package libthai-dev:amd64.
Preparing to unpack .../252-libthai-dev_0.1.29-2+b1_amd64.deb ...
Unpacking libthai-dev:amd64 (0.1.29-2+b1) ...
Selecting previously unselected package libxft-dev:amd64.
Preparing to unpack .../253-libxft-dev_2.3.6-1+b4_amd64.deb ...
Unpacking libxft-dev:amd64 (2.3.6-1+b4) ...
Selecting previously unselected package pango1.0-tools.
Preparing to unpack .../254-pango1.0-tools_1.56.3-1_amd64.deb ...
Unpacking pango1.0-tools (1.56.3-1) ...
Selecting previously unselected package libpango1.0-dev:amd64.
Preparing to unpack .../255-libpango1.0-dev_1.56.3-1_amd64.deb ...
Unpacking libpango1.0-dev:amd64 (1.56.3-1) ...
Selecting previously unselected package libwayland-bin.
Preparing to unpack .../256-libwayland-bin_1.23.1-3_amd64.deb ...
Unpacking libwayland-bin (1.23.1-3) ...
Selecting previously unselected package libwayland-dev:amd64.
Preparing to unpack .../257-libwayland-dev_1.23.1-3_amd64.deb ...
Unpacking libwayland-dev:amd64 (1.23.1-3) ...
Selecting previously unselected package libxcomposite-dev:amd64.
Preparing to unpack .../258-libxcomposite-dev_1%3a0.4.6-1_amd64.deb ...
Unpacking libxcomposite-dev:amd64 (1:0.4.6-1) ...
Selecting previously unselected package libxcursor-dev:amd64.
Preparing to unpack .../259-libxcursor-dev_1%3a1.2.3-1_amd64.deb ...
Unpacking libxcursor-dev:amd64 (1:1.2.3-1) ...
Selecting previously unselected package libxdamage-dev:amd64.
Preparing to unpack .../260-libxdamage-dev_1%3a1.1.6-1+b2_amd64.deb ...
Unpacking libxdamage-dev:amd64 (1:1.1.6-1+b2) ...
Selecting previously unselected package libxinerama-dev:amd64.
Preparing to unpack .../261-libxinerama-dev_2%3a1.1.4-3+b4_amd64.deb ...
Unpacking libxinerama-dev:amd64 (2:1.1.4-3+b4) ...
Selecting previously unselected package libxkbcommon-dev:amd64.
Preparing to unpack .../262-libxkbcommon-dev_1.7.0-2_amd64.deb ...
Unpacking libxkbcommon-dev:amd64 (1.7.0-2) ...
Selecting previously unselected package libxrandr-dev:amd64.
Preparing to unpack .../263-libxrandr-dev_2%3a1.5.4-1+b3_amd64.deb ...
Unpacking libxrandr-dev:amd64 (2:1.5.4-1+b3) ...
Selecting previously unselected package wayland-protocols.
Preparing to unpack .../264-wayland-protocols_1.44-1_all.deb ...
Unpacking wayland-protocols (1.44-1) ...
Selecting previously unselected package libgtk-3-dev:amd64.
Preparing to unpack .../265-libgtk-3-dev_3.24.49-3_amd64.deb ...
Unpacking libgtk-3-dev:amd64 (3.24.49-3) ...
Selecting previously unselected package libxml2-dev:amd64.
Preparing to unpack .../266-libxml2-dev_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
Selecting previously unselected package libgtksourceview-3.0-dev:amd64.
Preparing to unpack .../267-libgtksourceview-3.0-dev_3.24.11-3_amd64.deb ...
Unpacking libgtksourceview-3.0-dev:amd64 (3.24.11-3) ...
Selecting previously unselected package libgts-bin.
Preparing to unpack .../268-libgts-bin_0.7.6+darcs121130-5.2+b1_amd64.deb ...
Unpacking libgts-bin (0.7.6+darcs121130-5.2+b1) ...
Selecting previously unselected package libheif-plugin-aomenc:amd64.
Preparing to unpack .../269-libheif-plugin-aomenc_1.19.8-1_amd64.deb ...
Unpacking libheif-plugin-aomenc:amd64 (1.19.8-1) ...
Selecting previously unselected package libnuma1:amd64.
Preparing to unpack .../270-libnuma1_2.0.19-1_amd64.deb ...
Unpacking libnuma1:amd64 (2.0.19-1) ...
Selecting previously unselected package libx265-215:amd64.
Preparing to unpack .../271-libx265-215_4.1-2_amd64.deb ...
Unpacking libx265-215:amd64 (4.1-2) ...
Selecting previously unselected package libheif-plugin-x265:amd64.
Preparing to unpack .../272-libheif-plugin-x265_1.19.8-1_amd64.deb ...
Unpacking libheif-plugin-x265:amd64 (1.19.8-1) ...
Selecting previously unselected package libkmod2:amd64.
Preparing to unpack .../273-libkmod2_34.2-2_amd64.deb ...
Unpacking libkmod2:amd64 (34.2-2) ...
Selecting previously unselected package libpng-tools.
Preparing to unpack .../274-libpng-tools_1.6.48-1+deb13u1_amd64.deb ...
Unpacking libpng-tools (1.6.48-1+deb13u1) ...
Selecting previously unselected package librsvg2-2:amd64.
Preparing to unpack .../275-librsvg2-2_2.60.0+dfsg-1_amd64.deb ...
Unpacking librsvg2-2:amd64 (2.60.0+dfsg-1) ...
Selecting previously unselected package librsvg2-common:amd64.
Preparing to unpack .../276-librsvg2-common_2.60.0+dfsg-1_amd64.deb ...
Unpacking librsvg2-common:amd64 (2.60.0+dfsg-1) ...
Selecting previously unselected package mesa-vulkan-drivers:amd64.
Preparing to unpack .../277-mesa-vulkan-drivers_25.0.7-2_amd64.deb ...
Unpacking mesa-vulkan-drivers:amd64 (25.0.7-2) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../278-pkg-config_1.8.1-4_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-4) ...
Selecting previously unselected package systemd-cryptsetup.
Preparing to unpack .../279-systemd-cryptsetup_257.9-1~deb13u1_amd64.deb ...
Unpacking systemd-cryptsetup (257.9-1~deb13u1) ...
Selecting previously unselected package xdg-user-dirs.
Preparing to unpack .../280-xdg-user-dirs_0.18-2_amd64.deb ...
Unpacking xdg-user-dirs (0.18-2) ...
Setting up media-types (13.0.0) ...
Setting up libgraphite2-3:amd64 (1.3.14-2+b1) ...
Setting up libxcb-dri3-0:amd64 (1.17.0-2+b1) ...
Setting up liblcms2-2:amd64 (2.16-2) ...
Setting up libpixman-1-0:amd64 (0.44.0-3) ...
Setting up bzip2-doc (1.0.8-6) ...
Setting up libsharpyuv0:amd64 (1.5.0-0.1) ...
Setting up libwayland-server0:amd64 (1.23.1-3) ...
Setting up libaom3:amd64 (3.12.1-1) ...
Setting up libx11-xcb1:amd64 (2:1.8.12-1) ...
Setting up libpciaccess0:amd64 (0.17-3+b3) ...
Setting up systemd-sysv (257.9-1~deb13u1) ...
Setting up libpixman-1-dev:amd64 (0.44.0-3) ...
Setting up native-architecture (0.2.6) ...
Setting up libxdamage1:amd64 (1:1.1.6-1+b2) ...
Setting up libxcb-xfixes0:amd64 (1.17.0-2+b1) ...
Setting up liblerc4:amd64 (4.0.0+ds-5) ...
Setting up libzstd-dev:amd64 (1.5.7+dfsg-1) ...
Setting up libxpm4:amd64 (1:3.5.17-1+b3) ...
Setting up libglvnd-core-dev:amd64 (1.7.0-1+b2) ...
Setting up hicolor-icon-theme (0.18-2) ...
Setting up libxi6:amd64 (2:1.8.2-1) ...
Setting up libxrender1:amd64 (1:0.9.12-1) ...
Setting up libdatrie1:amd64 (0.2.13-3+b1) ...
Setting up xdg-user-dirs (0.18-2) ...
Setting up libxcb-render0:amd64 (1.17.0-2+b1) ...
Setting up libglvnd0:amd64 (1.7.0-1+b2) ...
Setting up libxcb-glx0:amd64 (1.17.0-2+b1) ...
Setting up liblab-gamut1:amd64 (2.42.4-3) ...
Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-4) ...
Setting up x11-common (1:7.7+24+deb13u1) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libsensors-config (1:3.6.2-2) ...
Setting up libdeflate0:amd64 (1.23-2) ...
Setting up libwebpdecoder3:amd64 (1.5.0-0.1) ...
Setting up libnss-systemd:amd64 (257.9-1~deb13u1) ...
Setting up xkb-data (2.42-1) ...
Setting up liblzo2-2:amd64 (2.10-3+b1) ...
Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ...
Setting up libabsl20240722:amd64 (20240722.0-4) ...
Setting up libffi-dev:amd64 (3.4.8-2) ...
Setting up libjbig0:amd64 (2.1-6.1+b2) ...
Setting up libpcre2-16-0:amd64 (10.46-1~deb13u1) ...
Setting up libopengl0:amd64 (1.7.0-1+b2) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up libxxf86vm1:amd64 (1:1.1.4-1+b4) ...
Setting up libxcb-present0:amd64 (1.17.0-2+b1) ...
Setting up libsysprof-capture-4-dev:amd64 (48.0-2) ...
Setting up libxcb-shm0-dev:amd64 (1.17.0-2+b1) ...
Setting up libgraphite2-dev:amd64 (1.3.14-2+b1) ...
Setting up libz3-4:amd64 (4.13.3-1) ...
Setting up libpcre2-32-0:amd64 (10.46-1~deb13u1) ...
Setting up libglib2.0-0t64:amd64 (2.84.4-3~deb13u2) ...
Setting up libglib2.0-data (2.84.4-3~deb13u2) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Setting up libgles2:amd64 (1.7.0-1+b2) ...
Setting up libexpat1-dev:amd64 (2.7.1-2) ...
Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ...
Setting up libsvtav1enc2:amd64 (2.3.0+dfsg-1) ...
Setting up libjpeg62-turbo-dev:amd64 (1:2.1.5-4) ...
Setting up libepoxy0:amd64 (1.5.10-2) ...
Setting up libxfixes3:amd64 (1:6.0.0-2+b4) ...
Setting up libxcb-sync1:amd64 (1.17.0-2+b1) ...
Setting up uuid-dev:amd64 (2.41-5) ...
Setting up libpathplan4:amd64 (2.42.4-3) ...
Setting up libavahi-common-data:amd64 (0.8-16) ...
Setting up libann0 (1.1.2+doc-9+b1) ...
Setting up libgles1:amd64 (1.7.0-1+b2) ...
Setting up libdbus-1-3:amd64 (1.16.2-2) ...
Setting up libfribidi0:amd64 (1.0.16-1) ...
Setting up libxinerama1:amd64 (2:1.1.4-3+b4) ...
Setting up libimagequant0:amd64 (2.18.0-1+b2) ...
Setting up fonts-dejavu-mono (2.37-8) ...
Setting up libpng16-16t64:amd64 (1.6.48-1+deb13u1) ...
Setting up systemd-timesyncd (257.9-1~deb13u1) ...
Creating group 'systemd-timesync' with GID 997.
Creating user 'systemd-timesync' (systemd Time Synchronization) with UID 997 and GID 997.
Created symlink '/etc/systemd/system/dbus-org.freedesktop.timesync1.service' → '/usr/lib/systemd/system/systemd-timesyncd.service'.
Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service' → '/usr/lib/systemd/system/systemd-timesyncd.service'.
Setting up libxrandr2:amd64 (2:1.5.4-1+b3) ...
Setting up fonts-dejavu-core (2.37-8) ...
Setting up libgav1-1:amd64 (0.19.0-3+b1) ...
Setting up libsepol-dev:amd64 (3.8.1-1) ...
Setting up libxcb-render0-dev:amd64 (1.17.0-2+b1) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up gir1.2-glib-2.0:amd64 (2.84.4-3~deb13u2) ...
Setting up libsensors5:amd64 (1:3.6.2-2) ...
Setting up liblerc-dev:amd64 (4.0.0+ds-5) ...
Setting up libltdl7:amd64 (2.5.4-4) ...
Setting up libvulkan1:amd64 (1.4.309.0-1) ...
Setting up libwebp7:amd64 (1.5.0-0.1) ...
Setting up libxext-dev:amd64 (2:1.3.4-1+b3) ...
Setting up liblzma-dev:amd64 (5.8.1-1) ...
Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
Setting up libnuma1:amd64 (2.0.19-1) ...
Setting up libpcre2-posix3:amd64 (10.46-1~deb13u1) ...
Setting up wayland-protocols (1.44-1) ...
Setting up libdav1d7:amd64 (1.5.1-1) ...
Setting up gir1.2-glib-2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Setting up libxshmfence1:amd64 (1.3.3-1) ...
Setting up at-spi2-common (2.56.2-1+deb13u1) ...
Setting up libtiff6:amd64 (4.7.0-3+deb13u1) ...
Setting up libxcb-randr0:amd64 (1.17.0-2+b1) ...
Setting up dbus-session-bus-common (1.16.2-2) ...
Setting up librav1e0.7:amd64 (0.7.1-9+b2) ...
Setting up libgtksourceview-3.0-common (3.24.11-3) ...
Setting up fonts-liberation (1:2.1.5-3) ...
Setting up libthai-data (0.1.29-2) ...
Setting up libgts-0.7-5t64:amd64 (0.7.6+darcs121130-5.2+b1) ...
Setting up sgml-base (1.31+nmu1) ...
Setting up libcdt5:amd64 (2.42.4-3) ...
Setting up libcgraph6:amd64 (2.42.4-3) ...
Setting up libwayland-egl1:amd64 (1.23.1-3) ...
Setting up libicu76:amd64 (76.1-4) ...
Setting up libopengl-dev:amd64 (1.7.0-1+b2) ...
Setting up fonts-liberation-sans-narrow (1:1.07.6-4) ...
Setting up dbus-system-bus-common (1.16.2-2) ...
Creating group 'messagebus' with GID 996.
Creating user 'messagebus' (System Message Bus) with UID 996 and GID 996.
Setting up libde265-0:amd64 (1.0.15-1+b3) ...
Setting up libsharpyuv-dev:amd64 (1.5.0-0.1) ...
Setting up libx265-215:amd64 (4.1-2) ...
Setting up libwebpmux3:amd64 (1.5.0-0.1) ...
Setting up libtiffxx6:amd64 (4.7.0-3+deb13u1) ...
Setting up libdeflate-dev:amd64 (1.23-2) ...
Setting up libdrm-common (2.4.124-2) ...
Setting up libyuv0:amd64 (0.0.1904.20250204-1) ...
Setting up libxcomposite1:amd64 (1:0.4.6-1) ...
Setting up libxrender-dev:amd64 (1:0.9.12-1) ...
Setting up libjson-c5:amd64 (0.18+ds-1) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
Setting up dbus-bin (1.16.2-2) ...
Setting up libsystemd-dev:amd64 (257.9-1~deb13u1) ...
Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ...
Setting up libkmod2:amd64 (34.2-2) ...
Setting up libbz2-dev:amd64 (1.0.8-6) ...
Setting up libxkbcommon0:amd64 (1.7.0-2) ...
Setting up libwayland-client0:amd64 (1.23.1-3) ...
Setting up libblkid-dev:amd64 (2.41-5) ...
Setting up libllvm19:amd64 (1:19.1.7-3+b1) ...
Setting up libgts-bin (0.7.6+darcs121130-5.2+b1) ...
Setting up libice6:amd64 (2:1.1.1-1) ...
Setting up libavif16:amd64 (1.2.1-1.2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up libatk1.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Setting up libpcre2-dev:amd64 (10.46-1~deb13u1) ...
Setting up libice-dev:amd64 (2:1.1.1-1) ...
Setting up libpng-tools (1.6.48-1+deb13u1) ...
Setting up libgirepository-2.0-0:amd64 (2.84.4-3~deb13u2) ...
Setting up gir1.2-atk-1.0:amd64 (2.56.2-1+deb13u1) ...
Setting up libselinux1-dev:amd64 (3.8.1-1) ...
Setting up fontconfig-config (2.15.0-2.3) ...
Setting up libxtst6:amd64 (2:1.2.5-1) ...
Setting up libfribidi-dev:amd64 (1.0.16-1) ...
Setting up libwebpdemux2:amd64 (1.5.0-0.1) ...
Setting up libxkbcommon-dev:amd64 (1.7.0-2) ...
Setting up libxcursor1:amd64 (1:1.2.3-1) ...
Setting up libpng-dev:amd64 (1.6.48-1+deb13u1) ...
Setting up libavahi-common3:amd64 (0.8-16) ...
Setting up libjpeg-dev:amd64 (1:2.1.5-4) ...
Setting up libjbig-dev:amd64 (2.1-6.1+b2) ...
Setting up libcloudproviders0:amd64 (0.3.6-2) ...
Setting up libglib2.0-bin (2.84.4-3~deb13u2) ...
Setting up dbus-daemon (1.16.2-2) ...
Setting up libcolord2:amd64 (1.4.7-3) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up libdconf1:amd64 (0.40.0-5) ...
Setting up libxfixes-dev:amd64 (1:6.0.0-2+b4) ...
Setting up libthai0:amd64 (0.1.29-2+b1) ...
Setting up libwayland-bin (1.23.1-3) ...
Setting up libxrandr-dev:amd64 (2:1.5.4-1+b3) ...
Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
Setting up libwebp-dev:amd64 (1.5.0-0.1) ...
Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
Setting up libtiff-dev:amd64 (4.7.0-3+deb13u1) ...
Setting up libatspi2.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Setting up dbus (1.16.2-2) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up shared-mime-info (2.4-5+b2) ...
Setting up icu-devtools (76.1-4) ...
Setting up pkg-config:amd64 (1.8.1-4) ...
Setting up libxinerama-dev:amd64 (2:1.1.4-3+b4) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up libgvpr2:amd64 (2.42.4-3) ...
Setting up libdrm2:amd64 (2.4.124-2) ...
Setting up libdatrie-dev:amd64 (0.2.13-3+b1) ...
Setting up gir1.2-cloudproviders-0.3.0:amd64 (0.3.6-2) ...
Setting up libwayland-cursor0:amd64 (1.23.1-3) ...
Setting up xml-core (0.19) ...
Setting up libpam-systemd:amd64 (257.9-1~deb13u1) ...
Setting up libharfbuzz0b:amd64 (10.2.0-1+b1) ...
Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-4) ...
Setting up libfontconfig1:amd64 (2.15.0-2.3) ...
Setting up libxi-dev:amd64 (2:1.8.2-1) ...
Setting up libsm6:amd64 (2:1.2.6-1) ...
Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ...
Setting up libicu-dev:amd64 (76.1-4) ...
Setting up libavahi-client3:amd64 (0.8-16) ...
Setting up libmount-dev:amd64 (2.41-5) ...
Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
Setting up libdrm-amdgpu1:amd64 (2.4.124-2) ...
Setting up libxtst-dev:amd64 (2:1.2.5-1) ...
Setting up libxdamage-dev:amd64 (1:1.1.6-1+b2) ...
Setting up libatk-bridge2.0-0t64:amd64 (2.56.2-1+deb13u1) ...
Setting up mesa-vulkan-drivers:amd64 (25.0.7-2) ...
Setting up gtk-update-icon-cache (4.18.6+ds-2) ...
Setting up fontconfig (2.15.0-2.3) ...
Regenerating fonts cache... done.
Setting up libxft2:amd64 (2.3.6-1+b4) ...
Setting up libgio-2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Setting up libharfbuzz-icu0:amd64 (10.2.0-1+b1) ...
Setting up girepository-tools:amd64 (2.84.4-3~deb13u2) ...
Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.42.12+dfsg-4) ...
Setting up python3.13 (3.13.5-2) ...
Setting up libsm-dev:amd64 (2:1.2.6-1) ...
Setting up libxcomposite-dev:amd64 (1:0.4.6-1) ...
Setting up libxcursor-dev:amd64 (1:1.2.3-1) ...
Setting up libpango-1.0-0:amd64 (1.56.3-1) ...
Setting up libdrm-intel1:amd64 (2.4.124-2) ...
Setting up python3 (3.13.5-1) ...
running python rtupdate hooks for python3.13...
running python post-rtupdate hooks for python3.13...
Setting up libharfbuzz-gobject0:amd64 (10.2.0-1+b1) ...
Setting up libwayland-dev:amd64 (1.23.1-3) ...
Setting up libcairo2:amd64 (1.18.4-1+b1) ...
Setting up libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
Setting up dbus-user-session (1.16.2-2) ...
Setting up python3-packaging (25.0-1) ...
Setting up libharfbuzz-cairo0:amd64 (10.2.0-1+b1) ...
Setting up adwaita-icon-theme (48.1-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 libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
Setting up libthai-dev:amd64 (0.1.29-2+b1) ...
Setting up libgdk-pixbuf2.0-bin (2.42.12+dfsg-4) ...
Setting up libharfbuzz-subset0:amd64 (10.2.0-1+b1) ...
Setting up libcairo-gobject2:amd64 (1.18.4-1+b1) ...
Setting up libpangoft2-1.0-0:amd64 (1.56.3-1) ...
Setting up libcups2t64:amd64 (2.4.10-3+deb13u2) ...
Setting up libpangocairo-1.0-0:amd64 (1.56.3-1) ...
Setting up libcairo-script-interpreter2:amd64 (1.18.4-1+b1) ...
Setting up mesa-libgallium:amd64 (25.0.7-2) ...
Setting up libgio-2.0-dev-bin (2.84.4-3~deb13u2) ...
Setting up libxmu6:amd64 (2:1.1.3-3+b4) ...
Setting up gir1.2-freedesktop:amd64 (1.84.0-1) ...
Setting up libpangoxft-1.0-0:amd64 (1.56.3-1) ...
Setting up libgbm1:amd64 (25.0.7-2) ...
Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ...
Setting up libgl1-mesa-dri:amd64 (25.0.7-2) ...
Setting up pango1.0-tools (1.56.3-1) ...
Setting up dconf-service (0.40.0-5) ...
Setting up gir1.2-atspi-2.0:amd64 (2.56.2-1+deb13u1) ...
Setting up libxaw7:amd64 (2:1.0.16-1) ...
Setting up gir1.2-harfbuzz-0.0:amd64 (10.2.0-1+b1) ...
Setting up librsvg2-2:amd64 (2.60.0+dfsg-1) ...
Setting up gir1.2-pango-1.0:amd64 (1.56.3-1) ...
Setting up libegl-mesa0:amd64 (25.0.7-2) ...
Setting up gir1.2-freedesktop-dev:amd64 (1.84.0-1) ...
Setting up librsvg2-common:amd64 (2.60.0+dfsg-1) ...
Setting up libegl1:amd64 (1.7.0-1+b2) ...
Setting up libxft-dev:amd64 (2.3.6-1+b4) ...
Setting up libglib2.0-dev-bin (2.84.4-3~deb13u2) ...
Setting up libglx-mesa0:amd64 (25.0.7-2) ...
Setting up libglx0:amd64 (1.7.0-1+b2) ...
Setting up dconf-gsettings-backend:amd64 (0.40.0-5) ...
Setting up libgl1:amd64 (1.7.0-1+b2) ...
Setting up libglib2.0-dev:amd64 (2.84.4-3~deb13u2) ...
Setting up libglx-dev:amd64 (1.7.0-1+b2) ...
Setting up libcairo2-dev:amd64 (1.18.4-1+b1) ...
Setting up libgl-dev:amd64 (1.7.0-1+b2) ...
Setting up libgtk-3-common (3.24.49-3) ...
Setting up libatk1.0-dev:amd64 (2.56.2-1+deb13u1) ...
Setting up libgdk-pixbuf-2.0-dev:amd64 (2.42.12+dfsg-4) ...
Setting up gsettings-desktop-schemas (48.0-1) ...
Setting up libharfbuzz-dev:amd64 (10.2.0-1+b1) ...
Setting up libegl-dev:amd64 (1.7.0-1+b2) ...
Setting up libcloudproviders-dev:amd64 (0.3.6-2) ...
Setting up libepoxy-dev:amd64 (1.5.10-2) ...
Setting up libpango1.0-dev:amd64 (1.56.3-1) ...
Setting up libgtk-3-0t64:amd64 (3.24.49-3) ...
Setting up at-spi2-core (2.56.2-1+deb13u1) ...
Setting up libgles-dev:amd64 (1.7.0-1+b2) ...
Setting up gir1.2-gtk-3.0:amd64 (3.24.49-3) ...
Setting up libglvnd-dev:amd64 (1.7.0-1+b2) ...
Setting up libgtk-3-bin (3.24.49-3) ...
Setting up libgtksourceview-3.0-1:amd64 (3.24.11-3) ...
Setting up gir1.2-gtksource-3.0:amd64 (3.24.11-3) ...
Setting up libegl1-mesa-dev:amd64 (25.0.7-2) ...
Setting up dmsetup (2:1.02.205-2) ...
Setting up libheif-plugin-dav1d:amd64 (1.19.8-1) ...
Setting up libheif-plugin-libde265:amd64 (1.19.8-1) ...
Setting up libheif1:amd64 (1.19.8-1) ...
Setting up libgd3:amd64 (2.3.3-13) ...
Setting up libgvc6 (2.42.4-3) ...
Setting up libdevmapper1.02.1:amd64 (2:1.02.205-2) ...
Setting up libcryptsetup12:amd64 (2:2.7.5-2) ...
Setting up graphviz (2.42.4-3) ...
Setting up libheif-plugin-x265:amd64 (1.19.8-1) ...
Setting up libheif-plugin-aomenc:amd64 (1.19.8-1) ...
Setting up systemd-cryptsetup (257.9-1~deb13u1) ...
Processing triggers for procps (2:4.0.4-9) ...
grep: /proc/1/environ: Permission denied
procps: Applying updated sysctl configuration
sysctl: permission denied on key "kernel.core_pattern"
sysctl: permission denied on key "kernel.unprivileged_userns_clone"
sysctl: permission denied on key "kernel.sysrq"
sysctl: permission denied on key "kernel.core_uses_pid"
sysctl: permission denied on key "net.ipv4.conf.default.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.docker0.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.eno12399np0.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.eno12409np1.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.eno8303.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.eno8403.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.lo.rp_filter"
sysctl: permission denied on key "net.ipv4.conf.default.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.docker0.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.eno12399np0.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.eno12409np1.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.eno8303.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.eno8403.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.lo.accept_source_route"
sysctl: permission denied on key "net.ipv4.conf.default.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.docker0.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.eno12399np0.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.eno12409np1.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.eno8303.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.eno8403.promote_secondaries"
sysctl: permission denied on key "net.ipv4.conf.lo.promote_secondaries"
sysctl: permission denied on key "net.ipv4.ping_group_range", ignoring
sysctl: permission denied on key "net.core.default_qdisc", ignoring
sysctl: permission denied on key "fs.protected_hardlinks"
sysctl: permission denied on key "fs.protected_symlinks"
sysctl: permission denied on key "fs.protected_regular"
sysctl: permission denied on key "fs.protected_fifos"
sysctl: permission denied on key "vm.max_map_count"
sysctl: permission denied on key "kernel.pid_max"
Processing triggers for libc-bin (2.41-12+deb13u1) ...
Processing triggers for systemd (257.9-1~deb13u1) ...
Processing triggers for sgml-base (1.31+nmu1) ...
Setting up libdbus-1-dev:amd64 (1.16.2-2) ...
Setting up libatspi2.0-dev:amd64 (2.56.2-1+deb13u1) ...
Setting up libatk-bridge2.0-dev:amd64 (2.56.2-1+deb13u1) ...
Setting up libgtk-3-dev:amd64 (3.24.49-3) ...
Setting up libgtksourceview-3.0-dev:amd64 (3.24.11-3) ...
Processing triggers for libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-4) ...
# OS packages installation successful
frama_c_codex.1.0-rc4 is not installed. Install it? [Y/n] y
The following actions will be performed:
- install conf-graphviz 0.1
- install dune 3.21.0 [required by frama_c_codex]
- install conf-gmp 5 [required by zarith]
- install ocamlfind 1.9.8 [required by camlzip, ppx_deriving, fmt, etc.]
- install ocamlbuild 0.16.1 [required by fmt]
- install cmdliner 2.1.0 [required by fmt]
- install conf-pkg-config 4 [required by zarith, conf-gtksourceview3]
- install num 1.6 [required by alt-ergo]
- install yojson 3.0.0 [required by frama-c]
- install unionFind 20220122 [required by frama-c]
- install stdlib-shims 0.3.0 [required by pacomb]
- install sexplib0 v0.16.0 [required by base]
- install qcheck-core 0.91 [required by codex]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install pp 2.0.0 [required by dune-private-libs]
- install patricia-tree 0.11.0 [required by frama_c_codex]
- install ordering 3.20.2 [required by dyn, stdune]
- install ocamlgraph 2.2.0 [required by frama-c]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install menhirSdk 20230608 [required by js_of_ocaml-compiler]
- install menhirLib 20230608 [required by js_of_ocaml-compiler]
- install jane-street-headers v0.16.0 [required by time_now]
- install cudd 0.1.3 [required by codex]
- install csexp 1.5.2 [required by dune-private-libs]
- install cppo 1.8.0 [required by ppx_deriving]
- install camlp-streams 5.0.1 [required by codex]
- install bheap 2.0.0 [required by codex]
- install base64 3.5.2 [required by codex]
- install camlzip 1.07 [required by frama-c]
- install topkg 1.1.1 [required by fmt]
- install gen 0.5 [required by sedlex]
- install zarith 1.14 [required by frama_c_codex]
- install conf-gtksourceview3 0+2 [required by frama-c]
- install conf-gtk3 18 [required by lablgtk3]
- install conf-cairo 1 [required by cairo2]
- install integers 0.7.0 [required by ctypes]
- install dyn 3.20.2 [required by dune-private-libs]
- install ppxlib 0.35.0 [required by codex]
- install menhir 20230608 [required by frama-c]
- install dune-configurator 3.21.0 [required by frama-c]
- install rresult 0.7.0 [required by bos]
- install fmt 0.11.0 [required by frama_c_codex]
- install astring 0.8.5 [required by bos]
- install alt-ergo 1.01 [required by frama-c] This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
- install stdune 3.20.2 [required by dune-private-libs]
- install sedlex 3.7 [required by js_of_ocaml-compiler]
- install ppx_deriving 6.0.3 [required by codex, frama-c]
- install pacomb 1.3 [required by codex]
- install ctypes 0.24.0 [required by yaml]
- install cairo2 0.6.5 [required by lablgtk3]
- install base v0.16.4 [required by ppx_inline_test]
- install fpath 0.7.3 [required by bos]
- install dune-private-libs 3.20.2 [required by dune-site]
- install js_of_ocaml-compiler 6.2.0 [required by js_of_ocaml, vdom]
- install ppx_deriving_yojson 3.9.1 [required by frama-c]
- install lablgtk3 3.1.5 [required by frama-c]
- install stdio v0.16.0 [required by ppx_optcomp]
- install ppx_sexp_conv v0.16.0 [required by why3]
- install ppx_here v0.16.0 [required by ppx_assert]
- install ppx_globalize v0.16.0 [required by ppx_base]
- install ppx_enumerate v0.16.0 [required by ppx_base]
- install ppx_compare v0.16.0 [required by ppx_base]
- install ppx_cold v0.16.0 [required by ppx_base]
- install dune-site 3.20.2 [required by frama-c]
- install ojs 1.1.5 [required by vdom]
- install logs 0.10.0 [required by bos]
- install js_of_ocaml 6.2.0 [required by codex]
- install lablgtk3-sourceview3 3.1.5 [required by frama-c]
- install ppx_optcomp v0.16.0 [required by time_now]
- install why3 1.8.2 [required by frama-c]
- install ppx_hash v0.16.0 [required by ppx_base]
- install ppx_assert v0.16.0 [required by jst-config]
- install gen_js_api 1.1.5 [required by vdom]
- install bos 0.2.1 [required by yaml]
- install js_of_ocaml-ppx 6.2.0 [required by codex]
- install ppx_base v0.16.0 [required by time_now]
- install jst-config v0.16.0 [required by time_now]
- install vdom 0.3 [required by codex]
- install yaml 3.2.0 [required by frama-c]
- install time_now v0.16.0 [required by ppx_inline_test]
- install ppx_deriving_yaml 0.4.0 [required by frama-c]
- install ppx_inline_test v0.16.1 [required by codex]
- install frama-c 31.0 [required by frama_c_codex]
- install codex 1.0~rc4 [required by frama_c_codex]
- install frama_c_codex 1.0-rc4*
===== 85 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[alt-ergo.1.01] found in cache
[astring.0.8.5] found in cache
[base.v0.16.4] found in cache
[base64.3.5.2] found in cache
[bheap.2.0.0] found in cache
[bos.0.2.1] found in cache
[cairo2.0.6.5] found in cache
[camlp-streams.5.0.1] found in cache
[camlzip.1.07] found in cache
[cmdliner.2.1.0] found in cache
[codex.1.0~rc4] found in cache
[cppo.1.8.0] found in cache
[csexp.1.5.2] found in cache
[ctypes.0.24.0] found in cache
[cudd.0.1.3] found in cache
[dune.3.21.0] found in cache
[dune-configurator.3.21.0] found in cache
[dune-private-libs.3.20.2] found in cache
[dune-site.3.20.2] found in cache
[dyn.3.20.2] found in cache
[fmt.0.11.0] found in cache
[fpath.0.7.3] found in cache
[frama-c.31.0] found in cache
[frama_c_codex.1.0-rc4] found in cache
[gen.0.5] found in cache
[gen_js_api.1.1.5] found in cache
[integers.0.7.0] found in cache
[jane-street-headers.v0.16.0] found in cache
[js_of_ocaml.6.2.0] found in cache
[js_of_ocaml-compiler.6.2.0] found in cache
[js_of_ocaml-ppx.6.2.0] found in cache
[jst-config.v0.16.0] found in cache
[lablgtk3.3.1.5] found in cache
[lablgtk3-sourceview3.3.1.5] found in cache
[logs.0.10.0] found in cache
[menhir.20230608] found in cache
[menhirLib.20230608] found in cache
[menhirSdk.20230608] found in cache
[num.1.6] found in cache
[ocaml-compiler-libs.v0.12.4] found in cache
[ocamlbuild.0.16.1] found in cache
[ocamlfind.1.9.8] found in cache
[ocamlgraph.2.2.0] found in cache
[ojs.1.1.5] found in cache
[ordering.3.20.2] found in cache
[pacomb.1.3] found in cache
[patricia-tree.0.11.0] found in cache
[pp.2.0.0] found in cache
[ppx_assert.v0.16.0] found in cache
[ppx_base.v0.16.0] found in cache
[ppx_cold.v0.16.0] found in cache
[ppx_compare.v0.16.0] found in cache
[ppx_derivers.1.2.1] found in cache
[ppx_deriving.6.0.3] found in cache
[ppx_deriving_yaml.0.4.0] found in cache
[ppx_deriving_yojson.3.9.1] found in cache
[ppx_enumerate.v0.16.0] found in cache
[ppx_globalize.v0.16.0] found in cache
[ppx_hash.v0.16.0] found in cache
[ppx_here.v0.16.0] found in cache
[ppx_inline_test.v0.16.1] found in cache
[ppx_optcomp.v0.16.0] found in cache
[ppx_sexp_conv.v0.16.0] found in cache
[ppxlib.0.35.0] found in cache
[qcheck-core.0.91] found in cache
[rresult.0.7.0] found in cache
[sedlex.3.7] found in cache
[sexplib0.v0.16.0] found in cache
[stdio.v0.16.0] found in cache
[stdlib-shims.0.3.0] found in cache
[stdune.3.20.2] found in cache
[time_now.v0.16.0] found in cache
[topkg.1.1.1] found in cache
[unionFind.20220122] found in cache
[vdom.0.3] found in cache
[why3.1.8.2] found in cache
[yaml.3.2.0] found in cache
[yojson.3.0.0] found in cache
[zarith.1.14] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-gmp.5
-> installed conf-graphviz.0.1
-> installed conf-pkg-config.4
-> installed num.1.6
-> installed conf-cairo.1
-> installed conf-gtk3.18
-> installed conf-gtksourceview3.0+2
-> installed cmdliner.2.1.0
-> installed ocamlfind.1.9.8
-> installed camlzip.1.07
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed gen.0.5
-> installed astring.0.8.5
-> installed fmt.0.11.0
-> installed alt-ergo.1.01
-> installed fpath.0.7.3
-> installed dune.3.21.0
-> installed base64.3.5.2
-> installed bheap.2.0.0
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed jane-street-headers.v0.16.0
-> installed menhirLib.20230608
-> installed menhirSdk.20230608
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocamlgraph.2.2.0
-> installed patricia-tree.0.11.0
-> installed pp.2.0.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.91
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed unionFind.20220122
-> installed yojson.3.0.0
-> installed integers.0.7.0
-> installed ordering.3.20.2
-> installed dune-configurator.3.21.0
-> installed dyn.3.20.2
-> installed cairo2.0.6.5
-> installed stdune.3.20.2
-> installed menhir.20230608
-> installed base.v0.16.4
-> installed ppxlib.0.35.0
-> installed lablgtk3.3.1.5
-> installed stdio.v0.16.0
-> installed ppx_cold.v0.16.0
-> installed cudd.0.1.3
-> installed ppx_compare.v0.16.0
-> installed ppx_deriving.6.0.3
-> installed ppx_enumerate.v0.16.0
-> installed ppx_globalize.v0.16.0
-> installed pacomb.1.3
-> installed ppx_here.v0.16.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.7
-> installed ctypes.0.24.0
-> installed lablgtk3-sourceview3.3.1.5
-> installed ppx_optcomp.v0.16.0
-> installed ppx_deriving_yojson.3.9.1
-> installed ppx_assert.v0.16.0
-> installed ppx_hash.v0.16.0
-> installed dune-private-libs.3.20.2
-> installed ppx_base.v0.16.0
-> installed jst-config.v0.16.0
-> installed dune-site.3.20.2
-> installed time_now.v0.16.0
-> installed ppx_inline_test.v0.16.1
-> installed js_of_ocaml-compiler.6.2.0
-> installed ojs.1.1.5
-> installed logs.0.10.0
-> installed gen_js_api.1.1.5
-> installed vdom.0.3
-> installed bos.0.2.1
-> installed yaml.3.2.0
-> installed ppx_deriving_yaml.0.4.0
-> installed js_of_ocaml.6.2.0
-> installed js_of_ocaml-ppx.6.2.0
-> installed why3.1.8.2
-> installed codex.1.0~rc4
-> installed frama-c.31.0
-> installed frama_c_codex.1.0-rc4
Done.
<><> frama-c.31.0 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The Frama-C/WP plug-in requires one or more external prover(s).
Recommended provers are:
- Alt-Ergo (https://alt-ergo.ocamlpro.com)
- CVC4 (https://cvc4.github.io)
- CVC5 (https://cvc5.github.io)
- Z3 (https://github.com/Z3Prover/z3)
Use 'why3 config detect' to configure new provers.
=> Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once to finalize installation (requires an internet connection).
Once finalized, 'ivette' will work offline.
Finalization also requires Node v20 or v22 and Yarn:
- install NVM (https://github.com/nvm-sh/nvm)
- run 'nvm use 22'
- run 'npm install --global yarn'
# Run eval $(opam env) to update the current shell environment
2026-01-27 19:42.01 ---> saved as "f0466f43446b9c7c50c1d8d74b8804178788030b0de51a034bf118a38ca9ceaf"
Job succeeded
2026-01-27 19:42.05: Job succeeded