Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-27 16:23.25 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-02-27 16:23.25 ---> 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 3c104c6ac89932d0be359ce47322675419549a9c"))
2025-02-27 16:23.25 ---> using "be48cda5aef017983549e03aa8cba315e9f06fe7534e0ad44366e0ddefbaade5" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-02-27 16:23.25 ---> using "fc1494aa51e67cb34ab97d9370206bd9850222fafa829f5a0e35937f7e8a8771" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-02-27 16:23.25 ---> using "f79bda62b59d333ea96df8ab96e4a305c12a12c2b057b15e0c8e341fe545efca" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-27-1406.57-F-2025-02-16-2015.54.pdiff [897 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-27-1406.57-F-2025-02-16-2015.54.pdiff [897 kB]
- Fetched 1166 kB in 2s (467 kB/s)
- Reading package lists...
-
2025-02-27 16:23.25 ---> using "53a0d2f1c3224512c0f83d56a92eff24ccb171d1b14a12545e8f396ba75b4508" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-27 16:23.25 ---> using "76a729d1e05c23282a20e246a24b08381c7ed5c4e28dbe28c1f996810e6001d4" 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#-#
##O=# #
0.1%
# 1.4%
##### 7.0%
################### 27.6%
#################################################################### 94.7%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-27 16:23.25 ---> using "a1b7151c0e8f3c044ddd60ffc8b96ccf6b595c99b73483a8a9ad59428002d8c2" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "sudo apt-get install -y python3-sexpdata && echo 'import sexpdata\
\nwith open(\"dune-project\", \"r\") as f:\
\n content = [i for i in sexpdata.loads(\"(\" + f.read() + \")\") if not i[0] == sexpdata.Symbol(\"package\")]\
\n print(sexpdata.dumps(content[0]))\
\n for i in content[1:]:\
\n print(sexpdata.dumps(i))' > /tmp/opam-health-check-remove-package.py"))
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
Suggested packages:
python3-doc python3-tk python3-venv python3.13-venv python3.13-doc
binfmt-support
The following NEW packages will be installed:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3-sexpdata python3.13 python3.13-minimal
0 upgraded, 9 newly installed, 0 to remove and 56 not upgraded.
Need to get 5893 kB of archives.
After this operation, 23.1 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.2-1 [859 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.2-1 [2205 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.2-1 [27.1 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 media-types all 12.0.0 [28.9 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.2-1 [1979 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.2-1 [745 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.2-1 [10.0 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.2-1 [28.1 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 python3-sexpdata all 1.0.2-1 [9940 B]
Fetched 5893 kB in 0s (63.6 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 ... 19826 files and directories currently installed.)
Preparing to unpack .../libpython3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-minimal:amd64 (3.13.2-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../python3.13-minimal_3.13.2-1_amd64.deb ...
Unpacking python3.13-minimal (3.13.2-1) ...
Setting up libpython3.13-minimal:amd64 (3.13.2-1) ...
Setting up python3.13-minimal (3.13.2-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20151 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.13.2-1_amd64.deb ...
Unpacking python3-minimal (3.13.2-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_12.0.0_all.deb ...
Unpacking media-types (12.0.0) ...
Selecting previously unselected package libpython3.13-stdlib:amd64.
Preparing to unpack .../libpython3.13-stdlib_3.13.2-1_amd64.deb ...
Unpacking libpython3.13-stdlib:amd64 (3.13.2-1) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../python3.13_3.13.2-1_amd64.deb ...
Unpacking python3.13 (3.13.2-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../libpython3-stdlib_3.13.2-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.13.2-1) ...
Setting up python3-minimal (3.13.2-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 ... 20601 files and directories currently installed.)
Preparing to unpack .../python3_3.13.2-1_amd64.deb ...
Unpacking python3 (3.13.2-1) ...
Selecting previously unselected package python3-sexpdata.
Preparing to unpack .../python3-sexpdata_1.0.2-1_all.deb ...
Unpacking python3-sexpdata (1.0.2-1) ...
Setting up media-types (12.0.0) ...
Setting up libpython3.13-stdlib:amd64 (3.13.2-1) ...
Setting up libpython3-stdlib:amd64 (3.13.2-1) ...
Setting up python3.13 (3.13.2-1) ...
Setting up python3 (3.13.2-1) ...
running python rtupdate hooks for python3.13...
running python post-rtupdate hooks for python3.13...
Setting up python3-sexpdata (1.0.2-1) ...
2025-02-27 16:23.25 ---> using "dc19a4482efac81e36f3513ad8fbc9057fcd57c09668b36f80777eafdb454459" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-02-27 16:23.25 ---> using "187b000f64ebe93a8826707b1d7ef7afd4d7cad87f63dc1f1ba6d389a7f0a724" 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 && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && python3 /tmp/opam-health-check-remove-package.py > dune-project-new && mv dune-project-new dune-project && sudo apt-get remove -y python3-sexpdata && sudo apt-get autoremove -y && opam install ./ --depext-only --with-test --with-doc && 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 && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build --profile=release || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/lambdapi.2.6.0
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
Use 'sudo apt autoremove' to remove them.
The following packages will be REMOVED:
python3-sexpdata
0 upgraded, 0 newly installed, 1 to remove and 56 not upgraded.
After this operation, 46.1 kB disk space will be freed.
(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 ... 20630 files and directories currently installed.)
Removing python3-sexpdata (1.0.2-1) ...
Reading package lists...
Building dependency tree...
Reading state information...
The following packages will be REMOVED:
libpython3-stdlib libpython3.13-minimal libpython3.13-stdlib media-types
python3 python3-minimal python3.13 python3.13-minimal
0 upgraded, 0 newly installed, 8 to remove and 56 not upgraded.
After this operation, 23.0 MB disk space will be freed.
(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 ... 20622 files and directories currently installed.)
Removing python3 (3.13.2-1) ...
Removing libpython3-stdlib:amd64 (3.13.2-1) ...
Removing python3.13 (3.13.2-1) ...
Removing libpython3.13-stdlib:amd64 (3.13.2-1) ...
find: '/usr/lib/python3': No such file or directory
Removing python3-minimal (3.13.2-1) ...
Removing python3.13-minimal (3.13.2-1) ...
Unlinking and removing bytecode for runtime python3.13
Removing libpython3.13-minimal:amd64 (3.13.2-1) ...
find: '/usr/lib/python3': No such file or directory
Removing media-types (12.0.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"
- 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 ... 19829 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.4.1-1_amd64.deb ...
- Unpacking libssl-dev:amd64 (3.4.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../6-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../7-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../8-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.4.1-1) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libev-dev:amd64 (1:4.33-2.1+b1) ...
- 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.40-7) ...
Solution for dune.lock:
- alcotest.1.8.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.1.2
- caqti-lwt.2.1.1
- cmdliner.1.3.0
- conf-gmp.4
- conf-gmp-powm-sec.3
- 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.17.2
- dune-private-libs.3.17.2
- dune-site.3.17.2
- duration.0.2.1
- dyn.3.17.2
- eqaf.0.10
- faraday.0.8.2
- faraday-lwt.0.8.2
- faraday-lwt-unix.0.8.2
- fmt.0.9.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.7.0
- lwt.5.9.0
- lwt-dllist.1.0.1
- lwt_ppx.5.8.0
- 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
- ocamlfind.1.9.8+dune
- ocplib-endian.1.2
- ohex.0.2.0
- ordering.3.17.2
- 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.3
- seq.base
- sexplib0.v0.17.0
- ssl.0.7.0
- stdlib-shims.0.3.0
- stdune.3.17.2
- stringext.1.6.0
- timed.1.1
- tls.2.0.0
- topkg.1.0.7
- uchar.0.0.2
- unstrctrd.0.4
- uri.4.4.0
- uutf.1.0.3
- 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 ocaml-config.3
Building conf-gmp.4
Building ocaml.5.3.0
Downloading zarith.1.14
Downloading ocamlfind.1.9.8+dune
Building ocamlfind.1.9.8+dune
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 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 gen.1.1
Building gen.1.1
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading sexplib0.v0.17.0
Building sexplib0.v0.17.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading sedlex.3.3
Building sedlex.3.3
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
Downloading cmdliner.1.3.0
Building conf-gmp-powm-sec.3
Building cmdliner.1.3.0
Downloading ohex.0.2.0
Building ohex.0.2.0
Building conf-libssl.4
Building conf-libev.4-12
File "dune.lock/ocamlbuild.pkg", line 22, characters 7-74:
22 | (url https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.16.1.tar.gz)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Error trying to read targets after a rule was run:
- checksum/sha512=e918b9a0081f271e507c7a4f4d5d5a7cdf818ca51c52acec1bac85ddad5f6cad078cb3c568252fbcf5401c2d75323ed8f50fdd881bda1c9632840320408393ae/dir/examples/07-dependent-projects/libdemo: Unexpected file kind "S_DIR" (directory)
Downloading psq.0.2.1
Building psq.0.2.1
Downloading cppo.1.8.0
Building cppo.1.8.0
Downloading pecu.0.7
Building pecu.0.7
Downloading stringext.1.6.0
Downloading ocaml-syntax-shims.1.0.0
Building stringext.1.6.0
Downloading csexp.1.5.2
Building ocaml-syntax-shims.1.0.0
Downloading lwt-dllist.1.0.1
Building csexp.1.5.2
Downloading bigarray-compat.1.1.0
Building lwt-dllist.1.0.1
Downloading yojson.2.2.2
Building bigarray-compat.1.1.0
Downloading bigarray-overlap.0.2.1
Downloading gmap.0.3.0
Building bigarray-overlap.0.2.1
Building gmap.0.3.0
Building yojson.2.2.2
Downloading base64.3.5.1
Downloading macaddr.5.6.0
Building base64.3.5.1
Downloading eqaf.0.10
Building macaddr.5.6.0
Downloading pp.2.0.0
Building eqaf.0.10
Building pp.2.0.0
Downloading duration.0.2.1
Downloading result.1.5
Building duration.0.2.1
Building result.1.5
Downloading domain-name.0.4.1
Downloading mirage-clock.4.2.0
Building domain-name.0.4.1
Downloading re.1.12.0
Building mirage-clock.4.2.0
Building re.1.12.0
Downloading magic-mime.1.3.1
Building magic-mime.1.3.1
Downloading ipaddr.5.6.0
Building ipaddr.5.6.0
Downloading ordering.3.17.2
Downloading dune-configurator.3.17.2
Building ordering.3.17.2
Building dune-configurator.3.17.2
Downloading ocplib-endian.1.2
Building ocplib-endian.1.2
Downloading dyn.3.17.2
Downloading digestif.1.2.0
Building digestif.1.2.0
Building dyn.3.17.2
Downloading bigstringaf.0.10.0
Building bigstringaf.0.10.0
Downloading lwt.5.9.0
Building lwt.5.9.0
Downloading ssl.0.7.0
Building ssl.0.7.0
Downloading stdune.3.17.2
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.17.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 hpack.0.13.0
Downloading uri.4.4.0
Building hpack.0.13.0
Building uri.4.4.0
Downloading httpun.0.1.0
Building httpun.0.1.0
Downloading h2.0.10.0
Building h2.0.10.0
Downloading httpun-ws.0.2.0
Building httpun-ws.0.2.0
Downloading kdf.1.0.0
Downloading gluten-lwt.0.5.2
Downloading faraday-lwt.0.8.2
Building kdf.1.0.0
Building faraday-lwt.0.8.2
Building gluten-lwt.0.5.2
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_ppx.5.8.0
Downloading h2-lwt.0.10.0
Downloading lwt_ssl.1.2.0
Building lwt_ppx.5.8.0
Downloading dune-private-libs.3.17.2
Building h2-lwt.0.10.0
Building lwt_ssl.1.2.0
Downloading gluten-lwt-unix.0.5.2
Building gluten-lwt-unix.0.5.2
Building dune-private-libs.3.17.2
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
Downloading dune-site.3.17.2
Building dune-site.3.17.2
opam-health-check: Build failed
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source lambdapi.2.6.0 && cd lambdapi.2.6.0 && for opam in *.opam; do opam show --raw ${opam%.opam} > $opam; done && python3 /tmp/opam-health-check-remove-package.py > dune-project-new && mv dune-project-new dune-project && sudo apt-get remove -y python3-sexpdata && sudo apt-get autoremove -y && opam install ./ --depext-only --with-test --with-doc && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default))
(repository
(name default)
(url "file:///home/opam/opam-repository"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build --profile=release || (echo "opam-health-check: Build failed" && exit 1)" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs