Build:
- 0
2025-02-05 19:49.32: New job: Voodoo prep frama-c.23.1; 8d729c32321de1dd853f7e1f2384595e 2025-02-05 19:49.32: Waiting for resource in pool OCluster 2025-02-06 03:26.35: Waiting for worker… 2025-02-06 03:27.56: Got resource from pool OCluster 2025-02-06 03:27.56: Using cache hint "docs-universe-prep-4.12.1" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.12@sha256:75899e8dbaa888edbbd9302949769ff52eab87d215376beae573127ec03ad944) (user (uid 1000) (gid 1000)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam install -y voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.12@sha256:75899e8dbaa888edbbd9302949769ff52eab87d215376beae573127ec03ad944) (user (uid 1000) (gid 1000)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.17.2 ocamlfind.1.9.8")) (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 "(sudo apt update) && ((opam install -y frama-c.23.1 zarith.1.14 yojson.2.0.2 why3.1.4.1 seq.base psmt2-frontend.0.1 ocplib-simplex.0.4.1 ocamlgraph.1.8.8 ocamlfind.1.9.8 num.1.5-1 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 lablgtk.2.18.14 dune.3.17.2 cppo.1.8.0 conf-zlib.1 conf-pkg-config.4 conf-gtksourceview.2 conf-gtk2.1 conf-gnomecanvas.2 conf-gmp.4 conf-autoconf.0.2 camlzip.1.11 camlp-streams.5.0.1 alt-ergo-free.2.2.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u frama-c:8d729c32321de1dd853f7e1f2384595e,yojson:39cb800f9e74e421c5289cf9fb7097f6,why3:22609b2fddfb36e7a1f5f769db892199,psmt2-frontend:f4a5667007c5d1d51631fe7d0bcf24ed,ocplib-simplex:54d071cd221340e0315b4422f4344b2e,ocamlgraph:3bfcc8c4faa3a2f88d442dee98ad53a5,lablgtk:6487709034c22aa71a9d9a108776caf5,camlzip:64f39da32932ca05fdcc1abdfe83262c,alt-ergo-free:03e65bf14ce0eac574207bc8236c5541")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.835160') && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 3ee951993de4d18fd335fcea4ac7375cab56a637 --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.12.1 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2025-02-06 03:27.56: RETRYING: 2025-02-05/194932-voodoo-prep-cc405e Number of retries: 0 (retriable error condition) Building on x86-bm-c7.sw.ocaml.org All commits already cached Updating files: 56% (13123/23248) Updating files: 57% (13252/23248) Updating files: 58% (13484/23248) Updating files: 59% (13717/23248) Updating files: 60% (13949/23248) Updating files: 61% (14182/23248) Updating files: 62% (14414/23248) Updating files: 63% (14647/23248) Updating files: 64% (14879/23248) Updating files: 65% (15112/23248) Updating files: 66% (15344/23248) Updating files: 67% (15577/23248) Updating files: 68% (15809/23248) Updating files: 69% (16042/23248) Updating files: 70% (16274/23248) Updating files: 71% (16507/23248) Updating files: 72% (16739/23248) Updating files: 73% (16972/23248) Updating files: 74% (17204/23248) Updating files: 75% (17436/23248) Updating files: 76% (17669/23248) Updating files: 77% (17901/23248) Updating files: 78% (18134/23248) Updating files: 79% (18366/23248) Updating files: 80% (18599/23248) Updating files: 81% (18831/23248) Updating files: 82% (19064/23248) Updating files: 83% (19296/23248) Updating files: 84% (19529/23248) Updating files: 85% (19761/23248) Updating files: 86% (19994/23248) Updating files: 87% (20226/23248) Updating files: 88% (20459/23248) Updating files: 89% (20691/23248) Updating files: 90% (20924/23248) Updating files: 91% (21156/23248) Updating files: 92% (21389/23248) Updating files: 93% (21621/23248) Updating files: 94% (21854/23248) Updating files: 95% (22086/23248) Updating files: 96% (22319/23248) Updating files: 97% (22551/23248) Updating files: 98% (22784/23248) Updating files: 99% (23016/23248) Updating files: 100% (23248/23248) Updating files: 100% (23248/23248), done. HEAD is now at 3ee951993d Merge pull request #27253 from kit-ty-kate/opam-publish-ocamlfind.1.9.8 (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.12@sha256:75899e8dbaa888edbbd9302949769ff52eab87d215376beae573127ec03ad944) 2025-02-06 03:28.01 ---> using "bd61e06258d8bfc0e83d9a988e26ccae3833db9328099a2ce2507a79ce923a3c" from cache /: (user (uid 1000) (gid 1000)) /: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [y/n] y [NOTE] The 'jobs' option was reset, its value was 39 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using: opam option jobs=39 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2025-02-06 03:28.01 ---> using "1b711dfbdd5ae83b8fcd90a2f14d6087c2d306e6a27e6aaa8695a55a0a053b3f" from cache /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2025-02-06 03:28.01 ---> using "0b665ba8be9d5729f4640d3aa9cfa6158860128f3cadb7f56db14c4aced5ce87" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [243 kB] Fetched 346 kB in 0s (891 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (18.8 MB/s) Selecting previously unselected package libpkgconf3: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 ... 18745 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... 2025-02-06 03:28.01 ---> using "6a8bb3f582cf4d62cd19246fd51cfc8830cc90e2dd4de82803f6113fd5c7944c" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam install -y voodoo-prep")) This will pin the following packages: voodoo-do, voodoo-gen, voodoo-lib, voodoo-prep. Continue? [y/n] y Package voodoo-do does not exist, create as a NEW package? [y/n] y voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version dev) Package voodoo-gen does not exist, create as a NEW package? [y/n] y voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version dev) Package voodoo-lib does not exist, create as a NEW package? [y/n] y voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version dev) Package voodoo-prep does not exist, create as a NEW package? [y/n] y voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version dev) <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.dev] synchronised (no changes) The following actions will be performed: === install 23 packages - install astring 0.8.5 [required by bos] - install bos 0.2.1 [required by voodoo-prep] - install cmdliner 1.3.0 [required by voodoo-prep] - install dune 3.17.2 [required by voodoo-prep] - install fmt 0.9.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install ocamlbuild 0.15.0 [required by bos] - install ocamlfind 1.9.6 [required by bos] - install ocamlgraph 2.1.0 [required by opam-core] - install opam-core 2.3.0 [required by opam-format] - install opam-file-format 2.1.6 [required by opam-format] - install opam-format 2.3.0 [required by voodoo-prep] - install re 1.12.0 [required by opam-format] - install rresult 0.7.0 [required by bos] - install seq base [required by re] - install sha 1.15.4 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install swhid_core 0.1 [required by opam-core] - install topkg 1.0.7 [required by bos] - install uutf 1.0.3 [required by opam-core] - install voodoo-prep dev (pinned) <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved astring.0.8.5 (cached) -> retrieved bos.0.2.1 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved fpath.0.7.3 (cached) -> retrieved jsonm.1.0.2 (cached) -> retrieved logs.0.7.0 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved ocamlgraph.2.1.0 (cached) -> retrieved opam-core.2.3.0, opam-format.2.3.0 (cached) -> retrieved dune.3.17.2 (cached) -> retrieved opam-file-format.2.1.6 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.0 (cached) -> retrieved rresult.0.7.0 (cached) -> retrieved sha.1.15.4 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved swhid_core.0.1 (cached) -> retrieved uutf.1.0.3 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved voodoo-prep.dev (no changes) -> installed cmdliner.1.3.0 -> installed ocamlbuild.0.15.0 -> installed ocamlfind.1.9.6 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed jsonm.1.0.2 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.17.2 -> installed stdlib-shims.0.3.0 -> installed swhid_core.0.1 -> installed opam-file-format.2.1.6 -> installed re.1.12.0 -> installed sha.1.15.4 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.3.0 -> installed opam-format.2.3.0 -> installed voodoo-prep.dev Done. # To update the current shell environment, run: eval $(opam env) 2025-02-06 03:28.02 ---> using "38ff4557bdc8bc5de6677cb174bb114cf647c94e04894449ce99bb8ce0b87295" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) [WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0. 2025-02-06 03:28.02 ---> using "d8ca1d40ec14b8dc23f39528205af271ae6bbef80716e632888fb075648df368" from cache 2025-02-06 03:28.02 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.12@sha256:75899e8dbaa888edbbd9302949769ff52eab87d215376beae573127ec03ad944) 2025-02-06 03:28.02 ---> using "bd61e06258d8bfc0e83d9a988e26ccae3833db9328099a2ce2507a79ce923a3c" from cache /: (user (uid 1000) (gid 1000)) /: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [y/n] y [NOTE] The 'jobs' option was reset, its value was 39 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using: opam option jobs=39 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2025-02-06 03:28.02 ---> using "1b711dfbdd5ae83b8fcd90a2f14d6087c2d306e6a27e6aaa8695a55a0a053b3f" from cache /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2025-02-06 03:28.02 ---> using "0b665ba8be9d5729f4640d3aa9cfa6158860128f3cadb7f56db14c4aced5ce87" from cache /home/opam: (run (shell "sudo mkdir /src")) 2025-02-06 03:28.02 ---> using "e874cc50a37361241de19bf2faadd942acd1b01029f6ae99035c3a300749bfbb" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2025-02-06 03:28.03 ---> using "1e287720c6f79783f2c36d486288fc7e040c33496c7e3dda850c1b6403d3f1dc" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2025-02-06 03:28.03 ---> using "e47db7007f89c6b5ef04406222b04649f26a1dfc9965e38ab10a5cb828a5c484" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from file:///home/opam/opam-repository 2025-02-06 03:28.03 ---> using "39e4830e82edd93d92f7fb2296202432eef4405d2edc75883e065bbb4f8aca68" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.12. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.12 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2025-02-06 03:28.03 ---> using "2812400538544df88ff6ed3aacce3e4c24eaf1a1229540bc603c26e722541fb1" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2025-02-06 03:28.03 ---> using "e2e065b9163cd707607128e4c619039e180101d801270430098153113a9b8097" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.17.2 ocamlfind.1.9.8")) The following actions will be performed: === install 2 packages - install dune 3.17.2 - install ocamlfind 1.9.8 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.8 (cached) -> retrieved dune.3.17.2 (cached) -> installed ocamlfind.1.9.8 -> installed dune.3.17.2 Done. # To update the current shell environment, run: eval $(opam env) 2025-02-06 03:28.03 ---> using "f0b637953a348dabaef15c1b7e40b3eeca8524557f87246988a5ffc0f0d6a860" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam install -y frama-c.23.1 zarith.1.14 yojson.2.0.2 why3.1.4.1 seq.base psmt2-frontend.0.1 ocplib-simplex.0.4.1 ocamlgraph.1.8.8 ocamlfind.1.9.8 num.1.5-1 menhirSdk.20211128 menhirLib.20211128 menhir.20211128 lablgtk.2.18.14 dune.3.17.2 cppo.1.8.0 conf-zlib.1 conf-pkg-config.4 conf-gtksourceview.2 conf-gtk2.1 conf-gnomecanvas.2 conf-gmp.4 conf-autoconf.0.2 camlzip.1.11 camlp-streams.5.0.1 alt-ergo-free.2.2.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [243 kB] Fetched 346 kB in 0s (815 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. [NOTE] Package dune is already installed (current version is 3.17.2). [NOTE] Package ocamlfind is already installed (current version is 1.9.8). [ERROR] Package conf-gtksourceview.2 depends on the unavailable system package 'libgtksourceview2.0-dev'. You can use `--no-depexts' to attempt installation anyway. 2025-02-06 03:28.09 ---> saved as "9eedc61d3bff3c45090c01f3f11cc8d7066e71c110413af174fbc086c031ec27" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u frama-c:8d729c32321de1dd853f7e1f2384595e,yojson:39cb800f9e74e421c5289cf9fb7097f6,why3:22609b2fddfb36e7a1f5f769db892199,psmt2-frontend:f4a5667007c5d1d51631fe7d0bcf24ed,ocplib-simplex:54d071cd221340e0315b4422f4344b2e,ocamlgraph:3bfcc8c4faa3a2f88d442dee98ad53a5,lablgtk:6487709034c22aa71a9d9a108776caf5,camlzip:64f39da32932ca05fdcc1abdfe83262c,alt-ergo-free:03e65bf14ce0eac574207bc8236c5541")) 2025-02-06 03:28.10 ---> saved as "9117b52f8990e1c3d168f15ffeb5226ad12c5e99c7d65c22582fb702dc3d1f7a" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.835160') && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0,alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541,alt-ergo-free.2.2.0 prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11,camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c,camlzip.1.11 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14,lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5,lablgtk.2.18.14 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8,ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5,ocamlgraph.1.8.8 prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1,ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e,ocplib-simplex.0.4.1 prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1,psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed,psmt2-frontend.0.1 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1,why3.1.4.1-22609b2fddfb36e7a1f5f769db892199,why3.1.4.1 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2,yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6,yojson.2.0.2 prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1,frama-c.23.1-8d729c32321de1dd853f7e1f2384595e,frama-c.23.1; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.835160 FAILED:alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541 prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0/opam prep/universes/03e65bf14ce0eac574207bc8236c5541/alt-ergo-free/2.2.0/opam.err.log FAILED:camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11/opam prep/universes/64f39da32932ca05fdcc1abdfe83262c/camlzip/1.11/opam.err.log FAILED:lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5 prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14/opam prep/universes/6487709034c22aa71a9d9a108776caf5/lablgtk/2.18.14/opam.err.log FAILED:ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5 prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8/opam prep/universes/3bfcc8c4faa3a2f88d442dee98ad53a5/ocamlgraph/1.8.8/opam.err.log FAILED:ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1/opam prep/universes/54d071cd221340e0315b4422f4344b2e/ocplib-simplex/0.4.1/opam.err.log FAILED:psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1/opam prep/universes/f4a5667007c5d1d51631fe7d0bcf24ed/psmt2-frontend/0.1/opam.err.log FAILED:why3.1.4.1-22609b2fddfb36e7a1f5f769db892199 prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1/opam prep/universes/22609b2fddfb36e7a1f5f769db892199/why3/1.4.1/opam.err.log FAILED:yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6 prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2/opam prep/universes/39cb800f9e74e421c5289cf9fb7097f6/yojson/2.0.2/opam.err.log FAILED:frama-c.23.1-8d729c32321de1dd853f7e1f2384595e prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1/opam prep/universes/8d729c32321de1dd853f7e1f2384595e/frama-c/23.1/opam.err.log Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541:2e969d4210d403b02f684dddc277cb54aa4478ccdd7fb54e29a2f3152bdb2966 HASHES:camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c:e7655c53bdeb0b471e11d03476fda4f5bd5431fbf5bd8f40f76b404bb4b49a97 HASHES:lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5:9d0e961b7da6745ace5ef2883c562435ad2fcb53247ee84f3a9d7dacf1c13a31 HASHES:ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5:19c12a951a54f22bb2c5c2796c538e176548d4de7deeb93b2ae357a44038e55d HASHES:ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e:02fd721967701b9eb84109b8e05f6b04cc2a6bb39816e1c312b4609f3a1c9505 HASHES:psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed:96a7a0b07f07deb354e1713f5820e8c87b3cfb5e4a0d71d553507032f5dd2edc HASHES:why3.1.4.1-22609b2fddfb36e7a1f5f769db892199:631ac1993d98331d76d7cef856f04db929b3cb89e33ef9707204d15190dfdc18 HASHES:yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6:13fea2f9425cef0abf94e6901469f09b984d602a516426903dce09107cbad3ab HASHES:frama-c.23.1-8d729c32321de1dd853f7e1f2384595e:4714b3f5e380dc2792458cab43a6660d0d9f930fff5e511023abc23428b7ac69 2025-02-06 03:28.26 ---> saved as "d33d98ef99f011f43dd12cbd6d00171be17020967f8492e8b340e458f4c16a64" Job succeeded 2025-02-06 03:28.30: Failed: alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541 2025-02-06 03:28.30: Failed: camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c 2025-02-06 03:28.30: Failed: lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5 2025-02-06 03:28.30: Failed: ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5 2025-02-06 03:28.30: Failed: ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e 2025-02-06 03:28.30: Failed: psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed 2025-02-06 03:28.30: Failed: why3.1.4.1-22609b2fddfb36e7a1f5f769db892199 2025-02-06 03:28.30: Failed: yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6 2025-02-06 03:28.30: Failed: frama-c.23.1-8d729c32321de1dd853f7e1f2384595e 2025-02-06 03:28.30: frama-c.23.1-8d729c32321de1dd853f7e1f2384595e -> 4714b3f5e380dc2792458cab43a6660d0d9f930fff5e511023abc23428b7ac69 2025-02-06 03:28.30: yojson.2.0.2-39cb800f9e74e421c5289cf9fb7097f6 -> 13fea2f9425cef0abf94e6901469f09b984d602a516426903dce09107cbad3ab 2025-02-06 03:28.30: why3.1.4.1-22609b2fddfb36e7a1f5f769db892199 -> 631ac1993d98331d76d7cef856f04db929b3cb89e33ef9707204d15190dfdc18 2025-02-06 03:28.30: psmt2-frontend.0.1-f4a5667007c5d1d51631fe7d0bcf24ed -> 96a7a0b07f07deb354e1713f5820e8c87b3cfb5e4a0d71d553507032f5dd2edc 2025-02-06 03:28.30: ocplib-simplex.0.4.1-54d071cd221340e0315b4422f4344b2e -> 02fd721967701b9eb84109b8e05f6b04cc2a6bb39816e1c312b4609f3a1c9505 2025-02-06 03:28.30: ocamlgraph.1.8.8-3bfcc8c4faa3a2f88d442dee98ad53a5 -> 19c12a951a54f22bb2c5c2796c538e176548d4de7deeb93b2ae357a44038e55d 2025-02-06 03:28.30: lablgtk.2.18.14-6487709034c22aa71a9d9a108776caf5 -> 9d0e961b7da6745ace5ef2883c562435ad2fcb53247ee84f3a9d7dacf1c13a31 2025-02-06 03:28.30: camlzip.1.11-64f39da32932ca05fdcc1abdfe83262c -> e7655c53bdeb0b471e11d03476fda4f5bd5431fbf5bd8f40f76b404bb4b49a97 2025-02-06 03:28.30: alt-ergo-free.2.2.0-03e65bf14ce0eac574207bc8236c5541 -> 2e969d4210d403b02f684dddc277cb54aa4478ccdd7fb54e29a2f3152bdb2966 2025-02-06 03:28.30: Job succeeded