Building on x86-bm-c3.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
830d517e9694: Pulling fs layer
830d517e9694: Verifying Checksum
830d517e9694: Download complete
830d517e9694: Pull complete
Digest: sha256:cec2f0e8c7952d08707bb137ad70496f36042347d86e7816156bf70445a74f7f
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-04-13 08:43.58 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-04-13 08:43.58 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 34a3fc46c301a891122df75c17fef6b5358bd68f"))
2025-04-13 08:43.58 ---> using "6aace7ddb0315e05dcea0f25d12f96ff9dc8f85c2b8f9361b598fcff4c0fa3d6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring 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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-04-13 08:43.58 ---> using "3cfa94ba527bfa92001171dcb06fce65200e4089b0ad9cb2bcb38c055ef8ccd4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-04-13 08:43.58 ---> using "85170c7051c45444c4d443c67f8d25c7f33918a6e1d37397bf18f6282365d95c" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
-
2025-04-13 08:43.58 ---> using "5255d35dc9ff9e993cbd455c6499ad562c24bcf2a0442c988c2163254b9e1a05" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.18.0
The following actions will be performed:
=== install 1 package
- install dune 3.18.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.18.0 (cached)
-> installed dune.3.18.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-13 08:43.58 ---> using "b25e04dc6b57b5e83a1b7a423cdaa0d29d4dc5698afddb33afca39f8192e1c94" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
# 1.4%
#### 6.7%
################## 26.1%
####################################### 54.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-04-13 08:43.58 ---> using "1e311de0362a4cf8bc60a1ded16f4c6ffe1f37cccf83f29d6446fccb548016cc" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "mkdir /tmp/sexp && cd /tmp/sexp && opam switch create ./ ocaml-base-compiler.5.2.1 --no-install && opam install -y sexp && cd -"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.1 (cached)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 101 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.1 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.0 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.18.0 [required by sexp]
- install dune-configurator 3.18.0 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.10.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.5-1 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.12.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install seq base [required by re]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.0.8 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved async.v0.17.0 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base.v0.17.1 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.17.0 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-g++.1.0
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core_unix.v0.17.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved csvfields.v0.17.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved dune.3.18.0, dune-configurator.3.18.0 (cached)
-> installed num.1.5-1
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved sexp.v0.17.0 (cached)
-> retrieved sexp_diff.v0.17.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved sexp_select.v0.17.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved shell.v0.17.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved topkg.1.0.8 (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed dune.3.18.0
-> installed jane-street-headers.v0.17.0
-> installed ppx_derivers.1.2.1
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.18.0
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.1
-> installed fieldslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppx_optcomp.v0.17.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed ppx_log.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed jane_rope.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed int_repr.v0.17.0
-> installed jsonaf.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed timezone.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.0
-> installed async_rpc_kernel.v0.17.0
-> installed textutils.v0.17.0
-> installed shell.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
-> installed sexp_macro.v0.17.0
-> installed re2.v0.17.0
-> installed sexp.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
/
2025-04-13 08:43.58 ---> using "95d2bcbff24f258ba133e219dae1c524984b747ce96bdae346dd7a1157eb767a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-04-13 08:43.58 ---> using "669eef4eb142fdb84229ce69e8814ebbd826ed332c1bacd859d632f84e513ccf" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source coq-stdlib.8.20.1 && cd coq-stdlib.8.20.1 && if [ -f opam ]; then mv opam coq-stdlib.opam; fi && echo coq-stdlib >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \\(.*\\))/\\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.8.20.1 > ${package}.opam; done < /tmp/packages-in-repo && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./coq-stdlib.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw coq-stdlib.8.20.1 > coq-stdlib.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-new && mv dune-project-new dune-project && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && echo coq-stdlib >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/coq-stdlib.8.20.1
[ERROR] No package matching coq-doc.8.20.1 found
[ERROR] No package matching coq-doc.8.20.1 found
The following system packages will first need to be installed:
adwaita-icon-theme libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "adwaita-icon-theme" "libcairo2-dev" "libexpat1-dev" "libgmp-dev" "libgtk-3-dev" "libgtksourceview-3.0-dev" "pkg-config"
- 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 ... 19596 files and directories currently installed.)
- Preparing to unpack .../libsystemd-shared_257.5-2_amd64.deb ...
- Unpacking libsystemd-shared:amd64 (257.5-2) ...
- Setting up libsystemd-shared:amd64 (257.5-2) ...
- 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 ... 19604 files and directories currently installed.)
- Preparing to unpack .../systemd_257.5-2_amd64.deb ...
- Unpacking systemd (257.5-2) ...
- Setting up systemd (257.5-2) ...
- 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 ... 20538 files and directories currently installed.)
- Preparing to unpack .../0-systemd-sysv_257.5-2_amd64.deb ...
- Unpacking systemd-sysv (257.5-2) ...
- 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.3-2_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.3-2) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../8-python3.13-minimal_3.13.3-2_amd64.deb ...
- Unpacking python3.13-minimal (3.13.3-2) ...
- Setting up libpython3.13-minimal:amd64 (3.13.3-2) ...
- Setting up python3.13-minimal (3.13.3-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 ... 20955 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.3-1_amd64.deb ...
- Unpacking python3-minimal (3.13.3-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.3-2_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.3-2) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.3-2_amd64.deb ...
- Unpacking python3.13 (3.13.3-2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.3-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.3-1) ...
- Setting up python3-minimal (3.13.3-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 ... 21438 files and directories currently installed.)
- Preparing to unpack .../000-python3_3.13.3-1_amd64.deb ...
- Unpacking python3 (3.13.3-1) ...
- Selecting previously unselected package sgml-base.
- Preparing to unpack .../001-sgml-base_1.31_all.deb ...
- Unpacking sgml-base (1.31) ...
- Selecting previously unselected package libnss-systemd:amd64.
- Preparing to unpack .../002-libnss-systemd_257.5-2_amd64.deb ...
- Unpacking libnss-systemd:amd64 (257.5-2) ...
- Selecting previously unselected package libpam-systemd:amd64.
- Preparing to unpack .../003-libpam-systemd_257.5-2_amd64.deb ...
- Unpacking libpam-systemd:amd64 (257.5-2) ...
- Selecting previously unselected package systemd-timesyncd.
- Preparing to unpack .../004-systemd-timesyncd_257.5-2_amd64.deb ...
- Unpacking systemd-timesyncd (257.5-2) ...
- Selecting previously unselected package libgdk-pixbuf2.0-common.
- Preparing to unpack .../005-libgdk-pixbuf2.0-common_2.42.12+dfsg-2_all.deb ...
- Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ...
- Selecting previously unselected package libglib2.0-0t64:amd64.
- Preparing to unpack .../006-libglib2.0-0t64_2.84.1-1_amd64.deb ...
- Unpacking libglib2.0-0t64:amd64 (2.84.1-1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../007-libxml2_2.12.7+dfsg+really2.9.14-0.4_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.4) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../008-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 .../009-libjpeg62-turbo_1%3a2.1.5-3.1_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3.1) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../010-libpng16-16t64_1.6.47-1.1_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.47-1.1) ...
- Selecting previously unselected package libdeflate0:amd64.
- Preparing to unpack .../011-libdeflate0_1.23-2_amd64.deb ...
- Unpacking libdeflate0:amd64 (1.23-2) ...
- Selecting previously unselected package libjbig0:amd64.
- Preparing to unpack .../012-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 .../013-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 .../014-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 .../015-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 .../016-libtiff6_4.7.0-3_amd64.deb ...
- Unpacking libtiff6:amd64 (4.7.0-3) ...
- Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64.
- Preparing to unpack .../017-libgdk-pixbuf-2.0-0_2.42.12+dfsg-2_amd64.deb ...
- Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ...
- Selecting previously unselected package gtk-update-icon-cache.
- Preparing to unpack .../018-gtk-update-icon-cache_4.18.4+ds-1_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.4+ds-1) ...
- Selecting previously unselected package hicolor-icon-theme.
- Preparing to unpack .../019-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 .../020-adwaita-icon-theme_48.0-1_all.deb ...
- Unpacking adwaita-icon-theme (48.0-1) ...
- Selecting previously unselected package at-spi2-common.
- Preparing to unpack .../021-at-spi2-common_2.56.1-2_all.deb ...
- Unpacking at-spi2-common (2.56.1-2) ...
- Selecting previously unselected package libxi6:amd64.
- Preparing to unpack .../022-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 .../023-libatspi2.0-0t64_2.56.1-2_amd64.deb ...
- Unpacking libatspi2.0-0t64:amd64 (2.56.1-2) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../024-x11-common_1%3a7.7+24_all.deb ...
- Unpacking x11-common (1:7.7+24) ...
- Selecting previously unselected package libxtst6:amd64.
- Preparing to unpack .../025-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 .../026-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 .../027-libdconf1_0.40.0-5_amd64.deb ...
- Unpacking libdconf1:amd64 (0.40.0-5) ...
- Selecting previously unselected package dconf-service.
- Preparing to unpack .../028-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 .../029-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 .../030-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 .../031-at-spi2-core_2.56.1-2_amd64.deb ...
- Unpacking at-spi2-core (2.56.1-2) ...
- Selecting previously unselected package bzip2-doc.
- Preparing to unpack .../032-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 .../033-libdevmapper1.02.1_2%3a1.02.205-1_amd64.deb ...
- Unpacking libdevmapper1.02.1:amd64 (2:1.02.205-1) ...
- Selecting previously unselected package dmsetup.
- Preparing to unpack .../034-dmsetup_2%3a1.02.205-1_amd64.deb ...
- Unpacking dmsetup (2:1.02.205-1) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../035-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 .../036-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 .../037-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- 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 gir1.2-glib-2.0:amd64.
- Preparing to unpack .../041-gir1.2-glib-2.0_2.84.1-1_amd64.deb ...
- Unpacking gir1.2-glib-2.0:amd64 (2.84.1-1) ...
- Selecting previously unselected package libatk1.0-0t64:amd64.
- Preparing to unpack .../042-libatk1.0-0t64_2.56.1-2_amd64.deb ...
- Unpacking libatk1.0-0t64:amd64 (2.56.1-2) ...
- Selecting previously unselected package gir1.2-atk-1.0:amd64.
- Preparing to unpack .../043-gir1.2-atk-1.0_2.56.1-2_amd64.deb ...
- Unpacking gir1.2-atk-1.0:amd64 (2.56.1-2) ...
- Selecting previously unselected package libpixman-1-0:amd64.
- Preparing to unpack .../044-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 .../045-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 .../046-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 .../047-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 .../048-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 .../049-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 .../050-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 .../051-gir1.2-atspi-2.0_2.56.1-2_amd64.deb ...
- Unpacking gir1.2-atspi-2.0:amd64 (2.56.1-2) ...
- Selecting previously unselected package libcloudproviders0:amd64.
- Preparing to unpack .../052-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 .../053-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 .../054-gir1.2-glib-2.0-dev_2.84.1-1_amd64.deb ...
- Unpacking gir1.2-glib-2.0-dev:amd64 (2.84.1-1) ...
- Selecting previously unselected package gir1.2-freedesktop-dev:amd64.
- Preparing to unpack .../055-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 .../056-gir1.2-gdkpixbuf-2.0_2.42.12+dfsg-2_amd64.deb ...
- Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.42.12+dfsg-2) ...
- Selecting previously unselected package libgraphite2-3:amd64.
- Preparing to unpack .../057-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 .../058-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 .../059-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 .../060-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 .../061-libfribidi0_1.0.16-1_amd64.deb ...
- Unpacking libfribidi0:amd64 (1.0.16-1) ...
- Selecting previously unselected package libthai-data.
- Preparing to unpack .../062-libthai-data_0.1.29-2_all.deb ...
- Unpacking libthai-data (0.1.29-2) ...
- Selecting previously unselected package libdatrie1:amd64.
- Preparing to unpack .../063-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 .../064-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 .../065-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 .../066-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 .../067-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 .../068-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 .../069-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 .../070-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 .../071-libatk-bridge2.0-0t64_2.56.1-2_amd64.deb ...
- Unpacking libatk-bridge2.0-0t64:amd64 (2.56.1-2) ...
- Selecting previously unselected package liblcms2-2:amd64.
- Preparing to unpack .../072-liblcms2-2_2.16-2_amd64.deb ...
- Unpacking liblcms2-2:amd64 (2.16-2) ...
- Selecting previously unselected package libcolord2:amd64.
- Preparing to unpack .../073-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 .../074-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 .../075-libavahi-common3_0.8-16_amd64.deb ...
- Unpacking libavahi-common3:amd64 (0.8-16) ...
- Selecting previously unselected package libavahi-client3:amd64.
- Preparing to unpack .../076-libavahi-client3_0.8-16_amd64.deb ...
- Unpacking libavahi-client3:amd64 (0.8-16) ...
- Selecting previously unselected package libcups2t64:amd64.
- Preparing to unpack .../077-libcups2t64_2.4.10-2+b1_amd64.deb ...
- Unpacking libcups2t64:amd64 (2.4.10-2+b1) ...
- Selecting previously unselected package libepoxy0:amd64.
- Preparing to unpack .../078-libepoxy0_1.5.10-2_amd64.deb ...
- Unpacking libepoxy0:amd64 (1.5.10-2) ...
- Selecting previously unselected package libwayland-client0:amd64.
- Preparing to unpack .../079-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 .../080-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 .../081-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 .../082-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 .../083-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 .../084-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 .../085-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 .../086-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 .../087-xkb-data_2.42-1_all.deb ...
- Unpacking xkb-data (2.42-1) ...
- Selecting previously unselected package libxkbcommon0:amd64.
- Preparing to unpack .../088-libxkbcommon0_1.7.0-2_amd64.deb ...
- Unpacking libxkbcommon0:amd64 (1.7.0-2) ...
- Selecting previously unselected package libxrandr2:amd64.
- Preparing to unpack .../089-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 .../090-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 .../091-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 .../092-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 .../093-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 .../094-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 .../095-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 .../096-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 .../097-libgirepository-2.0-0_2.84.1-1_amd64.deb ...
- Unpacking libgirepository-2.0-0:amd64 (2.84.1-1) ...
- Selecting previously unselected package girepository-tools:amd64.
- Preparing to unpack .../098-girepository-tools_2.84.1-1_amd64.deb ...
- Unpacking girepository-tools:amd64 (2.84.1-1) ...
- Selecting previously unselected package libicu76:amd64.
- Preparing to unpack .../099-libicu76_76.1-3_amd64.deb ...
- Unpacking libicu76:amd64 (76.1-3) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../100-icu-devtools_76.1-3_amd64.deb ...
- Unpacking icu-devtools (76.1-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../101-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../102-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../103-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../104-libffi-dev_3.4.7-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.7-1) ...
- Selecting previously unselected package uuid-dev:amd64.
- Preparing to unpack .../105-uuid-dev_2.41-4_amd64.deb ...
- Unpacking uuid-dev:amd64 (2.41-4) ...
- Selecting previously unselected package libblkid-dev:amd64.
- Preparing to unpack .../106-libblkid-dev_2.41-4_amd64.deb ...
- Unpacking libblkid-dev:amd64 (2.41-4) ...
- Selecting previously unselected package libsepol-dev:amd64.
- Preparing to unpack .../107-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 .../108-libpcre2-16-0_10.45-1_amd64.deb ...
- Unpacking libpcre2-16-0:amd64 (10.45-1) ...
- Selecting previously unselected package libpcre2-32-0:amd64.
- Preparing to unpack .../109-libpcre2-32-0_10.45-1_amd64.deb ...
- Unpacking libpcre2-32-0:amd64 (10.45-1) ...
- Selecting previously unselected package libpcre2-posix3:amd64.
- Preparing to unpack .../110-libpcre2-posix3_10.45-1_amd64.deb ...
- Unpacking libpcre2-posix3:amd64 (10.45-1) ...
- Selecting previously unselected package libpcre2-dev:amd64.
- Preparing to unpack .../111-libpcre2-dev_10.45-1_amd64.deb ...
- Unpacking libpcre2-dev:amd64 (10.45-1) ...
- Selecting previously unselected package libselinux1-dev:amd64.
- Preparing to unpack .../112-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 .../113-libmount-dev_2.41-4_amd64.deb ...
- Unpacking libmount-dev:amd64 (2.41-4) ...
- Selecting previously unselected package libsysprof-capture-4-dev:amd64.
- Preparing to unpack .../114-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 .../115-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 .../116-libgio-2.0-dev_2.84.1-1_amd64.deb ...
- Unpacking libgio-2.0-dev:amd64 (2.84.1-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../117-libglib2.0-data_2.84.1-1_all.deb ...
- Unpacking libglib2.0-data (2.84.1-1) ...
- Selecting previously unselected package libelf1t64:amd64.
- Preparing to unpack .../118-libelf1t64_0.192-4_amd64.deb ...
- Unpacking libelf1t64:amd64 (0.192-4) ...
- Selecting previously unselected package libglib2.0-bin.
- Preparing to unpack .../119-libglib2.0-bin_2.84.1-1_amd64.deb ...
- Unpacking libglib2.0-bin (2.84.1-1) ...
- Selecting previously unselected package python3-packaging.
- Preparing to unpack .../120-python3-packaging_24.2-3_all.deb ...
- Unpacking python3-packaging (24.2-3) ...
- Selecting previously unselected package libgio-2.0-dev-bin.
- Preparing to unpack .../121-libgio-2.0-dev-bin_2.84.1-1_amd64.deb ...
- Unpacking libgio-2.0-dev-bin (2.84.1-1) ...
- Selecting previously unselected package libglib2.0-dev-bin.
- Preparing to unpack .../122-libglib2.0-dev-bin_2.84.1-1_amd64.deb ...
- Unpacking libglib2.0-dev-bin (2.84.1-1) ...
- Selecting previously unselected package libglib2.0-dev:amd64.
- Preparing to unpack .../123-libglib2.0-dev_2.84.1-1_amd64.deb ...
- Unpacking libglib2.0-dev:amd64 (2.84.1-1) ...
- Selecting previously unselected package libatk1.0-dev:amd64.
- Preparing to unpack .../124-libatk1.0-dev_2.56.1-2_amd64.deb ...
- Unpacking libatk1.0-dev:amd64 (2.56.1-2) ...
- Selecting previously unselected package libsystemd-dev:amd64.
- Preparing to unpack .../125-libsystemd-dev_257.5-2_amd64.deb ...
- Unpacking libsystemd-dev:amd64 (257.5-2) ...
- Selecting previously unselected package xml-core.
- Preparing to unpack .../126-xml-core_0.19_all.deb ...
- Unpacking xml-core (0.19) ...
- Selecting previously unselected package libdbus-1-dev:amd64.
- Preparing to unpack .../127-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 .../128-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 .../129-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 .../130-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 .../131-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 .../132-libatspi2.0-dev_2.56.1-2_amd64.deb ...
- Unpacking libatspi2.0-dev:amd64 (2.56.1-2) ...
- Selecting previously unselected package libatk-bridge2.0-dev:amd64.
- Preparing to unpack .../133-libatk-bridge2.0-dev_2.56.1-2_amd64.deb ...
- Unpacking libatk-bridge2.0-dev:amd64 (2.56.1-2) ...
- Selecting previously unselected package libbrotli-dev:amd64.
- Preparing to unpack .../134-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 .../135-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 .../136-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 .../137-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 .../138-libexpat1-dev_2.7.1-1_amd64.deb ...
- Unpacking libexpat1-dev:amd64 (2.7.1-1) ...
- Selecting previously unselected package libpng-dev:amd64.
- Preparing to unpack .../139-libpng-dev_1.6.47-1.1_amd64.deb ...
- Unpacking libpng-dev:amd64 (1.6.47-1.1) ...
- Selecting previously unselected package libfreetype-dev:amd64.
- Preparing to unpack .../140-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 .../141-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 .../142-libpixman-1-dev_0.44.0-3_amd64.deb ...
- Unpacking libpixman-1-dev:amd64 (0.44.0-3) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../143-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 .../144-libsm6_2%3a1.2.6-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.6-1) ...
- Selecting previously unselected package libice-dev:amd64.
- Preparing to unpack .../145-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 .../146-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 .../147-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 .../148-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 .../149-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 .../150-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 .../151-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 .../152-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 .../153-libcryptsetup12_2%3a2.7.5-1_amd64.deb ...
- Unpacking libcryptsetup12:amd64 (2:2.7.5-1) ...
- Selecting previously unselected package libdatrie-dev:amd64.
- Preparing to unpack .../154-libdatrie-dev_0.2.13-3+b1_amd64.deb ...
- Unpacking libdatrie-dev:amd64 (0.2.13-3+b1) ...
- Selecting previously unselected package libdav1d7:amd64.
- Preparing to unpack .../155-libdav1d7_1.5.1-1_amd64.deb ...
- Unpacking libdav1d7:amd64 (1.5.1-1) ...
- Selecting previously unselected package libdeflate-dev:amd64.
- Preparing to unpack .../156-libdeflate-dev_1.23-2_amd64.deb ...
- Unpacking libdeflate-dev:amd64 (1.23-2) ...
- Selecting previously unselected package libdrm-common.
- Preparing to unpack .../157-libdrm-common_2.4.124-2_all.deb ...
- Unpacking libdrm-common (2.4.124-2) ...
- Selecting previously unselected package libdrm2:amd64.
- Preparing to unpack .../158-libdrm2_2.4.124-2_amd64.deb ...
- Unpacking libdrm2:amd64 (2.4.124-2) ...
- Selecting previously unselected package libdrm-amdgpu1:amd64.
- Preparing to unpack .../159-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 .../160-libpciaccess0_0.17-3+b3_amd64.deb ...
- Unpacking libpciaccess0:amd64 (0.17-3+b3) ...
- Selecting previously unselected package libdrm-intel1:amd64.
- Preparing to unpack .../161-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 .../162-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 .../163-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 .../164-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 .../165-libllvm19_1%3a19.1.7-3_amd64.deb ...
- Unpacking libllvm19:amd64 (1:19.1.7-3) ...
- Selecting previously unselected package libsensors-config.
- Preparing to unpack .../166-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 .../167-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 .../168-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 .../169-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 .../170-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 .../171-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 .../172-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 .../173-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 .../174-libxshmfence1_1.3.3-1_amd64.deb ...
- Unpacking libxshmfence1:amd64 (1.3.3-1) ...
- Selecting previously unselected package mesa-libgallium:amd64.
- Preparing to unpack .../175-mesa-libgallium_25.0.3-1_amd64.deb ...
- Unpacking mesa-libgallium:amd64 (25.0.3-1) ...
- Selecting previously unselected package libgbm1:amd64.
- Preparing to unpack .../176-libgbm1_25.0.3-1_amd64.deb ...
- Unpacking libgbm1:amd64 (25.0.3-1) ...
- Selecting previously unselected package libegl-mesa0:amd64.
- Preparing to unpack .../177-libegl-mesa0_25.0.3-1_amd64.deb ...
- Unpacking libegl-mesa0:amd64 (25.0.3-1) ...
- Selecting previously unselected package libegl1:amd64.
- Preparing to unpack .../178-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 .../179-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 .../180-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 .../181-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 .../182-libgl1-mesa-dri_25.0.3-1_amd64.deb ...
- Unpacking libgl1-mesa-dri:amd64 (25.0.3-1) ...
- Selecting previously unselected package libglx-mesa0:amd64.
- Preparing to unpack .../183-libglx-mesa0_25.0.3-1_amd64.deb ...
- Unpacking libglx-mesa0:amd64 (25.0.3-1) ...
- Selecting previously unselected package libglx0:amd64.
- Preparing to unpack .../184-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 .../185-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 .../186-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 .../187-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 .../188-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 .../189-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 .../190-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 .../191-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 .../192-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 .../193-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 .../194-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 .../195-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 .../196-libegl1-mesa-dev_25.0.3-1_amd64.deb ...
- Unpacking libegl1-mesa-dev:amd64 (25.0.3-1) ...
- Selecting previously unselected package libepoxy-dev:amd64.
- Preparing to unpack .../197-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 .../198-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 .../199-libgdk-pixbuf2.0-bin_2.42.12+dfsg-2_amd64.deb ...
- Unpacking libgdk-pixbuf2.0-bin (2.42.12+dfsg-2) ...
- Selecting previously unselected package libjpeg62-turbo-dev:amd64.
- Preparing to unpack .../200-libjpeg62-turbo-dev_1%3a2.1.5-3.1_amd64.deb ...
- Unpacking libjpeg62-turbo-dev:amd64 (1:2.1.5-3.1) ...
- Selecting previously unselected package libjpeg-dev:amd64.
- Preparing to unpack .../201-libjpeg-dev_1%3a2.1.5-3.1_amd64.deb ...
- Unpacking libjpeg-dev:amd64 (1:2.1.5-3.1) ...
- Selecting previously unselected package libjbig-dev:amd64.
- Preparing to unpack .../202-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 .../203-liblzma-dev_5.8.1-1_amd64.deb ...
- Unpacking liblzma-dev:amd64 (5.8.1-1) ...
- Selecting previously unselected package libwebpdemux2:amd64.
- Preparing to unpack .../204-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 .../205-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 .../206-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 .../207-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 .../208-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 .../209-libtiffxx6_4.7.0-3_amd64.deb ...
- Unpacking libtiffxx6:amd64 (4.7.0-3) ...
- Selecting previously unselected package liblerc-dev:amd64.
- Preparing to unpack .../210-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 .../211-libtiff-dev_4.7.0-3_amd64.deb ...
- Unpacking libtiff-dev:amd64 (4.7.0-3) ...
- Selecting previously unselected package libgdk-pixbuf-2.0-dev:amd64.
- Preparing to unpack .../212-libgdk-pixbuf-2.0-dev_2.42.12+dfsg-2_amd64.deb ...
- Unpacking libgdk-pixbuf-2.0-dev:amd64 (2.42.12+dfsg-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../213-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 .../214-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 .../215-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 .../216-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 .../217-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 .../218-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 .../219-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 .../220-libicu-dev_76.1-3_amd64.deb ...
- Unpacking libicu-dev:amd64 (76.1-3) ...
- Selecting previously unselected package libharfbuzz-dev:amd64.
- Preparing to unpack .../221-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 .../222-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 .../223-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 .../224-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 .../225-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 .../226-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 .../227-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 .../228-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 .../229-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 .../230-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 .../231-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 .../232-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 .../233-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 .../234-wayland-protocols_1.43-1_all.deb ...
- Unpacking wayland-protocols (1.43-1) ...
- Selecting previously unselected package libgtk-3-dev:amd64.
- Preparing to unpack .../235-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 .../236-libxml2-dev_2.12.7+dfsg+really2.9.14-0.4_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-0.4) ...
- Selecting previously unselected package libgtksourceview-3.0-dev:amd64.
- Preparing to unpack .../237-libgtksourceview-3.0-dev_3.24.11-3_amd64.deb ...
- Unpacking libgtksourceview-3.0-dev:amd64 (3.24.11-3) ...
- Selecting previously unselected package libkmod2:amd64.
- Preparing to unpack .../238-libkmod2_34.2-1_amd64.deb ...
- Unpacking libkmod2:amd64 (34.2-1) ...
- Selecting previously unselected package libpng-tools.
- Preparing to unpack .../239-libpng-tools_1.6.47-1.1_amd64.deb ...
- Unpacking libpng-tools (1.6.47-1.1) ...
- Selecting previously unselected package librsvg2-2:amd64.
- Preparing to unpack .../240-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 .../241-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 .../242-mesa-vulkan-drivers_25.0.3-1_amd64.deb ...
- Unpacking mesa-vulkan-drivers:amd64 (25.0.3-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../243-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 .../244-systemd-cryptsetup_257.5-2_amd64.deb ...
- Unpacking systemd-cryptsetup (257.5-2) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../245-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 libx11-xcb1:amd64 (2:1.8.12-1) ...
- Setting up libpciaccess0:amd64 (0.17-3+b3) ...
- Setting up systemd-sysv (257.5-2) ...
- 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 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 libgdk-pixbuf2.0-common (2.42.12+dfsg-2) ...
- Setting up x11-common (1:7.7+24) ...
- 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.5-2) ...
- 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 libffi-dev:amd64 (3.4.7-1) ...
- Setting up libjbig0:amd64 (2.1-6.1+b2) ...
- Setting up libpcre2-16-0:amd64 (10.45-1) ...
- 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.45-1) ...
- Setting up libglib2.0-0t64:amd64 (2.84.1-1) ...
- Setting up libglib2.0-data (2.84.1-1) ...
- 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-1) ...
- Setting up libjpeg62-turbo:amd64 (1:2.1.5-3.1) ...
- Setting up libjpeg62-turbo-dev:amd64 (1:2.1.5-3.1) ...
- 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-4) ...
- Setting up libavahi-common-data:amd64 (0.8-16) ...
- 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 fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.47-1.1) ...
- Setting up systemd-timesyncd (257.5-2) ...
- 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 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.1-1) ...
- Setting up libsensors5:amd64 (1:3.6.2-2) ...
- Setting up liblerc-dev:amd64 (4.0.0+ds-5) ...
- 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 libpcre2-posix3:amd64 (10.45-1) ...
- Setting up wayland-protocols (1.43-1) ...
- Setting up libdav1d7:amd64 (1.5.1-1) ...
- Setting up gir1.2-glib-2.0-dev:amd64 (2.84.1-1) ...
- Setting up libxshmfence1:amd64 (1.3.3-1) ...
- Setting up at-spi2-common (2.56.1-2) ...
- Setting up libtiff6:amd64 (4.7.0-3) ...
- Setting up libxcb-randr0:amd64 (1.17.0-2+b1) ...
- Setting up dbus-session-bus-common (1.16.2-2) ...
- Setting up libgtksourceview-3.0-common (3.24.11-3) ...
- Setting up libthai-data (0.1.29-2) ...
- Setting up sgml-base (1.31) ...
- Setting up libwayland-egl1:amd64 (1.23.1-3) ...
- Setting up libicu76:amd64 (76.1-3) ...
- Setting up libopengl-dev:amd64 (1.7.0-1+b2) ...
- 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 libsharpyuv-dev:amd64 (1.5.0-0.1) ...
- Setting up libwebpmux3:amd64 (1.5.0-0.1) ...
- Setting up libtiffxx6:amd64 (4.7.0-3) ...
- Setting up libdeflate-dev:amd64 (1.23-2) ...
- Setting up libdrm-common (2.4.124-2) ...
- 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-0.4) ...
- Setting up dbus-bin (1.16.2-2) ...
- Setting up libsystemd-dev:amd64 (257.5-2) ...
- Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ...
- Setting up libkmod2:amd64 (34.2-1) ...
- 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-4) ...
- Setting up libllvm19:amd64 (1:19.1.7-3) ...
- Setting up libice6:amd64 (2:1.1.1-1) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libatk1.0-0t64:amd64 (2.56.1-2) ...
- Setting up libpcre2-dev:amd64 (10.45-1) ...
- Setting up libice-dev:amd64 (2:1.1.1-1) ...
- Setting up libpng-tools (1.6.47-1.1) ...
- Setting up libgirepository-2.0-0:amd64 (2.84.1-1) ...
- Setting up gir1.2-atk-1.0:amd64 (2.56.1-2) ...
- 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.47-1.1) ...
- Setting up libavahi-common3:amd64 (0.8-16) ...
- Setting up libjpeg-dev:amd64 (1:2.1.5-3.1) ...
- 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.1-1) ...
- 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-0.4) ...
- 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) ...
- Setting up libatspi2.0-0t64:amd64 (2.56.1-2) ...
- 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-3) ...
- 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 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.5-2) ...
- Setting up libharfbuzz0b:amd64 (10.2.0-1+b1) ...
- Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.12+dfsg-2) ...
- 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.3-2) ...
- Setting up libicu-dev:amd64 (76.1-3) ...
- Setting up libavahi-client3:amd64 (0.8-16) ...
- Setting up libmount-dev:amd64 (2.41-4) ...
- Setting up libpython3-stdlib:amd64 (3.13.3-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.1-2) ...
- Setting up mesa-vulkan-drivers:amd64 (25.0.3-1) ...
- Setting up gtk-update-icon-cache (4.18.4+ds-1) ...
- 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.1-1) ...
- Setting up libharfbuzz-icu0:amd64 (10.2.0-1+b1) ...
- Setting up girepository-tools:amd64 (2.84.1-1) ...
- Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.42.12+dfsg-2) ...
- Setting up python3.13 (3.13.3-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.3-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 (24.2-3) ...
- Setting up libharfbuzz-cairo0:amd64 (10.2.0-1+b1) ...
- Setting up adwaita-icon-theme (48.0-1) ...
- update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
- Setting up libthai-dev:amd64 (0.1.29-2+b1) ...
- Setting up libgdk-pixbuf2.0-bin (2.42.12+dfsg-2) ...
- 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-2+b1) ...
- 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.3-1) ...
- Setting up libgio-2.0-dev-bin (2.84.1-1) ...
- 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.3-1) ...
- Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ...
- Setting up libgl1-mesa-dri:amd64 (25.0.3-1) ...
- 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.1-2) ...
- 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.3-1) ...
- 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.1-1) ...
- Setting up libglx-mesa0:amd64 (25.0.3-1) ...
- 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.1-1) ...
- 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.1-2) ...
- Setting up libgdk-pixbuf-2.0-dev:amd64 (2.42.12+dfsg-2) ...
- 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.1-2) ...
- 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.3-1) ...
- Setting up dmsetup (2:1.02.205-1) ...
- Setting up libdevmapper1.02.1:amd64 (2:1.02.205-1) ...
- Setting up libcryptsetup12:amd64 (2:2.7.5-1) ...
- Setting up systemd-cryptsetup (257.5-2) ...
- Processing triggers for procps (2:4.0.4-7) ...
- 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.eno1.rp_filter"
- sysctl: permission denied on key "net.ipv4.conf.eno2.rp_filter"
- sysctl: permission denied on key "net.ipv4.conf.eno3.rp_filter"
- sysctl: permission denied on key "net.ipv4.conf.eno4.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.eno1.accept_source_route"
- sysctl: permission denied on key "net.ipv4.conf.eno2.accept_source_route"
- sysctl: permission denied on key "net.ipv4.conf.eno3.accept_source_route"
- sysctl: permission denied on key "net.ipv4.conf.eno4.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.eno1.promote_secondaries"
- sysctl: permission denied on key "net.ipv4.conf.eno2.promote_secondaries"
- sysctl: permission denied on key "net.ipv4.conf.eno3.promote_secondaries"
- sysctl: permission denied on key "net.ipv4.conf.eno4.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 "kernel.pid_max"
- Processing triggers for libc-bin (2.41-6) ...
- Processing triggers for systemd (257.5-2) ...
- Processing triggers for sgml-base (1.31) ...
- Setting up libdbus-1-dev:amd64 (1.16.2-2) ...
- Setting up libatspi2.0-dev:amd64 (2.56.1-2) ...
- Setting up libatk-bridge2.0-dev:amd64 (2.56.1-2) ...
- 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-2) ...
Error: Unable to solve dependencies for the following lock directories:
Lock directory dune.lock:
Couldn't solve the package dependency formula.
Selected candidates: base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base
conf-gmp.5 conf-linux-libc-dev.0 conf-pkg-config.4
coq.9.0.0 coq-core.9.0.0 coq-doc.dev coq-stdlib.9.0.0
coqide.dev ocaml-base-compiler.5.3.0
ocaml-compiler.5.3.0 ocaml-config.3
ocaml-options-vanilla.1 ocamlfind.1.9.8+dune
rocq-core.9.0.0 rocq-prover.9.0.0 rocq-runtime.9.0.0
rocq-stdlib.9.0.0 zarith.1.14
coq&coq-core&coq-doc&coq-stdlib&coqide&coqide-server
ocaml-base-compiler ocaml-base-compiler system-mingw
system-mingw|system-msvc&winpthreads ocaml base-domains
ocaml-variants ocaml-base-compiler
- coqide-server -> (problem)
coq 9.0.0 requires = 9.0.0
Rejected candidates:
coqide-server.dev: Incompatible with restriction: = 9.0.0
- dune -> dune.3.18.0
User requested = 3.18
- ocaml -> ocaml.5.3.0
ocaml-compiler 5.3.0 requires = 5.3.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.4.0+trunk:
In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.1+trunk:
In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0+options:
In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~rc1+options:
In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~beta2+options:
In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
opam-health-check: Solve failed
opam-health-check: Build failed
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source coq-stdlib.8.20.1 && cd coq-stdlib.8.20.1 && if [ -f opam ]; then mv opam coq-stdlib.opam; fi && echo coq-stdlib >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \(.*\))/\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.8.20.1 > ${package}.opam; done < /tmp/packages-in-repo && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./coq-stdlib.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw coq-stdlib.8.20.1 > coq-stdlib.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-new && mv dune-project-new dune-project && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default))
(repository
(name default)
(url "file:///home/opam/opam-repository"))
' > dune-workspace && echo coq-stdlib >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo "opam-version: \"2.0\"" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo "opam-health-check: Solve failed" && exit 1) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs