Building on x86-bm-c2.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
5bfb8b57cc63: Pulling fs layer
5bfb8b57cc63: Verifying Checksum
5bfb8b57cc63: Download complete
5bfb8b57cc63: Pull complete
Digest: sha256:c4b67ce89e60dc436d8d0c2ab8c32374ac9ea098ee284c206f7818aedc9b0470
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-06-02 18:32.39 ---> saved as "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b"
/: (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-06-02 18:32.39 ---> saved as "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7"
/: (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 f7c62d8b58219a7acd28190fe0201d4936b925dc"))
2025-06-02 18:33.37 ---> saved as "8ec8fb3b01920805c5882225a060245d1e01b7f8a58452744d80fb4d9c84a3bb"
/: (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-06-02 18:34.11 ---> saved as "5056a2e943e16023d9efb7b6072ad686303918b43171b6ec17c275a75e483e0c"
/: (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-06-02 18:39.22 ---> saved as "41d02235938b3656a61bde013c8f42923117467d695b98e386543c081bf5db2a"
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [208 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-06-02-1403.59-F-2025-06-01-0803.54.pdiff [20.0 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-06-02-1403.59-F-2025-06-01-0803.54.pdiff [20.0 kB]
- Fetched 292 kB in 2s (121 kB/s)
- Reading package lists...
-
2025-06-02 18:39.26 ---> saved as "b0cd07434375db6604406f18f965a6c279255458c60838a23b112a3006dafc94"
/: (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.19.0
The following actions will be performed:
=== install 1 package
- install dune 3.19.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.19.0 (cached)
-> installed dune.3.19.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-02 18:40.04 ---> saved as "7356a21f688af1029bba84f7d15d4839a804c28223967275a49a5188ebbd5ca3"
/: (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#-#
# 1.4%
################################################################ 89.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-06-02 18:40.05 ---> saved as "088b741a9b0de263c3a24a6306c6854cf5ddcded87c6204eb385b8f376b0d0f8"
/: (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.2 [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.19.0 [required by sexp]
- install dune-configurator 3.19.0 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.10.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.5-1 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.12.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install seq base [required by re]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.0.8 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base.v0.17.2 (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 csvfields.v0.17.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved dune.3.19.0, dune-configurator.3.19.0 (cached)
-> installed num.1.5-1
-> installed ocamlbuild.0.16.1
-> 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 re2.v0.17.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved ppxlib.0.35.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 ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed dune.3.19.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-compiler-libs.v0.17.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed re.1.12.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.19.0
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.2
-> installed fieldslib.v0.17.0
-> installed variantslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_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_fields_conv.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_sexp_conv.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_sexp_value.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 ppx_string.v0.17.0
-> installed bin_prot.v0.17.0-1
-> 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 gel.v0.17.0
-> installed uopt.v0.17.0
-> installed jane_rope.v0.17.0
-> installed jsonaf.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed 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 async_rpc_kernel.v0.17.0
-> installed textutils.v0.17.0
-> installed shell.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
-> installed sexp_macro.v0.17.0
-> installed re2.v0.17.0
-> installed sexp.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
/
2025-06-02 18:48.36 ---> saved as "edcd07168de0b5baba3a3a2dda4e0217580f7714a2f2e68bf6c546dc47805c9e"
/: (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
- mingw-w64-shims.0.2.0
- 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-06-02 18:53.17 ---> saved as "1a0725e47b4a8a55e887cca04acdfeaf74ecb10ef87ff7a102d5fd3e6f1249f5"
/: (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 acgtk.2.1.0 && cd acgtk.2.1.0 && if [ -f opam ]; then mv opam acgtk.opam; fi && echo acgtk >> /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.1.0 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./acgtk.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 acgtk.2.1.0 > acgtk.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 acgtk >> /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/acgtk.2.1.0
Solution for dune.lock:
- ANSITerminal.0.8.5
- base-bigarray.base
- base-bytes.base
- base-threads.base
- base-unix.base
- cairo2.0.6.5
- cmdliner.1.3.0
- conf-cairo.1
- conf-pkg-config.4
- conf-readline.1
- csexp.1.5.2
- dune-configurator.3.19.0
- fmt.0.9.0
- gen.1.1
- logs.0.8.0
- menhir.20240715
- menhirCST.20240715
- menhirLib.20240715
- menhirSdk.20240715
- mtime.2.1.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
- ocamlbuild.0.16.1+dune
- ocamlfind.1.9.8+dune
- ocamlgraph.2.2.0
- ppx_derivers.1.2.1
- ppxlib.0.36.0
- readline.0.2
- sedlex.3.4
- seq.base
- sexplib0.v0.17.0
- stdlib-shims.0.3.0
- topkg.1.0.8
- yojson.2.2.2
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
bzip2-doc fontconfig-config fonts-dejavu-core fonts-dejavu-mono
girepository-tools libblkid-dev libbrotli-dev libbz2-dev libcairo-gobject2
libcairo-script-interpreter2 libcairo2 libelf1t64 libexpat1-dev libffi-dev
libfontconfig-dev libfontconfig1 libfreetype-dev libfreetype6 libgio-2.0-dev
libgio-2.0-dev-bin libgirepository-2.0-0 libglib2.0-0t64 libglib2.0-bin
libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libice-dev libice6
liblzo2-2 libmount-dev libncurses-dev libncurses6 libpcre2-16-0
libpcre2-32-0 libpcre2-dev libpcre2-posix3 libpixman-1-0 libpixman-1-dev
libpkgconf3 libpng-dev libpng-tools libpng16-16t64 libpython3-stdlib
libpython3.13-minimal libpython3.13-stdlib libreadline8t64 libselinux1-dev
libsepol-dev libsm-dev libsm6 libsysprof-capture-4-dev libxcb-render0
libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxext-dev libxml2
libxrender-dev libxrender1 media-types native-architecture pkgconf
pkgconf-bin python3 python3-minimal python3-packaging python3.13
python3.13-minimal readline-common shared-mime-info uuid-dev x11-common
xdg-user-dirs zlib1g-dev
Suggested packages:
libcairo2-doc freetype2-doc gir1.2-glib-2.0-dev libglib2.0-doc
libgdk-pixbuf2.0-bin libxml2-utils low-memory-monitor libice-doc ncurses-doc
readline-doc libsm-doc libxext-doc python3-doc python3-tk python3-venv
python3.13-venv python3.13-doc binfmt-support
The following NEW packages will be installed:
bzip2-doc fontconfig-config fonts-dejavu-core fonts-dejavu-mono
girepository-tools libblkid-dev libbrotli-dev libbz2-dev libcairo-gobject2
libcairo-script-interpreter2 libcairo2 libcairo2-dev libelf1t64
libexpat1-dev libffi-dev libfontconfig-dev libfontconfig1 libfreetype-dev
libfreetype6 libgio-2.0-dev libgio-2.0-dev-bin libgirepository-2.0-0
libglib2.0-0t64 libglib2.0-bin libglib2.0-data libglib2.0-dev
libglib2.0-dev-bin libice-dev libice6 liblzo2-2 libmount-dev libncurses-dev
libncurses6 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix3
libpixman-1-0 libpixman-1-dev libpkgconf3 libpng-dev libpng-tools
libpng16-16t64 libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib
libreadline-dev libreadline8t64 libselinux1-dev libsepol-dev libsm-dev
libsm6 libsysprof-capture-4-dev libxcb-render0 libxcb-render0-dev
libxcb-shm0 libxcb-shm0-dev libxext-dev libxml2 libxrender-dev libxrender1
media-types native-architecture pkg-config pkgconf pkgconf-bin python3
python3-minimal python3-packaging python3.13 python3.13-minimal
readline-common shared-mime-info uuid-dev x11-common xdg-user-dirs
zlib1g-dev
0 upgraded, 77 newly installed, 0 to remove and 3 not upgraded.
Need to get 24.6 MB of archives.
After this operation, 92.8 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.3-4 [861 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.3-4 [2216 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.3-1 [27.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 media-types all 13.0.0 [29.3 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.2-6 [69.4 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.2-6 [169 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.3-4 [1955 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.3-4 [751 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.3-1 [10.2 kB]
Get:10 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.3-1 [28.2 kB]
Get:11 http://deb.debian.org/debian unstable/main amd64 bzip2-doc all 1.0.8-6 [505 kB]
Get:12 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-mono all 2.37-8 [489 kB]
Get:13 http://deb.debian.org/debian unstable/main amd64 fonts-dejavu-core all 2.37-8 [840 kB]
Get:14 http://deb.debian.org/debian unstable/main amd64 fontconfig-config amd64 2.15.0-2.3 [318 kB]
Get:15 http://deb.debian.org/debian unstable/main amd64 native-architecture all 0.2.6 [2264 B]
Get:16 http://deb.debian.org/debian unstable/main amd64 libglib2.0-0t64 amd64 2.84.2-1 [1516 kB]
Get:17 http://deb.debian.org/debian unstable/main amd64 libgirepository-2.0-0 amd64 2.84.2-1 [142 kB]
Get:18 http://deb.debian.org/debian unstable/main amd64 girepository-tools amd64 2.84.2-1 [149 kB]
Get:19 http://deb.debian.org/debian unstable/main amd64 uuid-dev amd64 2.41-5 [48.8 kB]
Get:20 http://deb.debian.org/debian unstable/main amd64 libblkid-dev amd64 2.41-5 [208 kB]
Get:21 http://deb.debian.org/debian unstable/main amd64 libbrotli-dev amd64 1.1.0-2+b7 [316 kB]
Get:22 http://deb.debian.org/debian unstable/main amd64 libbz2-dev amd64 1.0.8-6 [31.4 kB]
Get:23 http://deb.debian.org/debian unstable/main amd64 libpng16-16t64 amd64 1.6.48-1 [282 kB]
Get:24 http://deb.debian.org/debian unstable/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB]
Get:25 http://deb.debian.org/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-2.3 [392 kB]
Get:26 http://deb.debian.org/debian unstable/main amd64 libpixman-1-0 amd64 0.44.0-3 [248 kB]
Get:27 http://deb.debian.org/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b1 [115 kB]
Get:28 http://deb.debian.org/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b1 [105 kB]
Get:29 http://deb.debian.org/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB]
Get:30 http://deb.debian.org/debian unstable/main amd64 libcairo2 amd64 1.18.4-1+b1 [538 kB]
Get:31 http://deb.debian.org/debian unstable/main amd64 libcairo-gobject2 amd64 1.18.4-1+b1 [130 kB]
Get:32 http://deb.debian.org/debian unstable/main amd64 liblzo2-2 amd64 2.10-3+b1 [55.1 kB]
Get:33 http://deb.debian.org/debian unstable/main amd64 libcairo-script-interpreter2 amd64 1.18.4-1+b1 [59.3 kB]
Get:34 http://deb.debian.org/debian unstable/main amd64 libexpat1-dev amd64 2.7.1-1 [161 kB]
Get:35 http://deb.debian.org/debian unstable/main amd64 zlib1g-dev amd64 1:1.3.dfsg+really1.3.1-1+b1 [920 kB]
Get:36 http://deb.debian.org/debian unstable/main amd64 libpng-dev amd64 1.6.48-1 [366 kB]
Get:37 http://deb.debian.org/debian unstable/main amd64 libfreetype-dev amd64 2.13.3+dfsg-1 [622 kB]
Get:38 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get:39 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get:40 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Get:41 http://deb.debian.org/debian unstable/main amd64 libfontconfig-dev amd64 2.15.0-2.3 [414 kB]
Get:42 http://deb.debian.org/debian unstable/main amd64 libffi-dev amd64 3.4.8-2 [61.1 kB]
Get:43 http://deb.debian.org/debian unstable/main amd64 libsepol-dev amd64 3.8.1-1 [373 kB]
Get:44 http://deb.debian.org/debian unstable/main amd64 libpcre2-16-0 amd64 10.45-1 [281 kB]
Get:45 http://deb.debian.org/debian unstable/main amd64 libpcre2-32-0 amd64 10.45-1 [268 kB]
Get:46 http://deb.debian.org/debian unstable/main amd64 libpcre2-posix3 amd64 10.45-1 [63.5 kB]
Get:47 http://deb.debian.org/debian unstable/main amd64 libpcre2-dev amd64 10.45-1 [853 kB]
Get:48 http://deb.debian.org/debian unstable/main amd64 libselinux1-dev amd64 3.8.1-1 [169 kB]
Get:49 http://deb.debian.org/debian unstable/main amd64 libmount-dev amd64 2.41-5 [30.5 kB]
Get:50 http://deb.debian.org/debian unstable/main amd64 libsysprof-capture-4-dev amd64 48.0-2 [49.9 kB]
Get:51 http://deb.debian.org/debian unstable/main amd64 libgio-2.0-dev amd64 2.84.2-1 [1688 kB]
Get:52 http://deb.debian.org/debian unstable/main amd64 libglib2.0-data all 2.84.2-1 [1285 kB]
Get:53 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get:54 http://deb.debian.org/debian unstable/main amd64 libglib2.0-bin amd64 2.84.2-1 [129 kB]
Get:55 http://deb.debian.org/debian unstable/main amd64 python3-packaging all 25.0-1 [56.6 kB]
Get:56 http://deb.debian.org/debian unstable/main amd64 libgio-2.0-dev-bin amd64 2.84.2-1 [165 kB]
Get:57 http://deb.debian.org/debian unstable/main amd64 libglib2.0-dev-bin amd64 2.84.2-1 [53.6 kB]
Get:58 http://deb.debian.org/debian unstable/main amd64 libglib2.0-dev amd64 2.84.2-1 [54.4 kB]
Get:59 http://deb.debian.org/debian unstable/main amd64 libpixman-1-dev amd64 0.44.0-3 [11.4 kB]
Get:60 http://deb.debian.org/debian unstable/main amd64 x11-common all 1:7.7+24 [217 kB]
Get:61 http://deb.debian.org/debian unstable/main amd64 libice6 amd64 2:1.1.1-1 [65.4 kB]
Get:62 http://deb.debian.org/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1 [37.3 kB]
Get:63 http://deb.debian.org/debian unstable/main amd64 libice-dev amd64 2:1.1.1-1 [73.8 kB]
Get:64 http://deb.debian.org/debian unstable/main amd64 libsm-dev amd64 2:1.2.6-1 [39.7 kB]
Get:65 http://deb.debian.org/debian unstable/main amd64 libxcb-render0-dev amd64 1.17.0-2+b1 [118 kB]
Get:66 http://deb.debian.org/debian unstable/main amd64 libxcb-shm0-dev amd64 1.17.0-2+b1 [108 kB]
Get:67 http://deb.debian.org/debian unstable/main amd64 libxext-dev amd64 2:1.3.4-1+b3 [104 kB]
Get:68 http://deb.debian.org/debian unstable/main amd64 libxrender-dev amd64 1:0.9.12-1 [39.0 kB]
Get:69 http://deb.debian.org/debian unstable/main amd64 libcairo2-dev amd64 1.18.4-1+b1 [43.4 kB]
Get:70 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB]
Get:71 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB]
Get:72 http://deb.debian.org/debian unstable/main amd64 libpng-tools amd64 1.6.48-1 [130 kB]
Get:73 http://deb.debian.org/debian unstable/main amd64 libreadline-dev amd64 8.2-6 [153 kB]
Get:74 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-1 [698 kB]
Get:75 http://deb.debian.org/debian unstable/main amd64 pkg-config amd64 1.8.1-4 [14.0 kB]
Get:76 http://deb.debian.org/debian unstable/main amd64 shared-mime-info amd64 2.4-5+b2 [760 kB]
Get:77 http://deb.debian.org/debian unstable/main amd64 xdg-user-dirs amd64 0.18-2 [53.2 kB]
Preconfiguring packages ...
Fetched 24.6 MB in 0s (51.4 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 ... 20680 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.3-4_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.3-4) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.3-4_amd64.deb ...
Unpacking python3.13-minimal (3.13.3-4) ...
Setting up libpython3.13-minimal:amd64 (3.13.3-4) ...
Setting up python3.13-minimal (3.13.3-4) ...
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 ... 21005 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.13.3-1_amd64.deb ...
Unpacking python3-minimal (3.13.3-1) ...
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.3-4_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.3-4) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../5-python3.13_3.13.3-4_amd64.deb ...
Unpacking python3.13 (3.13.3-4) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../6-libpython3-stdlib_3.13.3-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.3-1) ...
Setting up python3-minimal (3.13.3-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 ... 21491 files and directories currently installed.)
Preparing to unpack .../00-python3_3.13.3-1_amd64.deb ...
Unpacking python3 (3.13.3-1) ...
Selecting previously unselected package bzip2-doc.
Preparing to unpack .../01-bzip2-doc_1.0.8-6_all.deb ...
Unpacking bzip2-doc (1.0.8-6) ...
Selecting previously unselected package fonts-dejavu-mono.
Preparing to unpack .../02-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 .../03-fonts-dejavu-core_2.37-8_all.deb ...
Unpacking fonts-dejavu-core (2.37-8) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../04-fontconfig-config_2.15.0-2.3_amd64.deb ...
Unpacking fontconfig-config (2.15.0-2.3) ...
Selecting previously unselected package native-architecture.
Preparing to unpack .../05-native-architecture_0.2.6_all.deb ...
Unpacking native-architecture (0.2.6) ...
Selecting previously unselected package libglib2.0-0t64:amd64.
Preparing to unpack .../06-libglib2.0-0t64_2.84.2-1_amd64.deb ...
Unpacking libglib2.0-0t64:amd64 (2.84.2-1) ...
Selecting previously unselected package libgirepository-2.0-0:amd64.
Preparing to unpack .../07-libgirepository-2.0-0_2.84.2-1_amd64.deb ...
Unpacking libgirepository-2.0-0:amd64 (2.84.2-1) ...
Selecting previously unselected package girepository-tools:amd64.
Preparing to unpack .../08-girepository-tools_2.84.2-1_amd64.deb ...
Unpacking girepository-tools:amd64 (2.84.2-1) ...
Selecting previously unselected package uuid-dev:amd64.
Preparing to unpack .../09-uuid-dev_2.41-5_amd64.deb ...
Unpacking uuid-dev:amd64 (2.41-5) ...
Selecting previously unselected package libblkid-dev:amd64.
Preparing to unpack .../10-libblkid-dev_2.41-5_amd64.deb ...
Unpacking libblkid-dev:amd64 (2.41-5) ...
Selecting previously unselected package libbrotli-dev:amd64.
Preparing to unpack .../11-libbrotli-dev_1.1.0-2+b7_amd64.deb ...
Unpacking libbrotli-dev:amd64 (1.1.0-2+b7) ...
Selecting previously unselected package libbz2-dev:amd64.
Preparing to unpack .../12-libbz2-dev_1.0.8-6_amd64.deb ...
Unpacking libbz2-dev:amd64 (1.0.8-6) ...
Selecting previously unselected package libpng16-16t64:amd64.
Preparing to unpack .../13-libpng16-16t64_1.6.48-1_amd64.deb ...
Unpacking libpng16-16t64:amd64 (1.6.48-1) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../14-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 .../15-libfontconfig1_2.15.0-2.3_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.15.0-2.3) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../16-libpixman-1-0_0.44.0-3_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.44.0-3) ...
Selecting previously unselected package libxcb-render0:amd64.
Preparing to unpack .../17-libxcb-render0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-shm0:amd64.
Preparing to unpack .../18-libxcb-shm0_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../19-libxrender1_1%3a0.9.12-1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.12-1) ...
Selecting previously unselected package libcairo2:amd64.
Preparing to unpack .../20-libcairo2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libcairo-gobject2:amd64.
Preparing to unpack .../21-libcairo-gobject2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo-gobject2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package liblzo2-2:amd64.
Preparing to unpack .../22-liblzo2-2_2.10-3+b1_amd64.deb ...
Unpacking liblzo2-2:amd64 (2.10-3+b1) ...
Selecting previously unselected package libcairo-script-interpreter2:amd64.
Preparing to unpack .../23-libcairo-script-interpreter2_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo-script-interpreter2:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libexpat1-dev:amd64.
Preparing to unpack .../24-libexpat1-dev_2.7.1-1_amd64.deb ...
Unpacking libexpat1-dev:amd64 (2.7.1-1) ...
Selecting previously unselected package zlib1g-dev:amd64.
Preparing to unpack .../25-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
Selecting previously unselected package libpng-dev:amd64.
Preparing to unpack .../26-libpng-dev_1.6.48-1_amd64.deb ...
Unpacking libpng-dev:amd64 (1.6.48-1) ...
Selecting previously unselected package libfreetype-dev:amd64.
Preparing to unpack .../27-libfreetype-dev_2.13.3+dfsg-1_amd64.deb ...
Unpacking libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../28-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../29-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../30-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package libfontconfig-dev:amd64.
Preparing to unpack .../31-libfontconfig-dev_2.15.0-2.3_amd64.deb ...
Unpacking libfontconfig-dev:amd64 (2.15.0-2.3) ...
Selecting previously unselected package libffi-dev:amd64.
Preparing to unpack .../32-libffi-dev_3.4.8-2_amd64.deb ...
Unpacking libffi-dev:amd64 (3.4.8-2) ...
Selecting previously unselected package libsepol-dev:amd64.
Preparing to unpack .../33-libsepol-dev_3.8.1-1_amd64.deb ...
Unpacking libsepol-dev:amd64 (3.8.1-1) ...
Selecting previously unselected package libpcre2-16-0:amd64.
Preparing to unpack .../34-libpcre2-16-0_10.45-1_amd64.deb ...
Unpacking libpcre2-16-0:amd64 (10.45-1) ...
Selecting previously unselected package libpcre2-32-0:amd64.
Preparing to unpack .../35-libpcre2-32-0_10.45-1_amd64.deb ...
Unpacking libpcre2-32-0:amd64 (10.45-1) ...
Selecting previously unselected package libpcre2-posix3:amd64.
Preparing to unpack .../36-libpcre2-posix3_10.45-1_amd64.deb ...
Unpacking libpcre2-posix3:amd64 (10.45-1) ...
Selecting previously unselected package libpcre2-dev:amd64.
Preparing to unpack .../37-libpcre2-dev_10.45-1_amd64.deb ...
Unpacking libpcre2-dev:amd64 (10.45-1) ...
Selecting previously unselected package libselinux1-dev:amd64.
Preparing to unpack .../38-libselinux1-dev_3.8.1-1_amd64.deb ...
Unpacking libselinux1-dev:amd64 (3.8.1-1) ...
Selecting previously unselected package libmount-dev:amd64.
Preparing to unpack .../39-libmount-dev_2.41-5_amd64.deb ...
Unpacking libmount-dev:amd64 (2.41-5) ...
Selecting previously unselected package libsysprof-capture-4-dev:amd64.
Preparing to unpack .../40-libsysprof-capture-4-dev_48.0-2_amd64.deb ...
Unpacking libsysprof-capture-4-dev:amd64 (48.0-2) ...
Selecting previously unselected package libgio-2.0-dev:amd64.
Preparing to unpack .../41-libgio-2.0-dev_2.84.2-1_amd64.deb ...
Unpacking libgio-2.0-dev:amd64 (2.84.2-1) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../42-libglib2.0-data_2.84.2-1_all.deb ...
Unpacking libglib2.0-data (2.84.2-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../43-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../44-libglib2.0-bin_2.84.2-1_amd64.deb ...
Unpacking libglib2.0-bin (2.84.2-1) ...
Selecting previously unselected package python3-packaging.
Preparing to unpack .../45-python3-packaging_25.0-1_all.deb ...
Unpacking python3-packaging (25.0-1) ...
Selecting previously unselected package libgio-2.0-dev-bin.
Preparing to unpack .../46-libgio-2.0-dev-bin_2.84.2-1_amd64.deb ...
Unpacking libgio-2.0-dev-bin (2.84.2-1) ...
Selecting previously unselected package libglib2.0-dev-bin.
Preparing to unpack .../47-libglib2.0-dev-bin_2.84.2-1_amd64.deb ...
Unpacking libglib2.0-dev-bin (2.84.2-1) ...
Selecting previously unselected package libglib2.0-dev:amd64.
Preparing to unpack .../48-libglib2.0-dev_2.84.2-1_amd64.deb ...
Unpacking libglib2.0-dev:amd64 (2.84.2-1) ...
Selecting previously unselected package libpixman-1-dev:amd64.
Preparing to unpack .../49-libpixman-1-dev_0.44.0-3_amd64.deb ...
Unpacking libpixman-1-dev:amd64 (0.44.0-3) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../50-x11-common_1%3a7.7+24_all.deb ...
Unpacking x11-common (1:7.7+24) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../51-libice6_2%3a1.1.1-1_amd64.deb ...
Unpacking libice6:amd64 (2:1.1.1-1) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../52-libsm6_2%3a1.2.6-1_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.6-1) ...
Selecting previously unselected package libice-dev:amd64.
Preparing to unpack .../53-libice-dev_2%3a1.1.1-1_amd64.deb ...
Unpacking libice-dev:amd64 (2:1.1.1-1) ...
Selecting previously unselected package libsm-dev:amd64.
Preparing to unpack .../54-libsm-dev_2%3a1.2.6-1_amd64.deb ...
Unpacking libsm-dev:amd64 (2:1.2.6-1) ...
Selecting previously unselected package libxcb-render0-dev:amd64.
Preparing to unpack .../55-libxcb-render0-dev_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-render0-dev:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxcb-shm0-dev:amd64.
Preparing to unpack .../56-libxcb-shm0-dev_1.17.0-2+b1_amd64.deb ...
Unpacking libxcb-shm0-dev:amd64 (1.17.0-2+b1) ...
Selecting previously unselected package libxext-dev:amd64.
Preparing to unpack .../57-libxext-dev_2%3a1.3.4-1+b3_amd64.deb ...
Unpacking libxext-dev:amd64 (2:1.3.4-1+b3) ...
Selecting previously unselected package libxrender-dev:amd64.
Preparing to unpack .../58-libxrender-dev_1%3a0.9.12-1_amd64.deb ...
Unpacking libxrender-dev:amd64 (1:0.9.12-1) ...
Selecting previously unselected package libcairo2-dev:amd64.
Preparing to unpack .../59-libcairo2-dev_1.18.4-1+b1_amd64.deb ...
Unpacking libcairo2-dev:amd64 (1.18.4-1+b1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../60-libncurses6_6.5+20250216-2_amd64.deb ...
Unpacking libncurses6:amd64 (6.5+20250216-2) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../61-libncurses-dev_6.5+20250216-2_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
Selecting previously unselected package libpng-tools.
Preparing to unpack .../62-libpng-tools_1.6.48-1_amd64.deb ...
Unpacking libpng-tools (1.6.48-1) ...
Selecting previously unselected package libreadline-dev:amd64.
Preparing to unpack .../63-libreadline-dev_8.2-6_amd64.deb ...
Unpacking libreadline-dev:amd64 (8.2-6) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../64-libxml2_2.12.7+dfsg+really2.9.14-1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-1) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../65-pkg-config_1.8.1-4_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-4) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../66-shared-mime-info_2.4-5+b2_amd64.deb ...
Unpacking shared-mime-info (2.4-5+b2) ...
Selecting previously unselected package xdg-user-dirs.
Preparing to unpack .../67-xdg-user-dirs_0.18-2_amd64.deb ...
Unpacking xdg-user-dirs (0.18-2) ...
Setting up media-types (13.0.0) ...
Setting up libpixman-1-0:amd64 (0.44.0-3) ...
Setting up bzip2-doc (1.0.8-6) ...
Setting up libpixman-1-dev:amd64 (0.44.0-3) ...
Setting up native-architecture (0.2.6) ...
Setting up libxrender1:amd64 (1:0.9.12-1) ...
Setting up xdg-user-dirs (0.18-2) ...
Setting up libxcb-render0:amd64 (1.17.0-2+b1) ...
Setting up x11-common (1:7.7+24) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up liblzo2-2:amd64 (2.10-3+b1) ...
Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ...
Setting up libffi-dev:amd64 (3.4.8-2) ...
Setting up libpcre2-16-0:amd64 (10.45-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up libsysprof-capture-4-dev:amd64 (48.0-2) ...
Setting up libxcb-shm0-dev:amd64 (1.17.0-2+b1) ...
Setting up libpcre2-32-0:amd64 (10.45-1) ...
Setting up libglib2.0-0t64:amd64 (2.84.2-1) ...
No schema files found: doing nothing.
Setting up libglib2.0-data (2.84.2-1) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libexpat1-dev:amd64 (2.7.1-1) ...
Setting up uuid-dev:amd64 (2.41-5) ...
Setting up libncurses6:amd64 (6.5+20250216-2) ...
Setting up fonts-dejavu-mono (2.37-8) ...
Setting up libpng16-16t64:amd64 (1.6.48-1) ...
Setting up fonts-dejavu-core (2.37-8) ...
Setting up libsepol-dev:amd64 (3.8.1-1) ...
Setting up libxcb-render0-dev:amd64 (1.17.0-2+b1) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up libxext-dev:amd64 (2:1.3.4-1+b3) ...
Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
Setting up libpcre2-posix3:amd64 (10.45-1) ...
Setting up libxrender-dev:amd64 (1:0.9.12-1) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-1) ...
Setting up libbrotli-dev:amd64 (1.1.0-2+b7) ...
Setting up libbz2-dev:amd64 (1.0.8-6) ...
Setting up libblkid-dev:amd64 (2.41-5) ...
Setting up libice6:amd64 (2:1.1.1-1) ...
Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
Setting up libpcre2-dev:amd64 (10.45-1) ...
Setting up libice-dev:amd64 (2:1.1.1-1) ...
Setting up libpng-tools (1.6.48-1) ...
Setting up libgirepository-2.0-0:amd64 (2.84.2-1) ...
Setting up libselinux1-dev:amd64 (3.8.1-1) ...
Setting up fontconfig-config (2.15.0-2.3) ...
Setting up libpng-dev:amd64 (1.6.48-1) ...
Setting up libglib2.0-bin (2.84.2-1) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
Setting up shared-mime-info (2.4-5+b2) ...
Setting up pkg-config:amd64 (1.8.1-4) ...
Setting up libreadline8t64:amd64 (8.2-6) ...
Setting up libfontconfig1:amd64 (2.15.0-2.3) ...
Setting up libsm6:amd64 (2:1.2.6-1) ...
Setting up libpython3.13-stdlib:amd64 (3.13.3-4) ...
Setting up libmount-dev:amd64 (2.41-5) ...
Setting up libpython3-stdlib:amd64 (3.13.3-1) ...
Setting up libgio-2.0-dev:amd64 (2.84.2-1) ...
Setting up girepository-tools:amd64 (2.84.2-1) ...
Setting up python3.13 (3.13.3-4) ...
Setting up libsm-dev:amd64 (2:1.2.6-1) ...
Setting up python3 (3.13.3-1) ...
running python rtupdate hooks for python3.13...
running python post-rtupdate hooks for python3.13...
Setting up libreadline-dev:amd64 (8.2-6) ...
Setting up libcairo2:amd64 (1.18.4-1+b1) ...
Setting up libfreetype-dev:amd64 (2.13.3+dfsg-1) ...
Setting up python3-packaging (25.0-1) ...
Setting up libcairo-gobject2:amd64 (1.18.4-1+b1) ...
Setting up libcairo-script-interpreter2:amd64 (1.18.4-1+b1) ...
Setting up libgio-2.0-dev-bin (2.84.2-1) ...
Setting up libfontconfig-dev:amd64 (2.15.0-2.3) ...
Setting up libglib2.0-dev-bin (2.84.2-1) ...
Setting up libglib2.0-dev:amd64 (2.84.2-1) ...
Setting up libcairo2-dev:amd64 (1.18.4-1+b1) ...
Processing triggers for libc-bin (2.41-8) ...
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building ocaml-config.3
Building ocaml.5.3.0
Building seq.base
Downloading yojson.2.2.2
Building yojson.2.2.2
Downloading sexplib0.v0.17.0
Downloading ocaml-compiler-libs.v0.17.0
Building sexplib0.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading gen.1.1
Building gen.1.1
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ppxlib.0.36.0
Building ppxlib.0.36.0
Downloading sedlex.3.4
Building sedlex.3.4
Building conf-readline.1
Downloading readline.0.2
Building readline.0.2
Downloading ocamlgraph.2.2.0
Building ocamlgraph.2.2.0
Downloading ocamlfind.1.9.8+dune
Downloading ocamlbuild.0.16.1+dune
Building ocamlfind.1.9.8+dune
Building ocamlbuild.0.16.1+dune
Downloading topkg.1.0.8
Building topkg.1.0.8
Downloading mtime.2.1.0
Building mtime.2.1.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
Building base-unix.base
Building base-threads.base
Downloading cmdliner.1.3.0
Building cmdliner.1.3.0
Downloading fmt.0.9.0
Building fmt.0.9.0
Downloading logs.0.8.0
Building logs.0.8.0
Building base-bigarray.base
Building conf-pkg-config.4
Building conf-cairo.1
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading dune-configurator.3.19.0
Building dune-configurator.3.19.0
Downloading cairo2.0.6.5
Building cairo2.0.6.5
Building base-bytes.base
Downloading ANSITerminal.0.8.5
Building ANSITerminal.0.8.5
(cd _build/default/src/scripting && ../../../_private/default/.pkg/menhir/target/bin/menhir parser.mly --compile-errors parserMessages.messages) > _build/default/src/scripting/parserMessages.ml
Read 33 sample input sentences and 33 error messages.
(cd _build/default/src/datalog.prover && ../../../_private/default/.pkg/menhir/target/bin/menhir dl_parser.mly --compile-errors dl_parser.messages) > _build/default/src/datalog.prover/messages.ml
Read 24 sample input sentences and 11 error messages.
(cd _build/default/src/grammars && ../../../_private/default/.pkg/menhir/target/bin/menhir --base data_parser file_parser.mly lex_parser.mly sig_parser.mly term_type_parser.mly bound_term_parser.mly --compile-errors data_parser.messages) > _build/default/src/grammars/messages.ml
Read 127 sample input sentences and 74 error messages.
2025-06-02 19:02.33 ---> saved as "60f8aae931c06b287beaadcd3093f6ceaf0777be7f8cce44793ed469540c9598"
Job succeeded
Home|Differences with the last checks|Previous runs