Building on clete.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-04-07 14:41.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-04-07 14:41.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 7481045c8aec2316943b4c295413417737152f54"))
2025-04-07 14:41.49 ---> using "cde7e7824149dc78a0c0c775bc4ba1c19eb67ec1a7b813948b67c30c2bbd4a29" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-04-07 14:41.49 ---> using "97b2446ed379651baf5fb5d5ee73977a90520d3e74ef932e684af0f4647b53ba" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-04-07 14:41.49 ---> using "5a27804e6af47253e8f6aae1c0bad5110d12979de118152542fb1df6fac99a94" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Err:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Couldn't find the start of the patch series
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [10.2 MB]
- Fetched 10.4 MB in 2s (6686 kB/s)
- Reading package lists...
-
2025-04-07 14:41.49 ---> using "3b50182ab5667b0ac13868e4467137bd81dab445df079c1bb4ebc551b596c4bc" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.18.0
The following actions will be performed:
=== install 1 package
- install dune 3.18.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.18.0 (cached)
-> installed dune.3.18.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-07 14:41.49 ---> using "eae7f353120f00e20b43a7110afa4437a026d8836d10fd8967d9608c9c0d8722" 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.5%
################## 25.9%
################################ 45.1%
############################################## 64.2%
################################################### 71.7%
############################################################# 85.8%
#################################################################### 95.4%
###################################################################### 98.3%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
#=#=#
##O#-#
0.0%
## 3.6%
##### 8.0%
######## 12.4%
########### 16.5%
############## 20.7%
################# 24.8%
#################### 28.9%
####################### 33.0%
########################## 36.9%
############################# 40.7%
############################### 44.4%
################################## 48.3%
##################################### 51.6%
###################################### 53.8%
######################################## 56.1%
########################################## 58.5%
########################################### 60.8%
############################################# 63.4%
############################################### 66.1%
################################################# 68.6%
################################################### 71.1%
##################################################### 73.7%
####################################################### 76.5%
######################################################## 79.0%
########################################################## 81.6%
############################################################ 83.6%
############################################################# 85.4%
############################################################## 87.2%
################################################################ 89.1%
################################################################# 91.0%
################################################################## 93.0%
#################################################################### 95.3%
###################################################################### 97.9%
######################################################################## 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-04-07 14:41.49 ---> using "199d24cb1445d2290bc224cb8f9a4eef64e9e53a4245e4395a8de1eb0550fe46" 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 (https://github.com/ocaml/ocaml/releases/download/5.2.1/ocaml-5.2.1.tar.gz)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 101 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.1 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.0 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.18.0 [required by sexp]
- install dune-configurator 3.18.0 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.10.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.5-1 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.12.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install seq base [required by re]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.0.8 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base.v0.17.1 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved bin_prot.v0.17.0 (cached)
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-g++.1.0
-> retrieved core_unix.v0.17.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved csvfields.v0.17.0 (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 gel.v0.17.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_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 dune.3.18.0, dune-configurator.3.18.0 (cached)
-> installed num.1.5-1
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved re2.v0.17.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved sexp.v0.17.0 (cached)
-> retrieved sexp_diff.v0.17.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved sexp_select.v0.17.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved shell.v0.17.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed dune.3.18.0
-> installed jane-street-headers.v0.17.0
-> installed ppx_derivers.1.2.1
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed re.1.12.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.18.0
-> installed bigstringaf.0.10.0
-> installed faraday.0.8.2
-> installed sexplib.v0.17.0
-> installed angstrom.0.16.1
-> installed base.v0.17.1
-> installed regex_parser_intf.v0.17.0
-> installed variantslib.v0.17.0
-> installed fieldslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_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
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed ppx_log.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed jane_rope.v0.17.0
-> installed jsonaf.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed timezone.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.0
-> installed 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-04-07 14:41.49 ---> using "db03f7cfce5c9d39b17180377ad5573007ebcc6466e4407586624d898c991fda" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-04-07 14:41.49 ---> using "fc0d5e102882febeb85cfeb1a9c553550bb9c6a01fcffd56b5a043f8bbcb4ece" 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 rocq-prover.9.0.0 && cd rocq-prover.9.0.0 && if [ -f opam ]; then mv opam rocq-prover.opam; fi && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./rocq-prover.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 rocq-prover.9.0.0 > rocq-prover.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-new && mv dune-project-new dune-project && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && echo rocq-prover >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/rocq-prover.9.0.0
The following system packages will first need to be installed:
libgmp-dev pkg-config python3 time
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config" "python3" "time"
- 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 ... 19503 files and directories currently installed.)
- Preparing to unpack .../libpython3.13-minimal_3.13.2-3_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.2-3) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.2-3_amd64.deb ...
- Unpacking python3.13-minimal (3.13.2-3) ...
- Setting up libpython3.13-minimal:amd64 (3.13.2-3) ...
- Setting up python3.13-minimal (3.13.2-3) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19828 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.2-2_amd64.deb ...
- Unpacking python3-minimal (3.13.2-2) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.2-3_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.2-3) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.2-3_amd64.deb ...
- Unpacking python3.13 (3.13.2-3) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.2-2_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.2-2) ...
- Setting up python3-minimal (3.13.2-2) ...
- Selecting previously unselected package python3.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20310 files and directories currently installed.)
- Preparing to unpack .../0-python3_3.13.2-2_amd64.deb ...
- Unpacking python3 (3.13.2-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../1-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 .../2-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../3-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../4-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../5-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../6-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package time.
- Preparing to unpack .../7-time_1.9-0.2_amd64.deb ...
- Unpacking time (1.9-0.2) ...
- Setting up media-types (13.0.0) ...
- Setting up time (1.9-0.2) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up readline-common (8.2-6) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.2-3) ...
- Setting up libpython3-stdlib:amd64 (3.13.2-2) ...
- Setting up python3.13 (3.13.2-3) ...
- Setting up python3 (3.13.2-2) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Processing triggers for libc-bin (2.41-6) ...
bash: line 1: dune-project: No such file or directory
opam-health-check: Solve failed
opam-health-check: Build failed
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source rocq-prover.9.0.0 && cd rocq-prover.9.0.0 && if [ -f opam ]; then mv opam rocq-prover.opam; fi && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./rocq-prover.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 rocq-prover.9.0.0 > rocq-prover.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-new && mv dune-project-new dune-project && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default))
(repository
(name default)
(url "file:///home/opam/opam-repository"))
' > dune-workspace && echo rocq-prover >> /tmp/packages-to-build && while read package ; do if grep --quiet $package /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo "opam-version: \"2.0\"" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo "opam-health-check: Solve failed" && exit 1) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs