Build:
- 0
2024-09-12 08:35.54: New job: Voodoo prep kind2.1.5.0; 5dcfee4a93fe66807fc955ad568170a0 2024-09-12 08:35.54: Waiting for resource in pool OCluster 2024-09-12 20:11.23: Waiting for worker… 2024-09-12 20:11.23: Got resource from pool OCluster 2024-09-12 20:11.23: Using cache hint "docs-universe-prep-5.0.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933) (user (uid 1000) (gid 1000)) (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 depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933) (user (uid 1000) (gid 1000)) (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.1 /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.16.0")) (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 depext -viy kind2.1.5.0 zmq.5.1.3 yojson.2.2.2 stdint.0.7.2 seq.base num.1.5-1 menhirSdk.20211012 menhirLib.20211012 menhir.20211012 host-arch-x86_64.1 dune-configurator.3.16.0 dune-build-info.3.16.0 dune.3.16.0 csexp.1.5.2 conf-zmq.0.1 conf-pkg-config.3 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u kind2:5dcfee4a93fe66807fc955ad568170a0,menhirSdk:b64a6451f120b5a24b51cc095bfa4a23,menhirLib:b64a6451f120b5a24b51cc095bfa4a23,menhir:beb45db0edb68a278c9ca53542615370,dune-build-info:b64a6451f120b5a24b51cc095bfa4a23")) (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.972281') && (for DATA in prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; 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/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; 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 545557a0078aa899c3c9081c5f58a256ddfc2249 --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.0.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-09-12 20:11.23: RETRYING: 2024-09-12/083554-voodoo-prep-cc19ba Number of retries: 0 (retriable error condition) Building on x86-bm-c6.sw.ocaml.org All commits already cached Updating files: 76% (24443/31828) Updating files: 77% (24508/31828) Updating files: 78% (24826/31828) Updating files: 79% (25145/31828) Updating files: 80% (25463/31828) Updating files: 81% (25781/31828) Updating files: 82% (26099/31828) Updating files: 83% (26418/31828) Updating files: 84% (26736/31828) Updating files: 85% (27054/31828) Updating files: 86% (27373/31828) Updating files: 87% (27691/31828) Updating files: 88% (28009/31828) Updating files: 89% (28327/31828) Updating files: 90% (28646/31828) Updating files: 91% (28964/31828) Updating files: 92% (29282/31828) Updating files: 93% (29601/31828) Updating files: 94% (29919/31828) Updating files: 95% (30237/31828) Updating files: 96% (30555/31828) Updating files: 97% (30874/31828) Updating files: 98% (31192/31828) Updating files: 99% (31510/31828) Updating files: 100% (31828/31828) Updating files: 100% (31828/31828), done. HEAD is now at 545557a007 Moved num patch to separate 1.5-1 package version (build "tools" …) (from ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933) Unable to find image 'ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933' locally docker.io/ocaml/opam@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933: Pulling from ocaml/opam ec352867d6d9: Pulling fs layer ec352867d6d9: Verifying Checksum ec352867d6d9: Download complete ec352867d6d9: Pull complete Digest: sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933 Status: Downloaded newer image for ocaml/opam@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933 2024-09-12 20:04.08 ---> using "3a3d00233f8a9261aad295b88d74e8ac843276009b6a3970e1f350da7f3d6884" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:04.08 ---> using "b169bc19aadea562ee9c86da8f393ca369caa4f6f0fe6704a16e0d43db0a2092" 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 bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (1113 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 (15.0 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 ... 18733 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+deb12u8) ... 2024-09-12 20:04.08 ---> using "8cc5850cd8f2dd698a585b6e7c8d189cdb247abf551c86d52f5acc0d5e64d6f4" 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 depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep 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.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib 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.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.15.0 [required by bos] - install dune 3.16.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install opam-file-format 2.1.6 [required by opam-format] - install topkg 1.0.7 [required by bos] - install re 1.12.0 [required by opam-format] - install sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - install uutf 1.0.3 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-core 2.2.1 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 23 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.3.0] found in cache [dune.3.16.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [jsonm.1.0.2] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.15.0] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.2.1] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.2.1] found in cache [re.1.12.0] found in cache [rresult.0.7.0] found in cache [sha.1.15.4] found in cache [stdlib-shims.0.3.0] found in cache [swhid_core.0.1] found in cache [topkg.1.0.7] found in cache [uutf.1.0.3] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> 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.16.0 -> 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.2.1 -> installed opam-format.2.2.1 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:04.08 ---> using "4181eda313486c5234575cb464198f35db51d0570c5357a19078507097b8f156" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 20:04.08 ---> using "9c3436527eb0aafa9e477ec1e9b6b7a47f061e3ab1ac2877661eb31b58c6ed7f" from cache 2024-09-12 20:04.08 --> finished "tools" (from ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933) Unable to find image 'ocaml/opam:debian-12-ocaml-5.0@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933' locally docker.io/ocaml/opam@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933: Pulling from ocaml/opam ec352867d6d9: Pulling fs layer ec352867d6d9: Verifying Checksum ec352867d6d9: Download complete ec352867d6d9: Pull complete Digest: sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933 Status: Downloaded newer image for ocaml/opam@sha256:b85f6e0052d832ee9a2d105ad0106bdcdbac89af60760eee0391e0cf6a85f933 2024-09-12 20:04.08 ---> using "3a3d00233f8a9261aad295b88d74e8ac843276009b6a3970e1f350da7f3d6884" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 20:04.08 ---> using "b169bc19aadea562ee9c86da8f393ca369caa4f6f0fe6704a16e0d43db0a2092" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 20:04.08 ---> using "9f629e8cfb37309fb7a1d4d8789cef3fda89ec12a328034c3a5fcc53f4ab95b0" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 20:04.16 ---> saved as "a298432a12711ea313fddb57e1020e7dab5b2371c7c9665cd0fab6d94055caba" /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 20:04.16 ---> saved as "193e0905ca8d1435ace75502179c5d4fbc6240c76cbf5e01162f454db51a1888" /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /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.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-12 20:05.26 ---> saved as "751772761ae07bb81027d8c86d2762fb17125d4812f2ca423c77c1e6884dc63d" /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 5.0. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 5.0 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-09-12 20:05.49 ---> saved as "12427482fc0c45685a6cf7b8eb5ca045a0c4ad9acb59cf08d129dc40411eb8fa" /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 20:05.49 ---> saved as "8dcda4988acbf1fa663701d85adc2afc7c3931f588a94efa59bee0e673fc29f8" /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.16.0")) The following actions will be performed: - install dune 3.16.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved dune.3.16.0 (cached) -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:06.39 ---> saved as "8dc2abb72c8c9d4f80a1e9a999b63ac61357f944f815c3a00f541640dea3d17f" /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 depext -viy kind2.1.5.0 zmq.5.1.3 yojson.2.2.2 stdint.0.7.2 seq.base num.1.5-1 menhirSdk.20211012 menhirLib.20211012 menhir.20211012 host-arch-x86_64.1 dune-configurator.3.16.0 dune-build-info.3.16.0 dune.3.16.0 csexp.1.5.2 conf-zmq.0.1 conf-pkg-config.3 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 bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (1085 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy kind2.1.5.0 zmq.5.1.3 yojson.2.2.2 stdint.0.7.2 seq.base num.1.5-1 menhirSdk.20211012 menhirLib.20211012 menhir.20211012 host-arch-x86_64.1 dune-configurator.3.16.0 dune-build-info.3.16.0 dune.3.16.0 csexp.1.5.2 conf-zmq.0.1 conf-pkg-config.3" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: libzmq3-dev pkg-config [NOTE] Package dune is already installed (current version is 3.16.0). [NOTE] Package host-arch-x86_64 is already installed (current version is 1). The following actions will be performed: - install seq base - install stdint 0.7.2 - install csexp 1.5.2 - install menhirLib 20211012 - install menhirSdk 20211012 - install conf-pkg-config 3 - install dune-build-info 3.16.0 - install num 1.5-1 - install yojson 2.2.2 - install dune-configurator 3.16.0 - install menhir 20211012 - install conf-zmq 0.1 - install zmq 5.1.3 - install kind2 1.5.0 ===== 14 to install ===== The following system packages will first need to be installed: libzmq3-dev pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libzmq3-dev" "pkg-config" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package comerr-dev: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 ... 18733 files and directories currently installed.) - Preparing to unpack .../00-comerr-dev_2.1-1.47.0-2_amd64.deb ... - Unpacking comerr-dev:amd64 (2.1-1.47.0-2) ... - Selecting previously unselected package libnorm1:amd64. - Preparing to unpack .../01-libnorm1_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm1:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libpgm-5.3-0:amd64. - Preparing to unpack .../02-libpgm-5.3-0_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium23:amd64. - Preparing to unpack .../03-libsodium23_1.0.18-1_amd64.deb ... - Unpacking libsodium23:amd64 (1.0.18-1) ... - Selecting previously unselected package libzmq5:amd64. - Preparing to unpack .../04-libzmq5_4.3.4-6_amd64.deb ... - Unpacking libzmq5:amd64 (4.3.4-6) ... - Selecting previously unselected package libpgm-dev:amd64. - Preparing to unpack .../05-libpgm-dev_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium-dev:amd64. - Preparing to unpack .../06-libsodium-dev_1.0.18-1_amd64.deb ... - Unpacking libsodium-dev:amd64 (1.0.18-1) ... - Selecting previously unselected package libicu72:amd64. - Preparing to unpack .../07-libicu72_72.1-3_amd64.deb ... - Unpacking libicu72:amd64 (72.1-3) ... - Selecting previously unselected package icu-devtools. - Preparing to unpack .../08-icu-devtools_72.1-3_amd64.deb ... - Unpacking icu-devtools (72.1-3) ... - Selecting previously unselected package libicu-dev:amd64. - Preparing to unpack .../09-libicu-dev_72.1-3_amd64.deb ... - Unpacking libicu-dev:amd64 (72.1-3) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../10-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libxml2-dev:amd64. - Preparing to unpack .../11-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libnorm-dev:amd64. - Preparing to unpack .../12-libnorm-dev_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libgssrpc4:amd64. - Preparing to unpack .../13-libgssrpc4_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libgssrpc4:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkdb5-10:amd64. - Preparing to unpack .../14-libkdb5-10_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkdb5-10:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkadm5srv-mit12:amd64. - Preparing to unpack .../15-libkadm5srv-mit12_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkadm5srv-mit12:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkadm5clnt-mit12:amd64. - Preparing to unpack .../16-libkadm5clnt-mit12_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package krb5-multidev:amd64. - Preparing to unpack .../17-krb5-multidev_1.20.1-2+deb12u2_amd64.deb ... - Unpacking krb5-multidev:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkrb5-dev:amd64. - Preparing to unpack .../18-libkrb5-dev_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkrb5-dev:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libmd-dev:amd64. - Preparing to unpack .../19-libmd-dev_1.0.4-2_amd64.deb ... - Unpacking libmd-dev:amd64 (1.0.4-2) ... - Selecting previously unselected package libbsd-dev:amd64. - Preparing to unpack .../20-libbsd-dev_0.11.7-2_amd64.deb ... - Unpacking libbsd-dev:amd64 (0.11.7-2) ... - Selecting previously unselected package libzmq3-dev:amd64. - Preparing to unpack .../21-libzmq3-dev_4.3.4-6_amd64.deb ... - Unpacking libzmq3-dev:amd64 (4.3.4-6) ... - Selecting previously unselected package cppzmq-dev:amd64. - Preparing to unpack .../22-cppzmq-dev_4.9.0-1_amd64.deb ... - Unpacking cppzmq-dev:amd64 (4.9.0-1) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../23-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../24-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../25-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../26-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Setting up libsodium23:amd64 (1.0.18-1) ... - Setting up libicu72:amd64 (72.1-3) ... - Setting up libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Setting up libnorm1:amd64 (1.5.9+dfsg-2) ... - Setting up libgssrpc4:amd64 (1.20.1-2+deb12u2) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Setting up comerr-dev:amd64 (2.1-1.47.0-2) ... - Setting up icu-devtools (72.1-3) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up libsodium-dev:amd64 (1.0.18-1) ... - Setting up libmd-dev:amd64 (1.0.4-2) ... - Setting up libicu-dev:amd64 (72.1-3) ... - Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up libbsd-dev:amd64 (0.11.7-2) ... - Setting up libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u2) ... - Setting up libkdb5-10:amd64 (1.20.1-2+deb12u2) ... - Setting up libzmq5:amd64 (4.3.4-6) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Setting up libkadm5srv-mit12:amd64 (1.20.1-2+deb12u2) ... - Setting up krb5-multidev:amd64 (1.20.1-2+deb12u2) ... - Setting up libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Setting up libkrb5-dev:amd64 (1.20.1-2+deb12u2) ... - Setting up libzmq3-dev:amd64 (4.3.4-6) ... - Setting up cppzmq-dev:amd64 (4.9.0-1) ... - Processing triggers for libc-bin (2.36-9+deb12u8) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved conf-zmq.0.1 (cached) Processing 3/42: Processing 4/42: Processing 5/42: Processing 6/42: [conf-pkg-config: pkg-config] -> retrieved csexp.1.5.2 (cached) Processing 7/42: [kind2.1.5.0: http] [conf-pkg-config: pkg-config] Processing 8/42: [kind2.1.5.0: http] [conf-pkg-config: pkg-config] [csexp: dune build] -> retrieved dune-build-info.3.16.0 (cached) Processing 9/42: [kind2.1.5.0: http] [conf-pkg-config: pkg-config] [csexp: dune build] Processing 10/42: [kind2.1.5.0: http] [conf-pkg-config: pkg-config] [csexp: dune build] [dune-build-info: rm] -> retrieved dune-configurator.3.16.0 (cached) Processing 11/42: [kind2.1.5.0: http] [conf-pkg-config: pkg-config] [csexp: dune build] [dune-build-info: rm] - usage: pkgconf [OPTIONS] [LIBRARIES] - - basic options: - - --help this message - --about print pkgconf version and license to stdout - --version print supported pkg-config version to stdout - --atleast-pkgconfig-version check whether or not pkgconf is compatible - with a specified pkg-config version - --errors-to-stdout print all errors on stdout instead of stderr - --print-errors ensure all errors are printed - --short-errors be less verbose about some errors - --silence-errors explicitly be silent about errors - --list-all list all known packages - --list-package-names list all known package names - --simulate simulate walking the calculated dependency graph - --no-cache do not cache already seen packages when - walking the dependency graph - --log-file=filename write an audit log to a specified file - --with-path=path adds a directory to the search path - --define-prefix override the prefix variable with one that is guessed based on - the location of the .pc file - --dont-define-prefix do not override the prefix variable under any circumstances - --prefix-variable=varname sets the name of the variable that pkgconf considers - to be the package prefix - --relocate=path relocates a path and exits (mostly for testsuite) - --dont-relocate-paths disables path relocation support - - cross-compilation personality support: - - --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename' - --dump-personality dumps details concerning selected personality - - checking specific pkg-config database entries: - - --atleast-version require a specific version of a module - --exact-version require an exact version of a module - --max-version require a maximum version of a module - --exists check whether or not a module exists - --uninstalled check whether or not an uninstalled module will be used - --no-uninstalled never use uninstalled modules when satisfying dependencies - --no-provides do not use 'provides' rules to resolve dependencies - --maximum-traverse-depth maximum allowed depth for dependency graph - --static be more aggressive when computing dependency graph - (for static linking) - --shared use a simplified dependency graph (usually default) - --pure optimize a static dependency graph as if it were a normal - dependency graph - --env-only look only for package entries in PKG_CONFIG_PATH - --ignore-conflicts ignore 'conflicts' rules in modules - --validate validate specific .pc files for correctness - - querying specific pkg-config database fields: - - --define-variable=varname=value define variable 'varname' as 'value' - --variable=varname print specified variable entry to stdout - --cflags print required CFLAGS to stdout - --cflags-only-I print required include-dir CFLAGS to stdout - --cflags-only-other print required non-include-dir CFLAGS to stdout - --libs print required linker flags to stdout - --libs-only-L print required LDPATH linker flags to stdout - --libs-only-l print required LIBNAME linker flags to stdout - --libs-only-other print required other linker flags to stdout - --print-requires print required dependency frameworks to stdout - --print-requires-private print required dependency frameworks for static - linking to stdout - --print-provides print provided dependencies to stdout - --print-variables print all known variables in module to stdout - --digraph print entire dependency graph in graphviz 'dot' format - --keep-system-cflags keep -I/usr/include entries in cflags output - --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output - --path show the exact filenames for any matching .pc files - --modversion print the specified module's version to stdout - --internal-cflags do not filter 'internal' cflags from output - - filtering output: - - --msvc-syntax print translatable fragments in MSVC syntax - --fragment-filter=types filter output fragments to the specified types - - report bugs to <https://github.com/pkgconf/pkgconf/issues/new>. -> compiled conf-pkg-config.3 Processing 11/42: [kind2.1.5.0: http] [csexp: dune build] [dune-build-info: rm] -> installed conf-pkg-config.3 Processing 12/42: [kind2.1.5.0: http] [csexp: dune build] [dune-build-info: rm] Processing 13/42: [kind2.1.5.0: http] [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [csexp: dune build] [dune-build-info: rm] Processing 13/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [csexp: dune build] [dune-build-info: rm] -> compiled csexp.1.5.2 Processing 13/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] -> installed csexp.1.5.2 Processing 14/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] Processing 15/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] -> retrieved menhir.20211012 (cached) Processing 16/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] -> retrieved menhirLib.20211012 (cached) Processing 17/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] Processing 18/42: [conf-zmq: sh cc test.c $(pkg-config --libs --cflags libzmq)] [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> compiled conf-zmq.0.1 Processing 18/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> installed conf-zmq.0.1 Processing 19/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> retrieved kind2.1.5.0 (https://github.com/kind2-mc/kind2/archive/v1.5.0.tar.gz) -> retrieved seq.base (cached) Processing 20/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] Processing 21/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] Processing 22/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> installed seq.base Processing 23/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] -> retrieved menhirSdk.20211012 (cached) Processing 24/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] Processing 25/42: [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] Processing 25/42: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] -> retrieved num.1.5-1 (cached) Processing 26/42: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] applying num-in-findlib-dir.patch Processing 27/42: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] -> retrieved stdint.0.7.2 (cached) Processing 28/42: [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] [stdint: dune build] Processing 28/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] [stdint: dune build] -> retrieved yojson.2.2.2 (cached) Processing 29/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: patch] [stdint: dune build] [yojson: dune build] -> retrieved zmq.5.1.3 (cached) Processing 29/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> compiled menhirSdk.20211012 Processing 29/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> installed menhirSdk.20211012 Processing 30/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20211012 Processing 30/42: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> installed menhirLib.20211012 Processing 31/42: [dune-build-info: dune build] [dune-configurator: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] Processing 32/42: [dune-build-info: dune build] [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> compiled dune-build-info.3.16.0 Processing 32/42: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> installed dune-build-info.3.16.0 Processing 33/42: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [stdint: dune build] [yojson: dune build] -> compiled stdint.0.7.2 Processing 33/42: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> installed stdint.0.7.2 Processing 34/42: [dune-configurator: dune build] [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> compiled dune-configurator.3.16.0 Processing 34/42: [menhir: dune build] [num: make opam-modern] [yojson: dune build] -> installed dune-configurator.3.16.0 Processing 35/42: [menhir: dune build] [num: make opam-modern] [yojson: dune build] Processing 36/42: [menhir: dune build] [num: make opam-modern] [yojson: dune build] [zmq: dune build] -> compiled yojson.2.2.2 Processing 36/42: [menhir: dune build] [num: make opam-modern] [zmq: dune build] -> installed yojson.2.2.2 Processing 37/42: [menhir: dune build] [num: make opam-modern] [zmq: dune build] - /usr/bin/make -C src all - make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.5-1/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml . - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - echo 'version = "1.6~dev"' > META.top - cat META.num-top.in >> META.top - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa - make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.5-1/src' - cp src/num-modern.install num.install -> compiled num.1.5-1 Processing 37/42: [menhir: dune build] [zmq: dune build] -> installed num.1.5-1 Processing 38/42: [menhir: dune build] [zmq: dune build] - (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I zmq-deferred/src/.zmq_deferred.objs/byte -I /home/opam/.opam/5.0/lib/ocaml/unix -I /home/opam/.opam/5.0/lib/stdint -I zmq/src/.zmq.objs/byte -intf-suffix .ml -no-alias-deps -open Zmq_deferred -o zmq-deferred/src/.zmq_deferred.objs/byte/zmq_deferred__Socket.cmo -c -impl zmq-deferred/src/socket.ml) - File "zmq-deferred/src/socket.ml", line 58, characters 12-27: - 58 | Queue.pop queue |> ignore - ^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - (cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -w -40 -g -I zmq-deferred/src/.zmq_deferred.objs/byte -I zmq-deferred/src/.zmq_deferred.objs/native -I /home/opam/.opam/5.0/lib/ocaml/unix -I /home/opam/.opam/5.0/lib/stdint -I zmq/src/.zmq.objs/byte -I zmq/src/.zmq.objs/native -intf-suffix .ml -no-alias-deps -open Zmq_deferred -o zmq-deferred/src/.zmq_deferred.objs/native/zmq_deferred__Socket.cmx -c -impl zmq-deferred/src/socket.ml) - File "zmq-deferred/src/socket.ml", line 58, characters 12-27: - 58 | Queue.pop queue |> ignore - ^^^^^^^^^^^^^^^ - Warning 5 [ignored-partial-application]: this function application is partial, - maybe some arguments are missing. - (cd _build/default/zmq/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -isystem /usr/include/mit-krb5 -I/usr/include/pgm-5.3 -I/usr/include/libxml2 -Wall -Wextra -O2 -g -I /home/opam/.opam/5.0/lib/ocaml -I /home/opam/.opam/5.0/lib/ocaml/unix -I /home/opam/.opam/5.0/lib/stdint -o caml_zmq_stubs.o -c caml_zmq_stubs.c) - In file included from caml_zmq_stubs.c:12: - caml_zmq_stubs.c: In function 'caml_zmq_set_string_option': - /home/opam/.opam/5.0/lib/ocaml/caml/mlvalues.h:307:23: warning: initialization discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 307 | #define String_val(x) ((const char *) Bp_val(x)) - | ^ - caml_zmq_stubs.c:222:26: note: in expansion of macro 'String_val' - 222 | char *option_value = String_val(socket_option); - | ^~~~~~~~~~ - caml_zmq_stubs.c: In function 'caml_zmq_recv': - /home/opam/.opam/5.0/lib/ocaml/caml/mlvalues.h:307:24: warning: passing argument 1 of 'memcpy' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 307 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:476:13: note: in expansion of macro 'String_val' - 476 | memcpy (String_val(message), zmq_msg_data (&msg), size); - | ^~~~~~~~~~ - In file included from caml_zmq_stubs.c:7: - /usr/include/string.h:43:39: note: expected 'void * restrict' but argument is of type 'const char *' - 43 | extern void *memcpy (void *__restrict __dest, const void *__restrict __src, - | ~~~~~~~~~~~~~~~~~^~~~~~ - caml_zmq_stubs.c: In function 'caml_z85_encode': - /home/opam/.opam/5.0/lib/ocaml/caml/mlvalues.h:307:24: warning: passing argument 1 of 'zmq_z85_encode' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 307 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:800:24: note: in expansion of macro 'String_val' - 800 | if (zmq_z85_encode(String_val(result), (uint8_t*) String_val(source), length) == NULL) - | ^~~~~~~~~~ - In file included from caml_zmq_stubs.c:32: - /usr/include/zmq.h:570:23: note: expected 'char *' but argument is of type 'const char *' - 570 | zmq_z85_encode (char *dest_, const uint8_t *data_, size_t size_); - | ~~~~~~^~~~~ - caml_zmq_stubs.c: In function 'caml_curve_keypair': - /home/opam/.opam/5.0/lib/ocaml/caml/mlvalues.h:307:24: warning: passing argument 1 of 'zmq_curve_keypair' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 307 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:828:36: note: in expansion of macro 'String_val' - 828 | int result = zmq_curve_keypair(String_val(public), String_val(secret)); - | ^~~~~~~~~~ - /usr/include/zmq.h:577:41: note: expected 'char *' but argument is of type 'const char *' - 577 | ZMQ_EXPORT int zmq_curve_keypair (char *z85_public_key_, char *z85_secret_key_); - | ~~~~~~^~~~~~~~~~~~~~~ - /home/opam/.opam/5.0/lib/ocaml/caml/mlvalues.h:307:24: warning: passing argument 2 of 'zmq_curve_keypair' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 307 | #define String_val(x) ((const char *) Bp_val(x)) - | ~^~~~~~~~~~~~~~~~~~~~~~~~~ - caml_zmq_stubs.c:828:56: note: in expansion of macro 'String_val' - 828 | int result = zmq_curve_keypair(String_val(public), String_val(secret)); - | ^~~~~~~~~~ - /usr/include/zmq.h:577:64: note: expected 'char *' but argument is of type 'const char *' - 577 | ZMQ_EXPORT int zmq_curve_keypair (char *z85_public_key_, char *z85_secret_key_); - | ~~~~~~^~~~~~~~~~~~~~~ -> compiled zmq.5.1.3 Processing 38/42: [menhir: dune build] -> installed zmq.5.1.3 Processing 39/42: [menhir: dune build] + /home/opam/.opam/5.0/bin/dune "build" "-p" "menhir" "-j" "39" (CWD=/home/opam/.opam/5.0/.opam-switch/build/menhir.20211012) - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 101 sample input sentences and 101 error messages. - Read 101 sample input sentences and 48 error messages. - (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --require-aliases --strict --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) - Grammar has 56 nonterminal symbols, among which 1 start symbols. - Grammar has 37 terminal symbols. - Grammar has 129 productions. - Built an LR(0) automaton with 194 states. - The grammar is not SLR(1) -- 5 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 298 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 40 states. - Priority played a role in 0 of these states. - 152 out of 298 states have a default reduction. - 102 out of 298 states are represented. - 44 out of 96 symbols keep track of their start position. - 48 out of 96 symbols keep track of their end position. - The action table is 11324 entries; 1610 non-zero; 1359 compressed. - The action table occupies roughly 2816 bytes. - The goto table is 16986 entries; 329 non-zero; 636 compressed. - The goto table occupies roughly 1368 bytes. - The error table occupies roughly 1448 bytes. - The default_reduction table occupies roughly 336 bytes. - The lhs table occupies roughly 168 bytes. - The trace table occupies roughly 8 bytes. - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 101 sample input sentences and 48 error messages. -> compiled menhir.20211012 -> installed menhir.20211012 Processing 41/42: [kind2: dune build] + /home/opam/.opam/5.0/bin/dune "build" "-p" "kind2" "-j" "39" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/kind2.1.5.0) - (cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/5.0/lib/dune-build-info -I /home/opam/.opam/5.0/lib/menhirLib -I /home/opam/.opam/5.0/lib/num -I /home/opam/.opam/5.0/lib/ocaml/str -I /home/opam/.opam/5.0/lib/ocaml/threads -I /home/opam/.opam/5.0/lib/ocaml/unix -I /home/opam/.opam/5.0/lib/seq -I /home/opam/.opam/5.0/lib/stdint -I /home/opam/.opam/5.0/lib/yojson -I /home/opam/.opam/5.0/lib/zmq -intf-suffix .ml -no-alias-deps -o src/.kind2dev.objs/native/messaging.cmx -c -impl src/messaging.ml) - File "src/messaging.ml", line 966, characters 14-25: - 966 | Thread.exit () - ^^^^^^^^^^^ - Alert deprecated: Thread.exit - Use 'raise Thread.Exit' instead. -> compiled kind2.1.5.0 -> installed kind2.1.5.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 20:08.38 ---> saved as "746aebcbfb56fb8ede775931b500b459f692c6216286cbfce7447248336e912e" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u kind2:5dcfee4a93fe66807fc955ad568170a0,menhirSdk:b64a6451f120b5a24b51cc095bfa4a23,menhirLib:b64a6451f120b5a24b51cc095bfa4a23,menhir:beb45db0edb68a278c9ca53542615370,dune-build-info:b64a6451f120b5a24b51cc095bfa4a23")) 2024-09-12 20:08.39 ---> saved as "f527468dd06797778700d1ea1787951c6b921e601c74ff66c4c880a228fd2d35" /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.972281') && (for DATA in prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; 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/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0,dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23,dune-build-info.3.16.0 prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012,menhir.20211012-beb45db0edb68a278c9ca53542615370,menhir.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012,menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirLib.20211012 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012,menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23,menhirSdk.20211012 prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0,kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0,kind2.1.5.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.972281 prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/CHANGES.md prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/LICENSE.md prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/README.md prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/odoc-pages/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/doc/dune-build-info/odoc-pages/index.mld prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info.ocamlobjinfo prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/META prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info.cmti prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info__.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info__.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info__Build_info_data.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/build_info__Build_info_data.cmti prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/lib/dune-build-info/dune-package prep/universes/b64a6451f120b5a24b51cc095bfa4a23/dune-build-info/3.16.0/opam prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/ prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/ prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/LICENSE prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/manual.html prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/manual.pdf prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/manual001.png prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/manual002.png prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/doc/menhir/manual003.png prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/lib/ prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/lib/menhir/ prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/lib/menhir/META prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/lib/menhir/dune-package prep/universes/beb45db0edb68a278c9ca53542615370/menhir/20211012/opam prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/doc/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/doc/menhirLib/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/doc/menhirLib/LICENSE prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/menhirLib.ocamlobjinfo prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/META prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/dune-package prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/menhirLib.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/menhirLib.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/lib/menhirLib/menhirLib.cmti prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirLib/20211012/opam prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/doc/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/doc/menhirSdk/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/doc/menhirSdk/LICENSE prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/ prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk.ocamlobjinfo prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/META prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/dune-package prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_api.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_api.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_format.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_format.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_read.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_read.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Cmly_read.cmti prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Keyword.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Keyword.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Keyword.cmti prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Version.cmi prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/lib/menhirSdk/menhirSdk__Version.cmt prep/universes/b64a6451f120b5a24b51cc095bfa4a23/menhirSdk/20211012/opam prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/doc/ prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/doc/kind2/ prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/doc/kind2/CHANGES.md prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/doc/kind2/LICENSE.rst prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/doc/kind2/README.rst prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/lib/ prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/lib/kind2/ prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/lib/kind2/META prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/lib/kind2/dune-package prep/universes/5dcfee4a93fe66807fc955ad568170a0/kind2/1.5.0/opam 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:dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23:745342b5b53e513902f116326eb32ed6f1c7f3c6c2b2557e1faed4045019f4fc HASHES:menhir.20211012-beb45db0edb68a278c9ca53542615370:aff6c5c598f0cff75b01fe936a106cac61f5d5b0b1a254085bb630aab97df5ef HASHES:menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23:2e74f9a2e0346898956a37393bc7e297498ebb7293650466f6ac454357bc50e8 HASHES:menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23:d599765546304406de81a6d1cf58adcb2fddace88690ff91eebcc52a8ea53bf9 HASHES:kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0:464a34366485fd0c1b0ae5246eb2901b6516de2b9cd41bc005b94cfb405d0739 2024-09-12 20:08.43 ---> saved as "ef4372903203545980189d8f06d6c46791834ae653519c08bf8eb97178644483" Job succeeded 2024-09-12 20:16.08: kind2.1.5.0-5dcfee4a93fe66807fc955ad568170a0 -> 464a34366485fd0c1b0ae5246eb2901b6516de2b9cd41bc005b94cfb405d0739 2024-09-12 20:16.08: menhirSdk.20211012-b64a6451f120b5a24b51cc095bfa4a23 -> d599765546304406de81a6d1cf58adcb2fddace88690ff91eebcc52a8ea53bf9 2024-09-12 20:16.08: menhirLib.20211012-b64a6451f120b5a24b51cc095bfa4a23 -> 2e74f9a2e0346898956a37393bc7e297498ebb7293650466f6ac454357bc50e8 2024-09-12 20:16.08: menhir.20211012-beb45db0edb68a278c9ca53542615370 -> aff6c5c598f0cff75b01fe936a106cac61f5d5b0b1a254085bb630aab97df5ef 2024-09-12 20:16.08: dune-build-info.3.16.0-b64a6451f120b5a24b51cc095bfa4a23 -> 745342b5b53e513902f116326eb32ed6f1c7f3c6c2b2557e1faed4045019f4fc 2024-09-12 20:16.08: Job succeeded