Building on clete.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-04-13 08:58.03 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-04-13 08:58.03 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 34a3fc46c301a891122df75c17fef6b5358bd68f"))
2025-04-13 08:58.03 ---> using "6aace7ddb0315e05dcea0f25d12f96ff9dc8f85c2b8f9361b598fcff4c0fa3d6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-04-13 08:58.03 ---> using "3cfa94ba527bfa92001171dcb06fce65200e4089b0ad9cb2bcb38c055ef8ccd4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-04-13 08:58.03 ---> using "85170c7051c45444c4d443c67f8d25c7f33918a6e1d37397bf18f6282365d95c" 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 (5638 kB/s)
- Reading package lists...
-
2025-04-13 08:58.03 ---> using "5255d35dc9ff9e993cbd455c6499ad562c24bcf2a0442c988c2163254b9e1a05" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.18.0
The following actions will be performed:
=== install 1 package
- install dune 3.18.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.18.0 (cached)
-> installed dune.3.18.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-13 08:58.03 ---> using "b25e04dc6b57b5e83a1b7a423cdaa0d29d4dc5698afddb33afca39f8192e1c94" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
# 1.4%
#### 6.5%
################## 26.1%
###################################### 53.0%
######################################## 56.3%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-04-13 08:58.03 ---> using "1e311de0362a4cf8bc60a1ded16f4c6ffe1f37cccf83f29d6446fccb548016cc" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "mkdir /tmp/sexp && cd /tmp/sexp && opam switch create ./ ocaml-base-compiler.5.2.1 --no-install && opam install -y sexp && cd -"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.1 (cached)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 101 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.1 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.0 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.18.0 [required by sexp]
- install dune-configurator 3.18.0 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.10.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.5-1 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.12.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install seq base [required by re]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.0.8 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved 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 cstruct.6.2.0 (cached)
-> retrieved csvfields.v0.17.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved 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 re.1.12.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 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 uopt.v0.17.0 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved topkg.1.0.8 (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed dune.3.18.0
-> installed ppx_derivers.1.2.1
-> installed jane-street-headers.v0.17.0
-> 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 ocaml-compiler-libs.v0.17.0
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed dune-configurator.3.18.0
-> installed parsexp.v0.17.0
-> installed bigstringaf.0.10.0
-> installed faraday.0.8.2
-> installed sexplib.v0.17.0
-> installed angstrom.0.16.1
-> installed base.v0.17.1
-> installed fieldslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed 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_typerep_conv.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed 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.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-13 08:58.03 ---> using "95d2bcbff24f258ba133e219dae1c524984b747ce96bdae346dd7a1157eb767a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-04-13 08:58.03 ---> using "669eef4eb142fdb84229ce69e8814ebbd826ed332c1bacd859d632f84e513ccf" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source lambdapi.2.6.0 && cd lambdapi.2.6.0 && if [ -f opam ]; then mv opam lambdapi.opam; fi && echo lambdapi >> /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}.2.6.0 > ${package}.opam; done < /tmp/packages-in-repo && opam install ./ --depext-only --with-test --with-doc && opam install --dry-run --with-test ./lambdapi.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 lambdapi.2.6.0 > lambdapi.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 lambdapi >> /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/lambdapi.2.6.0
The following system packages will first need to be installed:
libev-dev libgmp-dev libssl-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libev-dev" "libgmp-dev" "libssl-dev" "pkg-config"
- (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 .../openssl-provider-legacy_3.5.0-1_amd64.deb ...
- Unpacking openssl-provider-legacy (3.5.0-1) over (3.4.1-1) ...
- Setting up openssl-provider-legacy (3.5.0-1) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19503 files and directories currently installed.)
- Preparing to unpack .../libssl3t64_3.5.0-1_amd64.deb ...
- Unpacking libssl3t64:amd64 (3.5.0-1) over (3.4.1-1) ...
- Setting up libssl3t64:amd64 (3.5.0-1) ...
- Selecting previously unselected package libev4t64: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 ... 19502 files and directories currently installed.)
- Preparing to unpack .../0-libev4t64_1%3a4.33-2.1+b1_amd64.deb ...
- Unpacking libev4t64:amd64 (1:4.33-2.1+b1) ...
- Selecting previously unselected package libev-dev:amd64.
- Preparing to unpack .../1-libev-dev_1%3a4.33-2.1+b1_amd64.deb ...
- Unpacking libev-dev:amd64 (1:4.33-2.1+b1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../2-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 .../3-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 .../4-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package libssl-dev:amd64.
- Preparing to unpack .../5-libssl-dev_3.5.0-1_amd64.deb ...
- Unpacking libssl-dev:amd64 (3.5.0-1) ...
- Preparing to unpack .../6-openssl_3.5.0-1_amd64.deb ...
- Unpacking openssl (3.5.0-1) over (3.4.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../7-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../8-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../9-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libev4t64:amd64 (1:4.33-2.1+b1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libssl-dev:amd64 (3.5.0-1) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libev-dev:amd64 (1:4.33-2.1+b1) ...
- Setting up openssl (3.5.0-1) ...
- Installing new version of config file /etc/ssl/openssl.cnf ...
- 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) ...
- Processing triggers for libc-bin (2.41-6) ...
Solution for dune.lock:
- alcotest.1.9.0
- angstrom.0.16.1
- asn1-combinators.0.3.2
- astring.0.8.5
- base-bytes.base
- base-threads.base
- base-unix.base
- base64.3.5.1
- bigarray-compat.1.1.0
- bigarray-overlap.0.2.1
- bigstringaf.0.10.0
- bindlib.6.0.0
- camlp-streams.5.0.1
- caqti.2.2.4
- caqti-lwt.2.2.4
- cmdliner.1.3.0
- conf-gmp.5
- conf-gmp-powm-sec.4
- conf-libev.4-12
- conf-libssl.4
- conf-pkg-config.4
- cppo.1.8.0
- csexp.1.5.2
- cstruct.6.2.0
- dedukti.2.7
- digestif.1.2.0
- domain-name.0.4.1
- dream.1.0.0~alpha8
- dream-httpaf.1.0.0~alpha4
- dream-pure.1.0.0~alpha2
- dune-configurator.3.18.0
- dune-private-libs.3.18.0
- dune-site.3.18.0
- duration.0.2.1
- dyn.3.18.0
- eqaf.0.10
- faraday.0.8.2
- faraday-lwt.0.8.2
- faraday-lwt-unix.0.8.2
- fmt.0.10.0
- gen.1.1
- gluten.0.5.2
- gluten-lwt.0.5.2
- gluten-lwt-unix.0.5.2
- gmap.0.3.0
- graphql.0.14.0
- graphql-lwt.0.14.0
- graphql_parser.0.14.0
- h2.0.10.0
- h2-lwt.0.10.0
- h2-lwt-unix.0.10.0
- hmap.0.8.1
- hpack.0.13.0
- httpaf.0.7.1
- httpun.0.1.0
- httpun-lwt.0.1.0
- httpun-lwt-unix.0.1.0
- httpun-types.0.1.0
- httpun-ws.0.2.0
- ipaddr.5.6.0
- kdf.1.0.0
- ke.0.6
- lambdasoup.1.1.1
- logs.0.8.0
- lru.0.3.1
- lwt.5.9.1
- lwt-dllist.1.0.1
- lwt_ppx.5.9.1
- lwt_ssl.1.2.0
- macaddr.5.6.0
- magic-mime.1.3.1
- markup.1.0.3
- menhir.20240715
- menhirCST.20240715
- menhirLib.20240715
- menhirSdk.20240715
- mirage-clock.4.2.0
- mirage-crypto.1.2.0
- mirage-crypto-ec.1.2.0
- mirage-crypto-pk.1.2.0
- mirage-crypto-rng.1.2.0
- mirage-crypto-rng-lwt.1.2.0
- mtime.2.1.0
- multipart_form.0.6.0
- multipart_form-lwt.0.6.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-syntax-shims.1.0.0
- ocamlbuild.0.16.1+dune
- ocamlfind.1.9.8+dune
- ocplib-endian.1.2
- ohex.0.2.0
- ordering.3.18.0
- pecu.0.7
- pp.2.0.0
- ppx_derivers.1.2.1
- ppxlib.0.35.0
- pratter.3.0.0
- prettym.0.0.3
- psq.0.2.1
- ptime.1.2.0
- re.1.12.0
- result.1.5
- rresult.0.7.0
- sedlex.3.4
- seq.base
- sexplib0.v0.17.0
- ssl.0.7.0
- stdlib-shims.0.3.0
- stdune.3.18.0
- stringext.1.6.0
- timed.1.1
- tls.2.0.0
- topkg.1.0.8
- uchar.0.0.2
- unstrctrd.0.4
- uri.4.4.0
- uutf.1.0.4
- why3.1.8.0
- x509.1.0.5
- yojson.2.2.2
- zarith.1.14
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building conf-pkg-config.4
Building conf-gmp.5
Building ocaml-config.3
Building ocaml.5.3.0
Downloading menhirLib.20240715
Downloading menhirSdk.20240715
Downloading menhirCST.20240715
Building menhirLib.20240715
Building menhirSdk.20240715
Building menhirCST.20240715
Downloading menhir.20240715
Building menhir.20240715
Downloading ocamlfind.1.9.8+dune
Building ocamlfind.1.9.8+dune
Downloading zarith.1.14
Building zarith.1.14
Downloading why3.1.8.0
Building why3.1.8.0
Downloading timed.1.1
Building timed.1.1
Building seq.base
Downloading ppx_derivers.1.2.1
Downloading sexplib0.v0.17.0
Building ppx_derivers.1.2.1
Building sexplib0.v0.17.0
Downloading gen.1.1
Downloading stdlib-shims.0.3.0
Building gen.1.1
Building stdlib-shims.0.3.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading sedlex.3.4
Building sedlex.3.4
Downloading camlp-streams.5.0.1
Building camlp-streams.5.0.1
Downloading pratter.3.0.0
Building pratter.3.0.0
Building base-unix.base
Building base-bytes.base
Building base-threads.base
Building conf-gmp-powm-sec.4
Building conf-libev.4-12
Building conf-libssl.4
Downloading cmdliner.1.3.0
Downloading ohex.0.2.0
Building cmdliner.1.3.0
Building ohex.0.2.0
Downloading cppo.1.8.0
Building cppo.1.8.0
Downloading domain-name.0.4.1
Downloading magic-mime.1.3.1
Building domain-name.0.4.1
Downloading ocamlbuild.0.16.1+dune
Building magic-mime.1.3.1
Downloading bigarray-compat.1.1.0
Downloading ocaml-syntax-shims.1.0.0
Building bigarray-compat.1.1.0
Downloading csexp.1.5.2
Building ocaml-syntax-shims.1.0.0
Building ocamlbuild.0.16.1+dune
Downloading result.1.5
Building csexp.1.5.2
Downloading pecu.0.7
Building result.1.5
Downloading mirage-clock.4.2.0
Building pecu.0.7
Downloading macaddr.5.6.0
Building mirage-clock.4.2.0
Downloading lwt-dllist.1.0.1
Building macaddr.5.6.0
Downloading eqaf.0.10
Building lwt-dllist.1.0.1
Downloading stringext.1.6.0
Building eqaf.0.10
Downloading gmap.0.3.0
Building stringext.1.6.0
Downloading duration.0.2.1
Building gmap.0.3.0
Downloading psq.0.2.1
Building duration.0.2.1
Downloading bigarray-overlap.0.2.1
Building psq.0.2.1
Downloading base64.3.5.1
Building bigarray-overlap.0.2.1
Building base64.3.5.1
Downloading pp.2.0.0
Downloading yojson.2.2.2
Building pp.2.0.0
Downloading re.1.12.0
Building yojson.2.2.2
Building re.1.12.0
Downloading ipaddr.5.6.0
Building ipaddr.5.6.0
Downloading ordering.3.18.0
Downloading dune-configurator.3.18.0
Building ordering.3.18.0
Downloading lru.0.3.1
Building lru.0.3.1
Building dune-configurator.3.18.0
Downloading ocplib-endian.1.2
Building ocplib-endian.1.2
Downloading dyn.3.18.0
Downloading digestif.1.2.0
Building digestif.1.2.0
Building dyn.3.18.0
Downloading bigstringaf.0.10.0
Building bigstringaf.0.10.0
Downloading lwt.5.9.1
Building lwt.5.9.1
Downloading ssl.0.7.0
Building ssl.0.7.0
Downloading stdune.3.18.0
Downloading mirage-crypto.1.2.0
Downloading faraday.0.8.2
Downloading angstrom.0.16.1
Building faraday.0.8.2
Building mirage-crypto.1.2.0
Building angstrom.0.16.1
Building stdune.3.18.0
Downloading topkg.1.0.8
Building topkg.1.0.8
Downloading uchar.0.0.2
Building uchar.0.0.2
Downloading gluten.0.5.2
Building gluten.0.5.2
Downloading httpun-types.0.1.0
Building httpun-types.0.1.0
Downloading httpaf.0.7.1
Building httpaf.0.7.1
Downloading uri.4.4.0
Building uri.4.4.0
Downloading hpack.0.13.0
Building hpack.0.13.0
Downloading httpun.0.1.0
Building httpun.0.1.0
Downloading kdf.1.0.0
Downloading h2.0.10.0
Building kdf.1.0.0
Building h2.0.10.0
Downloading httpun-ws.0.2.0
Building httpun-ws.0.2.0
Downloading lwt_ppx.5.9.1
Downloading gluten-lwt.0.5.2
Downloading faraday-lwt.0.8.2
Building gluten-lwt.0.5.2
Building faraday-lwt.0.8.2
Building lwt_ppx.5.9.1
Downloading faraday-lwt-unix.0.8.2
Building faraday-lwt-unix.0.8.2
Downloading httpun-lwt.0.1.0
Building httpun-lwt.0.1.0
Downloading lwt_ssl.1.2.0
Building lwt_ssl.1.2.0
Downloading h2-lwt.0.10.0
Downloading gluten-lwt-unix.0.5.2
Building gluten-lwt-unix.0.5.2
Building h2-lwt.0.10.0
Downloading dune-private-libs.3.18.0
Downloading httpun-lwt-unix.0.1.0
Downloading h2-lwt-unix.0.10.0
Building httpun-lwt-unix.0.1.0
Building h2-lwt-unix.0.10.0
Building dune-private-libs.3.18.0
Downloading rresult.0.7.0
Downloading mtime.2.1.0
Building rresult.0.7.0
Downloading uutf.1.0.4
Downloading ptime.1.2.0
Building mtime.2.1.0
Downloading hmap.0.8.1
Downloading fmt.0.10.0
Building uutf.1.0.4
Building ptime.1.2.0
Building hmap.0.8.1
Building fmt.0.10.0
Downloading dune-site.3.18.0
Building dune-site.3.18.0
Downloading logs.0.8.0
Downloading unstrctrd.0.4
Building logs.0.8.0
Downloading markup.1.0.3
Building unstrctrd.0.4
Building markup.1.0.3
Downloading graphql_parser.0.14.0
Downloading asn1-combinators.0.3.2
Downloading ke.0.6
Building asn1-combinators.0.3.2
Building graphql_parser.0.14.0
Building ke.0.6
Downloading cstruct.6.2.0
Downloading dream-pure.1.0.0~alpha2
Building cstruct.6.2.0
Building dream-pure.1.0.0~alpha2
Downloading graphql.0.14.0
Downloading prettym.0.0.3
Building graphql.0.14.0
Building prettym.0.0.3
Downloading mirage-crypto-rng.1.2.0
Building mirage-crypto-rng.1.2.0
Downloading graphql-lwt.0.14.0
Downloading lambdasoup.1.1.1
Building lambdasoup.1.1.1
Building graphql-lwt.0.14.0
Downloading multipart_form.0.6.0
Building multipart_form.0.6.0
Downloading mirage-crypto-ec.1.2.0
Downloading mirage-crypto-pk.1.2.0
Downloading mirage-crypto-rng-lwt.1.2.0
Building mirage-crypto-ec.1.2.0
Building mirage-crypto-pk.1.2.0
Downloading dream-httpaf.1.0.0~alpha4
Building mirage-crypto-rng-lwt.1.2.0
Building dream-httpaf.1.0.0~alpha4
Downloading multipart_form-lwt.0.6.0
Building multipart_form-lwt.0.6.0
Downloading x509.1.0.5
Building x509.1.0.5
Downloading tls.2.0.0
Building tls.2.0.0
Downloading caqti.2.2.4
Building caqti.2.2.4
Downloading caqti-lwt.2.2.4
Building caqti-lwt.2.2.4
Downloading dream.1.0.0~alpha8
Building dream.1.0.0~alpha8
Downloading dedukti.2.7
Building dedukti.2.7
Downloading bindlib.6.0.0
Building bindlib.6.0.0
Downloading astring.0.8.5
Building astring.0.8.5
Downloading alcotest.1.9.0
Building alcotest.1.9.0
2025-04-13 09:01.36 ---> saved as "43b4b5acbc99765625d2034b23bb9d502a2eeefdcf9bb23ed02f78133f44bf66"
Job succeeded
Home|Differences with the last checks|Previous runs