Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-23 22:53.47 ---> 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-02-23 22:53.47 ---> 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 4022a684b64be8161a05cf897f492f8680792469"))
2025-02-23 22:53.47 ---> using "ced9ab1d6bac3c5f95cfdac2696c8d9202989b3f52ba62400bb20a10ac63d439" 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-02-23 22:53.47 ---> using "69f716af23f9139c4566fb0532f54e56ee4f6773c11e689dc47229d6a744c7e1" 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-02-23 22:53.47 ---> using "8cb80bdf8c98b441ca1a62ad13717befd2e70e905b796cad3ff69df4d26bf351" 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]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Fetched 654 kB in 3s (260 kB/s)
- Reading package lists...
-
2025-02-23 22:53.47 ---> using "aab064613a33ea1c8e4184107fb782b7e34e02d2710ba539b18cbd20a9d40c72" 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.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-23 22:53.47 ---> using "ab68111ecaec8e96a659d3801d58f9f48b56993ae57778afc853e701c3286214" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
1.2%
## 3.1%
######### 12.7%
################## 26.1%
################################################################## 92.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-23 22:53.47 ---> using "91706ab83e18623d5f5c55809c19ede302298d1fa58d418458556ddcfa9179ed" 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-02-23 22:53.47 ---> using "23d3c9485a3a95dd6f64bf73b0bd06b36016919a287108bba74001e847c99f7d" 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 caisar.2.1 && cd caisar.2.1 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default ))\
\n\
\n(repository\
\n (name default)\
\n (url \"git+https://github.com/ocaml/opam-repository.git\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Successfully extracted to /home/opam/caisar.2.1
The following system packages will first need to be installed:
libgmp-dev libprotobuf-dev pkg-config protobuf-compiler python3 texlive-latex-base
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "libprotobuf-dev" "pkg-config" "protobuf-compiler" "python3" "texlive-latex-base"
- 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 ... 19826 files and directories currently installed.)
- Preparing to unpack .../perl_5.40.1-2_amd64.deb ...
- Unpacking perl (5.40.1-2) over (5.40.0-8) ...
- Preparing to unpack .../perl-modules-5.40_5.40.1-2_all.deb ...
- Unpacking perl-modules-5.40 (5.40.1-2) over (5.40.0-8) ...
- Preparing to unpack .../libperl5.40_5.40.1-2_amd64.deb ...
- Unpacking libperl5.40:amd64 (5.40.1-2) over (5.40.0-8) ...
- Preparing to unpack .../perl-base_5.40.1-2_amd64.deb ...
- Unpacking perl-base (5.40.1-2) over (5.40.0-8) ...
- Setting up perl-base (5.40.1-2) ...
- Selecting previously unselected package libdbus-1-3: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 ... 19826 files and directories currently installed.)
- Preparing to unpack .../0-libdbus-1-3_1.16.0-1_amd64.deb ...
- Unpacking libdbus-1-3:amd64 (1.16.0-1) ...
- Selecting previously unselected package dbus-bin.
- Preparing to unpack .../1-dbus-bin_1.16.0-1_amd64.deb ...
- Unpacking dbus-bin (1.16.0-1) ...
- Selecting previously unselected package dbus-session-bus-common.
- Preparing to unpack .../2-dbus-session-bus-common_1.16.0-1_all.deb ...
- Unpacking dbus-session-bus-common (1.16.0-1) ...
- Selecting previously unselected package dbus-daemon.
- Preparing to unpack .../3-dbus-daemon_1.16.0-1_amd64.deb ...
- Unpacking dbus-daemon (1.16.0-1) ...
- Selecting previously unselected package dbus-system-bus-common.
- Preparing to unpack .../4-dbus-system-bus-common_1.16.0-1_all.deb ...
- Unpacking dbus-system-bus-common (1.16.0-1) ...
- Selecting previously unselected package dbus.
- Preparing to unpack .../5-dbus_1.16.0-1_amd64.deb ...
- Unpacking dbus (1.16.0-1) ...
- Selecting previously unselected package poppler-data.
- Preparing to unpack .../6-poppler-data_0.4.12-1_all.deb ...
- Unpacking poppler-data (0.4.12-1) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../7-libpython3.13-minimal_3.13.2-1_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.2-1) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../8-python3.13-minimal_3.13.2-1_amd64.deb ...
- Unpacking python3.13-minimal (3.13.2-1) ...
- Setting up libpython3.13-minimal:amd64 (3.13.2-1) ...
- Setting up python3.13-minimal (3.13.2-1) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20765 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.13.1-2_amd64.deb ...
- Unpacking python3-minimal (3.13.1-2) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_11.0.0_all.deb ...
- Unpacking media-types (11.0.0) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../libpython3.13-stdlib_3.13.2-1_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.2-1) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../python3.13_3.13.2-1_amd64.deb ...
- Unpacking python3.13 (3.13.2-1) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.13.1-2_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.1-2) ...
- Setting up python3-minimal (3.13.1-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 ... 21215 files and directories currently installed.)
- Preparing to unpack .../000-python3_3.13.1-2_amd64.deb ...
- Unpacking python3 (3.13.1-2) ...
- Selecting previously unselected package sensible-utils.
- Preparing to unpack .../001-sensible-utils_0.0.24_all.deb ...
- Unpacking sensible-utils (0.0.24) ...
- Selecting previously unselected package libtext-charwidth-perl:amd64.
- Preparing to unpack .../002-libtext-charwidth-perl_0.04-11+b4_amd64.deb ...
- Unpacking libtext-charwidth-perl:amd64 (0.04-11+b4) ...
- Selecting previously unselected package libtext-wrapi18n-perl.
- Preparing to unpack .../003-libtext-wrapi18n-perl_0.06-10_all.deb ...
- Unpacking libtext-wrapi18n-perl (0.06-10) ...
- Selecting previously unselected package ucf.
- Preparing to unpack .../004-ucf_3.0050_all.deb ...
- Moving old data out of the way
- Unpacking ucf (3.0050) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../005-libpng16-16t64_1.6.46-4_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.46-4) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../006-libfreetype6_2.13.3+dfsg-1_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Selecting previously unselected package libfontenc1:amd64.
- Preparing to unpack .../007-libfontenc1_1%3a1.1.8-1+b2_amd64.deb ...
- Unpacking libfontenc1:amd64 (1:1.1.8-1+b2) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../008-x11-common_1%3a7.7+24_all.deb ...
- Unpacking x11-common (1:7.7+24) ...
- Selecting previously unselected package xfonts-encodings.
- Preparing to unpack .../009-xfonts-encodings_1%3a1.0.4-2.2_all.deb ...
- Unpacking xfonts-encodings (1:1.0.4-2.2) ...
- Selecting previously unselected package xfonts-utils.
- Preparing to unpack .../010-xfonts-utils_1%3a7.7+7_amd64.deb ...
- Unpacking xfonts-utils (1:7.7+7) ...
- Selecting previously unselected package fonts-urw-base35.
- Preparing to unpack .../011-fonts-urw-base35_20200910-8_all.deb ...
- Unpacking fonts-urw-base35 (20200910-8) ...
- Selecting previously unselected package libgs-common.
- Preparing to unpack .../012-libgs-common_10.04.0~dfsg-2_all.deb ...
- Unpacking libgs-common (10.04.0~dfsg-2) ...
- Selecting previously unselected package libgs10-common.
- Preparing to unpack .../013-libgs10-common_10.04.0~dfsg-2_all.deb ...
- Unpacking libgs10-common (10.04.0~dfsg-2) ...
- Selecting previously unselected package libavahi-common-data:amd64.
- Preparing to unpack .../014-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 .../015-libavahi-common3_0.8-16_amd64.deb ...
- Unpacking libavahi-common3:amd64 (0.8-16) ...
- Selecting previously unselected package libavahi-client3:amd64.
- Preparing to unpack .../016-libavahi-client3_0.8-16_amd64.deb ...
- Unpacking libavahi-client3:amd64 (0.8-16) ...
- Selecting previously unselected package libcups2t64:amd64.
- Preparing to unpack .../017-libcups2t64_2.4.10-2+b1_amd64.deb ...
- Unpacking libcups2t64:amd64 (2.4.10-2+b1) ...
- Selecting previously unselected package fonts-dejavu-mono.
- Preparing to unpack .../018-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 .../019-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- Selecting previously unselected package fontconfig-config.
- Preparing to unpack .../020-fontconfig-config_2.15.0-2_amd64.deb ...
- Unpacking fontconfig-config (2.15.0-2) ...
- Selecting previously unselected package libfontconfig1:amd64.
- Preparing to unpack .../021-libfontconfig1_2.15.0-2_amd64.deb ...
- Unpacking libfontconfig1:amd64 (2.15.0-2) ...
- Selecting previously unselected package libidn12:amd64.
- Preparing to unpack .../022-libidn12_1.42-3_amd64.deb ...
- Unpacking libidn12:amd64 (1.42-3) ...
- Selecting previously unselected package libijs-0.35:amd64.
- Preparing to unpack .../023-libijs-0.35_0.35-15.2_amd64.deb ...
- Unpacking libijs-0.35:amd64 (0.35-15.2) ...
- Selecting previously unselected package libjbig2dec0:amd64.
- Preparing to unpack .../024-libjbig2dec0_0.20-1+b3_amd64.deb ...
- Unpacking libjbig2dec0:amd64 (0.20-1+b3) ...
- Selecting previously unselected package libjpeg62-turbo:amd64.
- Preparing to unpack .../025-libjpeg62-turbo_1%3a2.1.5-3+b1_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3+b1) ...
- Selecting previously unselected package liblcms2-2:amd64.
- Preparing to unpack .../026-liblcms2-2_2.16-2_amd64.deb ...
- Unpacking liblcms2-2:amd64 (2.16-2) ...
- Selecting previously unselected package libopenjp2-7:amd64.
- Preparing to unpack .../027-libopenjp2-7_2.5.3-1_amd64.deb ...
- Unpacking libopenjp2-7:amd64 (2.5.3-1) ...
- Selecting previously unselected package libpaper2:amd64.
- Preparing to unpack .../028-libpaper2_2.2.5-0.3+b1_amd64.deb ...
- Unpacking libpaper2:amd64 (2.2.5-0.3+b1) ...
- Selecting previously unselected package libdeflate0:amd64.
- Preparing to unpack .../029-libdeflate0_1.23-1+b1_amd64.deb ...
- Unpacking libdeflate0:amd64 (1.23-1+b1) ...
- Selecting previously unselected package libjbig0:amd64.
- Preparing to unpack .../030-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 .../031-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 .../032-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 .../033-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 .../034-libtiff6_4.5.1+git230720-5_amd64.deb ...
- Unpacking libtiff6:amd64 (4.5.1+git230720-5) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../035-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 .../036-libsm6_2%3a1.2.4-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.4-1) ...
- Selecting previously unselected package libxt6t64:amd64.
- Preparing to unpack .../037-libxt6t64_1%3a1.2.1-1.2+b2_amd64.deb ...
- Unpacking libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
- Selecting previously unselected package libgs10:amd64.
- Preparing to unpack .../038-libgs10_10.04.0~dfsg-2+b1_amd64.deb ...
- Unpacking libgs10:amd64 (10.04.0~dfsg-2+b1) ...
- Selecting previously unselected package libkpathsea6:amd64.
- Preparing to unpack .../039-libkpathsea6_2024.20240313.70630+ds-5+b1_amd64.deb ...
- Unpacking libkpathsea6:amd64 (2024.20240313.70630+ds-5+b1) ...
- Selecting previously unselected package libpotrace0:amd64.
- Preparing to unpack .../040-libpotrace0_1.16-2+b2_amd64.deb ...
- Unpacking libpotrace0:amd64 (1.16-2+b2) ...
- Selecting previously unselected package libwoff1:amd64.
- Preparing to unpack .../041-libwoff1_1.0.2-2+b2_amd64.deb ...
- Unpacking libwoff1:amd64 (1.0.2-2+b2) ...
- Selecting previously unselected package dvisvgm.
- Preparing to unpack .../042-dvisvgm_3.4.3+ds-1_amd64.deb ...
- Unpacking dvisvgm (3.4.3+ds-1) ...
- Selecting previously unselected package fonts-droid-fallback.
- Preparing to unpack .../043-fonts-droid-fallback_1%3a8.1.0r7-1~1.gbp36536b_all.deb ...
- Unpacking fonts-droid-fallback (1:8.1.0r7-1~1.gbp36536b) ...
- Selecting previously unselected package fonts-lmodern.
- Preparing to unpack .../044-fonts-lmodern_2.005-1_all.deb ...
- Unpacking fonts-lmodern (2.005-1) ...
- Selecting previously unselected package fonts-noto-mono.
- Preparing to unpack .../045-fonts-noto-mono_20201225-2_all.deb ...
- Unpacking fonts-noto-mono (20201225-2) ...
- Selecting previously unselected package libauthen-sasl-perl.
- Preparing to unpack .../046-libauthen-sasl-perl_2.1700-1_all.deb ...
- Unpacking libauthen-sasl-perl (2.1700-1) ...
- Selecting previously unselected package libpixman-1-0:amd64.
- Preparing to unpack .../047-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 .../048-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 .../049-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 .../050-libxrender1_1%3a0.9.10-1.1+b4_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1+b4) ...
- Selecting previously unselected package libcairo2:amd64.
- Preparing to unpack .../051-libcairo2_1.18.2-2_amd64.deb ...
- Unpacking libcairo2:amd64 (1.18.2-2) ...
- Selecting previously unselected package libclone-perl:amd64.
- Preparing to unpack .../052-libclone-perl_0.47-1+b1_amd64.deb ...
- Unpacking libclone-perl:amd64 (0.47-1+b1) ...
- Selecting previously unselected package libdata-dump-perl.
- Preparing to unpack .../053-libdata-dump-perl_1.25-1_all.deb ...
- Unpacking libdata-dump-perl (1.25-1) ...
- Selecting previously unselected package libdrm-common.
- Preparing to unpack .../054-libdrm-common_2.4.123-1_all.deb ...
- Unpacking libdrm-common (2.4.123-1) ...
- Selecting previously unselected package libdrm2:amd64.
- Preparing to unpack .../055-libdrm2_2.4.123-1_amd64.deb ...
- Unpacking libdrm2:amd64 (2.4.123-1) ...
- Selecting previously unselected package libdrm-amdgpu1:amd64.
- Preparing to unpack .../056-libdrm-amdgpu1_2.4.123-1_amd64.deb ...
- Unpacking libdrm-amdgpu1:amd64 (2.4.123-1) ...
- Selecting previously unselected package libpciaccess0:amd64.
- Preparing to unpack .../057-libpciaccess0_0.17-3+b3_amd64.deb ...
- Unpacking libpciaccess0:amd64 (0.17-3+b3) ...
- Selecting previously unselected package libdrm-intel1:amd64.
- Preparing to unpack .../058-libdrm-intel1_2.4.123-1_amd64.deb ...
- Unpacking libdrm-intel1:amd64 (2.4.123-1) ...
- Selecting previously unselected package libdrm-radeon1:amd64.
- Preparing to unpack .../059-libdrm-radeon1_2.4.123-1_amd64.deb ...
- Unpacking libdrm-radeon1:amd64 (2.4.123-1) ...
- Selecting previously unselected package libwayland-server0:amd64.
- Preparing to unpack .../060-libwayland-server0_1.23.1-3_amd64.deb ...
- Unpacking libwayland-server0:amd64 (1.23.1-3) ...
- Selecting previously unselected package libelf1t64:amd64.
- Preparing to unpack .../061-libelf1t64_0.192-4_amd64.deb ...
- Unpacking libelf1t64:amd64 (0.192-4) ...
- Selecting previously unselected package libglapi-mesa:amd64.
- Preparing to unpack .../062-libglapi-mesa_24.3.4-3_amd64.deb ...
- Unpacking libglapi-mesa:amd64 (24.3.4-3) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../063-libicu72_72.1-6_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-6) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../064-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../065-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 .../066-libllvm19_1%3a19.1.7-1+b1_amd64.deb ...
- Unpacking libllvm19:amd64 (1:19.1.7-1+b1) ...
- Selecting previously unselected package libsensors-config.
- Preparing to unpack .../067-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 .../068-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 .../069-libx11-xcb1_2%3a1.8.10-2_amd64.deb ...
- Unpacking libx11-xcb1:amd64 (2:1.8.10-2) ...
- Selecting previously unselected package libxcb-dri3-0:amd64.
- Preparing to unpack .../070-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 .../071-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 .../072-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 .../073-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 .../074-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 .../075-libxshmfence1_1.3-1+b3_amd64.deb ...
- Unpacking libxshmfence1:amd64 (1.3-1+b3) ...
- Selecting previously unselected package mesa-libgallium:amd64.
- Preparing to unpack .../076-mesa-libgallium_24.3.4-3_amd64.deb ...
- Unpacking mesa-libgallium:amd64 (24.3.4-3) ...
- Selecting previously unselected package libgbm1:amd64.
- Preparing to unpack .../077-libgbm1_24.3.4-3_amd64.deb ...
- Unpacking libgbm1:amd64 (24.3.4-3) ...
- Selecting previously unselected package libwayland-client0:amd64.
- Preparing to unpack .../078-libwayland-client0_1.23.1-3_amd64.deb ...
- Unpacking libwayland-client0:amd64 (1.23.1-3) ...
- Selecting previously unselected package libegl-mesa0:amd64.
- Preparing to unpack .../079-libegl-mesa0_24.3.4-3_amd64.deb ...
- Unpacking libegl-mesa0:amd64 (24.3.4-3) ...
- Selecting previously unselected package libencode-locale-perl.
- Preparing to unpack .../080-libencode-locale-perl_1.05-3_all.deb ...
- Unpacking libencode-locale-perl (1.05-3) ...
- Selecting previously unselected package libipc-system-simple-perl.
- Preparing to unpack .../081-libipc-system-simple-perl_1.30-2_all.deb ...
- Unpacking libipc-system-simple-perl (1.30-2) ...
- Selecting previously unselected package libfile-basedir-perl.
- Preparing to unpack .../082-libfile-basedir-perl_0.09-2_all.deb ...
- Unpacking libfile-basedir-perl (0.09-2) ...
- Selecting previously unselected package liburi-perl.
- Preparing to unpack .../083-liburi-perl_5.30-1_all.deb ...
- Unpacking liburi-perl (5.30-1) ...
- Selecting previously unselected package libfile-desktopentry-perl.
- Preparing to unpack .../084-libfile-desktopentry-perl_0.22-3_all.deb ...
- Unpacking libfile-desktopentry-perl (0.22-3) ...
- Selecting previously unselected package libtimedate-perl.
- Preparing to unpack .../085-libtimedate-perl_2.3300-2_all.deb ...
- Unpacking libtimedate-perl (2.3300-2) ...
- Selecting previously unselected package libhttp-date-perl.
- Preparing to unpack .../086-libhttp-date-perl_6.06-1_all.deb ...
- Unpacking libhttp-date-perl (6.06-1) ...
- Selecting previously unselected package libfile-listing-perl.
- Preparing to unpack .../087-libfile-listing-perl_6.16-1_all.deb ...
- Unpacking libfile-listing-perl (6.16-1) ...
- Selecting previously unselected package libglib2.0-0t64:amd64.
- Preparing to unpack .../088-libglib2.0-0t64_2.83.3-2_amd64.deb ...
- Unpacking libglib2.0-0t64:amd64 (2.83.3-2) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../089-shared-mime-info_2.4-5+b2_amd64.deb ...
- Unpacking shared-mime-info (2.4-5+b2) ...
- Selecting previously unselected package libfile-mimeinfo-perl.
- Preparing to unpack .../090-libfile-mimeinfo-perl_0.35-1_all.deb ...
- Unpacking libfile-mimeinfo-perl (0.35-1) ...
- Selecting previously unselected package libfont-afm-perl.
- Preparing to unpack .../091-libfont-afm-perl_1.20-4_all.deb ...
- Unpacking libfont-afm-perl (1.20-4) ...
- Selecting previously unselected package libglvnd0:amd64.
- Preparing to unpack .../092-libglvnd0_1.7.0-1+b2_amd64.deb ...
- Unpacking libglvnd0:amd64 (1.7.0-1+b2) ...
- Selecting previously unselected package libxcb-glx0:amd64.
- Preparing to unpack .../093-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 .../094-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 .../095-libvulkan1_1.4.304.0-1_amd64.deb ...
- Unpacking libvulkan1:amd64 (1.4.304.0-1) ...
- Selecting previously unselected package libgl1-mesa-dri:amd64.
- Preparing to unpack .../096-libgl1-mesa-dri_24.3.4-3_amd64.deb ...
- Unpacking libgl1-mesa-dri:amd64 (24.3.4-3) ...
- Selecting previously unselected package libglx-mesa0:amd64.
- Preparing to unpack .../097-libglx-mesa0_24.3.4-3_amd64.deb ...
- Unpacking libglx-mesa0:amd64 (24.3.4-3) ...
- Selecting previously unselected package libglx0:amd64.
- Preparing to unpack .../098-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 .../099-libgl1_1.7.0-1+b2_amd64.deb ...
- Unpacking libgl1:amd64 (1.7.0-1+b2) ...
- Selecting previously unselected package libgles2:amd64.
- Preparing to unpack .../100-libgles2_1.7.0-1+b2_amd64.deb ...
- Unpacking libgles2:amd64 (1.7.0-1+b2) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../101-libglib2.0-data_2.83.3-2_all.deb ...
- Unpacking libglib2.0-data (2.83.3-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../102-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 .../103-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-3:amd64.
- Preparing to unpack .../104-libgraphite2-3_1.3.14-2+b1_amd64.deb ...
- Unpacking libgraphite2-3:amd64 (1.3.14-2+b1) ...
- Selecting previously unselected package libgumbo3:amd64.
- Preparing to unpack .../105-libgumbo3_0.13.0+dfsg-2_amd64.deb ...
- Unpacking libgumbo3:amd64 (0.13.0+dfsg-2) ...
- Selecting previously unselected package libharfbuzz0b:amd64.
- Preparing to unpack .../106-libharfbuzz0b_10.2.0-1_amd64.deb ...
- Unpacking libharfbuzz0b:amd64 (10.2.0-1) ...
- Selecting previously unselected package libhtml-tagset-perl.
- Preparing to unpack .../107-libhtml-tagset-perl_3.24-1_all.deb ...
- Unpacking libhtml-tagset-perl (3.24-1) ...
- Selecting previously unselected package libhtml-parser-perl:amd64.
- Preparing to unpack .../108-libhtml-parser-perl_3.83-1+b2_amd64.deb ...
- Unpacking libhtml-parser-perl:amd64 (3.83-1+b2) ...
- Selecting previously unselected package libio-html-perl.
- Preparing to unpack .../109-libio-html-perl_1.004-3_all.deb ...
- Unpacking libio-html-perl (1.004-3) ...
- Selecting previously unselected package liblwp-mediatypes-perl.
- Preparing to unpack .../110-liblwp-mediatypes-perl_6.04-2_all.deb ...
- Unpacking liblwp-mediatypes-perl (6.04-2) ...
- Selecting previously unselected package libhttp-message-perl.
- Preparing to unpack .../111-libhttp-message-perl_7.00-2_all.deb ...
- Unpacking libhttp-message-perl (7.00-2) ...
- Selecting previously unselected package libhtml-form-perl.
- Preparing to unpack .../112-libhtml-form-perl_6.12-1_all.deb ...
- Unpacking libhtml-form-perl (6.12-1) ...
- Selecting previously unselected package libhtml-tree-perl.
- Preparing to unpack .../113-libhtml-tree-perl_5.07-3_all.deb ...
- Unpacking libhtml-tree-perl (5.07-3) ...
- Selecting previously unselected package libhtml-format-perl.
- Preparing to unpack .../114-libhtml-format-perl_2.16-2_all.deb ...
- Unpacking libhtml-format-perl (2.16-2) ...
- Selecting previously unselected package libhttp-cookies-perl.
- Preparing to unpack .../115-libhttp-cookies-perl_6.11-1_all.deb ...
- Unpacking libhttp-cookies-perl (6.11-1) ...
- Selecting previously unselected package libhttp-daemon-perl.
- Preparing to unpack .../116-libhttp-daemon-perl_6.16-1_all.deb ...
- Unpacking libhttp-daemon-perl (6.16-1) ...
- Selecting previously unselected package libhttp-negotiate-perl.
- Preparing to unpack .../117-libhttp-negotiate-perl_6.01-2_all.deb ...
- Unpacking libhttp-negotiate-perl (6.01-2) ...
- Selecting previously unselected package libio-compress-brotli-perl.
- Preparing to unpack .../118-libio-compress-brotli-perl_0.004001-2+b3_amd64.deb ...
- Unpacking libio-compress-brotli-perl (0.004001-2+b3) ...
- Selecting previously unselected package perl-openssl-defaults:amd64.
- Preparing to unpack .../119-perl-openssl-defaults_7+b2_amd64.deb ...
- Unpacking perl-openssl-defaults:amd64 (7+b2) ...
- Selecting previously unselected package libnet-ssleay-perl:amd64.
- Preparing to unpack .../120-libnet-ssleay-perl_1.94-3_amd64.deb ...
- Unpacking libnet-ssleay-perl:amd64 (1.94-3) ...
- Selecting previously unselected package libio-socket-ssl-perl.
- Preparing to unpack .../121-libio-socket-ssl-perl_2.089-1_all.deb ...
- Unpacking libio-socket-ssl-perl (2.089-1) ...
- Selecting previously unselected package libio-stringy-perl.
- Preparing to unpack .../122-libio-stringy-perl_2.113-2_all.deb ...
- Unpacking libio-stringy-perl (2.113-2) ...
- Selecting previously unselected package libnet-http-perl.
- Preparing to unpack .../123-libnet-http-perl_6.23-1_all.deb ...
- Unpacking libnet-http-perl (6.23-1) ...
- Selecting previously unselected package libtry-tiny-perl.
- Preparing to unpack .../124-libtry-tiny-perl_0.32-1_all.deb ...
- Unpacking libtry-tiny-perl (0.32-1) ...
- Selecting previously unselected package libwww-robotrules-perl.
- Preparing to unpack .../125-libwww-robotrules-perl_6.02-1_all.deb ...
- Unpacking libwww-robotrules-perl (6.02-1) ...
- Selecting previously unselected package libwww-perl.
- Preparing to unpack .../126-libwww-perl_6.77-1_all.deb ...
- Unpacking libwww-perl (6.77-1) ...
- Selecting previously unselected package liblwp-protocol-https-perl.
- Preparing to unpack .../127-liblwp-protocol-https-perl_6.14-1_all.deb ...
- Unpacking liblwp-protocol-https-perl (6.14-1) ...
- Selecting previously unselected package libnet-smtp-ssl-perl.
- Preparing to unpack .../128-libnet-smtp-ssl-perl_1.04-2_all.deb ...
- Unpacking libnet-smtp-ssl-perl (1.04-2) ...
- Selecting previously unselected package libmailtools-perl.
- Preparing to unpack .../129-libmailtools-perl_2.22-1_all.deb ...
- Unpacking libmailtools-perl (2.22-1) ...
- Selecting previously unselected package libmpfi0:amd64.
- Preparing to unpack .../130-libmpfi0_1.5.4+ds-4_amd64.deb ...
- Unpacking libmpfi0:amd64 (1.5.4+ds-4) ...
- Selecting previously unselected package libmujs3:amd64.
- Preparing to unpack .../131-libmujs3_1.3.6-1_amd64.deb ...
- Unpacking libmujs3:amd64 (1.3.6-1) ...
- Selecting previously unselected package libmupdf25.1.
- Preparing to unpack .../132-libmupdf25.1_1.25.1+ds1-5+b1_amd64.deb ...
- Unpacking libmupdf25.1 (1.25.1+ds1-5+b1) ...
- Selecting previously unselected package libxml-parser-perl.
- Preparing to unpack .../133-libxml-parser-perl_2.47-1+b3_amd64.deb ...
- Unpacking libxml-parser-perl (2.47-1+b3) ...
- Selecting previously unselected package libxml-twig-perl.
- Preparing to unpack .../134-libxml-twig-perl_1%3a3.52-3_all.deb ...
- Unpacking libxml-twig-perl (1:3.52-3) ...
- Selecting previously unselected package libnet-dbus-perl.
- Preparing to unpack .../135-libnet-dbus-perl_1.2.0-2+b3_amd64.deb ...
- Unpacking libnet-dbus-perl (1.2.0-2+b3) ...
- Selecting previously unselected package libpaper-utils.
- Preparing to unpack .../136-libpaper-utils_2.2.5-0.3+b1_amd64.deb ...
- Unpacking libpaper-utils (2.2.5-0.3+b1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../137-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../138-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 libprotobuf32t64:amd64.
- Preparing to unpack .../139-libprotobuf32t64_3.21.12-10+b4_amd64.deb ...
- Unpacking libprotobuf32t64:amd64 (3.21.12-10+b4) ...
- Selecting previously unselected package libprotobuf-lite32t64:amd64.
- Preparing to unpack .../140-libprotobuf-lite32t64_3.21.12-10+b4_amd64.deb ...
- Unpacking libprotobuf-lite32t64:amd64 (3.21.12-10+b4) ...
- Selecting previously unselected package libprotobuf-dev:amd64.
- Preparing to unpack .../141-libprotobuf-dev_3.21.12-10+b4_amd64.deb ...
- Unpacking libprotobuf-dev:amd64 (3.21.12-10+b4) ...
- Selecting previously unselected package libprotoc32t64:amd64.
- Preparing to unpack .../142-libprotoc32t64_3.21.12-10+b4_amd64.deb ...
- Unpacking libprotoc32t64:amd64 (3.21.12-10+b4) ...
- Selecting previously unselected package libptexenc1:amd64.
- Preparing to unpack .../143-libptexenc1_2024.20240313.70630+ds-5+b1_amd64.deb ...
- Unpacking libptexenc1:amd64 (2024.20240313.70630+ds-5+b1) ...
- Selecting previously unselected package libsynctex2:amd64.
- Preparing to unpack .../144-libsynctex2_2024.20240313.70630+ds-5+b1_amd64.deb ...
- Unpacking libsynctex2:amd64 (2024.20240313.70630+ds-5+b1) ...
- Selecting previously unselected package libteckit0:amd64.
- Preparing to unpack .../145-libteckit0_2.5.12+ds1-1+b1_amd64.deb ...
- Unpacking libteckit0:amd64 (2.5.12+ds1-1+b1) ...
- Selecting previously unselected package libtexlua53-5:amd64.
- Preparing to unpack .../146-libtexlua53-5_2024.20240313.70630+ds-5+b1_amd64.deb ...
- Unpacking libtexlua53-5:amd64 (2024.20240313.70630+ds-5+b1) ...
- Selecting previously unselected package libtext-iconv-perl:amd64.
- Preparing to unpack .../147-libtext-iconv-perl_1.7-8+b4_amd64.deb ...
- Unpacking libtext-iconv-perl:amd64 (1.7-8+b4) ...
- Selecting previously unselected package libtie-ixhash-perl.
- Preparing to unpack .../148-libtie-ixhash-perl_1.23-4_all.deb ...
- Unpacking libtie-ixhash-perl (1.23-4) ...
- Selecting previously unselected package libx11-protocol-perl.
- Preparing to unpack .../149-libx11-protocol-perl_0.56-9_all.deb ...
- Unpacking libx11-protocol-perl (0.56-9) ...
- Selecting previously unselected package libxmu6:amd64.
- Preparing to unpack .../150-libxmu6_2%3a1.1.3-3+b4_amd64.deb ...
- Unpacking libxmu6:amd64 (2:1.1.3-3+b4) ...
- Selecting previously unselected package libxpm4:amd64.
- Preparing to unpack .../151-libxpm4_1%3a3.5.17-1+b3_amd64.deb ...
- Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ...
- Selecting previously unselected package libxaw7:amd64.
- Preparing to unpack .../152-libxaw7_2%3a1.0.16-1_amd64.deb ...
- Unpacking libxaw7:amd64 (2:1.0.16-1) ...
- Selecting previously unselected package libxcb-shape0:amd64.
- Preparing to unpack .../153-libxcb-shape0_1.17.0-2+b1_amd64.deb ...
- Unpacking libxcb-shape0:amd64 (1.17.0-2+b1) ...
- Selecting previously unselected package libxcomposite1:amd64.
- Preparing to unpack .../154-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 .../155-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 .../156-libxcursor1_1%3a1.2.3-1_amd64.deb ...
- Unpacking libxcursor1:amd64 (1:1.2.3-1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../157-libxft2_2.3.6-1+b4_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1+b4) ...
- Selecting previously unselected package libxi6:amd64.
- Preparing to unpack .../158-libxi6_2%3a1.8.2-1_amd64.deb ...
- Unpacking libxi6:amd64 (2:1.8.2-1) ...
- Selecting previously unselected package libxinerama1:amd64.
- Preparing to unpack .../159-libxinerama1_2%3a1.1.4-3+b3_amd64.deb ...
- Unpacking libxinerama1:amd64 (2:1.1.4-3+b3) ...
- Selecting previously unselected package libxkbfile1:amd64.
- Preparing to unpack .../160-libxkbfile1_1%3a1.1.0-1+b4_amd64.deb ...
- Unpacking libxkbfile1:amd64 (1:1.1.0-1+b4) ...
- Selecting previously unselected package libxml-xpathengine-perl.
- Preparing to unpack .../161-libxml-xpathengine-perl_0.14-2_all.deb ...
- Unpacking libxml-xpathengine-perl (0.14-2) ...
- Selecting previously unselected package libxrandr2:amd64.
- Preparing to unpack .../162-libxrandr2_2%3a1.5.4-1+b3_amd64.deb ...
- Unpacking libxrandr2:amd64 (2:1.5.4-1+b3) ...
- Selecting previously unselected package libxtst6:amd64.
- Preparing to unpack .../163-libxtst6_2%3a1.2.5-1_amd64.deb ...
- Unpacking libxtst6:amd64 (2:1.2.5-1) ...
- Selecting previously unselected package libxv1:amd64.
- Preparing to unpack .../164-libxv1_2%3a1.0.11-1.1+b3_amd64.deb ...
- Unpacking libxv1:amd64 (2:1.0.11-1.1+b3) ...
- Selecting previously unselected package libxxf86dga1:amd64.
- Preparing to unpack .../165-libxxf86dga1_2%3a1.1.5-1+b3_amd64.deb ...
- Unpacking libxxf86dga1:amd64 (2:1.1.5-1+b3) ...
- Selecting previously unselected package libzzip-0-13t64:amd64.
- Preparing to unpack .../166-libzzip-0-13t64_0.13.72+dfsg.1-1.3_amd64.deb ...
- Unpacking libzzip-0-13t64:amd64 (0.13.72+dfsg.1-1.3) ...
- Selecting previously unselected package tex-common.
- Preparing to unpack .../167-tex-common_6.18_all.deb ...
- Unpacking tex-common (6.18) ...
- Selecting previously unselected package lmodern.
- Preparing to unpack .../168-lmodern_2.005-1_all.deb ...
- Unpacking lmodern (2.005-1) ...
- Selecting previously unselected package luit.
- Preparing to unpack .../169-luit_2.0.20240910-1_amd64.deb ...
- Adding 'diversion of /usr/bin/luit to /usr/bin/luit.x11-utils by luit'
- Adding 'diversion of /usr/share/man/man1/luit.1.gz to /usr/share/man/man1/luit.x11-utils.1.gz by luit'
- Unpacking luit (2.0.20240910-1) ...
- Selecting previously unselected package mesa-vulkan-drivers:amd64.
- Preparing to unpack .../170-mesa-vulkan-drivers_24.3.4-3_amd64.deb ...
- Unpacking mesa-vulkan-drivers:amd64 (24.3.4-3) ...
- Selecting previously unselected package mupdf-tools.
- Preparing to unpack .../171-mupdf-tools_1.25.1+ds1-5+b1_amd64.deb ...
- Unpacking mupdf-tools (1.25.1+ds1-5+b1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../172-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../173-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../174-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package protobuf-compiler.
- Preparing to unpack .../175-protobuf-compiler_3.21.12-10+b4_amd64.deb ...
- Unpacking protobuf-compiler (3.21.12-10+b4) ...
- Selecting previously unselected package t1utils.
- Preparing to unpack .../176-t1utils_1.41-4_amd64.deb ...
- Unpacking t1utils (1.41-4) ...
- Selecting previously unselected package texlive-binaries.
- Preparing to unpack .../177-texlive-binaries_2024.20240313.70630+ds-5+b1_amd64.deb ...
- Unpacking texlive-binaries (2024.20240313.70630+ds-5+b1) ...
- Selecting previously unselected package xdg-utils.
- Preparing to unpack .../178-xdg-utils_1.2.1-2_all.deb ...
- Unpacking xdg-utils (1.2.1-2) ...
- Selecting previously unselected package texlive-base.
- Preparing to unpack .../179-texlive-base_2024.20250114-1_all.deb ...
- Unpacking texlive-base (2024.20250114-1) ...
- Selecting previously unselected package texlive-latex-base.
- Preparing to unpack .../180-texlive-latex-base_2024.20250114-1_all.deb ...
- Unpacking texlive-latex-base (2024.20250114-1) ...
- Selecting previously unselected package x11-utils.
- Preparing to unpack .../181-x11-utils_7.7+7_amd64.deb ...
- Unpacking x11-utils (7.7+7) ...
- Selecting previously unselected package x11-xserver-utils.
- Preparing to unpack .../182-x11-xserver-utils_7.7+11_amd64.deb ...
- Unpacking x11-xserver-utils (7.7+11) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../183-xdg-user-dirs_0.18-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.18-2) ...
- Selecting previously unselected package libegl1:amd64.
- Preparing to unpack .../184-libegl1_1.7.0-1+b2_amd64.deb ...
- Unpacking libegl1:amd64 (1.7.0-1+b2) ...
- Selecting previously unselected package zutty.
- Preparing to unpack .../185-zutty_0.16.2.20241020+dfsg1-1_amd64.deb ...
- Unpacking zutty (0.16.2.20241020+dfsg1-1) ...
- Setting up libprotobuf-lite32t64:amd64 (3.21.12-10+b4) ...
- Setting up media-types (11.0.0) ...
- Setting up libtext-iconv-perl:amd64 (1.7-8+b4) ...
- 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 libtext-charwidth-perl:amd64 (0.04-11+b4) ...
- Setting up libsharpyuv0:amd64 (1.5.0-0.1) ...
- Setting up libwayland-server0:amd64 (1.23.1-3) ...
- Setting up libx11-xcb1:amd64 (2:1.8.10-2) ...
- Setting up libpciaccess0:amd64 (0.17-3+b3) ...
- Setting up luit (2.0.20240910-1) ...
- Setting up libprotobuf32t64:amd64 (3.21.12-10+b4) ...
- Setting up libicu72:amd64 (72.1-6) ...
- Setting up libxcb-xfixes0:amd64 (1.17.0-2+b1) ...
- Setting up liblerc4:amd64 (4.0.0+ds-5) ...
- Setting up fonts-noto-mono (20201225-2) ...
- Setting up libxpm4:amd64 (1:3.5.17-1+b3) ...
- Setting up libxi6:amd64 (2:1.8.2-1) ...
- Setting up libwoff1:amd64 (1.0.2-2+b2) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1+b4) ...
- Setting up libmujs3:amd64 (1.3.6-1) ...
- 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 libijs-0.35:amd64 (0.35-15.2) ...
- Setting up libxcb-glx0:amd64 (1.17.0-2+b1) ...
- Setting up libgs-common (10.04.0~dfsg-2) ...
- Setting up libxcb-shape0:amd64 (1.17.0-2+b1) ...
- 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 libxxf86dga1:amd64 (2:1.1.5-1+b3) ...
- Setting up libdeflate0:amd64 (1.23-1+b1) ...
- Setting up perl-openssl-defaults:amd64 (7+b2) ...
- Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ...
- Setting up libtext-wrapi18n-perl (0.06-10) ...
- Setting up libjbig0:amd64 (2.1-6.1+b2) ...
- Setting up libelf1t64:amd64 (0.192-4) ...
- Setting up libxxf86vm1:amd64 (1:1.1.4-1+b4) ...
- Setting up poppler-data (0.4.12-1) ...
- Setting up libxcb-present0:amd64 (1.17.0-2+b1) ...
- Setting up libfontenc1:amd64 (1:1.1.8-1+b2) ...
- Setting up libz3-4:amd64 (4.13.3-1) ...
- Setting up libglib2.0-0t64:amd64 (2.83.3-2) ...
- No schema files found: doing nothing.
- Setting up libglib2.0-data (2.83.3-2) ...
- 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 libjpeg62-turbo:amd64 (1:2.1.5-3+b1) ...
- Setting up libzzip-0-13t64:amd64 (0.13.72+dfsg.1-1.3) ...
- Setting up libxfixes3:amd64 (1:6.0.0-2+b4) ...
- Setting up libxcb-sync1:amd64 (1.17.0-2+b1) ...
- Setting up libjbig2dec0:amd64 (0.20-1+b3) ...
- Setting up libteckit0:amd64 (2.5.12+ds1-1+b1) ...
- Setting up libavahi-common-data:amd64 (0.8-16) ...
- Setting up libdbus-1-3:amd64 (1.16.0-1) ...
- Setting up xfonts-encodings (1:1.0.4-2.2) ...
- Setting up t1utils (1.41-4) ...
- Setting up libxinerama1:amd64 (2:1.1.4-3+b3) ...
- Setting up libtexlua53-5:amd64 (2024.20240313.70630+ds-5+b1) ...
- Setting up libxv1:amd64 (2:1.0.11-1.1+b3) ...
- Setting up fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.46-4) ...
- Setting up libgumbo3:amd64 (0.13.0+dfsg-2) ...
- Setting up libidn12:amd64 (1.42-3) ...
- Setting up libxrandr2:amd64 (2:1.5.4-1+b3) ...
- Setting up libmpfi0:amd64 (1.5.4+ds-4) ...
- Setting up fonts-dejavu-core (2.37-8) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libsensors5:amd64 (1:3.6.0-10+b1) ...
- Setting up libglapi-mesa:amd64 (24.3.4-3) ...
- Setting up libkpathsea6:amd64 (2024.20240313.70630+ds-5+b1) ...
- Setting up libvulkan1:amd64 (1.4.304.0-1) ...
- Setting up libwebp7:amd64 (1.5.0-0.1) ...
- Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- Setting up perl-modules-5.40 (5.40.1-2) ...
- Setting up sensible-utils (0.0.24) ...
- Setting up libxshmfence1:amd64 (1.3-1+b3) ...
- Setting up libtiff6:amd64 (4.5.1+git230720-5) ...
- Setting up libxcb-randr0:amd64 (1.17.0-2+b1) ...
- Setting up dbus-session-bus-common (1.16.0-1) ...
- Setting up fonts-lmodern (2.005-1) ...
- Setting up libopenjp2-7:amd64 (2.5.3-1) ...
- Setting up fonts-droid-fallback (1:8.1.0r7-1~1.gbp36536b) ...
- Setting up libxkbfile1:amd64 (1:1.1.0-1+b4) ...
- Setting up libpaper2:amd64 (2.2.5-0.3+b1) ...
- Setting up libprotoc32t64:amd64 (3.21.12-10+b4) ...
- Setting up dbus-system-bus-common (1.16.0-1) ...
- Setting up libdrm-common (2.4.123-1) ...
- Setting up libxcomposite1:amd64 (1:0.4.6-1) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.2-1) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
- Setting up xdg-utils (1.2.1-2) ...
- update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode
- Setting up dbus-bin (1.16.0-1) ...
- Setting up libsynctex2:amd64 (2024.20240313.70630+ds-5+b1) ...
- Setting up libpython3-stdlib:amd64 (3.13.1-2) ...
- Setting up libpotrace0:amd64 (1.16-2+b2) ...
- Setting up libwayland-client0:amd64 (1.23.1-3) ...
- Setting up libllvm19:amd64 (1:19.1.7-1+b1) ...
- Setting up libice6:amd64 (2:1.1.1-1) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up protobuf-compiler (3.21.12-10+b4) ...
- Setting up python3.13 (3.13.2-1) ...
- Setting up fontconfig-config (2.15.0-2) ...
- Setting up libxtst6:amd64 (2:1.2.5-1) ...
- Setting up libxcursor1:amd64 (1:1.2.3-1) ...
- Setting up libavahi-common3:amd64 (0.8-16) ...
- Setting up python3 (3.13.1-2) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up dbus-daemon (1.16.0-1) ...
- Setting up libpaper-utils (2.2.5-0.3+b1) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up libprotobuf-dev:amd64 (3.21.12-10+b4) ...
- Setting up libperl5.40:amd64 (5.40.1-2) ...
- Setting up perl (5.40.1-2) ...
- Setting up libptexenc1:amd64 (2024.20240313.70630+ds-5+b1) ...
- Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Setting up libdata-dump-perl (1.25-1) ...
- Setting up libipc-system-simple-perl (1.30-2) ...
- Setting up libxml-xpathengine-perl (0.14-2) ...
- Setting up dbus (1.16.0-1) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up libio-compress-brotli-perl (0.004001-2+b3) ...
- Setting up shared-mime-info (2.4-5+b2) ...
- Setting up libio-html-perl (1.004-3) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up ucf (3.0050) ...
- Setting up libtimedate-perl (2.3300-2) ...
- Setting up libdrm2:amd64 (2.4.123-1) ...
- Setting up libharfbuzz0b:amd64 (10.2.0-1) ...
- Setting up libfontconfig1:amd64 (2.15.0-2) ...
- Setting up libsm6:amd64 (2:1.2.4-1) ...
- Setting up libavahi-client3:amd64 (0.8-16) ...
- Setting up liburi-perl (5.30-1) ...
- Setting up libx11-protocol-perl (0.56-9) ...
- Setting up libdrm-amdgpu1:amd64 (2.4.123-1) ...
- Setting up libnet-ssleay-perl:amd64 (1.94-3) ...
- Setting up mesa-vulkan-drivers:amd64 (24.3.4-3) ...
- Setting up libhttp-date-perl (6.06-1) ...
- Setting up libxft2:amd64 (2.3.6-1+b4) ...
- Setting up libfile-basedir-perl (0.09-2) ...
- Setting up libtie-ixhash-perl (1.23-4) ...
- Setting up libfile-listing-perl (6.16-1) ...
- Setting up libfont-afm-perl (1.20-4) ...
- Setting up libclone-perl:amd64 (0.47-1+b1) ...
- Setting up libdrm-radeon1:amd64 (2.4.123-1) ...
- Setting up libio-stringy-perl (2.113-2) ...
- Setting up libhtml-tagset-perl (3.24-1) ...
- Setting up libauthen-sasl-perl (2.1700-1) ...
- Setting up libdrm-intel1:amd64 (2.4.123-1) ...
- Setting up liblwp-mediatypes-perl (6.04-2) ...
- Setting up libtry-tiny-perl (0.32-1) ...
- Setting up libmupdf25.1 (1.25.1+ds1-5+b1) ...
- Setting up libnet-http-perl (6.23-1) ...
- Setting up libencode-locale-perl (1.05-3) ...
- Setting up xfonts-utils (1:7.7+7) ...
- Setting up mupdf-tools (1.25.1+ds1-5+b1) ...
- Setting up libcairo2:amd64 (1.18.2-2) ...
- Setting up tex-common (6.18) ...
- update-language: texlive-base not installed and configured, doing nothing!
- Setting up libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
- Setting up libfile-desktopentry-perl (0.22-3) ...
- Setting up libwww-robotrules-perl (6.02-1) ...
- Setting up lmodern (2.005-1) ...
- Setting up libhtml-parser-perl:amd64 (3.83-1+b2) ...
- Setting up libcups2t64:amd64 (2.4.10-2+b1) ...
- Setting up libio-socket-ssl-perl (2.089-1) ...
- Setting up libhttp-message-perl (7.00-2) ...
- Setting up libhtml-form-perl (6.12-1) ...
- Setting up libfile-mimeinfo-perl (0.35-1) ...
- Setting up libhttp-negotiate-perl (6.01-2) ...
- Setting up mesa-libgallium:amd64 (24.3.4-3) ...
- Setting up libxmu6:amd64 (2:1.1.3-3+b4) ...
- Setting up libgbm1:amd64 (24.3.4-3) ...
- Setting up libhttp-cookies-perl (6.11-1) ...
- Setting up libhtml-tree-perl (5.07-3) ...
- Setting up libgl1-mesa-dri:amd64 (24.3.4-3) ...
- Setting up libhtml-format-perl (2.16-2) ...
- Setting up libxaw7:amd64 (2:1.0.16-1) ...
- Setting up fonts-urw-base35 (20200910-8) ...
- Setting up x11-xserver-utils (7.7+11) ...
- Setting up libegl-mesa0:amd64 (24.3.4-3) ...
- Setting up libnet-smtp-ssl-perl (1.04-2) ...
- Setting up libmailtools-perl (2.22-1) ...
- Setting up libhttp-daemon-perl (6.16-1) ...
- Setting up texlive-binaries (2024.20240313.70630+ds-5+b1) ...
- update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
- update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
- Setting up libegl1:amd64 (1.7.0-1+b2) ...
- Setting up texlive-base (2024.20250114-1) ...
- tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
- tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
- tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
- tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex
- Setting up libgs10-common (10.04.0~dfsg-2) ...
- Setting up libglx-mesa0:amd64 (24.3.4-3) ...
- Setting up libglx0:amd64 (1.7.0-1+b2) ...
- Setting up libgl1:amd64 (1.7.0-1+b2) ...
- Setting up texlive-latex-base (2024.20250114-1) ...
- Setting up zutty (0.16.2.20241020+dfsg1-1) ...
- update-alternatives: using /usr/bin/zutty to provide /usr/bin/x-terminal-emulator (x-terminal-emulator) in auto mode
- Setting up x11-utils (7.7+7) ...
- Setting up libgs10:amd64 (10.04.0~dfsg-2+b1) ...
- Setting up dvisvgm (3.4.3+ds-1) ...
- Setting up liblwp-protocol-https-perl (6.14-1) ...
- Setting up libwww-perl (6.77-1) ...
- Setting up libxml-parser-perl (2.47-1+b3) ...
- Setting up libxml-twig-perl (1:3.52-3) ...
- Setting up libnet-dbus-perl (1.2.0-2+b3) ...
- Processing triggers for libc-bin (2.40-7) ...
- Processing triggers for tex-common (6.18) ...
- Running updmap-sys. This may take some time...
- done.
- Running mktexlsr /var/lib/texmf ... done.
- Building format(s) --all.
- This may take some time...
- done.
Solution for dune.lock:
- astring.0.8.5
- base.v0.17.1
- base-bytes.base
- base-threads.base
- base-unix.base
- base64.3.5.1
- bigarray-compat.1.1.0
- bos.0.2.1
- cmdliner.1.3.0
- conf-gmp.4
- conf-pkg-config.4
- conf-protoc.4.4.0
- conf-python-3.9.0.0
- conf-texlive.1
- cppo.1.8.0
- csexp.1.5.2
- csv.2.4
- ctypes.0.23.0
- dune-configurator.3.17.2
- dune-private-libs.3.17.2
- dune-site.3.17.2
- dyn.3.17.2
- fmt.0.9.0
- fpath.0.7.3
- integers.0.7.0
- jane-street-headers.v0.17.0
- jst-config.v0.17.0
- logs.0.7.0
- menhir.20240715
- menhirCST.20240715
- menhirLib.20240715
- menhirSdk.20240715
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml-protoc-plugin.6.1.0
- ocaml_intrinsics_kernel.v0.17.1
- ocamlbuild.0.15.0+dune
- ocamlfind.1.9.8+dune
- ocamlgraph.2.1.0
- ocplib-endian.1.2
- ordering.3.17.2
- pp.2.0.0
- ppx_assert.v0.17.0
- ppx_base.v0.17.0
- ppx_cold.v0.17.0
- ppx_compare.v0.17.0
- ppx_derivers.1.2.1
- ppx_deriving.6.0.3
- ppx_deriving_yojson.3.9.1
- ppx_enumerate.v0.17.0
- ppx_expect.v0.17.2
- ppx_globalize.v0.17.0
- ppx_hash.v0.17.0
- ppx_here.v0.17.0
- ppx_inline_test.v0.17.0
- ppx_optcomp.v0.17.0
- ppx_sexp_conv.v0.17.0
- ppxlib.0.35.0
- ppxlib_jane.v0.17.2
- ptime.1.2.0
- re.1.12.0
- rresult.0.7.0
- seq.base
- sexplib0.v0.17.0
- stdio.v0.17.0
- stdlib-shims.0.3.0
- stdune.3.17.2
- time_now.v0.17.0
- topkg.1.0.7
- why3.1.8.0
- yaml.3.2.0
- yojson.2.2.2
- zarith.1.14
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building base-threads.base
Building ocaml-config.3
Building ocaml.5.3.0
Downloading cmdliner.1.3.0
Building cmdliner.1.3.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading bigarray-compat.1.1.0
Building bigarray-compat.1.1.0
Downloading ocamlfind.1.9.8+dune
Building ocamlfind.1.9.8+dune
Downloading ocamlbuild.0.15.0+dune
Building ocamlbuild.0.15.0+dune
Downloading integers.0.7.0
Building integers.0.7.0
Downloading dune-configurator.3.17.2
Building dune-configurator.3.17.2
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Downloading topkg.1.0.7
Building topkg.1.0.7
Downloading astring.0.8.5
Downloading rresult.0.7.0
Downloading fmt.0.9.0
Building astring.0.8.5
Building rresult.0.7.0
Building fmt.0.9.0
Downloading logs.0.7.0
Building logs.0.7.0
Downloading fpath.0.7.3
Building fpath.0.7.3
Downloading bos.0.2.1
Building bos.0.2.1
Downloading yaml.3.2.0
Building yaml.3.2.0
Building conf-pkg-config.4
Building conf-gmp.4
Downloading menhirLib.20240715
Downloading menhirSdk.20240715
Downloading menhirCST.20240715
Building menhirLib.20240715
Building menhirSdk.20240715
Building menhirCST.20240715
Downloading ppx_derivers.1.2.1
Downloading zarith.1.14
Building ppx_derivers.1.2.1
Downloading sexplib0.v0.17.0
Building zarith.1.14
Building sexplib0.v0.17.0
Downloading cppo.1.8.0
Downloading ocaml-compiler-libs.v0.17.0
Downloading ocaml_intrinsics_kernel.v0.17.1
Building ocaml-compiler-libs.v0.17.0
Building cppo.1.8.0
Building ocaml_intrinsics_kernel.v0.17.1
Downloading ocamlgraph.2.1.0
Building ocamlgraph.2.1.0
Downloading menhir.20240715
Building menhir.20240715
Downloading base.v0.17.1
Building base.v0.17.1
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading ppx_deriving.6.0.3
Building ppx_deriving.6.0.3
Downloading ppxlib_jane.v0.17.2
Building ppxlib_jane.v0.17.2
Downloading ppx_sexp_conv.v0.17.0
Building ppx_sexp_conv.v0.17.0
Downloading why3.1.8.0
Building why3.1.8.0
Building seq.base
Downloading re.1.12.0
Building re.1.12.0
Downloading yojson.2.2.2
Building yojson.2.2.2
Downloading ppx_deriving_yojson.3.9.1
Building ppx_deriving_yojson.3.9.1
Building base-bytes.base
Downloading ocplib-endian.1.2
Building ocplib-endian.1.2
Building conf-protoc.4.4.0
Downloading ptime.1.2.0
Building ptime.1.2.0
Downloading ppx_cold.v0.17.0
Downloading base64.3.5.1
Building base64.3.5.1
Downloading ppx_here.v0.17.0
Downloading ppx_globalize.v0.17.0
Downloading ppx_enumerate.v0.17.0
Downloading jane-street-headers.v0.17.0
Downloading ppx_compare.v0.17.0
Building ppx_cold.v0.17.0
Building jane-street-headers.v0.17.0
Downloading stdio.v0.17.0
Building ppx_here.v0.17.0
Building ppx_globalize.v0.17.0
Building ppx_enumerate.v0.17.0
Building stdio.v0.17.0
Building ppx_compare.v0.17.0
Downloading ppx_optcomp.v0.17.0
Building ppx_optcomp.v0.17.0
Downloading ppx_hash.v0.17.0
Downloading ppx_assert.v0.17.0
Building ppx_hash.v0.17.0
Building ppx_assert.v0.17.0
Downloading ppx_base.v0.17.0
Building ppx_base.v0.17.0
Downloading jst-config.v0.17.0
Building jst-config.v0.17.0
Downloading time_now.v0.17.0
Building time_now.v0.17.0
Downloading ppx_inline_test.v0.17.0
Building ppx_inline_test.v0.17.0
Downloading ppx_expect.v0.17.2
Building ppx_expect.v0.17.2
Downloading ocaml-protoc-plugin.6.1.0
Building ocaml-protoc-plugin.6.1.0
Downloading ordering.3.17.2
Building ordering.3.17.2
Downloading pp.2.0.0
Building pp.2.0.0
Downloading dyn.3.17.2
Building dyn.3.17.2
Downloading stdune.3.17.2
Building stdune.3.17.2
Downloading dune-private-libs.3.17.2
Building dune-private-libs.3.17.2
Downloading dune-site.3.17.2
Building dune-site.3.17.2
Downloading csv.2.4
Building csv.2.4
Building conf-texlive.1
Building conf-python-3.9.0.0
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Caisar_logging -g -bin-annot -bin-annot-occurrences -I src/.main.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/base64/target/lib/base64 -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/cmdliner/target/lib/cmdliner -I ../_private/default/.pkg/csexp/target/lib/csexp -I ../_private/default/.pkg/csv/target/lib/csv -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/dune-configurator/target/lib/dune-configurator -I ../_private/default/.pkg/dune-private-libs/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site/target/lib/dune-site -I ../_private/default/.pkg/dune-site/target/lib/dune-site/private -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/menhirLib/target/lib/menhirLib -I ../_private/default/.pkg/ocaml-protoc-plugin/target/lib/ocaml-protoc-plugin -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ocamlfind/target/lib/bytes -I ../_private/default/.pkg/ocamlgraph/target/lib/ocamlgraph -I ../_private/default/.pkg/ocplib-endian/target/lib/ocplib-endian -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config_types -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/make_corrected_file -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/runtime -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_here/target/lib/ppx_here/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ptime/target/lib/ptime -I ../_private/default/.pkg/re/target/lib/re -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdio/target/lib/stdio -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ../_private/default/.pkg/why3/target/lib/why3 -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I lib/nir/.nir.objs/byte -I lib/nnet/.nnet.objs/byte -I lib/onnx/.onnx.objs/byte -I lib/ovo/.ovo.objs/byte -I lib/xgboost/.caisar_xgboost.objs/byte -I utils/.caisar_logging.objs/byte -no-alias-deps -opaque -open Dune__exe -o src/.main.eobjs/byte/dune__exe__Json.cmi -c -intf src/json.pp.mli)
File "src/json.mli", lines 48-57, characters 0-25:
48 | and prover_answer = Call_provers.prover_answer =
49 | | Valid
50 | | Invalid
51 | | Timeout
52 | | OutOfMemory
53 | | StepLimitExceeded
54 | | Unknown of string
55 | | Failure of string
56 | | HighFailure
57 | [@@deriving yojson, show]
Error: This variant or record definition does not match that of type
"Why3.Call_provers.prover_answer"
Constructors do not match:
"HighFailure of string"
is not the same as:
"HighFailure"
They have different arities.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Caisar_logging -g -bin-annot -bin-annot-occurrences -I src/.main.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/base64/target/lib/base64 -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/cmdliner/target/lib/cmdliner -I ../_private/default/.pkg/csexp/target/lib/csexp -I ../_private/default/.pkg/csv/target/lib/csv -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/dune-configurator/target/lib/dune-configurator -I ../_private/default/.pkg/dune-private-libs/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site/target/lib/dune-site -I ../_private/default/.pkg/dune-site/target/lib/dune-site/private -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/menhirLib/target/lib/menhirLib -I ../_private/default/.pkg/ocaml-protoc-plugin/target/lib/ocaml-protoc-plugin -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ocamlfind/target/lib/bytes -I ../_private/default/.pkg/ocamlgraph/target/lib/ocamlgraph -I ../_private/default/.pkg/ocplib-endian/target/lib/ocplib-endian -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config_types -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/make_corrected_file -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/runtime -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_here/target/lib/ppx_here/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ptime/target/lib/ptime -I ../_private/default/.pkg/re/target/lib/re -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdio/target/lib/stdio -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ../_private/default/.pkg/why3/target/lib/why3 -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I lib/nir/.nir.objs/byte -I lib/nnet/.nnet.objs/byte -I lib/onnx/.onnx.objs/byte -I lib/ovo/.ovo.objs/byte -I lib/xgboost/.caisar_xgboost.objs/byte -I utils/.caisar_logging.objs/byte -no-alias-deps -opaque -open Dune__exe -o src/.main.eobjs/byte/dune__exe__Saver.cmi -c -intf src/saver.pp.mli)
File "src/saver.mli", line 30, characters 2-34:
30 | Why3.Call_provers.resource_limit ->
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound type constructor "Why3.Call_provers.resource_limit"
Hint: Did you mean "resource_limits"?
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -open Caisar_logging -g -bin-annot -bin-annot-occurrences -I src/.main.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/dynlink -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/str -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/astring/target/lib/astring -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/base64/target/lib/base64 -I ../_private/default/.pkg/bigarray-compat/target/lib/bigarray-compat -I ../_private/default/.pkg/bos/target/lib/bos -I ../_private/default/.pkg/cmdliner/target/lib/cmdliner -I ../_private/default/.pkg/csexp/target/lib/csexp -I ../_private/default/.pkg/csv/target/lib/csv -I ../_private/default/.pkg/ctypes/target/lib/ctypes -I ../_private/default/.pkg/ctypes/target/lib/ctypes/stubs -I ../_private/default/.pkg/dune-configurator/target/lib/dune-configurator -I ../_private/default/.pkg/dune-private-libs/target/lib/dune-private-libs/dune-section -I ../_private/default/.pkg/dune-site/target/lib/dune-site -I ../_private/default/.pkg/dune-site/target/lib/dune-site/private -I ../_private/default/.pkg/fmt/target/lib/fmt -I ../_private/default/.pkg/fpath/target/lib/fpath -I ../_private/default/.pkg/integers/target/lib/integers -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/logs/target/lib/logs -I ../_private/default/.pkg/menhirLib/target/lib/menhirLib -I ../_private/default/.pkg/ocaml-protoc-plugin/target/lib/ocaml-protoc-plugin -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ocamlfind/target/lib/bytes -I ../_private/default/.pkg/ocamlgraph/target/lib/ocamlgraph -I ../_private/default/.pkg/ocplib-endian/target/lib/ocplib-endian -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_deriving/target/lib/ppx_deriving/runtime -I ../_private/default/.pkg/ppx_deriving_yojson/target/lib/ppx_deriving_yojson/runtime -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/config_types -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/make_corrected_file -I ../_private/default/.pkg/ppx_expect/target/lib/ppx_expect/runtime -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_here/target/lib/ppx_here/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ptime/target/lib/ptime -I ../_private/default/.pkg/re/target/lib/re -I ../_private/default/.pkg/rresult/target/lib/rresult -I ../_private/default/.pkg/seq/target/lib/seq -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdio/target/lib/stdio -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ../_private/default/.pkg/why3/target/lib/why3 -I ../_private/default/.pkg/yaml/target/lib/yaml -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings -I ../_private/default/.pkg/yaml/target/lib/yaml/bindings/types -I ../_private/default/.pkg/yaml/target/lib/yaml/c -I ../_private/default/.pkg/yaml/target/lib/yaml/ffi -I ../_private/default/.pkg/yaml/target/lib/yaml/types -I ../_private/default/.pkg/yaml/target/lib/yaml/unix -I ../_private/default/.pkg/yojson/target/lib/yojson -I ../_private/default/.pkg/zarith/target/lib/zarith -I lib/nir/.nir.objs/byte -I lib/nnet/.nnet.objs/byte -I lib/onnx/.onnx.objs/byte -I lib/ovo/.ovo.objs/byte -I lib/xgboost/.caisar_xgboost.objs/byte -I utils/.caisar_logging.objs/byte -no-alias-deps -opaque -open Dune__exe -o src/.main.eobjs/byte/dune__exe__Aimos.cmi -c -intf src/aimos.pp.mli)
File "src/aimos.mli", line 26, characters 2-29:
26 | Call_provers.resource_limit ->
^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound type constructor "Call_provers.resource_limit"
Hint: Did you mean "resource_limits"?
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source caisar.2.1 && cd caisar.2.1 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default ))
(repository
(name default)
(url "git+https://github.com/ocaml/opam-repository.git"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs