Build:
  1. 0
2024-09-28 18:11.11: New job: Voodoo do hacl-star.0.7.1; c11d5cc90c40fff4b655b8aeb15d7a51
2024-09-28 18:11.11: Waiting for resource in pool OCluster
2024-09-28 18:11.12: Waiting for worker…
2024-09-28 18:11.26: Got resource from pool OCluster
2024-09-28 18:11.26: Using cache hint "docs-universe-compile-4.14.1"

To reproduce locally:

cat > prep.spec <<'END-OF-SPEC'
((build tools
        ((from ocaml/opam:debian-12-ocaml-4.14@sha256:83eb8e3ba152b14f5ff0810475c7d6b279f23511d6f1bf34f2ab1e35802f9232)
         (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#a432fa7b6013bef70b3fcdc64782e309d470e34a && 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-4.14@sha256:83eb8e3ba152b14f5ff0810475c7d6b279f23511d6f1bf34f2ab1e35802f9232)
 (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/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0,bigarray-compat.1.1.0-bb710841daf43d76bbaeb057cabe6a87,bigarray-compat.1.1.0 compile/p/conf-cmake/1,conf-cmake.1-d41d8cd98f00b204e9800998ecf8427e,conf-cmake.1 compile/u/d41d8cd98f00b204e9800998ecf8427e/conf-gmp/4,conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e,conf-gmp.4 compile/p/conf-which/1,conf-which.1-d41d8cd98f00b204e9800998ecf8427e,conf-which.1 compile/u/bb710841daf43d76bbaeb057cabe6a87/cppo/1.6.9,cppo.1.6.9-bb710841daf43d76bbaeb057cabe6a87,cppo.1.6.9 compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2,ctypes.0.20.2-70e414dc0b8335a1d2b3c0b32ad429ed,ctypes.0.20.2 compile/p/dune/3.10.0,dune.3.10.0-51262f1934f91269be94879aa270c8f5,dune.3.10.0 compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1,hacl-star-raw.0.7.1-499faf4d56921111e28029aa1488df07,hacl-star-raw.0.7.1 compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0,integers.0.7.0-8110b541743eb343a2971bd156fdfdb5,integers.0.7.0 compile/p/ocaml/4.14.1,ocaml.4.14.1-f93dc14fbe1cce67b64997e50ae3afca,ocaml.4.14.1 compile/p/ocaml-base-compiler/4.14.1,ocaml-base-compiler.4.14.1-d41d8cd98f00b204e9800998ecf8427e,ocaml-base-compiler.4.14.1 compile/p/ocaml-config/2,ocaml-config.2-7c62a60b0db47a8cfb2eaa2f159ef861,ocaml-config.2 compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6,ocamlfind.1.9.6-b4ff2927357c9ead2679e5d779bd6414,ocamlfind.1.9.6 compile/u/bb710841daf43d76bbaeb057cabe6a87/stdlib-shims/0.3.0,stdlib-shims.0.3.0-bb710841daf43d76bbaeb057cabe6a87,stdlib-shims.0.3.0 compile/p/zarith/1.12,zarith.1.12-3b44361746301ab81482c590499b76e3,zarith.1.12; do IFS=\",\"; set -- $DATA; rsync -aR staging.docs.ci.ocamllabs.io:/data/./$1 .; done) && (rsync -aR staging.docs.ci.ocamllabs.io:/data/./prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1 .) && (find . -name '*.tar' -exec tar -xvf {} \\;)"))
 (run (shell "(mkdir -p compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/hacl-star/*.odoc)"))
 (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p hacl-star  ) && (shopt -s nullglob && ((tar -cvf compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/*  && rm -R compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/* && mv compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-810421058d684117922542288ef61984 && mv linked epoch-810421058d684117922542288ef61984/) && (mkdir -p epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1) && (shopt -s nullglob && ((tar -cvf epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/*  && rm -R epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/* && mv epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.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.593570') && (rsync -aR ./compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1 ./epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/ staging.docs.ci.ocamllabs.io:/data/.) && (set 'compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.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-4.14.1 \
--secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config

2024-09-28 18:11.26: RETRYING: 2024-09-28/181111-voodoo-do-050f34 Number of retries: 0 (retriable error condition)
Building on x86-bm-c3.sw.ocaml.org

(build "tools" …)

(from ocaml/opam:debian-12-ocaml-4.14@sha256:83eb8e3ba152b14f5ff0810475c7d6b279f23511d6f1bf34f2ab1e35802f9232)
2024-09-28 18:11.26 ---> using "9f935925852be372324c6cdf4f05c89f9b5031bbe1acaf84acd7af6f02e607d0" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-09-28 18:11.26 ---> using "6174ee73e145c990e35aa400c6f06883e74985bae114ad2789ffbdaf477933dd" 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 [183 kB]
Fetched 286 kB in 0s (1010 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 (10.6 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 ... 18745 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-09-28 18:11.26 ---> using "1cc9a2ed8a2319ecad4c060278614db860ac738a4f48329a8a951326882c82f0" 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#a432fa7b6013bef70b3fcdc64782e309d470e34a && 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#a432fa7b6013bef70b3fcdc64782e309d470e34a
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#a432fa7b6013bef70b3fcdc64782e309d470e34a
voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a (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#a432fa7b6013bef70b3fcdc64782e309d470e34a
voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a (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#a432fa7b6013bef70b3fcdc64782e309d470e34a
voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a (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#a432fa7b6013bef70b3fcdc64782e309d470e34a
voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a (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#a432fa7b6013bef70b3fcdc64782e309d470e34a

The following actions will be performed:
  - install ocamlbuild    0.15.0  [required by astring, bos]
  - install dune          3.16.0  [required by voodoo-do]
  - install num           1.5-1   [required by sexplib]
  - install ocamlfind     1.9.6   [required by astring, bos]
  - install cmdliner      1.3.0   [required by voodoo-do]
  - install seq           base    [required by tyxml, yojson]
  - install sexplib0      v0.16.0 [required by sexplib]
  - install result        1.5     [required by odoc]
  - install cppo          1.7.0   [required by odoc]
  - install camlp-streams 5.0.1   [required by odoc-parser]
  - install topkg         1.0.7   [required by astring, bos]
  - install yojson        2.2.2   [required by voodoo-do]
  - install re            1.12.0  [required by tyxml]
  - install parsexp       v0.16.0 [required by sexplib]
  - install uutf          1.0.3   [required by tyxml]
  - install rresult       0.7.0   [required by bos]
  - install ptime         1.2.0   [required by crunch]
  - install fmt           0.9.0   [required by bos, odoc]
  - install astring       0.8.5   [required by voodoo-do]
  - install sexplib       v0.16.0 [required by voodoo-lib]
  - 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.3   [required by odoc]
  - install fpath         0.7.3   [required by odoc, bos, voodoo-lib]
  - install odoc          2.4.3   [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.3.0] found in cache
[cppo.1.7.0] found in cache
[crunch.3.3.1] found in cache
[dune.3.16.0] 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-1] found in cache
[ocamlbuild.0.15.0] found in cache
[ocamlfind.1.9.6] found in cache
[odoc.2.4.3] found in cache
[odoc-parser.2.4.3] found in cache
[parsexp.v0.16.0] found in cache
[ptime.1.2.0] found in cache
[re.1.12.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.2.2] found in cache
[voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a
[voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#a432fa7b6013bef70b3fcdc64782e309d470e34a

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.3.0
-> installed num.1.5-1
-> 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 ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed bos.0.2.1
-> installed dune.3.16.0
-> installed result.1.5
-> installed camlp-streams.5.0.1
-> installed crunch.3.3.1
-> installed sexplib0.v0.16.0
-> installed re.1.12.0
-> installed cppo.1.7.0
-> installed yojson.2.2.2
-> installed odoc-parser.2.4.3
-> installed parsexp.v0.16.0
-> installed sexplib.v0.16.0
-> installed voodoo-lib.~dev
-> installed tyxml.4.6.0
-> installed odoc.2.4.3
-> installed voodoo-do.~dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-28 18:11.26 ---> using "8fdb5619ad5e9dae17f24500ca25ebf681526de13090f9f3ec83e5cf859e69d5" from cache

/home/opam: (run (shell "cp $(opam config var bin)/odoc $(opam config var bin)/voodoo-do /home/opam"))
2024-09-28 18:11.26 ---> using "f25ef1399e498a5f079289dff0ea6dde0e5c05b13c940d7865712a7a43baa951" from cache
2024-09-28 18:11.26 --> finished "tools"

(from ocaml/opam:debian-12-ocaml-4.14@sha256:83eb8e3ba152b14f5ff0810475c7d6b279f23511d6f1bf34f2ab1e35802f9232)
2024-09-28 18:11.26 ---> using "9f935925852be372324c6cdf4f05c89f9b5031bbe1acaf84acd7af6f02e607d0" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-09-28 18:11.26 ---> using "6174ee73e145c990e35aa400c6f06883e74985bae114ad2789ffbdaf477933dd" from cache

/home/opam: (workdir /home/opam/docs/)

/home/opam/docs/: (run (shell "sudo chown opam:opam . "))
2024-09-28 18:11.26 ---> using "ed10bc065909ee10a4ca9839098f7972f5404bcdc63142634bba26fb363d9de5" from cache

/home/opam/docs/: (copy (from (build tools))
                        (src /home/opam/odoc /home/opam/voodoo-do)
                        (dst /home/opam/))
2024-09-28 18:11.26 ---> using "456edaa265bdf78cd70ec97c0700bfdc0f7f7c658485ada64c0237104c54567c" from cache

/home/opam/docs/: (run (shell "mv ~/odoc $(opam config var bin)/odoc"))
2024-09-28 18:11.26 ---> using "f29b2387f95bd4e0de04aa29184ce5d5d073f45c11fa1cb09701a22444ffaf3d" 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/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0,bigarray-compat.1.1.0-bb710841daf43d76bbaeb057cabe6a87,bigarray-compat.1.1.0 compile/p/conf-cmake/1,conf-cmake.1-d41d8cd98f00b204e9800998ecf8427e,conf-cmake.1 compile/u/d41d8cd98f00b204e9800998ecf8427e/conf-gmp/4,conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e,conf-gmp.4 compile/p/conf-which/1,conf-which.1-d41d8cd98f00b204e9800998ecf8427e,conf-which.1 compile/u/bb710841daf43d76bbaeb057cabe6a87/cppo/1.6.9,cppo.1.6.9-bb710841daf43d76bbaeb057cabe6a87,cppo.1.6.9 compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2,ctypes.0.20.2-70e414dc0b8335a1d2b3c0b32ad429ed,ctypes.0.20.2 compile/p/dune/3.10.0,dune.3.10.0-51262f1934f91269be94879aa270c8f5,dune.3.10.0 compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1,hacl-star-raw.0.7.1-499faf4d56921111e28029aa1488df07,hacl-star-raw.0.7.1 compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0,integers.0.7.0-8110b541743eb343a2971bd156fdfdb5,integers.0.7.0 compile/p/ocaml/4.14.1,ocaml.4.14.1-f93dc14fbe1cce67b64997e50ae3afca,ocaml.4.14.1 compile/p/ocaml-base-compiler/4.14.1,ocaml-base-compiler.4.14.1-d41d8cd98f00b204e9800998ecf8427e,ocaml-base-compiler.4.14.1 compile/p/ocaml-config/2,ocaml-config.2-7c62a60b0db47a8cfb2eaa2f159ef861,ocaml-config.2 compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6,ocamlfind.1.9.6-b4ff2927357c9ead2679e5d779bd6414,ocamlfind.1.9.6 compile/u/bb710841daf43d76bbaeb057cabe6a87/stdlib-shims/0.3.0,stdlib-shims.0.3.0-bb710841daf43d76bbaeb057cabe6a87,stdlib-shims.0.3.0 compile/p/zarith/1.12,zarith.1.12-3b44361746301ab81482c590499b76e3,zarith.1.12; do IFS=\",\"; set -- $DATA; rsync -aR staging.docs.ci.ocamllabs.io:/data/./$1 .; done) && (rsync -aR staging.docs.ci.ocamllabs.io:/data/./prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1 .) && (find . -name '*.tar' -exec tar -xvf {} \\;)"))
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/hacl-star/
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/hacl-star/CHANGES.md
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/hacl-star/odoc-pages/
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/hacl-star/odoc-pages/index.mld
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star.ocamlobjinfo
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/META
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/dune-package
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__AutoConfig2.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__AutoConfig2.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__EverCrypt.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__EverCrypt.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__EverCrypt.cmti
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__Hacl.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__Hacl.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__Hacl.cmti
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedDefs.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedDefs.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedFunctors.cmi
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedFunctors.cmt
prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/opam
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_meta.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_split.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_lint.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Findlib.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_args.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Findlib_config.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_topo.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_dynload.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Ocaml_args.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Topfind.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_package_base.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_metascanner.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/1.9.6/lib/findlib/Fl_metatoken.odoc
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/doc/
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/doc/index.m
compile/u/b4ff2927357c9ead2679e5d779bd6414/ocamlfind/1.9.6/page-doc.odoc
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Signed.odoc
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/top/
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/top/Integer_printers.odoc
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/top/Install_integer_printers.odoc
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/doc/
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/doc/index.m
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/page-doc.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_MD5_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA2_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum4096_32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_NaCl_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum4096_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_HMAC_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo64_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_EC_K256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_HMAC_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Lib_RandomBuffer_System_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo1344_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_Blake2s_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum25519_51_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_EC_Ed25519_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Chacha20Poly1305_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Hash_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_Base_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum256_32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_P256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_EC_Ed25519_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_EC_K256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_NaCl_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2s_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_DRBG_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Ed25519_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_AEAD_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA1_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Poly1305_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Poly1305_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo_KEM_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Vec128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo640_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_DRBG_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Cipher_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Base_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Vec128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo976_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA3_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_K256_ECDSA_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum64_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Lib_RandomBuffer_System_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_P256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Ed25519_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_DRBG_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_HKDF_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Blake2_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_HKDF_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo976_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA1_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_AutoConfig2_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2b_256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Curve25519_64_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Curve25519_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_K256_ECDSA_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Curve25519_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2s_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_RSAPSS_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Base_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Blake2_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_K256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Salsa20_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum256_32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum25519_51_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Salsa20_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Types_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_128_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_DRBG_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Ed25519_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_GenericField64_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Hash_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum64_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum4096_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo640_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Curve25519_51_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_AutoConfig2_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Vec256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_K256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Curve25519_64_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA2_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Types_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_Blake2b_256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_RSAPSS_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_Blake2b_256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo64_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_IntTypes_Intrinsics_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo1344_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_SHA3_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_GenericField32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_GenericField64_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_Base_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Vec256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Types_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_FFDHE_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Hash_MD5_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Ed25519_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_AEAD_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Error_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Error_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_SHA2_Types_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/EverCrypt_Cipher_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20_Vec256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Poly1305_32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_FFDHE_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Spec_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Spec_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Streaming_Poly1305_32_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HKDF_Blake2s_128_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Chacha20Poly1305_256_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Frodo_KEM_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HMAC_Blake2b_256_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Curve25519_51_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_GenericField32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum4096_32_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_bindings.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/Hacl_Bignum_stubs.odoc
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/doc/
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/doc/index.m
compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/page-doc.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Cstubs_structs.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Cstubs_internals.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_structs.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Cstubs_inverted.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Cstubs.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_printers.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/PosixTypes.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_types.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_static.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_primitive_types.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/ComplexL.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/LDouble.odoc
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/doc/
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/doc/index.m
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/page-doc.odoc
compile/u/d41d8cd98f00b204e9800998ecf8427e/conf-gmp/4/doc/
compile/u/d41d8cd98f00b204e9800998ecf8427e/conf-gmp/4/doc/index.m
compile/u/d41d8cd98f00b204e9800998ecf8427e/conf-gmp/4/page-doc.odoc
compile/u/bb710841daf43d76bbaeb057cabe6a87/stdlib-shims/0.3.0/doc/
compile/u/bb710841daf43d76bbaeb057cabe6a87/stdlib-shims/0.3.0/doc/index.m
compile/u/bb710841daf43d76bbaeb057cabe6a87/stdlib-shims/0.3.0/page-doc.odoc
compile/u/bb710841daf43d76bbaeb057cabe6a87/cppo/1.6.9/doc/
compile/u/bb710841daf43d76bbaeb057cabe6a87/cppo/1.6.9/doc/index.m
compile/u/bb710841daf43d76bbaeb057cabe6a87/cppo/1.6.9/page-doc.odoc
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/Bigarray_compat.odoc
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/doc/
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/doc/index.m
compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/page-doc.odoc
compile/p/zarith/1.12/1.12/
compile/p/zarith/1.12/1.12/lib/
compile/p/zarith/1.12/1.12/lib/zarith/
compile/p/zarith/1.12/1.12/lib/zarith/Big_int_Z.odoc
compile/p/zarith/1.12/1.12/lib/zarith/Q.odoc
compile/p/zarith/1.12/1.12/lib/zarith/Z.odoc
compile/p/zarith/1.12/doc/
compile/p/zarith/1.12/doc/index.m
compile/p/zarith/1.12/page-doc.odoc
compile/p/ocaml-config/2/doc/
compile/p/ocaml-config/2/doc/index.m
compile/p/ocaml-config/2/page-doc.odoc
compile/p/ocaml-base-compiler/4.14.1/doc/
compile/p/ocaml-base-compiler/4.14.1/doc/index.m
compile/p/ocaml-base-compiler/4.14.1/page-doc.odoc
compile/p/ocaml/4.14.1/doc/
compile/p/ocaml/4.14.1/doc/index.m
compile/p/ocaml/4.14.1/page-doc.odoc
compile/p/dune/3.10.0/doc/
compile/p/dune/3.10.0/doc/index.m
compile/p/dune/3.10.0/page-doc.odoc
compile/p/conf-which/1/doc/
compile/p/conf-which/1/doc/index.m
compile/p/conf-which/1/page-doc.odoc
compile/p/conf-cmake/1/doc/
compile/p/conf-cmake/1/doc/index.m
compile/p/conf-cmake/1/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-09-28 18:11.44 ---> saved as "93c2a29145efbe5d128b3025738ac3c79a93b60f946904724d1e156c8f9e1de5"

/home/opam/docs/: (run (shell "(mkdir -p compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/hacl-star/*.odoc)"))
2024-09-28 18:11.44 ---> saved as "2d16e8b19e372462a89990d3d7b46a1be2a58c56cd78bfa64298ffcbc4929589"

/home/opam/docs/: (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p hacl-star  ) && (shopt -s nullglob && ((tar -cvf compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/*  && rm -R compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/* && mv compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-810421058d684117922542288ef61984 && mv linked epoch-810421058d684117922542288ef61984/) && (mkdir -p epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1) && (shopt -s nullglob && ((tar -cvf epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/*  && rm -R epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/* && mv epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1.tar epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/content.tar) || (echo 'Empty directory')))"))
process_meta_file: prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/META
found archive_names: [hacl_star]
process_ocamlobjinfo_file: prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star.ocamlobjinfo
trying to look up archive_name: hacl_star
units: Hacl_star,Hacl_star__AutoConfig2,Hacl_star__SharedDefs,Hacl_star__SharedFunctors,Hacl_star__Hacl,Hacl_star__EverCrypt
found archive_names: [hacl_star/Hacl_star,Hacl_star__AutoConfig2,Hacl_star__SharedDefs,Hacl_star__SharedFunctors,Hacl_star__Hacl,Hacl_star__EverCrypt]
Found 1 mld pages and 1 other pages
compile command: odoc compile ./u.mld -o compile/page-u.odoc --child
                   page-"c11d5cc90c40fff4b655b8aeb15d7a51"
compile command: odoc compile ./c11d5cc90c40fff4b655b8aeb15d7a51.mld -o
                   compile/u/page-c11d5cc90c40fff4b655b8aeb15d7a51.odoc
                   --parent page-"u" -I compile --child page-"hacl-star"
File "./c11d5cc90c40fff4b655b8aeb15d7a51.mld", line 2, characters 12-21:
Warning: Unknown reference qualifier 'hacl'.
compile command: odoc compile ./hacl-star.mld -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/page-hacl-star.odoc
                   --parent page-"c11d5cc90c40fff4b655b8aeb15d7a51" -I
                   compile/u --child page-"0.7.1"
File "./hacl-star.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 ./0.7.1.mld -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/page-0.7.1.odoc
                   --parent page-"hacl-star" -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51 --child
                   page-"doc"
compile command: odoc compile ./doc.mld -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/page-doc.odoc
                   --parent page-"0.7.1" -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star
                   --child module-hacl_star__SharedFunctors --child
                   module-hacl_star__SharedDefs --child
                   module-hacl_star__Hacl --child module-hacl_star__EverCrypt
                   --child module-hacl_star__AutoConfig2 --child
                   module-hacl_star
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star.cmt
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star.odoc
                   --parent page-"doc" -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
Missing dependency: Stdlib__Uchar c0dde02a556a6d79e363ad365d165d57
Missing dependency: Stdlib__Seq b63511032211eae4b567ba313cd72962
Missing dependency: Stdlib__Printf bc8af6214197dc8f40eaa738a4cd6a28
Missing dependency: Stdlib__Obj 25794d29f7f4018768ea900e331a2bf3
Missing dependency: Stdlib__Nativeint 989149bf8f2ce1a89fecbc3f5f40f52c
Missing dependency: Stdlib__Int32 a71ea5238030770647165f659f80b1ab
Missing dependency: Stdlib__Format b6edb97b685819e873481fe05723c8bc
Missing dependency: Stdlib__Either 26845df28d19584687a38a1ab814c3f9
Missing dependency: Stdlib__Complex 4555217c759e89d65daa8f682eb09b35
Missing dependency: Stdlib__Bytes 3d02c33317c0108c61e7a5eefa37519a
Missing dependency: Stdlib__Buffer 4b09c9a6d0622bbf5a3829234b481822
Missing dependency: Stdlib__Bigarray 994a14f10d5ae081663b52b790ee11d3
Missing dependency: Stdlib 79b0e9d3b6f7fed07eb3cc2abb961b91
Missing dependency: Ctypes_ptr 96a52db763e7132fd220144f4b9cd36b
Missing dependency: Ctypes_memory_stubs b3975356d5a6f02aa242e6a30b631fb6
Missing dependency: Ctypes_bigarray 38dfba47299505b87e05afb37234ba8c
Missing dependency: CamlinternalFormatBasics 8f8f634558798ee408df3c50a5539b15
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedDefs.cmt
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__SharedDefs.odoc
                   --parent page-"doc" -I
                   compile/p/zarith/1.12/1.12/lib/zarith/ -I
                   compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
                   -I
                   compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
                   -I
                   compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
                   -I
                   compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
File "compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc":
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes.odoc":
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_static.odoc":
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_static.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "SharedDefs.ml", line 109, characters 10-24:
Warning: Alert deprecated not expected here.
Missing dependency: Stdlib__Uchar c0dde02a556a6d79e363ad365d165d57
Missing dependency: Stdlib__Seq b63511032211eae4b567ba313cd72962
Missing dependency: Stdlib__Printf bc8af6214197dc8f40eaa738a4cd6a28
Missing dependency: Stdlib__Obj 25794d29f7f4018768ea900e331a2bf3
Missing dependency: Stdlib__Nativeint 989149bf8f2ce1a89fecbc3f5f40f52c
Missing dependency: Stdlib__Int32 a71ea5238030770647165f659f80b1ab
Missing dependency: Stdlib__Format b6edb97b685819e873481fe05723c8bc
Missing dependency: Stdlib__Either 26845df28d19584687a38a1ab814c3f9
Missing dependency: Stdlib__Complex 4555217c759e89d65daa8f682eb09b35
Missing dependency: Stdlib__Buffer 4b09c9a6d0622bbf5a3829234b481822
Missing dependency: Stdlib__Bigarray 994a14f10d5ae081663b52b790ee11d3
Missing dependency: Stdlib 79b0e9d3b6f7fed07eb3cc2abb961b91
Missing dependency: Ctypes_ptr 96a52db763e7132fd220144f4b9cd36b
Missing dependency: Ctypes_memory_stubs b3975356d5a6f02aa242e6a30b631fb6
Missing dependency: Ctypes_bigarray 38dfba47299505b87e05afb37234ba8c
Missing dependency: CamlinternalFormatBasics 8f8f634558798ee408df3c50a5539b15
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__AutoConfig2.cmt
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__AutoConfig2.odoc
                   --parent page-"doc" -I
                   compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
                   -I
                   compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
                   -I
                   compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
                   -I
                   compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
Missing dependency: Stdlib__Uchar c0dde02a556a6d79e363ad365d165d57
Missing dependency: Stdlib__Seq b63511032211eae4b567ba313cd72962
Missing dependency: Stdlib__Printf bc8af6214197dc8f40eaa738a4cd6a28
Missing dependency: Stdlib__Obj 25794d29f7f4018768ea900e331a2bf3
Missing dependency: Stdlib__Nativeint 989149bf8f2ce1a89fecbc3f5f40f52c
Missing dependency: Stdlib__List ee222542f6f8195441543b8b399b64b9
Missing dependency: Stdlib__Int32 a71ea5238030770647165f659f80b1ab
Missing dependency: Stdlib__Format b6edb97b685819e873481fe05723c8bc
Missing dependency: Stdlib__Either 26845df28d19584687a38a1ab814c3f9
Missing dependency: Stdlib__Complex 4555217c759e89d65daa8f682eb09b35
Missing dependency: Stdlib__Bytes 3d02c33317c0108c61e7a5eefa37519a
Missing dependency: Stdlib__Buffer 4b09c9a6d0622bbf5a3829234b481822
Missing dependency: Stdlib__Bigarray 994a14f10d5ae081663b52b790ee11d3
Missing dependency: Stdlib 79b0e9d3b6f7fed07eb3cc2abb961b91
Missing dependency: Ctypes_ptr 96a52db763e7132fd220144f4b9cd36b
Missing dependency: Ctypes_memory_stubs b3975356d5a6f02aa242e6a30b631fb6
Missing dependency: Ctypes_bigarray 38dfba47299505b87e05afb37234ba8c
Missing dependency: CamlinternalFormatBasics 8f8f634558798ee408df3c50a5539b15
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__SharedFunctors.cmt
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__SharedFunctors.odoc
                   --parent page-"doc" -I
                   compile/p/zarith/1.12/1.12/lib/zarith/ -I
                   compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
                   -I
                   compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
                   -I
                   compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
                   -I
                   compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
File "compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc":
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

Missing dependency: Stdlib__Uchar c0dde02a556a6d79e363ad365d165d57
Missing dependency: Stdlib__Seq b63511032211eae4b567ba313cd72962
Missing dependency: Stdlib__Printf bc8af6214197dc8f40eaa738a4cd6a28
Missing dependency: Stdlib__Obj 25794d29f7f4018768ea900e331a2bf3
Missing dependency: Stdlib__Nativeint 989149bf8f2ce1a89fecbc3f5f40f52c
Missing dependency: Stdlib__Int32 a71ea5238030770647165f659f80b1ab
Missing dependency: Stdlib__Format b6edb97b685819e873481fe05723c8bc
Missing dependency: Stdlib__Either 26845df28d19584687a38a1ab814c3f9
Missing dependency: Stdlib__Complex 4555217c759e89d65daa8f682eb09b35
Missing dependency: Stdlib__Bytes 3d02c33317c0108c61e7a5eefa37519a
Missing dependency: Stdlib__Buffer 4b09c9a6d0622bbf5a3829234b481822
Missing dependency: Stdlib__Bigarray 994a14f10d5ae081663b52b790ee11d3
Missing dependency: Stdlib 79b0e9d3b6f7fed07eb3cc2abb961b91
Missing dependency: Ctypes_ptr 96a52db763e7132fd220144f4b9cd36b
Missing dependency: Ctypes_memory_stubs b3975356d5a6f02aa242e6a30b631fb6
Missing dependency: Ctypes_bigarray 38dfba47299505b87e05afb37234ba8c
Missing dependency: CamlinternalFormatBasics 8f8f634558798ee408df3c50a5539b15
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__Hacl.cmti
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__Hacl.odoc
                   --parent page-"doc" -I
                   compile/p/zarith/1.12/1.12/lib/zarith/ -I
                   compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
                   -I
                   compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
                   -I
                   compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
                   -I
                   compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
File "Hacl.mli", line 53, characters 67-78:
Warning: 'label' is deprecated, use 'section' instead.
Missing dependency: Stdlib__Uchar c0dde02a556a6d79e363ad365d165d57
Missing dependency: Stdlib__Seq b63511032211eae4b567ba313cd72962
Missing dependency: Stdlib__Printf bc8af6214197dc8f40eaa738a4cd6a28
Missing dependency: Stdlib__Obj 25794d29f7f4018768ea900e331a2bf3
Missing dependency: Stdlib__Nativeint 989149bf8f2ce1a89fecbc3f5f40f52c
Missing dependency: Stdlib__Int32 a71ea5238030770647165f659f80b1ab
Missing dependency: Stdlib__Format b6edb97b685819e873481fe05723c8bc
Missing dependency: Stdlib__Either 26845df28d19584687a38a1ab814c3f9
Missing dependency: Stdlib__Complex 4555217c759e89d65daa8f682eb09b35
Missing dependency: Stdlib__Bytes 3d02c33317c0108c61e7a5eefa37519a
Missing dependency: Stdlib__Buffer 4b09c9a6d0622bbf5a3829234b481822
Missing dependency: Stdlib__Bigarray 994a14f10d5ae081663b52b790ee11d3
Missing dependency: Stdlib 79b0e9d3b6f7fed07eb3cc2abb961b91
Missing dependency: Ctypes_ptr 96a52db763e7132fd220144f4b9cd36b
Missing dependency: Ctypes_memory_stubs b3975356d5a6f02aa242e6a30b631fb6
Missing dependency: Ctypes_bigarray 38dfba47299505b87e05afb37234ba8c
Missing dependency: CamlinternalFormatBasics 8f8f634558798ee408df3c50a5539b15
compile command: odoc compile
                   prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/lib/hacl-star/hacl_star__EverCrypt.cmti
                   -o
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__EverCrypt.odoc
                   --parent page-"doc" -I
                   compile/p/zarith/1.12/1.12/lib/zarith/ -I
                   compile/u/499faf4d56921111e28029aa1488df07/hacl-star-raw/0.7.1/0.7.1/lib/hacl-star-raw/
                   -I
                   compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/
                   -I
                   compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/
                   -I
                   compile/u/bb710841daf43d76bbaeb057cabe6a87/bigarray-compat/1.1.0/1.1.0/lib/bigarray-compat/
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1
                   -I
                   compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
package mlds: [prep/universes/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/hacl-star/odoc-pages/index.mld]
File "compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc":
compile/u/8110b541743eb343a2971bd156fdfdb5/integers/0.7.0/0.7.0/lib/integers/Unsigned.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes.odoc":
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_static.odoc":
compile/u/70e414dc0b8335a1d2b3c0b32ad429ed/ctypes/0.20.2/0.20.2/lib/ctypes/Ctypes_static.odoc: invalid magic number "odoc-2.4.2", expected "odoc-2.4.3"

File "SharedDefs.ml", line 344, characters 73-89:
Warning: Failed to resolve reference unresolvedroot(ecdsa) Couldn't find "ecdsa"
File "SharedDefs.ml", line 341, characters 98-115:
Warning: Failed to resolve reference unresolvedroot(points) Couldn't find "points"
File "SharedDefs.ml", line 344, characters 73-89:
Warning: Failed to resolve reference unresolvedroot(ecdsa) Couldn't find "ecdsa"
File "SharedDefs.ml", line 341, characters 98-115:
Warning: Failed to resolve reference unresolvedroot(points) Couldn't find "points"
File "Hacl.mli", line 344, characters 67-97:
Warning: Failed to resolve reference unresolvedroot(EverCrypt).SHA2_256 Couldn't find "SHA2_256"
File "Hacl.mli", line 344, characters 32-62:
Warning: Failed to resolve reference unresolvedroot(EverCrypt).SHA2_224 Couldn't find "SHA2_224"
1 other files to copy
dst: linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/opam
dst: linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/CHANGES.md
dest: linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/CHANGES.md
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__EverCrypt.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__Hacl.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__SharedFunctors.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__AutoConfig2.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star__SharedDefs.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star.odoc
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/index.m
compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/page-doc.odoc
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/0.7.1/lib/hacl-star/Hacl_star.odocl
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/CHANGES.md
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/doc/opam
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/package.json
epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1/page-doc.odocl
2024-09-28 18:11.46 ---> saved as "ec58cafcce19fa36af58e101bbca7329a52666e1cdb3735442a8c3825a5f9dae"

/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.593570') && (rsync -aR ./compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1 ./epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/ staging.docs.ci.ocamllabs.io:/data/.) && (set 'compile/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-810421058d684117922542288ef61984/linked/u/c11d5cc90c40fff4b655b8aeb15d7a51/hacl-star/0.7.1'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"LINKED:$2:$HASH\\n\";)"))
0.593570
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
COMPILE::24c6eca5f6575e366cf02d4295e775c4a000c3240578977a747cbf0af43928d9
LINKED::3850507a099e9f82989de2596fad77fd6a63183abbeed2db06bd7400889c88ad
2024-09-28 18:11.47 ---> saved as "6d51bcfa05e83a8d03a0d6a859bdbb9464faa68b38b0c479365725e43b54573f"
Job succeeded
2024-09-28 18:11.49: Job succeeded