Building on x86-bm-c9.sw.ocaml.org (from ocaml/opam:debian-unstable) 2025-04-05 13:14.09 ---> 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-05 13:14.09 ---> 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 da74d7829f794cc0af8b84981aff0c4d34114763")) 2025-04-05 13:14.09 ---> using "be8e1e06c3e0990e988aa4582afe860e36d4676d17df90ed8df83987f3068aa2" 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-05 13:14.09 ---> using "3dc9560d9bb942c6cb9484aa8e7b6af8cdd9e9a7337fa155ffa2348f2a6085ae" 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-05 13:14.09 ---> using "b855fe37547d5283803bcb3dbf68d73da57a4ab6aa3ad43acfa944bf729131cb" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [205 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Err:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Couldn't find the start of the patch series - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [10.1 MB] - Fetched 10.4 MB in 1s (9330 kB/s) - Reading package lists... 2025-04-05 13:14.09 ---> using "e6385c42ffdbd641e35075ca7140ca449c6378c3a4de4c7a1d200a55ef34ba3c" 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 (https://github.com/ocaml/dune/releases/download/3.18.0/dune-3.18.0.tbz) -> installed dune.3.18.0 Done. # To update the current shell environment, run: eval $(opam env) 2025-04-05 13:14.09 ---> using "34fc3ce01529f5a7a76251513360263d12929ecb79f63f4a47c7b28ede1e8049" 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#-# ##O=# # 0.1% # 1.4% #### 6.2% ######### 13.4% ##################################### 52.5% ###################################################################### 98.5% ######################################################################## 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-05 13:14.09 ---> using "bacf9e68e4be57bf71438340037c78b0e9aa5eb9e988cedb3c90677538667079" 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 angstrom.0.16.1 (cached) -> retrieved async.v0.17.0 (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 capitalization.v0.17.0 (cached) -> retrieved bin_prot.v0.17.0 (cached) -> retrieved core_kernel.v0.17.0 (cached) -> retrieved core.v0.17.1 (cached) -> installed conf-g++.1.0 -> 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_disable_unused_warnings.v0.17.0 (cached) -> retrieved ppx_diff.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 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 dune.3.18.0, dune-configurator.3.18.0 (cached) -> installed num.1.5-1 -> retrieved ppx_variants_conv.v0.17.0 (cached) -> retrieved ppxlib.0.35.0 (cached) -> retrieved ppxlib_jane.v0.17.0 (cached) -> retrieved protocol_version_header.v0.17.0 (cached) -> retrieved regex_parser_intf.v0.17.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.0 (cached) -> retrieved re2.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 csexp.1.5.2 -> installed cstruct.6.2.0 -> installed ocaml_intrinsics_kernel.v0.17.1 -> installed ppx_derivers.1.2.1 -> installed re.1.12.0 -> installed sexplib0.v0.17.0 -> installed spawn.v0.17.0 -> installed stdlib-shims.0.3.0 -> installed ocaml-syntax-shims.1.0.0 -> installed ocaml-compiler-libs.v0.17.0 -> installed dune-configurator.3.18.0 -> installed parsexp.v0.17.0 -> installed bigstringaf.0.10.0 -> installed faraday.0.8.2 -> installed sexplib.v0.17.0 -> installed angstrom.0.16.1 -> installed base.v0.17.1 -> installed fieldslib.v0.17.0 -> installed variantslib.v0.17.0 -> installed regex_parser_intf.v0.17.0 -> installed stdio.v0.17.0 -> installed typerep.v0.17.1 -> installed ppxlib.0.35.0 -> installed ppxlib_jane.v0.17.0 -> installed ppx_optcomp.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_pipebang.v0.17.0 -> installed ppx_ignore_instrumentation.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_assert.v0.17.0 -> installed ppx_custom_printf.v0.17.0 -> installed ppx_sexp_value.v0.17.0 -> installed ppx_sexp_message.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_module_timer.v0.17.0 -> installed ppx_inline_test.v0.17.0 -> installed ppx_string_conv.v0.17.0 -> installed ppx_bench.v0.17.0 -> installed ppx_expect.v0.17.2 -> installed splittable_random.v0.17.0 -> installed base_quickcheck.v0.17.0 -> installed ppx_log.v0.17.0 -> installed ppx_jane.v0.17.0 -> installed gel.v0.17.0 -> installed uopt.v0.17.0 -> installed jane_rope.v0.17.0 -> installed jsonaf.v0.17.0 -> installed int_repr.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 expect_test_helpers_core.v0.17.0 -> installed timezone.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-05 13:14.09 ---> using "1acda3931e72f34a354954413409a03028e9983b77334f9e5a91bffb8abe61d0" 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-05 13:14.09 ---> using "2ac381576088b6217dc1496111af8cb44d482d050ebdf0bbd0452b3802b6a45b" 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 coqide-server.9.0.0 && cd coqide-server.9.0.0 && if [ -f opam ]; then mv opam coqide-server.opam; fi && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./coqide-server.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 coqide-server.9.0.0 > coqide-server.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 coqide-server >> /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 --profile=release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)")) Successfully extracted to /home/opam/coqide-server.9.0.0 [ERROR] No package matching coq-doc 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 python3 time <><> 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" "python3" "time" - Preconfiguring packages ... - (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 ... 19688 files and directories currently installed.) - Preparing to unpack .../bsdutils_1%3a2.41-3_amd64.deb ... - Unpacking bsdutils (1:2.41-3) over (1:2.40.4-5) ... - Setting up bsdutils (1:2.41-3) ... - Selecting previously unselected package liblastlog2-2: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 ... 19688 files and directories currently installed.) - Preparing to unpack .../liblastlog2-2_2.41-3_amd64.deb ... - Unpacking liblastlog2-2:amd64 (2.41-3) ... - Setting up liblastlog2-2:amd64 (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19695 files and directories currently installed.) - Preparing to unpack .../libuuid1_2.41-3_amd64.deb ... - Unpacking libuuid1:amd64 (2.41-3) over (2.40.4-5) ... - Setting up libuuid1:amd64 (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19695 files and directories currently installed.) - Preparing to unpack .../libblkid1_2.41-3_amd64.deb ... - Unpacking libblkid1:amd64 (2.41-3) over (2.40.4-5) ... - Setting up libblkid1:amd64 (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19695 files and directories currently installed.) - Preparing to unpack .../libmount1_2.41-3_amd64.deb ... - Unpacking libmount1:amd64 (2.41-3) over (2.40.4-5) ... - Setting up libmount1:amd64 (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19695 files and directories currently installed.) - Preparing to unpack .../libsmartcols1_2.41-3_amd64.deb ... - Unpacking libsmartcols1:amd64 (2.41-3) over (2.40.4-5) ... - Setting up libsmartcols1:amd64 (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19695 files and directories currently installed.) - Preparing to unpack .../util-linux_2.41-3_amd64.deb ... - Unpacking util-linux (2.41-3) over (2.40.4-5) ... - Setting up util-linux (2.41-3) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19694 files and directories currently installed.) - Preparing to unpack .../mount_2.41-3_amd64.deb ... - Unpacking mount (2.41-3) over (2.40.4-5) ... - Preparing to unpack .../libselinux1_3.8.1-1_amd64.deb ... - Unpacking libselinux1:amd64 (3.8.1-1) over (3.8-4) ... - Setting up libselinux1:amd64 (3.8.1-1) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19694 files and directories currently installed.) - Preparing to unpack .../login_1%3a4.16.0-2+really2.41-3_amd64.deb ... - Unpacking login (1:4.16.0-2+really2.41-3) over (1:4.16.0-2+really2.40.4-5) ... - Selecting previously unselected package libsystemd-shared:amd64. - Preparing to unpack .../libsystemd-shared_257.4-9_amd64.deb ... - Unpacking libsystemd-shared:amd64 (257.4-9) ... - Preparing to unpack .../libsystemd0_257.4-9_amd64.deb ... - Unpacking libsystemd0:amd64 (257.4-9) over (257.3-1) ... - Setting up libsystemd0:amd64 (257.4-9) ... - Setting up libsystemd-shared:amd64 (257.4-9) ... - 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 ... 19710 files and directories currently installed.) - Preparing to unpack .../systemd_257.4-9_amd64.deb ... - Unpacking systemd (257.4-9) ... - Setting up mount (2.41-3) ... - Setting up systemd (257.4-9) ... - 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 ... 20644 files and directories currently installed.) - Preparing to unpack .../0-systemd-sysv_257.4-9_amd64.deb ... - Unpacking systemd-sysv (257.4-9) ... - 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) ... - Preparing to unpack .../4-libexpat1_2.7.1-1_amd64.deb ... - Unpacking libexpat1:amd64 (2.7.1-1) over (2.6.4-1) ... - Selecting previously unselected package dbus-daemon. - Preparing to unpack .../5-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 .../6-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 .../7-dbus_1.16.2-2_amd64.deb ... - Unpacking dbus (1.16.2-2) ... - Selecting previously unselected package libpython3.13-minimal:amd64. - Preparing to unpack .../8-libpython3.13-minimal_3.13.2-3_amd64.deb ... - Unpacking libpython3.13-minimal:amd64 (3.13.2-3) ... - Selecting previously unselected package python3.13-minimal. - Preparing to unpack .../9-python3.13-minimal_3.13.2-3_amd64.deb ... - Unpacking python3.13-minimal (3.13.2-3) ... - Setting up libpython3.13-minimal:amd64 (3.13.2-3) ... - Setting up libexpat1:amd64 (2.7.1-1) ... - Setting up python3.13-minimal (3.13.2-3) ... - 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 ... 21061 files and directories currently installed.) - Preparing to unpack .../python3-minimal_3.13.2-2_amd64.deb ... - Unpacking python3-minimal (3.13.2-2) ... - Selecting previously unselected package media-types. - Preparing to unpack .../media-types_13.0.0_all.deb ... - Unpacking media-types (13.0.0) ... - Preparing to unpack .../liblzma5_5.8.1-1_amd64.deb ... - Unpacking liblzma5:amd64 (5.8.1-1) over (5.6.4-1) ... - Setting up liblzma5:amd64 (5.8.1-1) ... - Selecting previously unselected package libpython3.13-stdlib: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 ... 21088 files and directories currently installed.) - Preparing to unpack .../libpython3.13-stdlib_3.13.2-3_amd64.deb ... - Unpacking libpython3.13-stdlib:amd64 (3.13.2-3) ... - Selecting previously unselected package python3.13. - Preparing to unpack .../python3.13_3.13.2-3_amd64.deb ... - Unpacking python3.13 (3.13.2-3) ... - Selecting previously unselected package libpython3-stdlib:amd64. - Preparing to unpack .../libpython3-stdlib_3.13.2-2_amd64.deb ... - Unpacking libpython3-stdlib:amd64 (3.13.2-2) ... - Setting up python3-minimal (3.13.2-2) ... - 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 ... 21511 files and directories currently installed.) - Preparing to unpack .../python3_3.13.2-2_amd64.deb ... - Unpacking python3 (3.13.2-2) ... - Selecting previously unselected package sgml-base. - Preparing to unpack .../sgml-base_1.31_all.deb ... - Unpacking sgml-base (1.31) ... - Preparing to unpack .../libsepol2_3.8.1-1_amd64.deb ... - Unpacking libsepol2:amd64 (3.8.1-1) over (3.8-1) ... - Setting up libsepol2:amd64 (3.8.1-1) ... - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 21559 files and directories currently installed.) - Preparing to unpack .../libudev1_257.4-9_amd64.deb ... - Unpacking libudev1:amd64 (257.4-9) over (257.3-1) ... - Setting up libudev1:amd64 (257.4-9) ... - Selecting previously unselected package libnss-systemd: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 ... 21559 files and directories currently installed.) - Preparing to unpack .../000-libnss-systemd_257.4-9_amd64.deb ... - Unpacking libnss-systemd:amd64 (257.4-9) ... - Selecting previously unselected package libpam-systemd:amd64. - Preparing to unpack .../001-libpam-systemd_257.4-9_amd64.deb ... - Unpacking libpam-systemd:amd64 (257.4-9) ... - Selecting previously unselected package systemd-timesyncd. - Preparing to unpack .../002-systemd-timesyncd_257.4-9_amd64.deb ... - Unpacking systemd-timesyncd (257.4-9) ... - Preparing to unpack .../003-xz-utils_5.8.1-1_amd64.deb ... - Unpacking xz-utils (5.8.1-1) over (5.6.4-1) ... - Selecting previously unselected package libgdk-pixbuf2.0-common. - Preparing to unpack .../004-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 .../005-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 .../006-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 .../007-shared-mime-info_2.4-5+b2_amd64.deb ... - Unpacking shared-mime-info (2.4-5+b2) ... - Selecting previously unselected package libjpeg62-turbo:amd64. - Preparing to unpack .../008-libjpeg62-turbo_1%3a2.1.5-3.1_amd64.deb ... - Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3.1) ... - Selecting previously unselected package libpng16-16t64:amd64. - Preparing to unpack .../009-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 .../010-libdeflate0_1.23-1+b1_amd64.deb ... - Unpacking libdeflate0:amd64 (1.23-1+b1) ... - Selecting previously unselected package libjbig0:amd64. - Preparing to unpack .../011-libjbig0_2.1-6.1+b2_amd64.deb ... - Unpacking libjbig0:amd64 (2.1-6.1+b2) ... - Selecting previously unselected package liblerc4:amd64. - Preparing to unpack .../012-liblerc4_4.0.0+ds-5_amd64.deb ... - Unpacking liblerc4:amd64 (4.0.0+ds-5) ... - Selecting previously unselected package libsharpyuv0:amd64. - Preparing to unpack .../013-libsharpyuv0_1.5.0-0.1_amd64.deb ... - Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... - Selecting previously unselected package libwebp7:amd64. - Preparing to unpack .../014-libwebp7_1.5.0-0.1_amd64.deb ... - Unpacking libwebp7:amd64 (1.5.0-0.1) ... - Selecting previously unselected package libtiff6:amd64. - Preparing to unpack .../015-libtiff6_4.7.0-3_amd64.deb ... - Unpacking libtiff6:amd64 (4.7.0-3) ... - Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. - Preparing to unpack .../016-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 .../017-gtk-update-icon-cache_4.18.3+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.3+ds-1) ... - Selecting previously unselected package hicolor-icon-theme. - Preparing to unpack .../018-hicolor-icon-theme_0.18-2_all.deb ... - Unpacking hicolor-icon-theme (0.18-2) ... - Selecting previously unselected package adwaita-icon-theme. - Preparing to unpack .../019-adwaita-icon-theme_48.0-1_all.deb ... - Unpacking adwaita-icon-theme (48.0-1) ... - Selecting previously unselected package at-spi2-common. - Preparing to unpack .../020-at-spi2-common_2.56.1-2_all.deb ... - Unpacking at-spi2-common (2.56.1-2) ... - Preparing to unpack .../021-libx11-dev_2%3a1.8.12-1_amd64.deb ... - Unpacking libx11-dev:amd64 (2:1.8.12-1) over (2:1.8.10-2) ... - Preparing to unpack .../022-libx11-data_2%3a1.8.12-1_all.deb ... - Unpacking libx11-data (2:1.8.12-1) over (2:1.8.10-2) ... - Preparing to unpack .../023-libx11-6_2%3a1.8.12-1_amd64.deb ... - Unpacking libx11-6:amd64 (2:1.8.12-1) over (2:1.8.10-2) ... - Selecting previously unselected package libxi6:amd64. - Preparing to unpack .../024-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 .../025-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 .../026-x11-common_1%3a7.7+24_all.deb ... - Unpacking x11-common (1:7.7+24) ... - Selecting previously unselected package libxtst6:amd64. - Preparing to unpack .../027-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 .../028-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 .../029-libdconf1_0.40.0-5_amd64.deb ... - Unpacking libdconf1:amd64 (0.40.0-5) ... - Selecting previously unselected package dconf-service. - Preparing to unpack .../030-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 .../031-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 .../032-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 .../033-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 .../034-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 .../035-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 .../036-dmsetup_2%3a1.02.205-1_amd64.deb ... - Unpacking dmsetup (2:1.02.205-1) ... - Selecting previously unselected package libfreetype6:amd64. - Preparing to unpack .../037-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 .../038-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 .../039-fonts-dejavu-core_2.37-8_all.deb ... - Unpacking fonts-dejavu-core (2.37-8) ... - Selecting previously unselected package fontconfig-config. - Preparing to unpack .../040-fontconfig-config_2.15.0-2.2_amd64.deb ... - Unpacking fontconfig-config (2.15.0-2.2) ... - Selecting previously unselected package libfontconfig1:amd64. - Preparing to unpack .../041-libfontconfig1_2.15.0-2.2_amd64.deb ... - Unpacking libfontconfig1:amd64 (2.15.0-2.2) ... - Selecting previously unselected package fontconfig. - Preparing to unpack .../042-fontconfig_2.15.0-2.2_amd64.deb ... - Unpacking fontconfig (2.15.0-2.2) ... - Selecting previously unselected package gir1.2-glib-2.0:amd64. - Preparing to unpack .../043-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 .../044-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 .../045-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 .../046-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 .../047-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 .../048-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 .../049-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 .../050-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 .../051-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 .../052-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 .../053-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 .../054-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 .../055-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 .../056-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 .../057-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 .../058-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 .../059-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 .../060-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 .../061-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 .../062-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 .../063-libfribidi0_1.0.16-1_amd64.deb ... - Unpacking libfribidi0:amd64 (1.0.16-1) ... - Selecting previously unselected package libthai-data. - Preparing to unpack .../064-libthai-data_0.1.29-2_all.deb ... - Unpacking libthai-data (0.1.29-2) ... - Selecting previously unselected package libdatrie1:amd64. - Preparing to unpack .../065-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 .../066-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 .../067-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 .../068-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 .../069-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 .../070-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 .../071-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 .../072-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 .../073-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 .../074-liblcms2-2_2.16-2_amd64.deb ... - Unpacking liblcms2-2:amd64 (2.16-2) ... - Selecting previously unselected package libcolord2:amd64. - Preparing to unpack .../075-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 .../076-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 .../077-libavahi-common3_0.8-16_amd64.deb ... - Unpacking libavahi-common3:amd64 (0.8-16) ... - Selecting previously unselected package libavahi-client3:amd64. - Preparing to unpack .../078-libavahi-client3_0.8-16_amd64.deb ... - Unpacking libavahi-client3:amd64 (0.8-16) ... - Selecting previously unselected package libcups2t64:amd64. - Preparing to unpack .../079-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 .../080-libepoxy0_1.5.10-2_amd64.deb ... - Unpacking libepoxy0:amd64 (1.5.10-2) ... - Selecting previously unselected package libwayland-client0:amd64. - Preparing to unpack .../081-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 .../082-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 .../083-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 .../084-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 .../085-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 .../086-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 .../087-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 .../088-libxinerama1_2%3a1.1.4-3+b3_amd64.deb ... - Unpacking libxinerama1:amd64 (2:1.1.4-3+b3) ... - Selecting previously unselected package xkb-data. - Preparing to unpack .../089-xkb-data_2.42-1_all.deb ... - Unpacking xkb-data (2.42-1) ... - Selecting previously unselected package libxkbcommon0:amd64. - Preparing to unpack .../090-libxkbcommon0_1.7.0-2_amd64.deb ... - Unpacking libxkbcommon0:amd64 (1.7.0-2) ... - Selecting previously unselected package libxrandr2:amd64. - Preparing to unpack .../091-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 .../092-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 .../093-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 .../094-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 .../095-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 .../096-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 .../097-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 .../098-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 .../099-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 .../100-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 .../101-libicu76_76.1-3_amd64.deb ... - Unpacking libicu76:amd64 (76.1-3) ... - Selecting previously unselected package icu-devtools. - Preparing to unpack .../102-icu-devtools_76.1-3_amd64.deb ... - Unpacking icu-devtools (76.1-3) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../103-libpkgconf3_1.8.1-4_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-4) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../104-pkgconf-bin_1.8.1-4_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-4) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../105-pkgconf_1.8.1-4_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-4) ... - Selecting previously unselected package libffi-dev:amd64. - Preparing to unpack .../106-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 .../107-uuid-dev_2.41-3_amd64.deb ... - Unpacking uuid-dev:amd64 (2.41-3) ... - Selecting previously unselected package libblkid-dev:amd64. - Preparing to unpack .../108-libblkid-dev_2.41-3_amd64.deb ... - Unpacking libblkid-dev:amd64 (2.41-3) ... - Selecting previously unselected package libsepol-dev:amd64. - Preparing to unpack .../109-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 .../110-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 .../111-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 .../112-libpcre2-posix3_10.45-1_amd64.deb ... - Unpacking libpcre2-posix3:amd64 (10.45-1) ... - Selecting previously unselected package libpcre2-dev:amd64. - Preparing to unpack .../113-libpcre2-dev_10.45-1_amd64.deb ... - Unpacking libpcre2-dev:amd64 (10.45-1) ... - Selecting previously unselected package libselinux1-dev:amd64. - Preparing to unpack .../114-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 .../115-libmount-dev_2.41-3_amd64.deb ... - Unpacking libmount-dev:amd64 (2.41-3) ... - Selecting previously unselected package libsysprof-capture-4-dev:amd64. - Preparing to unpack .../116-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 .../117-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 .../118-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 .../119-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 .../120-libelf1t64_0.192-4_amd64.deb ... - Unpacking libelf1t64:amd64 (0.192-4) ... - Selecting previously unselected package libglib2.0-bin. - Preparing to unpack .../121-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 .../122-python3-packaging_24.2-1_all.deb ... - Unpacking python3-packaging (24.2-1) ... - Selecting previously unselected package libgio-2.0-dev-bin. - Preparing to unpack .../123-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 .../124-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 .../125-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 .../126-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 .../127-libsystemd-dev_257.4-9_amd64.deb ... - Unpacking libsystemd-dev:amd64 (257.4-9) ... - Selecting previously unselected package xml-core. - Preparing to unpack .../128-xml-core_0.19_all.deb ... - Unpacking xml-core (0.19) ... - Selecting previously unselected package libdbus-1-dev:amd64. - Preparing to unpack .../129-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 .../130-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 .../131-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 .../132-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 .../133-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 .../134-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 .../135-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 .../136-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 .../137-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 .../138-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 .../139-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 .../140-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 .../141-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 .../142-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 .../143-libfontconfig-dev_2.15.0-2.2_amd64.deb ... - Unpacking libfontconfig-dev:amd64 (2.15.0-2.2) ... - Selecting previously unselected package libpixman-1-dev:amd64. - Preparing to unpack .../144-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 .../145-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 .../146-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 .../147-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 .../148-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 .../149-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 .../150-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 .../151-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 .../152-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 .../153-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 .../154-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 .../155-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 .../156-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 .../157-libdav1d7_1.5.1-1_amd64.deb ... - Unpacking libdav1d7:amd64 (1.5.1-1) ... - Selecting previously unselected package libdeflate-dev:amd64. - Preparing to unpack .../158-libdeflate-dev_1.23-1+b1_amd64.deb ... - Unpacking libdeflate-dev:amd64 (1.23-1+b1) ... - Selecting previously unselected package libdrm-common. - Preparing to unpack .../159-libdrm-common_2.4.124-2_all.deb ... - Unpacking libdrm-common (2.4.124-2) ... - Selecting previously unselected package libdrm2:amd64. - Preparing to unpack .../160-libdrm2_2.4.124-2_amd64.deb ... - Unpacking libdrm2:amd64 (2.4.124-2) ... - Selecting previously unselected package libdrm-amdgpu1:amd64. - Preparing to unpack .../161-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 .../162-libpciaccess0_0.17-3+b3_amd64.deb ... - Unpacking libpciaccess0:amd64 (0.17-3+b3) ... - Selecting previously unselected package libdrm-intel1:amd64. - Preparing to unpack .../163-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 .../164-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 .../165-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 .../166-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 .../167-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 .../168-libsensors-config_1%3a3.6.0-10_all.deb ... - Unpacking libsensors-config (1:3.6.0-10) ... - Selecting previously unselected package libsensors5:amd64. - Preparing to unpack .../169-libsensors5_1%3a3.6.0-10+b1_amd64.deb ... - Unpacking libsensors5:amd64 (1:3.6.0-10+b1) ... - Selecting previously unselected package libx11-xcb1:amd64. - Preparing to unpack .../170-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 .../171-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 .../172-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 .../173-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 .../174-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 .../175-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 .../176-libxshmfence1_1.3.3-1_amd64.deb ... - Unpacking libxshmfence1:amd64 (1.3.3-1) ... - Selecting previously unselected package mesa-libgallium:amd64. - Preparing to unpack .../177-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 .../178-libgbm1_25.0.3-1_amd64.deb ... - Unpacking libgbm1:amd64 (25.0.3-1) ... - Selecting previously unselected package libegl-mesa0:amd64. - Preparing to unpack .../179-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 .../180-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 .../181-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 .../182-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 .../183-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 .../184-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 .../185-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 .../186-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 .../187-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 .../188-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 .../189-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 .../190-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 .../191-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 .../192-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 .../193-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 .../194-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 .../195-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 .../196-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 .../197-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 .../198-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 .../199-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 .../200-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 .../201-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 .../202-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 .../203-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 .../204-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 .../205-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 .../206-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 .../207-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 .../208-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 .../209-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 .../210-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 .../211-libtiffxx6_4.7.0-3_amd64.deb ... - Unpacking libtiffxx6:amd64 (4.7.0-3) ... - Selecting previously unselected package liblerc-dev:amd64. - Preparing to unpack .../212-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 .../213-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 .../214-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 .../215-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 .../216-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 .../217-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 .../218-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 .../219-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 .../220-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 .../221-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 .../222-libicu-dev_76.1-3_amd64.deb ... - Unpacking libicu-dev:amd64 (76.1-3) ... - Selecting previously unselected package libharfbuzz-dev:amd64. - Preparing to unpack .../223-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 .../224-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 .../225-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 .../226-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 .../227-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 .../228-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 .../229-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 .../230-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 .../231-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 .../232-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 .../233-libxinerama-dev_2%3a1.1.4-3+b3_amd64.deb ... - Unpacking libxinerama-dev:amd64 (2:1.1.4-3+b3) ... - Selecting previously unselected package libxkbcommon-dev:amd64. - Preparing to unpack .../234-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 .../235-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 .../236-wayland-protocols_1.42-2_all.deb ... - Unpacking wayland-protocols (1.42-2) ... - Selecting previously unselected package libgtk-3-dev:amd64. - Preparing to unpack .../237-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 .../238-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 .../239-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 .../240-libkmod2_34.2-1_amd64.deb ... - Unpacking libkmod2:amd64 (34.2-1) ... - Selecting previously unselected package libpng-tools. - Preparing to unpack .../241-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 .../242-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 .../243-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 .../244-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 .../245-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 .../246-systemd-cryptsetup_257.4-9_amd64.deb ... - Unpacking systemd-cryptsetup (257.4-9) ... - Selecting previously unselected package time. - Preparing to unpack .../247-time_1.9-0.2_amd64.deb ... - Unpacking time (1.9-0.2) ... - Selecting previously unselected package xdg-user-dirs. - Preparing to unpack .../248-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 libpciaccess0:amd64 (0.17-3+b3) ... - Setting up systemd-sysv (257.4-9) ... - Setting up time (1.9-0.2) ... - Setting up libpixman-1-dev:amd64 (0.44.0-3) ... - Setting up native-architecture (0.2.6) ... - 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 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.0-10) ... - Setting up libdeflate0:amd64 (1.23-1+b1) ... - Setting up libwebpdecoder3:amd64 (1.5.0-0.1) ... - Setting up libnss-systemd:amd64 (257.4-9) ... - 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 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 libx11-data (2:1.8.12-1) ... - Setting up libjpeg62-turbo-dev:amd64 (1:2.1.5-3.1) ... - Setting up libepoxy0:amd64 (1.5.10-2) ... - Setting up libxcb-sync1:amd64 (1.17.0-2+b1) ... - Setting up uuid-dev:amd64 (2.41-3) ... - 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 xz-utils (5.8.1-1) ... - Setting up libfribidi0:amd64 (1.0.16-1) ... - Setting up fonts-dejavu-mono (2.37-8) ... - Setting up libpng16-16t64:amd64 (1.6.47-1.1) ... - Setting up systemd-timesyncd (257.4-9) ... - 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 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.0-10+b1) ... - 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 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.42-2) ... - 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 libx11-6:amd64 (2:1.8.12-1) ... - 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-1+b1) ... - Setting up libdrm-common (2.4.124-2) ... - Setting up libxcomposite1:amd64 (1:0.4.6-1) ... - Setting up libpython3.13-stdlib:amd64 (3.13.2-3) ... - Setting up libjson-c5:amd64 (0.18+ds-1) ... - 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.4-9) ... - Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ... - Setting up libkmod2:amd64 (34.2-1) ... - Setting up libpython3-stdlib:amd64 (3.13.2-2) ... - Setting up libbz2-dev:amd64 (1.0.8-6) ... - Setting up login (1:4.16.0-2+really2.41-3) ... - Setting up libxkbcommon0:amd64 (1.7.0-2) ... - Setting up libwayland-client0:amd64 (1.23.1-3) ... - Setting up libblkid-dev:amd64 (2.41-3) ... - Setting up libllvm19:amd64 (1:19.1.7-3) ... - Setting up libx11-xcb1:amd64 (2:1.8.12-1) ... - Setting up libice6:amd64 (2:1.1.1-1) ... - Setting up libxdamage1:amd64 (1:1.1.6-1+b2) ... - 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 libxi6:amd64 (2:1.8.2-1) ... - Setting up libxrender1:amd64 (1:0.9.12-1) ... - Setting up libice-dev:amd64 (2:1.1.1-1) ... - Setting up libpng-tools (1.6.47-1.1) ... - Setting up python3.13 (3.13.2-3) ... - 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.2) ... - 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 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 libx11-dev:amd64 (2:1.8.12-1) ... - Setting up libcloudproviders0:amd64 (0.3.6-2) ... - Setting up libglib2.0-bin (2.84.1-1) ... - Setting up python3 (3.13.2-2) ... - running python rtupdate hooks for python3.13... - running python post-rtupdate hooks for python3.13... - 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 libxxf86vm1:amd64 (1:1.1.4-1+b4) ... - Setting up libdconf1:amd64 (0.40.0-5) ... - Setting up libthai0:amd64 (0.1.29-2+b1) ... - Setting up libwayland-bin (1.23.1-3) ... - 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 python3-packaging (24.2-1) ... - Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... - Setting up libtiff-dev:amd64 (4.7.0-3) ... - Setting up libxfixes3:amd64 (1:6.0.0-2+b4) ... - 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 libxinerama1:amd64 (2:1.1.4-3+b3) ... - Setting up libxrandr2:amd64 (2:1.5.4-1+b3) ... - Setting up icu-devtools (76.1-3) ... - Setting up pkg-config:amd64 (1.8.1-4) ... - Setting up libxext-dev:amd64 (2:1.3.4-1+b3) ... - 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.4-9) ... - 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.2) ... - Setting up libsm6:amd64 (2:1.2.6-1) ... - Setting up libxrender-dev:amd64 (1:0.9.12-1) ... - Setting up libicu-dev:amd64 (76.1-3) ... - Setting up libavahi-client3:amd64 (0.8-16) ... - Setting up libmount-dev:amd64 (2.41-3) ... - Setting up libdrm-amdgpu1:amd64 (2.4.124-2) ... - 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.3+ds-1) ... - Setting up fontconfig (2.15.0-2.2) ... - Regenerating fonts cache... - done. - Setting up libgio-2.0-dev-bin (2.84.1-1) ... - 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 libsm-dev:amd64 (2:1.2.6-1) ... - Setting up libxcursor1: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 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 libxfixes-dev:amd64 (1:6.0.0-2+b4) ... - Setting up dbus-user-session (1.16.2-2) ... - Setting up libxrandr-dev:amd64 (2:1.5.4-1+b3) ... - 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 libxinerama-dev:amd64 (2:1.1.4-3+b3) ... - 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 libxi-dev:amd64 (2:1.8.2-1) ... - Setting up libcups2t64:amd64 (2.4.10-2+b1) ... - Setting up libpangocairo-1.0-0:amd64 (1.56.3-1) ... - Setting up libxtst-dev:amd64 (2:1.2.5-1) ... - Setting up libxdamage-dev:amd64 (1:1.1.6-1+b2) ... - Setting up libcairo-script-interpreter2:amd64 (1.18.4-1+b1) ... - Setting up libglib2.0-dev-bin (2.84.1-1) ... - Setting up mesa-libgallium:amd64 (25.0.3-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.2) ... - Setting up libxcomposite-dev:amd64 (1:0.4.6-1) ... - Setting up libxcursor-dev:amd64 (1:1.2.3-1) ... - 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 libglib2.0-dev:amd64 (2.84.1-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 libcairo2-dev:amd64 (1.18.4-1+b1) ... - Setting up libatk1.0-dev:amd64 (2.56.1-2) ... - Setting up libxft-dev:amd64 (2.3.6-1+b4) ... - Setting up libgdk-pixbuf-2.0-dev:amd64 (2.42.12+dfsg-2) ... - Setting up libharfbuzz-dev:amd64 (10.2.0-1+b1) ... - 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 libcloudproviders-dev:amd64 (0.3.6-2) ... - Setting up libgl1:amd64 (1.7.0-1+b2) ... - Setting up libpango1.0-dev:amd64 (1.56.3-1) ... - Setting up libglx-dev:amd64 (1.7.0-1+b2) ... - Setting up libgl-dev:amd64 (1.7.0-1+b2) ... - Setting up libgtk-3-common (3.24.49-3) ... - Setting up gsettings-desktop-schemas (48.0-1) ... - Setting up libegl-dev:amd64 (1.7.0-1+b2) ... - Setting up libepoxy-dev:amd64 (1.5.10-2) ... - 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.4-9) ... - 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-3) ... - Processing triggers for systemd (257.4-9) ... - 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-doc.dev coq-stdlib.9.0.0 coqide-server.9.0.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlfind.1.9.8+dune rocq-runtime.9.0.0 rocq-stdlib.9.0.0 rocqide.dev zarith.1.14 coq&coq-core&coq-doc&coqide-server&rocq-core&rocq-prover&rocq-runtime&rocqide ocaml-base-compiler ocaml-base-compiler system-mingw system-mingw|system-msvc&winpthreads ocaml base-domains ocaml-variants ocaml-base-compiler - coq-core -> (problem) coq 9.0.0 requires = 9.0.0 Rejected candidates: coq-core.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 ... - rocq-core -> (problem) rocq-stdlib 9.0.0 requires >= 9.0 & < 9.1~ Rejected candidates: rocq-core.dev: Incompatible with restriction: >= 9.0 & < 9.1~ - rocq-prover -> (problem) coq 9.0.0 requires = 9.0.0 Rejected candidates: rocq-prover.dev: Incompatible with restriction: = 9.0.0 - 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 coqide-server.9.0.0 && cd coqide-server.9.0.0 && if [ -f opam ]; then mv opam coqide-server.opam; fi && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./coqide-server.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 coqide-server.9.0.0 > coqide-server.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 coqide-server >> /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 --profile=release --only-packages $(cat /tmp/packages-for-dune) || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1 Failed: Build failed