Build:
- 0
2024-03-27 14:55.40: New job: Voodoo do why3.1.7.1; 8f199ae6a47a3e61658473ac12b3e0df 2024-03-27 14:55.40: Waiting for resource in pool OCluster 2024-03-27 15:01.13: Waiting for worker… 2024-03-27 15:01.13: Got resource from pool OCluster 2024-03-27 15:01.13: Using cache hint "docs-universe-compile-5.1.0" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-5.1@sha256:2bd3cbb3d85f9ba1e2fdc536572a9d66a7bd8e34eeae366e743dcfee730b3290) (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")) (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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe && opam depext -iy voodoo-do")) (run (shell "cp $(opam config var bin)/odoc $(opam config var bin)/voodoo-do /home/opam")))) (from ocaml/opam:debian-12-ocaml-5.1@sha256:2bd3cbb3d85f9ba1e2fdc536572a9d66a7bd8e34eeae366e743dcfee730b3290) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (workdir /home/opam/docs/) (run (shell "sudo chown opam:opam . ")) (copy (from (build tools)) (src /home/opam/odoc /home/opam/voodoo-do) (dst /home/opam/)) (run (shell "mv ~/odoc $(opam config var bin)/odoc")) (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 "(for DATA in compile/p/base-threads/base,base-threads.base-d41d8cd98f00b204e9800998ecf8427e,base-threads.base compile/p/base-unix/base,base-unix.base-d41d8cd98f00b204e9800998ecf8427e,base-unix.base compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.14.0,dune.3.14.0-44521134ec2271626cc088ea2bc751d6,dune.3.14.0 compile/u/cc48392d0c1f7f2a56876cb97e6b7926/menhir/20231231,menhir.20231231-cc48392d0c1f7f2a56876cb97e6b7926,menhir.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231,menhirCST.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirCST.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231,menhirLib.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirLib.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231,menhirSdk.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirSdk.20231231 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5,num.1.5-a573c8251a3b8ff3a11c7cffb86f8366,num.1.5 compile/p/ocaml/5.1.0,ocaml.5.1.0-f4f9f604884d1a4cf902319a9b950c5b,ocaml.5.1.0 compile/p/ocaml-base-compiler/5.1.0,ocaml-base-compiler.5.1.0-d41d8cd98f00b204e9800998ecf8427e,ocaml-base-compiler.5.1.0 compile/p/ocaml-config/3,ocaml-config.3-2bc934fe53ca3f853c0a995d44bbb900,ocaml-config.3 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6,ocamlfind.1.9.6-a573c8251a3b8ff3a11c7cffb86f8366,ocamlfind.1.9.6; do IFS=\",\"; set -- $DATA; rsync -aR docs.ci.ocaml.org:/data/./$1 .; done) && (rsync -aR docs.ci.ocaml.org:/data/./prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1 .) && (find . -name '*.tar' -exec tar -xvf {} \\;)")) (run (shell "(mkdir -p compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/why3/*.odoc)")) (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p why3 ) && (shopt -s nullglob && ((tar -cvf compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && rm -R compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && mv compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-55dd4fa21db83a5a988da67fb5854083 && mv linked epoch-55dd4fa21db83a5a988da67fb5854083/) && (mkdir -p epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1) && (shopt -s nullglob && ((tar -cvf epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && rm -R epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && mv epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/content.tar) || (echo 'Empty directory')))")) (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.886855') && (rsync -aR ./compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1 ./epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/ docs.ci.ocaml.org:/data/.) && (set 'compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"LINKED:$2:$HASH\\n\";)")) ) END-OF-SPEC ocluster-client submit-obuilder --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-compile-5.1.0 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-03-27 15:01.13: RETRYING: 2024-03-27/145540-voodoo-do-f877d1 Number of retries: 0 (retriable error condition) Building on x86-bm-c8.sw.ocaml.org (build "tools" …) (from ocaml/opam:debian-12-ocaml-5.1@sha256:2bd3cbb3d85f9ba1e2fdc536572a9d66a7bd8e34eeae366e743dcfee730b3290) 2024-03-27 14:56.47 ---> using "46cf6c0a867254aecbdb3aedd1ec88accd18725618b55cf309c818942e0316d3" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-03-27 14:56.47 ---> using "21bd1dda909cb96b78a0cf280fe1f61dc474b665bde36932469ed4c9432684e0" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4")) 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 [147 kB] Fetched 251 kB in 0s (1062 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Suggested packages: m4-doc The following NEW packages will be installed: m4 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 287 kB of archives. After this operation, 686 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 287 kB in 0s (15.9 MB/s) Selecting previously unselected package m4. (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 ... 18774 files and directories currently installed.) Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Setting up m4 (1.4.19-3) ... 2024-03-27 14:56.47 ---> using "c0292512bd5e50829bd2c40cb6cb87b979964af56222f152c6a04862b6520621" 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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe && opam depext -iy voodoo-do")) [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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe 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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe (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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe (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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe (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#dc54397f66abf95c964ea4de0f3a0ff2aec56efe voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe (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-do.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe The following actions will be performed: - install ocamlbuild 0.14.3 [required by astring, bos] - install num 1.5 [required by sexplib] - install cmdliner 1.2.0 [required by voodoo-do] - install ocamlfind 1.9.6 [required by astring, bos] - install seq base [required by tyxml, yojson] - install dune 3.14.2 [required by voodoo-do] - install topkg 1.0.7 [required by astring, bos] - install sexplib0 v0.16.0 [required by sexplib] - install result 1.5 [required by odoc] - install re 1.11.0 [required by tyxml] - install cppo 1.6.9 [required by odoc] - install camlp-streams 5.0.1 [required by odoc-parser] - install uutf 1.0.3 [required by tyxml] - install rresult 0.7.0 [required by bos] - install ptime 1.1.0 [required by crunch] - install fmt 0.9.0 [required by bos, odoc] - install astring 0.8.5 [required by voodoo-do] - install parsexp v0.16.0 [required by sexplib] - install yojson 2.1.2 [required by voodoo-do] - install tyxml 4.6.0 [required by odoc] - install crunch 3.3.1 [required by odoc] - install logs 0.7.0 [required by bos] - install odoc-parser 2.4.1 [required by odoc] - install fpath 0.7.3 [required by odoc, bos, voodoo-lib] - install sexplib v0.16.0 [required by voodoo-lib] - install odoc 2.4.1 [required by voodoo-do] - install bos 0.2.1 [required by voodoo-do] - install voodoo-lib ~dev* [required by voodoo-do] - install voodoo-do ~dev* ===== 29 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [camlp-streams.5.0.1] found in cache [cmdliner.1.2.0] found in cache [cppo.1.6.9] found in cache [crunch.3.3.1] found in cache [dune.3.14.2] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [logs.0.7.0] found in cache [num.1.5] found in cache [ocamlbuild.0.14.3] found in cache [ocamlfind.1.9.6] found in cache [odoc.2.4.1] found in cache [odoc-parser.2.4.1] found in cache [parsexp.v0.16.0] found in cache [ptime.1.1.0] found in cache [re.1.11.0] found in cache [result.1.5] found in cache [rresult.0.7.0] found in cache [sexplib.v0.16.0] found in cache [sexplib0.v0.16.0] found in cache [topkg.1.0.7] found in cache [tyxml.4.6.0] found in cache [uutf.1.0.3] found in cache [yojson.2.1.2] found in cache [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#dc54397f66abf95c964ea4de0f3a0ff2aec56efe <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed num.1.5 -> installed cmdliner.1.2.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.14.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed ptime.1.1.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed logs.0.7.0 -> installed bos.0.2.1 -> installed dune.3.14.2 -> installed result.1.5 -> installed camlp-streams.5.0.1 -> installed crunch.3.3.1 -> installed sexplib0.v0.16.0 -> installed re.1.11.0 -> installed cppo.1.6.9 -> installed odoc-parser.2.4.1 -> installed parsexp.v0.16.0 -> installed yojson.2.1.2 -> installed sexplib.v0.16.0 -> installed voodoo-lib.~dev -> installed tyxml.4.6.0 -> installed odoc.2.4.1 -> installed voodoo-do.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-03-27 14:56.47 ---> using "e9d342798b7815d4e0082cc96a4b7fd90cb5e3f8b6dec743689a61b968ef2fe2" from cache /home/opam: (run (shell "cp $(opam config var bin)/odoc $(opam config var bin)/voodoo-do /home/opam")) 2024-03-27 14:56.47 ---> using "038fd679b2943420351974eee1ad59e0201d3a45ce71c4798fab76de76abb4c7" from cache 2024-03-27 14:56.47 --> finished "tools" (from ocaml/opam:debian-12-ocaml-5.1@sha256:2bd3cbb3d85f9ba1e2fdc536572a9d66a7bd8e34eeae366e743dcfee730b3290) 2024-03-27 14:56.47 ---> using "46cf6c0a867254aecbdb3aedd1ec88accd18725618b55cf309c818942e0316d3" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-03-27 14:56.47 ---> using "21bd1dda909cb96b78a0cf280fe1f61dc474b665bde36932469ed4c9432684e0" from cache /home/opam: (workdir /home/opam/docs/) /home/opam/docs/: (run (shell "sudo chown opam:opam . ")) 2024-03-27 14:56.47 ---> using "3710871bbfb2c044b0a26082d0444d53cae4bc460e08af96f483ac935c6f7bb9" from cache /home/opam/docs/: (copy (from (build tools)) (src /home/opam/odoc /home/opam/voodoo-do) (dst /home/opam/)) 2024-03-27 14:56.48 ---> using "5f7f141d6312dfa41a54165bc4ddb237d56928829e871940fa1150472dd8e490" from cache /home/opam/docs/: (run (shell "mv ~/odoc $(opam config var bin)/odoc")) 2024-03-27 14:56.48 ---> using "162f2fca53b3f00e8162a5ef1fdbede3550d4d889d63a6ecf2bfbbc38d7d5fcd" from cache /home/opam/docs/: (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 "(for DATA in compile/p/base-threads/base,base-threads.base-d41d8cd98f00b204e9800998ecf8427e,base-threads.base compile/p/base-unix/base,base-unix.base-d41d8cd98f00b204e9800998ecf8427e,base-unix.base compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.14.0,dune.3.14.0-44521134ec2271626cc088ea2bc751d6,dune.3.14.0 compile/u/cc48392d0c1f7f2a56876cb97e6b7926/menhir/20231231,menhir.20231231-cc48392d0c1f7f2a56876cb97e6b7926,menhir.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231,menhirCST.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirCST.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231,menhirLib.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirLib.20231231 compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231,menhirSdk.20231231-fecb4284355235b6547f9bf9df9c37cd,menhirSdk.20231231 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5,num.1.5-a573c8251a3b8ff3a11c7cffb86f8366,num.1.5 compile/p/ocaml/5.1.0,ocaml.5.1.0-f4f9f604884d1a4cf902319a9b950c5b,ocaml.5.1.0 compile/p/ocaml-base-compiler/5.1.0,ocaml-base-compiler.5.1.0-d41d8cd98f00b204e9800998ecf8427e,ocaml-base-compiler.5.1.0 compile/p/ocaml-config/3,ocaml-config.3-2bc934fe53ca3f853c0a995d44bbb900,ocaml-config.3 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6,ocamlfind.1.9.6-a573c8251a3b8ff3a11c7cffb86f8366,ocamlfind.1.9.6; do IFS=\",\"; set -- $DATA; rsync -aR docs.ci.ocaml.org:/data/./$1 .; done) && (rsync -aR docs.ci.ocaml.org:/data/./prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1 .) && (find . -name '*.tar' -exec tar -xvf {} \\;)")) 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. 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. prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/ prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/ prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/ prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/cfg.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/dimacs.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/genequlin.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/microc.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/python.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/tptp.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.ocamlobjinfo prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/META prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.cmi prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.cmt prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/opam compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Topfind.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_dynload.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_package_base.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_split.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_topo.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Findlib.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_args.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_meta.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Ocaml_args.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_lint.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_metascanner.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_metatoken.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/1.9.6/lib/findlib/Findlib_config.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/doc/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/doc/index.m compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6/page-doc.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num-top/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num-top/Num_top.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num-top/Num_top_printers.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/Num.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/Ratio.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/Big_int.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/Nat.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/1.5/lib/num/Arith_status.odoc compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/doc/ compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/doc/index.m compile/u/a573c8251a3b8ff3a11c7cffb86f8366/num/1.5/page-doc.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_read.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Version.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_format.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_api.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Keyword.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/doc/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/doc/index.m compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirSdk/20231231/page-doc.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/20231231/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/20231231/lib/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/20231231/lib/menhirLib/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/20231231/lib/menhirLib/MenhirLib.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/doc/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/doc/index.m compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/page-doc.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/20231231/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/20231231/lib/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/20231231/lib/menhirCST/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/20231231/lib/menhirCST/MenhirCST__Settle.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/20231231/lib/menhirCST/MenhirCST.odoc compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/doc/ compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/doc/index.m compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirCST/20231231/page-doc.odoc compile/u/cc48392d0c1f7f2a56876cb97e6b7926/menhir/20231231/doc/ compile/u/cc48392d0c1f7f2a56876cb97e6b7926/menhir/20231231/doc/index.m compile/u/cc48392d0c1f7f2a56876cb97e6b7926/menhir/20231231/page-doc.odoc compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.14.0/doc/ compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.14.0/doc/index.m compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.14.0/page-doc.odoc compile/p/ocaml-config/3/doc/ compile/p/ocaml-config/3/doc/index.m compile/p/ocaml-config/3/page-doc.odoc compile/p/ocaml-base-compiler/5.1.0/doc/ compile/p/ocaml-base-compiler/5.1.0/doc/index.m compile/p/ocaml-base-compiler/5.1.0/page-doc.odoc compile/p/ocaml/5.1.0/doc/ compile/p/ocaml/5.1.0/doc/index.m compile/p/ocaml/5.1.0/page-doc.odoc compile/p/base-unix/base/doc/ compile/p/base-unix/base/doc/index.m compile/p/base-unix/base/page-doc.odoc compile/p/base-threads/base/doc/ compile/p/base-threads/base/doc/index.m compile/p/base-threads/base/page-doc.odoc 2024-03-27 14:57.03 ---> saved as "f332fdd4e35b0aa904b670113fd041f5ff7673da81806368bb1096a20b91dfcb" /home/opam/docs/: (run (shell "(mkdir -p compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/why3/*.odoc)")) 2024-03-27 14:57.04 ---> saved as "47f0cab1ee9242949582f20dae15245c6f7a80102f0d5bc81b6a66ff62988510" /home/opam/docs/: (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p why3 ) && (shopt -s nullglob && ((tar -cvf compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && rm -R compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && mv compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-55dd4fa21db83a5a988da67fb5854083 && mv linked epoch-55dd4fa21db83a5a988da67fb5854083/) && (mkdir -p epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1) && (shopt -s nullglob && ((tar -cvf epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && rm -R epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/* && mv epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1.tar epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/content.tar) || (echo 'Empty directory')))")) process_meta_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/META found archive_names: [why3] process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/cfg.ocamlobjinfo trying to look up archive_name: cfg units: Cfg_parser,Cfg_lexer,Cfg_paths,Subregion_analysis,Cfg_main failed to find archive_name: cfg process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/dimacs.ocamlobjinfo trying to look up archive_name: dimacs units: Dimacs failed to find archive_name: dimacs process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/genequlin.ocamlobjinfo trying to look up archive_name: genequlin units: Genequlin failed to find archive_name: genequlin process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/microc.ocamlobjinfo trying to look up archive_name: microc units: Mc_parser,Mc_lexer,Mc_printer,Mc_main failed to find archive_name: microc process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/python.ocamlobjinfo trying to look up archive_name: python units: Py_parser,Py_lexer,Py_main failed to find archive_name: python process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/plugins/tptp.ocamlobjinfo trying to look up archive_name: tptp units: Tptp_parser,Tptp_typing,Tptp_lexer,Tptp_printer failed to find archive_name: tptp process_ocamlobjinfo_file: prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.ocamlobjinfo trying to look up archive_name: why3 units: Why3 found archive_names: [why3/Why3] Found no other pages libraries: [why3] compile command: odoc compile ./u.mld -o compile/page-u.odoc --child page-"8f199ae6a47a3e61658473ac12b3e0df" compile command: odoc compile ./8f199ae6a47a3e61658473ac12b3e0df.mld -o compile/u/page-8f199ae6a47a3e61658473ac12b3e0df.odoc --parent page-"u" -I compile --child page-"why3" compile command: odoc compile ./why3.mld -o compile/u/8f199ae6a47a3e61658473ac12b3e0df/page-why3.odoc --parent page-"8f199ae6a47a3e61658473ac12b3e0df" -I compile/u --child page-"1.7.1" File "./why3.mld", line 2, characters 16-17: Warning: Child label is not allowed in the last component of a reference path. Suggestion: 'child-1' should be first. compile command: odoc compile ./1.7.1.mld -o compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/page-1.7.1.odoc --parent page-"why3" -I compile/u/8f199ae6a47a3e61658473ac12b3e0df --child page-"doc" compile command: odoc compile ./doc.mld -o compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/page-doc.odoc --parent page-"1.7.1" -I compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3 --child module-why3 File "./doc.mld", line 5, characters 15-30: Warning: '{!modules ...}' should begin on its own line. Missing dependency: Yices 144083164a187017a1456f09b4b02a92 Missing dependency: Xml 29afbc9410d753aaca560c64ea6ae427 Missing dependency: Wstdlib 9e48e39b77eced77b5aee2758b31837d Missing dependency: Whyconf 67b8b09fa00b92cb6cf8bec1228c1057 Missing dependency: Why3printer 03d29ff6cfcfafbdf3ce5bd91a930f4a Missing dependency: Weakhtbl be899d9ba5381875e84f11decee260d9 Missing dependency: Vector 34ae9cca0e0944b1dd28e94374afb001 Missing dependency: Vc e9e79f61c76a8d88e5cbdfdfb1e97f0b Missing dependency: Util 1776f321b60172955b47f70938636f86 Missing dependency: Unix_scheduler 8dd7dad2c5662a230c33891be617e738 Missing dependency: Unix 3a423732520b05536abd290bef5048fe Missing dependency: Typing e064366bcc425b8858b2266c43e312ec Missing dependency: Typeinv 1c9d8af385774f412b0d95841f0cab15 Missing dependency: Ty 8da3860bac68336718762d79c93f5557 Missing dependency: Trans 2f372903d4d019205859e928b8269b17 Missing dependency: Theory 75b964e7672279d21e54f1876bd5cc21 Missing dependency: Termcode ba73feeee5cee09ffce0c1f3184b2879 Missing dependency: Term 1f2d9bf544cdb225342039f112179d35 Missing dependency: Task c49f8064b3513c88a0913e3a3e1885ca Missing dependency: Sysutil 2d651fd120bf74fe792a85de0e7fb2a9 Missing dependency: Subst 0d390c341d99cc14401975d89fe95992 Missing dependency: Strings 09ba1ac179e70ea0c8d0a0eb6ea10bd3 Missing dependency: Strategy_parser 76a42188d8e1487af308d3681c418a05 Missing dependency: Strategy 4c94789e0513b373ae04e7e99b3f345f Missing dependency: Str bd4d70b70c8423b47459a789150b0e09 Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5 Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c Missing dependency: Stdlib__Queue 45bb28015d453b28150a7e89bf1a5c98 Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050 Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4 Missing dependency: Stdlib__Lazy 9339b146fb57b73e973430d5ffd6c52e Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f Missing dependency: Stdlib__Hashtbl c04858fec86768f735bb82b2552d3868 Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08 Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28 Missing dependency: Stdlib__Complex e64ee90eddc7b10ec8fbe26c11240f8e Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351 Missing dependency: Stdlib__Bigarray 7c919af812ad8dfb0033b8dde0d08c07 Missing dependency: Stdlib__Arg 18253dcec67095590704d82c26fe23cf Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf Missing dependency: Split_goal 77acd7fcf07c0078daa21ba5b62d3e28 Missing dependency: Smtv2_model_parser 00cfe35773fdea3d765b980ecbfad4a5 Missing dependency: Smtv2_model_defs 9b097ee6d8ce698c9bd7a9b11f92fcdc Missing dependency: Smtv2 1115354850b98ee260a436ac051b4c6c Missing dependency: Smtv1 4daa553d0a267fcee9a2ae78e4687084 Missing dependency: Smoke_detector cd840ffd03a7c525a30ef8f75c430685 Missing dependency: Simplify_formula 19f2d2811f1b383657245b8a8a4ae3eb Missing dependency: Simplify_array d211fd90c1bf980474c60529290137c4 Missing dependency: Simplify 9fdaf311ed5bc0ca07bb9a87a3b9bbed Missing dependency: Sexp_parser 7cd7621177e4b05ad97f333cc9a48222 Missing dependency: Sexp 4b24de27e753b8dda14921ac46c5ba79 Missing dependency: Session_itp ee8a96c3f27353cdb555c80e719c2d2b Missing dependency: Server_utils 1675d1912147ae7ca81ffd4d9920d795 Missing dependency: Report f6a0fe3544f7464ef4c1b7651044d064 Missing dependency: Remove_unused 1bfb480dd5426214d0cd54219fc959f5 Missing dependency: Reflection b638b1e05873e1c36ad3cfcb686bbf00 Missing dependency: Reduction_engine 846b3e8dcc16717b0118b172d9268743 Missing dependency: Re 15f27d5a05a10ace35ce2bae2acd43e9 Missing dependency: Rc 87999e9732d4b411ec0b39326eac998f Missing dependency: Rac 7a6c5a44918eb7cc044a40a2b322b0e6 Missing dependency: Pvs 789bbf6d141b770ee6f27fc59eb4608c Missing dependency: Ptree_helpers d9cf18c26659db4d7af18b20303d3d92 Missing dependency: Ptree 37be7c90c2a5b43efc9ad9ecfe289afc Missing dependency: Prove_client e3f7f2d6b93db39cdbaa662cd3e6c491 Missing dependency: Prop_curry cb5153cfeea8ff4c93a2a8ca71ee5a84 Missing dependency: Printer e0283d5f055ff288d3e1da2ef1f7f500 Missing dependency: Print_tree 97c6bff7ca4d52e68b89c0314993feca Missing dependency: Pretty a9598aa152fd44ceeb106abfcff3e897 Missing dependency: Prepare_for_counterexmp a6c02d2a41ff6be7cb8f36712ace867b Missing dependency: Pqueue c3d5226afaf14ba1ff798cef03d10ef1 Missing dependency: Pp 65c6ba5926b1b3b3335a5a51be00bfe8 Missing dependency: Pmodule 427f260b4ce929ddacccadfaf8360268 Missing dependency: Plugin d51e172f5d13e118f05135253433f1a9 Missing dependency: Pinterp_core 85620ff6f26c97233f93bd62db8a64e0 Missing dependency: Pinterp 175df2aa47197e7574bebb94b7738e45 Missing dependency: Pdriver 3445e63d44ac76716dd8ea03409a03af Missing dependency: Pdecl ea2a0b008c1cfa3a79955dd8c71ce327 Missing dependency: Pattern 3b5c6768c832af06c4ce93943bb208d6 Missing dependency: Parser_tokens e087001200e9e83666172570a23dffec Missing dependency: Parser_messages b0483b52eeb8c35c79162708f921d5ca Missing dependency: Parser 8337295f08b93753400e94bc9dcde346 Missing dependency: Opt 29b19b8d476a754e4d2f6ca7b4d7c5e1 Missing dependency: Ocaml dbe1439fcdfe76dd87d1621f804171d1 Missing dependency: Number e432e1bd0cb21787e004dec106010280 Missing dependency: Mysexplib ecc8157a3e104be15131b638b25c4401 Missing dependency: Model_parser a1bc71342cfffd4844b23297faca5a9a Missing dependency: Mlw_printer a2987f4bbddf8f0d0f026356f004f84f Missing dependency: Mltree 675b4dcfc52bf13193426b2ab022ef42 Missing dependency: Mlmpfr_wrapper 43063d675e8549283386a90094a26dff Missing dependency: Mlinterp c3c94fe3bb2d3c620034c3a4f865c499 Missing dependency: Ml_printer 575aed80419756de2950b9f8640e915e Missing dependency: Mathematica 309fa415dacad4a13be55639314dba34 Missing dependency: Loc 990de3299df7dce3251a924d952fd833 Missing dependency: Lists 1b9dc73cd847dd8095103b4f83037ca5 Missing dependency: Lift_epsilon 2282c8f07a7a96042a022736486f6483 Missing dependency: Libencoding 377b0864fc246422babd218126f1746e Missing dependency: Lexlib 1cfad60034fb782933caee9c5ef8a463 Missing dependency: Lexer a7d31dbfe7fe1779967bec6b0bb5b960 Missing dependency: Keywords 6ce995b31d78f60575e9af93ed2f1bba Missing dependency: Keep_only_arithmetic 6517bd8b0e382dba8c7e5b559b6151e9 Missing dependency: Json_util b593d259b1c6539d4511990ca6aa2016 Missing dependency: Json_parser 772b2bfb0b9c331f81cdf9419ea7d304 Missing dependency: Json_lexer 97b4466550303bcf017d4f85ef2a2aa7 Missing dependency: Json_base 4d493ef49f8f5e58f67f9eda10714ff0 Missing dependency: Ity 81706e508810c5e49f01c8f1a6f8d28d Missing dependency: Itp_server a0340aea6dfb311c1f5a603744f2b44f Missing dependency: Itp_communication cb9771c8ab162624352eccabbb2a9ac2 Missing dependency: Isabelle 6c77c08a0aaeab050683cdb05f945534 Missing dependency: Introduction e095bb0ceafbeddfa03aa7f6843f76e5 Missing dependency: Intro_vc_vars_counterexmp 07d0e6a0c7b786dc2b9b6f4eb6b85dca Missing dependency: Intro_projections_counterexmp 4c799e4ef4f41b7c4b0d8a5228d3439e Missing dependency: Instantiate_predicate de1607a85e6ea185aa7ea19527b8e4fb Missing dependency: Inlining 70c6b3b2acae144e79a9c1f8579a6d40 Missing dependency: Induction_pr 0a5a9583d4167d16f5f674c3dba0582e Missing dependency: Induction 95bf524fbbd34dfeec7b068a9858f99f Missing dependency: Ind_itp 6b3991f5d303921f8158de61e16a2261 Missing dependency: Ident 8e00d7875f0920ff0cfeb05000891448 Missing dependency: Hashcons e4ded4383c9907f664e307784fda7cae Missing dependency: Glob 0e768459c24b704271edd7d0b4c2cf37 Missing dependency: Getopt 7390dfb4f056741979d1ad7ca3dc19ac Missing dependency: Generic_arg_trans_utils e4091be71d690ab15d5a9e5ab62ee217 Missing dependency: Gappa 34518aa14bba33dd4c863a45f308348a Missing dependency: Filter_trigger 6b2534c612ebc2402eca4f1026f86801 Missing dependency: Extset 1562d54161410af9761287a6f5649bfa Missing dependency: Extmap d976caa861d30493b7277eb865d492b6 Missing dependency: Exthtbl 705d5248faca1259990fdc74faa70224 Missing dependency: Expr d418b0db58d13cfb349fdbbabfe049cc Missing dependency: Exn_printer fe7c7a19c3aab3d190698484d575cf1a Missing dependency: Eval_match 588ad76084a8b4db30782d688a50e3e2 Missing dependency: Env 80ff0f09ec516e1e6fc989b61599182f Missing dependency: Encoding_twin 2fb364a50d81c5147772ffd0a951659f Missing dependency: Encoding_tags_full c5338cb02f95389a550e457d992b5722 Missing dependency: Encoding_tags 9d4ee9768f68bd647f3786843e2f586d Missing dependency: Encoding_sort e827f5070095d323747d40289053fd2b Missing dependency: Encoding_select 6db499cc3d5d9f84c72f51c2b5512fea Missing dependency: Encoding_guards_full e4ec80c2616ca7198dffa0f420f9177e Missing dependency: Encoding_guards 42abd00cbe9436d5eedc340532aa335d Missing dependency: Encoding 6dc1ffa0a3ba4c80c008e347a7726aec Missing dependency: Eliminate_unknown_types 15a57040c7305510cdceafb83081ce75 Missing dependency: Eliminate_unknown_lsymbols 0e93409ee6f865a9811f1de3c0874763 Missing dependency: Eliminate_symbol 65a875bd415e5354999fdcf67462f18b Missing dependency: Eliminate_literal f84ae78790880f99c126ce7394d73f86 Missing dependency: Eliminate_let e2b007bbfe5fdf55eaaa4dd405dfa852 Missing dependency: Eliminate_inductive 468e84e8e2cce84e0d28c56bff966f4d Missing dependency: Eliminate_if 985841f9998ffc52b2182b5fd4037bc8 Missing dependency: Eliminate_epsilon f1bfcaf4691a7b48b6c19dbfac627df7 Missing dependency: Eliminate_definition 6a4d4251d7a10ad59e02ddbe8eccb4b9 Missing dependency: Eliminate_algebraic 3e9b7947a70430a1bd2a48e47191dae2 Missing dependency: Dterm d545c991b84a918926f673c2e3d7e9e3 Missing dependency: Driver_parser 0242039695d884f040fb1bfa12d35b88 Missing dependency: Driver_lexer 0857ff8e766882a26f4f1a907ffa2d27 Missing dependency: Driver_ast d996d3e46cf64553dd32bf1dc944bcdd Missing dependency: Driver 939a975654d1b480a1714a7600495b33 Missing dependency: Discriminate 0bc197874c8b6288510480e11ecc3078 Missing dependency: Diffmap 006540cffaea7dbde481544a3ccf9db6 Missing dependency: Dexpr a14ccfc257bc3b96dc0bb625c05bc86c Missing dependency: Detect_polymorphism 16d49d858789dc1b151f06fac1f5bb28 Missing dependency: Destruct 065abe7d109e84036d661f905c33bb72 Missing dependency: Decl cb36e55dbbffedba01c7b4c1730bb000 Missing dependency: Debug 123b4377518e1ace73835d42cc4b9677 Missing dependency: Cvc3 e774ba69997fc806591447dd39be95ef Missing dependency: Cut 59ac80b6c00fc9be0e78ea58bf0b463f Missing dependency: Coq 8bc20658cf70f0ce93aade9e8a628e81 Missing dependency: Controller_itp d207e9ac0436fc2e1b91b9739951040b Missing dependency: Constant d0a49cb2527a108bbe3aba8351cce248 Missing dependency: Congruence f203ce7a47a610b8dc8f611d60b1cb08 Missing dependency: Config 6d4ab4fa273b0bf3e0c2dc88c87842a5 Missing dependency: Compute 7d1a10152d42767dddd8e9b80d14aa92 Missing dependency: Compress b86235c0df0ce9b71076f25607a86a6a Missing dependency: Compile 399645609963a3086e5b677d874993c7 Missing dependency: Coercion 28f70c3654d7f582089b3dd39ddff3ea Missing dependency: Cntexmp_printer 2b0583633a5e20c54b9fbe32598ff54e Missing dependency: Cmdline aaf252ebc6d99bc9a5d94912bd81fd6a Missing dependency: Close_epsilon fab7cc50b0bddbc03665a0aab15f2151 Missing dependency: Check_ce 8a7951467e930fc3268305d17ecbe55a Missing dependency: Case d7f65824f0c7298ee56e9898a7ba8b2b Missing dependency: CamlinternalLazy 24528204a58c2912a77812f0a2439856 Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae Missing dependency: Call_provers 894709fdb4f6cadaaa09dfaccc0fcb06 Missing dependency: Cakeml dc7933bcf2906af09667c1415178df10 Missing dependency: C b9ffa33a2d801c340554a247483d68b3 Missing dependency: Big_real ed61121c692a2cb8167f4c711182edb4 Missing dependency: BigInt e12a01a6aafc442c01406776699db52b Missing dependency: Autodetection 902aba8112e7accc517ad7dda23a7536 Missing dependency: Args_wrapper 52de95ec65309699c5329722e7771074 Missing dependency: Apply 5f94b6af9eafacc516f773fff8a0602a Missing dependency: Alt_ergo 0044841b926be8956d2c9078a7c41ea6 Missing dependency: Abstraction b08aded0be6272355c9aa7d5126c2c9d Missing dependency: Abstract_quantifiers 883defa8fe837e8d135a99b66ecb58fe compile command: odoc compile prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.cmt -o compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/why3/Why3.odoc --parent page-"doc" -I compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1 -I compile/u/fecb4284355235b6547f9bf9df9c37cd/menhirLib/20231231/20231231/lib/menhirLib/ WARNING: not processing the "interface" file. Using "prep/universes/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/lib/why3/why3.cmt" while you should use the .cmti file No children 0 other files to copy dst: linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/doc/opam compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/ compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/ compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/why3/ compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/why3/Why3.odoc compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/doc/ compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/doc/index.m compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/page-doc.odoc epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/ epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/ epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/why3/ epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/1.7.1/lib/why3/Why3.odocl epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/doc/ epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/doc/opam epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/package.json epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1/page-doc.odocl 2024-03-27 14:57.05 ---> saved as "ff043c52fdb82f1ef01e84babfa90388ff738aac552d8ae6e61997df91785a1e" /home/opam/docs/: (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.886855') && (rsync -aR ./compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1 ./epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/ docs.ci.ocaml.org:/data/.) && (set 'compile/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-55dd4fa21db83a5a988da67fb5854083/linked/u/8f199ae6a47a3e61658473ac12b3e0df/why3/1.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"LINKED:$2:$HASH\\n\";)")) 0.886855 Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. COMPILE::2debf0ed9cbc9aadca8ad8bc22f5f31ccdd8e2159750cc4a6215b6ddea350cb8 LINKED::120d8a278a873b875c227165c2a0fef0b74d10276a1efa9459a1195ff9d983d5 2024-03-27 14:57.06 ---> saved as "a4689da1598ea38cfbaf013463b226bbb08c013dd52329d1a3d2f98b24a09501" Job succeeded 2024-03-27 15:01.37: Job succeeded