Building on doris.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
2e268ef41e67: Already exists
326b3609ce43: Already exists
7394737016a6: Already exists
185b28e1624b: Already exists
3e706423dfed: Already exists
7241f2237d13: Already exists
ac1427a34992: Already exists
74a2abdc75b2: Already exists
244f8b188d6f: Already exists
2cd3331ab10f: Already exists
859a64f8acb7: Already exists
04d0647ec61c: Already exists
e887ab878228: Pulling fs layer
c4ddffa39cb5: Pulling fs layer
d9de62ea8f06: Pulling fs layer
885eefa741f8: Pulling fs layer
c2f622556afd: Pulling fs layer
0deaddd419ba: Pulling fs layer
06df7496f4a1: Pulling fs layer
9bee2c951ad1: Pulling fs layer
4f4fb700ef54: Pulling fs layer
bbc7d17d4a7b: Pulling fs layer
fb4e89a17943: Pulling fs layer
c97ceff3cd56: Pulling fs layer
4f4466d5ec30: Pulling fs layer
885eefa741f8: Waiting
11df0ed87674: Pulling fs layer
d820233a7c33: Pulling fs layer
25f4c8f7bae4: Pulling fs layer
c2f622556afd: Waiting
4d27ae7a2d38: Pulling fs layer
3eeff774a957: Pulling fs layer
0deaddd419ba: Waiting
06df7496f4a1: Waiting
9b9cb8e4b7df: Pulling fs layer
f25c428b4c25: Pulling fs layer
abb195488e38: Pulling fs layer
11df0ed87674: Waiting
29febc3b1ccd: Pulling fs layer
4f4fb700ef54: Waiting
bbc7d17d4a7b: Waiting
9bee2c951ad1: Waiting
ffb76ce33c91: Pulling fs layer
d820233a7c33: Waiting
bee3dc263b43: Pulling fs layer
13834c607cf5: Pulling fs layer
4f4466d5ec30: Waiting
25f4c8f7bae4: Waiting
221e6e718f16: Pulling fs layer
fb4e89a17943: Waiting
cf0c83648f42: Pulling fs layer
26f18d1ffd03: Pulling fs layer
9b9cb8e4b7df: Waiting
c97ceff3cd56: Waiting
709166d9dd12: Pulling fs layer
29febc3b1ccd: Waiting
4d27ae7a2d38: Waiting
a52d4e4a40ec: Pulling fs layer
f25c428b4c25: Waiting
3eeff774a957: Waiting
ffb76ce33c91: Waiting
08e2bd6d8c96: Pulling fs layer
bee3dc263b43: Waiting
cf0c83648f42: Waiting
221e6e718f16: Waiting
a017f20dcdf9: Pulling fs layer
26f18d1ffd03: Waiting
709166d9dd12: Waiting
13834c607cf5: Waiting
a096fcf0cd27: Pulling fs layer
5c5234187e7d: Pulling fs layer
a52d4e4a40ec: Waiting
08e2bd6d8c96: Waiting
d9de62ea8f06: Verifying Checksum
d9de62ea8f06: Download complete
c4ddffa39cb5: Verifying Checksum
c4ddffa39cb5: Download complete
e887ab878228: Verifying Checksum
e887ab878228: Download complete
c2f622556afd: Download complete
885eefa741f8: Download complete
0deaddd419ba: Verifying Checksum
0deaddd419ba: Download complete
06df7496f4a1: Verifying Checksum
06df7496f4a1: Download complete
9bee2c951ad1: Verifying Checksum
9bee2c951ad1: Download complete
e887ab878228: Pull complete
c4ddffa39cb5: Pull complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
bbc7d17d4a7b: Verifying Checksum
bbc7d17d4a7b: Download complete
fb4e89a17943: Verifying Checksum
fb4e89a17943: Download complete
d9de62ea8f06: Pull complete
885eefa741f8: Pull complete
c97ceff3cd56: Verifying Checksum
c97ceff3cd56: Download complete
c2f622556afd: Pull complete
4f4466d5ec30: Verifying Checksum
4f4466d5ec30: Download complete
11df0ed87674: Verifying Checksum
11df0ed87674: Download complete
0deaddd419ba: Pull complete
06df7496f4a1: Pull complete
9bee2c951ad1: Pull complete
4f4fb700ef54: Pull complete
25f4c8f7bae4: Verifying Checksum
25f4c8f7bae4: Download complete
d820233a7c33: Download complete
4d27ae7a2d38: Verifying Checksum
4d27ae7a2d38: Download complete
bbc7d17d4a7b: Pull complete
fb4e89a17943: Pull complete
c97ceff3cd56: Pull complete
4f4466d5ec30: Pull complete
3eeff774a957: Download complete
f25c428b4c25: Verifying Checksum
f25c428b4c25: Download complete
11df0ed87674: Pull complete
9b9cb8e4b7df: Verifying Checksum
9b9cb8e4b7df: Download complete
d820233a7c33: Pull complete
25f4c8f7bae4: Pull complete
4d27ae7a2d38: Pull complete
abb195488e38: Verifying Checksum
abb195488e38: Download complete
3eeff774a957: Pull complete
9b9cb8e4b7df: Pull complete
f25c428b4c25: Pull complete
abb195488e38: Pull complete
13834c607cf5: Download complete
221e6e718f16: Verifying Checksum
221e6e718f16: Download complete
cf0c83648f42: Verifying Checksum
cf0c83648f42: Download complete
26f18d1ffd03: Verifying Checksum
26f18d1ffd03: Download complete
bee3dc263b43: Verifying Checksum
bee3dc263b43: Download complete
709166d9dd12: Verifying Checksum
709166d9dd12: Download complete
a52d4e4a40ec: Verifying Checksum
a52d4e4a40ec: Download complete
a017f20dcdf9: Download complete
a096fcf0cd27: Verifying Checksum
a096fcf0cd27: Download complete
5c5234187e7d: Verifying Checksum
5c5234187e7d: Download complete
08e2bd6d8c96: Verifying Checksum
29febc3b1ccd: Verifying Checksum
29febc3b1ccd: Download complete
29febc3b1ccd: Pull complete
ffb76ce33c91: Pull complete
bee3dc263b43: Pull complete
13834c607cf5: Pull complete
221e6e718f16: Pull complete
cf0c83648f42: Pull complete
26f18d1ffd03: Pull complete
709166d9dd12: Pull complete
a52d4e4a40ec: Pull complete
08e2bd6d8c96: Pull complete
a017f20dcdf9: Pull complete
a096fcf0cd27: Pull complete
5c5234187e7d: Pull complete
Digest: sha256:14aa8d44d81433b03f5b94d6b949602c713bef1af4da0373f87f166ff7ee4589
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-10-20 16:08.49 ---> 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-10-20 16:08.49 ---> 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 5bf570252bd9fee71938b828ca0b86573c1e3355"))
2025-10-20 16:08.49 ---> using "5d9060f4a091feeded40d31aa9202099f5985b23d65db7fc416d6b6624552bb7" 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.
2025-10-20 16:08.49 ---> using "7dfd67279a0b6c96fe3527b7ac492da4aa9f97941af43ad023e8984d8100dde1" 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-dune' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "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-dune)
2025-10-20 16:08.49 ---> using "6ba1779ff563f84aad6908d484bb6ae03fe7ffe694160991857360b2f3eaa64b" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [207 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-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-10-20-0805.15-F-2025-10-18-0804.35.pdiff [93.9 kB]
- Fetched 364 kB in 2s (242 kB/s)
- Reading package lists...
-
2025-10-20 16:08.49 ---> using "2f5f96d286f8e5dc01501845b1238607e5d9a37acd135d2ae2b154e667fe15ed" 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.20.2
The following actions will be performed:
=== install 1 package
- install dune 3.20.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> installed dune.3.20.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-20 16:08.49 ---> using "06f603b2fb01421741bd6845403aeb349b6e235f7d882db02b1c7bb9fdfa62c1" 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"))
####################################################### 76.5%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
#=#=#
# 1.7%
## 3.5%
### 5.1%
#### 6.4%
##### 7.6%
###### 8.9%
####### 10.5%
######## 11.8%
######### 12.8%
########## 14.1%
########## 15.3%
########### 16.5%
############ 17.7%
############# 19.3%
############## 20.7%
############### 21.9%
################ 23.3%
################# 24.9%
################### 26.5%
#################### 28.3%
##################### 29.7%
###################### 31.1%
####################### 32.7%
######################## 34.3%
######################### 34.8%
######################### 35.3%
######################### 35.8%
########################## 36.3%
########################## 36.9%
########################### 37.8%
########################### 38.8%
############################ 39.6%
############################# 40.5%
############################# 41.6%
############################## 42.8%
############################### 43.9%
################################ 44.8%
################################ 45.5%
################################# 46.4%
################################## 47.5%
################################### 48.7%
#################################### 50.1%
##################################### 51.6%
###################################### 53.1%
####################################### 54.3%
######################################## 55.7%
######################################### 57.2%
########################################## 58.7%
########################################### 59.7%
########################################### 60.7%
############################################ 61.6%
############################################ 62.3%
############################################# 63.1%
############################################## 63.9%
############################################## 65.0%
############################################### 66.2%
################################################ 67.5%
################################################# 69.0%
################################################## 70.5%
################################################### 71.7%
#################################################### 73.0%
##################################################### 74.1%
##################################################### 74.7%
###################################################### 75.3%
###################################################### 75.9%
####################################################### 76.4%
####################################################### 77.2%
######################################################## 78.0%
######################################################## 78.8%
######################################################### 79.6%
######################################################### 80.5%
########################################################## 81.6%
########################################################### 82.8%
############################################################ 83.7%
############################################################# 84.9%
############################################################# 86.0%
############################################################## 86.9%
############################################################### 87.6%
############################################################### 88.5%
################################################################ 89.5%
################################################################# 90.4%
################################################################# 91.3%
################################################################## 91.9%
################################################################## 92.8%
################################################################### 93.7%
#################################################################### 94.8%
#################################################################### 95.7%
##################################################################### 96.6%
###################################################################### 97.5%
###################################################################### 98.4%
####################################################################### 99.7%
######################################################################## 100.0%
Revision cache was populated successfully
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-10-20 16:08.49 ---> using "d6e8a8aa6f1aaa7f42dab207addc01726271c7f23c8e6002e4b1bf2ea64105c2" 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 100 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.3 [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-1 [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.1 [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.20.2 [required by sexp]
- install dune-configurator 3.20.2 [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.11.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.6 [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.14.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 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.1.0 [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.3 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bin_prot.v0.17.0-1 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-g++.1.0
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core_unix.v0.17.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gel.v0.17.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 csvfields.v0.17.0 (https://github.com/janestreet/csvfields/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.6 (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 jsonaf.v0.17.0 (https://github.com/janestreet/jsonaf/archive/refs/tags/v0.17.0.tar.gz)
-> 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 dune.3.20.2, dune-configurator.3.20.2 (cached)
-> installed num.1.6
-> 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_message.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved sexp_diff.v0.17.0 (https://github.com/janestreet/sexp_diff/archive/refs/tags/v0.17.0.tar.gz)
-> 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 topkg.1.1.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved sexp.v0.17.0 (https://github.com/janestreet/sexp/archive/refs/tags/v0.17.0.tar.gz)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved sexp_select.v0.17.0 (https://github.com/janestreet/sexp_select/archive/refs/tags/v0.17.0.tar.gz)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed dune.3.20.2
-> installed jane-street-headers.v0.17.0
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ppx_derivers.1.2.1
-> installed re.1.14.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.3
-> 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 ppx_optcomp.v0.17.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_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_sexp_value.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0-1
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed 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 int_repr.v0.17.0
-> installed jsonaf.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed timezone.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.1
-> installed textutils.v0.17.0
-> installed async_rpc_kernel.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-10-20 16:08.49 ---> using "ab9f08076a51aec1e8935e11ec2a804a5eb8b23e48dfa3db16c12cb1bcbc7dc3" 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:
- arch-x86_64.1
- conf-mingw-w64-gcc-i686.1
- conf-mingw-w64-gcc-x86_64.1
- flexdll.0.44
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
- ocaml-env-mingw32.1
- ocaml-env-mingw64.1
- system-mingw.1
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-10-20 16:08.49 ---> using "251babbeade7f62a9a538b3db400a86475f129e60601a281d0f84e14c02227d4" 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 swipl.0.5 && cd swipl.0.5 && if [ -f opam ]; then mv opam swipl.opam; fi && echo swipl >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \\(.*\\))/\\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.0.5 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./swipl.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 swipl.0.5 > swipl.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-no-pkg && mv dune-project dune-project-pkg && mv dune-project-no-pkg 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 swipl >> /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 && export DUNE_CONFIG__PORTABLE_LOCK_DIR=disabled && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && PATH=$HOME/.local/bin:$PATH dune show depexts 2> /tmp/depexts-from-dune && paste -s -d \" \" /tmp/depexts-from-dune > /tmp/depexts-for-apt && sudo apt-get install -y $(cat /tmp/depexts-for-apt) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && mv dune-project-pkg dune-project && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/swipl.0.5
Solution for dune.lock:
- base.v0.17.3
- base-unix.base
- bigarray-compat.1.1.0
- conf-libffi.2.0.0
- conf-pkg-config.4
- conf-swi-prolog.1
- cppo.1.8.0
- csexp.1.5.2
- ctypes.0.23.0
- ctypes-foreign.0.23.0
- dune-configurator.3.20.2
- integers.0.7.0
- 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_intrinsics_kernel.v0.17.1
- ocamlfind.1.9.8+dune
- ppx_derivers.1.2.1
- ppx_deriving.6.1.1
- ppxlib.0.37.0
- sexplib0.v0.17.0
- stdio.v0.17.0
- stdlib-shims.0.3.0
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config
fonts-dejavu-core fonts-dejavu-mono gettext gettext-base groff-base
intltool-debian javascript-common libarchive-cpio-perl libarchive-zip-perl
libarchive13t64 libdebhelper-perl libelf1t64
libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libice6
libjpeg62-turbo libjs-jquery libltdl-dev libltdl7 libmagic-mgc libmagic1t64
libmail-sendmail-perl libossp-uuid16 libpipeline1 libpkgconf3 libpng16-16t64
libpython3-stdlib libpython3.13 libpython3.13-minimal libpython3.13-stdlib
libreadline8t64 libsm6 libsys-hostname-long-perl libtcmalloc-minimal4t64
libtool libuchardet0 libxft2 libxinerama1 libxml2-16 libxpm4 libxrender1
libxt6t64 libyaml-0-2 m4 man-db media-types pkgconf pkgconf-bin po-debconf
python3 python3-minimal python3.13 python3.13-minimal readline-common
sensible-utils swi-prolog-core swi-prolog-core-packages swi-prolog-doc
swi-prolog-nox swi-prolog-x x11-common
Suggested packages:
autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc
libasprintf-dev libgettextpo-dev gnulib-l10n groff apache2 | lighttpd
| httpd lrzip libtool-doc uuid gfortran | fortran95-compiler m4-doc apparmor
www-browser libmail-box-perl python3-doc python3-tk python3-venv
python3.13-venv python3.13-doc binfmt-support readline-doc elpa-ediprolog
swi-prolog-java swi-prolog-odbc swi-prolog-bdb
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config
fonts-dejavu-core fonts-dejavu-mono gettext gettext-base groff-base
intltool-debian javascript-common libarchive-cpio-perl libarchive-zip-perl
libarchive13t64 libdebhelper-perl libelf1t64 libffi-dev
libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libice6
libjpeg62-turbo libjs-jquery libltdl-dev libltdl7 libmagic-mgc libmagic1t64
libmail-sendmail-perl libossp-uuid16 libpipeline1 libpkgconf3 libpng16-16t64
libpython3-stdlib libpython3.13 libpython3.13-minimal libpython3.13-stdlib
libreadline8t64 libsm6 libsys-hostname-long-perl libtcmalloc-minimal4t64
libtool libuchardet0 libxft2 libxinerama1 libxml2-16 libxpm4 libxrender1
libxt6t64 libyaml-0-2 m4 man-db media-types pkg-config pkgconf pkgconf-bin
po-debconf python3 python3-minimal python3.13 python3.13-minimal
readline-common sensible-utils swi-prolog swi-prolog-core
swi-prolog-core-packages swi-prolog-doc swi-prolog-nox swi-prolog-x
x11-common
0 upgraded, 76 newly installed, 0 to remove and 4 not upgraded.
Need to get 31.5 MB of archives.
After this operation, 121 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.9-1 [865 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.9-1 [2257 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.7-1 [27.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.3-3 [74.8 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.3-3 [191 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.9-1 [1965 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.9-1 [764 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.7-1 [10.2 kB]
Get:10 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.7-1 [28.3 kB]
Get:11 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB]
Get:12 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB]
Get:13 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB]
Get:14 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.46-5 [43.6 kB]
Get:15 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-2+b1 [244 kB]
Get:16 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2 [68.5 kB]
Get:17 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-9 [1187 kB]
Get:18 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.41.2-4 [98.5 kB]
Get:19 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get:20 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB]
Get:21 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB]
Get:22 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:23 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:24 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-2 [877 kB]
Get:25 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-2 [770 kB]
Get:26 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.28 [92.4 kB]
Get:27 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-5 [540 kB]
Get:28 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 21 [12.2 kB]
Get:29 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get:30 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB]
Get:31 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B]
Get:32 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.193-3 [192 kB]
Get:33 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.16-2 [108 kB]
Get:34 http://deb.debian.org/debian unstable/main amd64 libxml2-16 amd64 2.14.6+dfsg-0.1 [651 kB]
Get:35 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-2+b1 [1680 kB]
Get:36 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:37 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get:38 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.28 [941 kB]
Get:39 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB]
Get:40 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-core all 2.37-8 [840 kB]
Get:41 http://deb.debian.org/debian unstable/main amd64 fontconfig-config amd64 2.15.0-2.4 [318 kB]
Get:42 http://deb.debian.org/debian unstable/main amd64 javascript-common all 12+nmu1 [4864 B]
Get:43 http://deb.debian.org/debian unstable/main amd64 libarchive-cpio-perl all 0.10-3 [10.8 kB]
Get:44 http://deb.debian.org/debian unstable/main amd64 libarchive13t64 amd64 3.7.4-4+b1 [349 kB]
Get:45 http://deb.debian.org/debian unstable/main amd64 libffi-dev amd64 3.5.2-2 [63.7 kB]
Get:46 http://deb.debian.org/debian unstable/main amd64 libpng16-16t64 amd64 1.6.50-1 [282 kB]
Get:47 http://deb.debian.org/debian unstable/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB]
Get:48 http://deb.debian.org/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-2.4 [401 kB]
Get:49 http://deb.debian.org/debian unstable/main amd64 x11-common all 1:7.7+25 [217 kB]
Get:50 http://deb.debian.org/debian unstable/main amd64 libice6 amd64 2:1.1.1-1 [65.4 kB]
Get:51 http://deb.debian.org/debian unstable/main amd64 libjpeg62-turbo amd64 1:2.1.5-4 [168 kB]
Get:52 http://deb.debian.org/debian unstable/main amd64 libjs-jquery all 3.7.1+dfsg+~3.5.33-1 [319 kB]
Get:53 http://deb.debian.org/debian unstable/main amd64 libltdl7 amd64 2.5.4-5 [416 kB]
Get:54 http://deb.debian.org/debian unstable/main amd64 libltdl-dev amd64 2.5.4-5 [168 kB]
Get:55 http://deb.debian.org/debian unstable/main amd64 libsys-hostname-long-perl all 1.5-3 [11.6 kB]
Get:56 http://deb.debian.org/debian unstable/main amd64 libmail-sendmail-perl all 0.82-1 [23.9 kB]
Get:57 http://deb.debian.org/debian unstable/main amd64 libossp-uuid16 amd64 1.6.5-1 [34.7 kB]
Get:58 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get:59 http://deb.debian.org/debian unstable/main amd64 libpython3.13 amd64 3.13.9-1 [2184 kB]
Get:60 http://deb.debian.org/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1 [37.3 kB]
Get:61 http://deb.debian.org/debian unstable/main amd64 libtcmalloc-minimal4t64 amd64 2.16-1 [88.9 kB]
Get:62 http://deb.debian.org/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB]
Get:63 http://deb.debian.org/debian unstable/main amd64 libxft2 amd64 2.3.6-1+b4 [54.5 kB]
Get:64 http://deb.debian.org/debian unstable/main amd64 libxinerama1 amd64 2:1.1.4-3+b4 [16.0 kB]
Get:65 http://deb.debian.org/debian unstable/main amd64 libxpm4 amd64 1:3.5.17-1+b3 [56.2 kB]
Get:66 http://deb.debian.org/debian unstable/main amd64 libxt6t64 amd64 1:1.2.1-1.3 [208 kB]
Get:67 http://deb.debian.org/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2 [52.5 kB]
Get:68 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get:69 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Get:70 http://deb.debian.org/debian unstable/main amd64 pkg-config amd64 1.8.1-4 [14.0 kB]
Get:71 http://deb.debian.org/debian unstable/main amd64 swi-prolog-core amd64 9.2.9+dfsg-1+b1 [1518 kB]
Get:72 http://deb.debian.org/debian unstable/main amd64 swi-prolog-doc all 9.2.9+dfsg-1 [1655 kB]
Get:73 http://deb.debian.org/debian unstable/main amd64 swi-prolog-core-packages amd64 9.2.9+dfsg-1+b1 [1455 kB]
Get:74 http://deb.debian.org/debian unstable/main amd64 swi-prolog-nox amd64 9.2.9+dfsg-1+b1 [213 kB]
Get:75 http://deb.debian.org/debian unstable/main amd64 swi-prolog-x amd64 9.2.9+dfsg-1+b1 [2154 kB]
Get:76 http://deb.debian.org/debian unstable/main amd64 swi-prolog amd64 9.2.9+dfsg-1+b1 [13.6 kB]
Preconfiguring packages ...
Fetched 31.5 MB in 1s (36.1 MB/s)
Selecting previously unselected package libpython3.13-minimal: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 ... 20778 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.9-1_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.9-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.9-1_amd64.deb ...
Unpacking python3.13-minimal (3.13.9-1) ...
Setting up libpython3.13-minimal:amd64 (3.13.9-1) ...
Setting up python3.13-minimal (3.13.9-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 ... 21103 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.13.7-1_amd64.deb ...
Unpacking python3-minimal (3.13.7-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_14.0.0_all.deb ...
Unpacking media-types (14.0.0) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../2-readline-common_8.3-3_all.deb ...
Unpacking readline-common (8.3-3) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../3-libreadline8t64_8.3-3_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.3-3) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../4-libpython3.13-stdlib_3.13.9-1_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.9-1) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../5-python3.13_3.13.9-1_amd64.deb ...
Unpacking python3.13 (3.13.9-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../6-libpython3-stdlib_3.13.7-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.7-1) ...
Setting up python3-minimal (3.13.7-1) ...
Selecting previously unselected package python3.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 21589 files and directories currently installed.)
Preparing to unpack .../00-python3_3.13.7-1_amd64.deb ...
Unpacking python3 (3.13.7-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.26_all.deb ...
Unpacking sensible-utils (0.0.26) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.46-5_amd64.deb ...
Unpacking libmagic-mgc (1:5.46-5) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.46-5_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.46-5) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.46-5_amd64.deb ...
Unpacking file (1:5.46-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.23.1-2+b1_amd64.deb ...
Unpacking gettext-base (0.23.1-2+b1) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-9_amd64.deb ...
Unpacking groff-base (1.23.0-9) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.41.2-4_amd64.deb ...
Unpacking bsdextrautils (2.41.2-4) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.1-1_amd64.deb ...
Unpacking man-db (2.13.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.20-2_amd64.deb ...
Unpacking m4 (1.4.20-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.18.1-2_all.deb ...
Unpacking automake (1:1.18.1-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.23.1-2_all.deb ...
Unpacking autopoint (0.23.1-2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../16-libdebhelper-perl_13.28_all.deb ...
Unpacking libdebhelper-perl (13.28) ...
Selecting previously unselected package libtool.
Preparing to unpack .../17-libtool_2.5.4-5_all.deb ...
Unpacking libtool (2.5.4-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../18-dh-autoreconf_21_all.deb ...
Unpacking dh-autoreconf (21) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../19-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../21-dh-strip-nondeterminism_1.15.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.15.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../22-libelf1t64_0.193-3_amd64.deb ...
Unpacking libelf1t64:amd64 (0.193-3) ...
Selecting previously unselected package dwz.
Preparing to unpack .../23-dwz_0.16-2_amd64.deb ...
Unpacking dwz (0.16-2) ...
Selecting previously unselected package libxml2-16:amd64.
Preparing to unpack .../24-libxml2-16_2.14.6+dfsg-0.1_amd64.deb ...
Unpacking libxml2-16:amd64 (2.14.6+dfsg-0.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../25-gettext_0.23.1-2+b1_amd64.deb ...
Unpacking gettext (0.23.1-2+b1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../26-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../27-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../28-debhelper_13.28_all.deb ...
Unpacking debhelper (13.28) ...
Selecting previously unselected package fonts-dejavu-mono.
Preparing to unpack .../29-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 .../30-fonts-dejavu-core_2.37-8_all.deb ...
Unpacking fonts-dejavu-core (2.37-8) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../31-fontconfig-config_2.15.0-2.4_amd64.deb ...
Unpacking fontconfig-config (2.15.0-2.4) ...
Selecting previously unselected package javascript-common.
Preparing to unpack .../32-javascript-common_12+nmu1_all.deb ...
Unpacking javascript-common (12+nmu1) ...
Selecting previously unselected package libarchive-cpio-perl.
Preparing to unpack .../33-libarchive-cpio-perl_0.10-3_all.deb ...
Unpacking libarchive-cpio-perl (0.10-3) ...
Selecting previously unselected package libarchive13t64:amd64.
Preparing to unpack .../34-libarchive13t64_3.7.4-4+b1_amd64.deb ...
Unpacking libarchive13t64:amd64 (3.7.4-4+b1) ...
Selecting previously unselected package libffi-dev:amd64.
Preparing to unpack .../35-libffi-dev_3.5.2-2_amd64.deb ...
Unpacking libffi-dev:amd64 (3.5.2-2) ...
Selecting previously unselected package libpng16-16t64:amd64.
Preparing to unpack .../36-libpng16-16t64_1.6.50-1_amd64.deb ...
Unpacking libpng16-16t64:amd64 (1.6.50-1) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../37-libfreetype6_2.13.3+dfsg-1_amd64.deb ...
Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../38-libfontconfig1_2.15.0-2.4_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.15.0-2.4) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../39-x11-common_1%3a7.7+25_all.deb ...
Unpacking x11-common (1:7.7+25) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../40-libice6_2%3a1.1.1-1_amd64.deb ...
Unpacking libice6:amd64 (2:1.1.1-1) ...
Selecting previously unselected package libjpeg62-turbo:amd64.
Preparing to unpack .../41-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ...
Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../42-libjs-jquery_3.7.1+dfsg+~3.5.33-1_all.deb ...
Unpacking libjs-jquery (3.7.1+dfsg+~3.5.33-1) ...
Selecting previously unselected package libltdl7:amd64.
Preparing to unpack .../43-libltdl7_2.5.4-5_amd64.deb ...
Unpacking libltdl7:amd64 (2.5.4-5) ...
Selecting previously unselected package libltdl-dev:amd64.
Preparing to unpack .../44-libltdl-dev_2.5.4-5_amd64.deb ...
Unpacking libltdl-dev:amd64 (2.5.4-5) ...
Selecting previously unselected package libsys-hostname-long-perl.
Preparing to unpack .../45-libsys-hostname-long-perl_1.5-3_all.deb ...
Unpacking libsys-hostname-long-perl (1.5-3) ...
Selecting previously unselected package libmail-sendmail-perl.
Preparing to unpack .../46-libmail-sendmail-perl_0.82-1_all.deb ...
Unpacking libmail-sendmail-perl (0.82-1) ...
Selecting previously unselected package libossp-uuid16:amd64.
Preparing to unpack .../47-libossp-uuid16_1.6.5-1_amd64.deb ...
Unpacking libossp-uuid16:amd64 (1.6.5-1) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../48-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package libpython3.13:amd64.
Preparing to unpack .../49-libpython3.13_3.13.9-1_amd64.deb ...
Unpacking libpython3.13:amd64 (3.13.9-1) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../50-libsm6_2%3a1.2.6-1_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.6-1) ...
Selecting previously unselected package libtcmalloc-minimal4t64:amd64.
Preparing to unpack .../51-libtcmalloc-minimal4t64_2.16-1_amd64.deb ...
Unpacking libtcmalloc-minimal4t64:amd64 (2.16-1) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../52-libxrender1_1%3a0.9.12-1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.12-1) ...
Selecting previously unselected package libxft2:amd64.
Preparing to unpack .../53-libxft2_2.3.6-1+b4_amd64.deb ...
Unpacking libxft2:amd64 (2.3.6-1+b4) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../54-libxinerama1_2%3a1.1.4-3+b4_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.4-3+b4) ...
Selecting previously unselected package libxpm4:amd64.
Preparing to unpack .../55-libxpm4_1%3a3.5.17-1+b3_amd64.deb ...
Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ...
Selecting previously unselected package libxt6t64:amd64.
Preparing to unpack .../56-libxt6t64_1%3a1.2.1-1.3_amd64.deb ...
Unpacking libxt6t64:amd64 (1:1.2.1-1.3) ...
Selecting previously unselected package libyaml-0-2:amd64.
Preparing to unpack .../57-libyaml-0-2_0.2.5-2_amd64.deb ...
Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../58-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../59-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../60-pkg-config_1.8.1-4_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-4) ...
Selecting previously unselected package swi-prolog-core.
Preparing to unpack .../61-swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb ...
Unpacking swi-prolog-core (9.2.9+dfsg-1+b1) ...
Selecting previously unselected package swi-prolog-doc.
Preparing to unpack .../62-swi-prolog-doc_9.2.9+dfsg-1_all.deb ...
Unpacking swi-prolog-doc (9.2.9+dfsg-1) ...
Selecting previously unselected package swi-prolog-core-packages.
Preparing to unpack .../63-swi-prolog-core-packages_9.2.9+dfsg-1+b1_amd64.deb ...
Unpacking swi-prolog-core-packages (9.2.9+dfsg-1+b1) ...
Selecting previously unselected package swi-prolog-nox.
Preparing to unpack .../64-swi-prolog-nox_9.2.9+dfsg-1+b1_amd64.deb ...
Unpacking swi-prolog-nox (9.2.9+dfsg-1+b1) ...
Selecting previously unselected package swi-prolog-x.
Preparing to unpack .../65-swi-prolog-x_9.2.9+dfsg-1+b1_amd64.deb ...
Unpacking swi-prolog-x (9.2.9+dfsg-1+b1) ...
Selecting previously unselected package swi-prolog.
Preparing to unpack .../66-swi-prolog_9.2.9+dfsg-1+b1_amd64.deb ...
Unpacking swi-prolog (9.2.9+dfsg-1+b1) ...
Setting up media-types (14.0.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up javascript-common (12+nmu1) ...
Setting up bsdextrautils (2.41.2-4) ...
Setting up libxpm4:amd64 (1:3.5.17-1+b3) ...
Setting up libxrender1:amd64 (1:0.9.12-1) ...
Setting up libmagic-mgc (1:5.46-5) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libyaml-0-2:amd64 (0.2.5-2) ...
Setting up libxml2-16:amd64 (2.14.6+dfsg-0.1) ...
Setting up libdebhelper-perl (13.28) ...
Setting up libmagic1t64:amd64 (1:5.46-5) ...
Setting up x11-common (1:7.7+25) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up gettext-base (0.23.1-2+b1) ...
Setting up m4 (1.4.20-2) ...
Setting up file (1:5.46-5) ...
Setting up libossp-uuid16:amd64 (1.6.5-1) ...
Setting up libffi-dev:amd64 (3.5.2-2) ...
Setting up libelf1t64:amd64 (0.193-3) ...
Setting up autotools-dev (20240727.1) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ...
Setting up libxinerama1:amd64 (2:1.1.4-3+b4) ...
Setting up fonts-dejavu-mono (2.37-8) ...
Setting up libpng16-16t64:amd64 (1.6.50-1) ...
Setting up autopoint (0.23.1-2) ...
Setting up libtcmalloc-minimal4t64:amd64 (2.16-1) ...
Setting up fonts-dejavu-core (2.37-8) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up libltdl7:amd64 (2.5.4-5) ...
Setting up autoconf (2.72-3.1) ...
Setting up dwz (0.16-2) ...
Setting up sensible-utils (0.0.26) ...
Setting up libarchive-cpio-perl (0.10-3) ...
Setting up libuchardet0:amd64 (0.0.8-2) ...
Setting up libjs-jquery (3.7.1+dfsg+~3.5.33-1) ...
Setting up libarchive13t64:amd64 (3.7.4-4+b1) ...
Setting up libsys-hostname-long-perl (1.5-3) ...
Setting up readline-common (8.3-3) ...
Setting up automake (1:1.18.1-2) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.15.0-1) ...
Setting up libice6:amd64 (2:1.1.1-1) ...
Setting up gettext (0.23.1-2+b1) ...
Setting up libtool (2.5.4-5) ...
Setting up fontconfig-config (2.15.0-2.4) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (21) ...
Setting up libmail-sendmail-perl (0.82-1) ...
Setting up libltdl-dev:amd64 (2.5.4-5) ...
Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
Setting up swi-prolog-core (9.2.9+dfsg-1+b1) ...
update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
Setting up pkg-config:amd64 (1.8.1-4) ...
Setting up libreadline8t64:amd64 (8.3-3) ...
Setting up dh-strip-nondeterminism (1.15.0-1) ...
Setting up groff-base (1.23.0-9) ...
Setting up swi-prolog-core-packages (9.2.9+dfsg-1+b1) ...
Setting up libfontconfig1:amd64 (2.15.0-2.4) ...
Setting up libsm6:amd64 (2:1.2.6-1) ...
Setting up libpython3.13-stdlib:amd64 (3.13.9-1) ...
Setting up libpython3-stdlib:amd64 (3.13.7-1) ...
Setting up libpython3.13:amd64 (3.13.9-1) ...
Setting up libxft2:amd64 (2.3.6-1+b4) ...
Setting up python3.13 (3.13.9-1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up swi-prolog-doc (9.2.9+dfsg-1) ...
Setting up python3 (3.13.7-1) ...
running python rtupdate hooks for python3.13...
running python post-rtupdate hooks for python3.13...
Setting up man-db (2.13.1-1) ...
Building database of manual pages ...
Setting up libxt6t64:amd64 (1:1.2.1-1.3) ...
Setting up swi-prolog-nox (9.2.9+dfsg-1+b1) ...
Setting up swi-prolog-x (9.2.9+dfsg-1+b1) ...
Setting up debhelper (13.28) ...
Setting up swi-prolog (9.2.9+dfsg-1+b1) ...
Processing triggers for libc-bin (2.41-12) ...
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building ocaml-config.3
Building ocaml.5.3.0
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading sexplib0.v0.17.0
Building sexplib0.v0.17.0
Downloading ocaml_intrinsics_kernel.v0.17.1
Building ocaml_intrinsics_kernel.v0.17.1
Downloading dune-configurator.3.20.2
Building dune-configurator.3.20.2
Downloading base.v0.17.3
Building base.v0.17.3
Downloading stdio.v0.17.0
Building stdio.v0.17.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading cppo.1.8.0
Building cppo.1.8.0
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ocamlfind.1.9.8+dune
Building ocamlfind.1.9.8+dune
Downloading ppxlib.0.37.0
Building ppxlib.0.37.0
Downloading ppx_deriving.6.1.1
Building ppx_deriving.6.1.1
Building conf-pkg-config.4
Building conf-libffi.2.0.0
Downloading bigarray-compat.1.1.0
Building bigarray-compat.1.1.0
Downloading integers.0.7.0
Building integers.0.7.0
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Downloading ctypes-foreign.0.23.0
Building ctypes-foreign.0.23.0
Building conf-swi-prolog.1
2025-10-20 16:11.38 ---> saved as "63dca89b86a9d4d5abc703df339dec2f55ac4ab70febfc58a1a13732eed00d9e"
Job succeeded
Home|Differences with the last checks|Previous runs