Build:
  1. 0
2024-09-24 19:01.16: New job: Voodoo do dolmen_type.0.10; 168a6c421bbc0bf55366b192f8672d05
2024-09-24 19:01.16: Waiting for resource in pool OCluster
2024-09-24 19:01.16: Waiting for worker…
2024-09-24 19:01.29: Got resource from pool OCluster
2024-09-24 19:01.29: 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:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3)
         (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-5.1@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3)
 (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/p/cmdliner/1.3.0,cmdliner.1.3.0-a573c8251a3b8ff3a11c7cffb86f8366,cmdliner.1.3.0 compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10,dolmen.0.10-48c1bd0ffb344a1f3f003a05c8f089b6,dolmen.0.10 compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.16.0,dune.3.16.0-44521134ec2271626cc088ea2bc751d6,dune.3.16.0 compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0,fmt.0.9.0-a7894b2383f0fc3925f163941588f2dd,fmt.0.9.0 compile/p/hmap/0.8.1,hmap.0.8.1-0a60ea26bb38d98f86e3b6b8d00ac8e2,hmap.0.8.1 compile/u/4acf69dbbfc1325ce5e3403afd67fc33/menhir/20231231,menhir.20231231-4acf69dbbfc1325ce5e3403afd67fc33,menhir.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231,menhirCST.20231231-00c332824f54335328bbccfda79c0db7,menhirCST.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231,menhirLib.20231231-00c332824f54335328bbccfda79c0db7,menhirLib.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231,menhirSdk.20231231-00c332824f54335328bbccfda79c0db7,menhirSdk.20231231 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/p/ocamlbuild/0.14.3,ocamlbuild.0.14.3-a573c8251a3b8ff3a11c7cffb86f8366,ocamlbuild.0.14.3 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6,ocamlfind.1.9.6-a573c8251a3b8ff3a11c7cffb86f8366,ocamlfind.1.9.6 compile/p/seq/base,seq.base-a573c8251a3b8ff3a11c7cffb86f8366,seq.base compile/p/spelll/0.4,spelll.0.4-1a39a8b106a93569dfca7ddc407165e7,spelll.0.4 compile/u/00c332824f54335328bbccfda79c0db7/stdlib-shims/0.3.0,stdlib-shims.0.3.0-00c332824f54335328bbccfda79c0db7,stdlib-shims.0.3.0 compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7,topkg.1.0.7-1efefc14dd089897194d91e95f986cf1,topkg.1.0.7 compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3,uutf.1.0.3-5165014d3199ad2781cf187c731c8d52,uutf.1.0.3; do IFS=\",\"; set -- $DATA; rsync -aR staging.docs.ci.ocamllabs.io:/data/./$1 .; done) && (rsync -aR staging.docs.ci.ocamllabs.io:/data/./prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10 .) && (find . -name '*.tar' -exec tar -xvf {} \\;)"))
 (run (shell "(mkdir -p compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/dolmen_type/*.odoc)"))
 (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p dolmen_type  ) && (shopt -s nullglob && ((tar -cvf compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/*  && rm -R compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/* && mv compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-810421058d684117922542288ef61984 && mv linked epoch-810421058d684117922542288ef61984/) && (mkdir -p epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10) && (shopt -s nullglob && ((tar -cvf epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/*  && rm -R epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/* && mv epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/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.862386') && (rsync -aR ./compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10 ./epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/ staging.docs.ci.ocamllabs.io:/data/.) && (set 'compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10'; 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-09-24 19:01.29: RETRYING: 2024-09-24/190116-voodoo-do-111bd3 Number of retries: 0 (retriable error condition)
Building on x86-bm-c5.sw.ocaml.org

(build "tools" …)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3' locally
docker.io/ocaml/opam@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3: Pulling from ocaml/opam
a5de98dffbd1: Pulling fs layer
a5de98dffbd1: Verifying Checksum
a5de98dffbd1: Download complete
a5de98dffbd1: Pull complete
Digest: sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3
Status: Downloaded newer image for ocaml/opam@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3
2024-09-24 19:01.29 ---> using "5738de3d9df8ead20a1a1c116d643ca1bf950908deaecacf76190f5cf776294c" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-09-24 19:01.29 ---> using "8391fd98bf10c1b1296f6d4a932e8df1595ecebf5401b500bda55f2c0e61572d" 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 [182 kB]
Fetched 286 kB in 0s (794 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 (13.8 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 ... 18776 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-24 19:01.29 ---> using "15cd249638312560997fdd5f629404ed849b32ae190f4fa2f30e779e3f8aa7e3" 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.17.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.17.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.17.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.17.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.17.0] found in cache
[sexplib0.v0.17.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 num.1.5-1
-> installed cmdliner.1.3.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.15.0
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed 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.17.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.17.0
-> installed sexplib.v0.17.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-24 19:01.29 ---> using "314185d51ac2d94ace375d18c4c8d3cc4fe3710d9cbb8e468f01dafa2237b13c" from cache

/home/opam: (run (shell "cp $(opam config var bin)/odoc $(opam config var bin)/voodoo-do /home/opam"))
2024-09-24 19:01.29 ---> using "3002a9c25e3175e0cb7c927b3eec3b913bdfeedcb51d20ca085eeac5736cd924" from cache
2024-09-24 19:01.29 --> finished "tools"

(from ocaml/opam:debian-12-ocaml-5.1@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3' locally
docker.io/ocaml/opam@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3: Pulling from ocaml/opam
a5de98dffbd1: Pulling fs layer
a5de98dffbd1: Verifying Checksum
a5de98dffbd1: Download complete
a5de98dffbd1: Pull complete
Digest: sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3
Status: Downloaded newer image for ocaml/opam@sha256:0cfb2cde31ba2a32430240b9333f95a68414311f9f85cfa9debad172b705f8d3
2024-09-24 19:01.29 ---> using "5738de3d9df8ead20a1a1c116d643ca1bf950908deaecacf76190f5cf776294c" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-09-24 19:01.29 ---> using "8391fd98bf10c1b1296f6d4a932e8df1595ecebf5401b500bda55f2c0e61572d" from cache

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

/home/opam/docs/: (run (shell "sudo chown opam:opam . "))
2024-09-24 19:01.29 ---> using "4519f8c77779892e67bbfe246ab953c1cd1e5bd44244c5b3daf07683377f4f07" from cache

/home/opam/docs/: (copy (from (build tools))
                        (src /home/opam/odoc /home/opam/voodoo-do)
                        (dst /home/opam/))
2024-09-24 19:01.29 ---> using "c6b284284c17b8976dfcbe4ae887132cabbb4183fa6f4f18b79b208ccfbf38b8" from cache

/home/opam/docs/: (run (shell "mv ~/odoc $(opam config var bin)/odoc"))
2024-09-24 19:01.29 ---> using "a321f9e8025c2056a1181bdc3d953d2dc7e806bc904560aa3fadb5205e19cefb" 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/p/cmdliner/1.3.0,cmdliner.1.3.0-a573c8251a3b8ff3a11c7cffb86f8366,cmdliner.1.3.0 compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10,dolmen.0.10-48c1bd0ffb344a1f3f003a05c8f089b6,dolmen.0.10 compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.16.0,dune.3.16.0-44521134ec2271626cc088ea2bc751d6,dune.3.16.0 compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0,fmt.0.9.0-a7894b2383f0fc3925f163941588f2dd,fmt.0.9.0 compile/p/hmap/0.8.1,hmap.0.8.1-0a60ea26bb38d98f86e3b6b8d00ac8e2,hmap.0.8.1 compile/u/4acf69dbbfc1325ce5e3403afd67fc33/menhir/20231231,menhir.20231231-4acf69dbbfc1325ce5e3403afd67fc33,menhir.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231,menhirCST.20231231-00c332824f54335328bbccfda79c0db7,menhirCST.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231,menhirLib.20231231-00c332824f54335328bbccfda79c0db7,menhirLib.20231231 compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231,menhirSdk.20231231-00c332824f54335328bbccfda79c0db7,menhirSdk.20231231 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/p/ocamlbuild/0.14.3,ocamlbuild.0.14.3-a573c8251a3b8ff3a11c7cffb86f8366,ocamlbuild.0.14.3 compile/u/a573c8251a3b8ff3a11c7cffb86f8366/ocamlfind/1.9.6,ocamlfind.1.9.6-a573c8251a3b8ff3a11c7cffb86f8366,ocamlfind.1.9.6 compile/p/seq/base,seq.base-a573c8251a3b8ff3a11c7cffb86f8366,seq.base compile/p/spelll/0.4,spelll.0.4-1a39a8b106a93569dfca7ddc407165e7,spelll.0.4 compile/u/00c332824f54335328bbccfda79c0db7/stdlib-shims/0.3.0,stdlib-shims.0.3.0-00c332824f54335328bbccfda79c0db7,stdlib-shims.0.3.0 compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7,topkg.1.0.7-1efefc14dd089897194d91e95f986cf1,topkg.1.0.7 compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3,uutf.1.0.3-5165014d3199ad2781cf187c731c8d52,uutf.1.0.3; do IFS=\",\"; set -- $DATA; rsync -aR staging.docs.ci.ocamllabs.io:/data/./$1 .; done) && (rsync -aR staging.docs.ci.ocamllabs.io:/data/./prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10 .) && (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.
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/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/dolmen_type/
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/dolmen_type/CHANGES.md
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/dolmen_type/LICENSE
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/dolmen_type/README.md
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ocamlobjinfo
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/META
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmti
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmi
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dune-package
prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/opam
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/1.0.3/
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/1.0.3/lib/
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/1.0.3/lib/uutf/
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/1.0.3/lib/uutf/Uutf.odoc
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/doc/
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/doc/index.m
compile/u/5165014d3199ad2781cf187c731c8d52/uutf/1.0.3/page-doc.odoc
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/1.0.7/
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/1.0.7/lib/
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/1.0.7/lib/topkg/
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/1.0.7/lib/topkg/Topkg.odoc
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/doc/
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/doc/index.m
compile/u/1efefc14dd089897194d91e95f986cf1/topkg/1.0.7/page-doc.odoc
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/00c332824f54335328bbccfda79c0db7/stdlib-shims/0.3.0/doc/
compile/u/00c332824f54335328bbccfda79c0db7/stdlib-shims/0.3.0/doc/index.m
compile/u/00c332824f54335328bbccfda79c0db7/stdlib-shims/0.3.0/page-doc.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_read.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Version.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_format.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Cmly_api.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk__Keyword.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/20231231/lib/menhirSdk/MenhirSdk.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/doc/
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/doc/index.m
compile/u/00c332824f54335328bbccfda79c0db7/menhirSdk/20231231/page-doc.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/20231231/
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/20231231/lib/
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/20231231/lib/menhirLib/
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/20231231/lib/menhirLib/MenhirLib.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/doc/
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/doc/index.m
compile/u/00c332824f54335328bbccfda79c0db7/menhirLib/20231231/page-doc.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/20231231/
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/20231231/lib/
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/20231231/lib/menhirCST/
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/20231231/lib/menhirCST/MenhirCST__Settle.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/20231231/lib/menhirCST/MenhirCST.odoc
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/doc/
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/doc/index.m
compile/u/00c332824f54335328bbccfda79c0db7/menhirCST/20231231/page-doc.odoc
compile/u/4acf69dbbfc1325ce5e3403afd67fc33/menhir/20231231/doc/
compile/u/4acf69dbbfc1325ce5e3403afd67fc33/menhir/20231231/doc/index.m
compile/u/4acf69dbbfc1325ce5e3403afd67fc33/menhir/20231231/page-doc.odoc
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/lib/
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/lib/fmt/
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/lib/fmt/Fmt_cli.odoc
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/lib/fmt/Fmt_tty.odoc
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/0.9.0/lib/fmt/Fmt.odoc
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/doc/
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/doc/index.m
compile/u/a7894b2383f0fc3925f163941588f2dd/fmt/0.9.0/page-doc.odoc
compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.16.0/doc/
compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.16.0/doc/index.m
compile/u/44521134ec2271626cc088ea2bc751d6/dune/3.16.0/page-doc.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/class/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/class/Dolmen_class__Logic.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/class/Dolmen_class__Response.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/class/Dolmen_class.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/icnf/Dolmen_icnf__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/Dolmen.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/line/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/line/Dolmen_line.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/line/Dolmen_line__LexLine.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/line/Dolmen_line__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/ae/Dolmen_ae__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/zf/Dolmen_zf__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/dimacs/Dolmen_dimacs__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/Dolmen_tptp.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/v6_3_0/Dolmen_tptp_v6_3_0__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Vec.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Escape.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Msg.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Transformer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Misc.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Answer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Stats.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Timer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Expr.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Tag.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Pretty.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Maps_string.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Normalize.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Tok.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Builtin.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Path.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Extensions.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Statement.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Term.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Id.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Loc.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Name.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Namespace.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std__Maps.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/Dolmen_std.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Ty.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Ext.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Tag.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Pretty.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Stmt.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Term.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Id.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Map.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Language.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Lex.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Location.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Msg.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Parse.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf__Tok.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/Dolmen_intf.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_response/Dolmen_smtlib2_v6_response__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Print.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/poly/Dolmen_smtlib2_poly__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/Dolmen_smtlib2.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/Dolmen_smtlib2_v6.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Lexer.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Syntax_messages.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Parser.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Tokens.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Print.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__Ast.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6_script/Dolmen_smtlib2_v6_script__.odoc
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/doc/
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/doc/index.m
compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/page-doc.odoc
compile/p/spelll/0.4/0.4/
compile/p/spelll/0.4/0.4/lib/
compile/p/spelll/0.4/0.4/lib/spelll/
compile/p/spelll/0.4/0.4/lib/spelll/Spelll.odoc
compile/p/spelll/0.4/doc/
compile/p/spelll/0.4/doc/index.m
compile/p/spelll/0.4/page-doc.odoc
compile/p/seq/base/doc/
compile/p/seq/base/doc/index.m
compile/p/seq/base/page-doc.odoc
compile/p/ocamlbuild/0.14.3/0.14.3/
compile/p/ocamlbuild/0.14.3/0.14.3/lib/
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/Ocamlbuild_plugin.odoc
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/Ocamlbuild_pack.odoc
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/Ocamlbuild_unix_plugin.odoc
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/Signatures.odoc
compile/p/ocamlbuild/0.14.3/0.14.3/lib/ocamlbuild/Ocamlbuild_executor.odoc
compile/p/ocamlbuild/0.14.3/doc/
compile/p/ocamlbuild/0.14.3/doc/index.m
compile/p/ocamlbuild/0.14.3/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/hmap/0.8.1/0.8.1/
compile/p/hmap/0.8.1/0.8.1/lib/
compile/p/hmap/0.8.1/0.8.1/lib/hmap/
compile/p/hmap/0.8.1/0.8.1/lib/hmap/Hmap.odoc
compile/p/hmap/0.8.1/doc/
compile/p/hmap/0.8.1/doc/index.m
compile/p/hmap/0.8.1/page-doc.odoc
compile/p/cmdliner/1.3.0/1.3.0/
compile/p/cmdliner/1.3.0/1.3.0/lib/
compile/p/cmdliner/1.3.0/1.3.0/lib/cmdliner/
compile/p/cmdliner/1.3.0/1.3.0/lib/cmdliner/Cmdliner.odoc
compile/p/cmdliner/1.3.0/doc/
compile/p/cmdliner/1.3.0/doc/page-tutorial.odoc
compile/p/cmdliner/1.3.0/doc/page-tool_man.odoc
compile/p/cmdliner/1.3.0/doc/page-examples.odoc
compile/p/cmdliner/1.3.0/doc/page-cli.odoc
compile/p/cmdliner/1.3.0/doc/index.m
compile/p/cmdliner/1.3.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-09-24 19:01.44 ---> saved as "a6bf099b6f5b773010d54e10c897c700a7b0420b7ecfa1c692f8cd64d56a7b93"

/home/opam/docs/: (run (shell "(mkdir -p compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10) && (rm -f compile/packages.mld compile/page-packages.odoc compile/packages/*.mld compile/packages/*.odoc compile/packages/dolmen_type/*.odoc)"))
2024-09-24 19:01.44 ---> saved as "b5817a55ac509ab944dd5fa2aa8bb72a653ac99588bd4f9b10c8e62361efc5a8"

/home/opam/docs/: (run (shell "(OCAMLRUNPARAM=b opam exec -- /home/opam/voodoo-do -p dolmen_type  ) && (shopt -s nullglob && ((tar -cvf compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/*  && rm -R compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/* && mv compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/content.tar) || (echo 'Empty directory'))) && (mkdir -p linked && mkdir -p epoch-810421058d684117922542288ef61984 && mv linked epoch-810421058d684117922542288ef61984/) && (mkdir -p epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10) && (shopt -s nullglob && ((tar -cvf epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/*  && rm -R epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/* && mv epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10.tar epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/content.tar) || (echo 'Empty directory')))"))
process_meta_file: prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/META
found archive_names: [dolmen_type]
process_ocamlobjinfo_file: prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type.ocamlobjinfo
trying to look up archive_name: dolmen_type
units: Dolmen_type,Dolmen_type__Intf,Dolmen_type__Thf_intf,Dolmen_type__Misc,Dolmen_type__Thf,Dolmen_type__Tff_intf,Dolmen_type__Tff,Dolmen_type__Base,Dolmen_type__Strings,Dolmen_type__Arith,Dolmen_type__Arrays,Dolmen_type__Logic,Dolmen_type__Float,Dolmen_type__Def,Dolmen_type__Core,Dolmen_type__Bitv
found archive_names: [dolmen_type/Dolmen_type,Dolmen_type__Intf,Dolmen_type__Thf_intf,Dolmen_type__Misc,Dolmen_type__Thf,Dolmen_type__Tff_intf,Dolmen_type__Tff,Dolmen_type__Base,Dolmen_type__Strings,Dolmen_type__Arith,Dolmen_type__Arrays,Dolmen_type__Logic,Dolmen_type__Float,Dolmen_type__Def,Dolmen_type__Core,Dolmen_type__Bitv]
Found 0 mld pages and 3 other pages
libraries: [dolmen_type]
compile command: odoc compile ./u.mld -o compile/page-u.odoc --child
                   page-"168a6c421bbc0bf55366b192f8672d05"
compile command: odoc compile ./168a6c421bbc0bf55366b192f8672d05.mld -o
                   compile/u/page-168a6c421bbc0bf55366b192f8672d05.odoc
                   --parent page-"u" -I compile --child page-"dolmen_type"
compile command: odoc compile ./dolmen_type.mld -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/page-dolmen_type.odoc
                   --parent page-"168a6c421bbc0bf55366b192f8672d05" -I
                   compile/u --child page-"0.10"
File "./dolmen_type.mld", line 2, characters 14-16:
Warning: Child label is not allowed in the last component of a reference path.
Suggestion: 'child-10' should be first.
compile command: odoc compile ./0.10.mld -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/page-0.10.odoc
                   --parent page-"dolmen_type" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05 --child
                   page-"doc"
compile command: odoc compile ./doc.mld -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/page-doc.odoc
                   --parent page-"0.10" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type
                   --child module-dolmen_type__Thf_intf --child
                   module-dolmen_type__Thf --child
                   module-dolmen_type__Tff_intf --child
                   module-dolmen_type__Tff --child
                   module-dolmen_type__Strings --child
                   module-dolmen_type__Misc --child module-dolmen_type__Logic
                   --child module-dolmen_type__Intf --child
                   module-dolmen_type__Float --child module-dolmen_type__Def
                   --child module-dolmen_type__Core --child
                   module-dolmen_type__Bitv --child module-dolmen_type__Base
                   --child module-dolmen_type__Arrays --child
                   module-dolmen_type__Arith --child module-dolmen_type
File "./doc.mld", line 5, characters 15-37:
Warning: '{!modules ...}' should begin on its own line.
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type.cmt
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Intf.cmt
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Intf.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
File "src/typecheck/intf.ml", line 336, characters 39-39:
Warning: End of text is not allowed in '[...]' (code).
File "src/typecheck/intf.ml", line 655, characters 22-34:
Warning: '{parse_expr}': bad markup.
Suggestion: did you mean '{!parse_expr}' or '[parse_expr]'?
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff_intf.cmt
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Tff_intf.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arrays.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Arrays.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf_intf.cmt
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Thf_intf.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Arith.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Arith.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Logic.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Logic.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Misc.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Misc.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
File "src/typecheck/misc.mli", line 6, characters 22-24:
Warning: '{L' should be followed by space, a tab, or a new line.
File "src/typecheck/misc.mli", line 6, characters 22-28:
Warning: '{L ...}' (left alignment) should not be used because it has no effect.
File "src/typecheck/misc.mli", line 6, characters 33-41:
Warning: '{Option}': bad markup.
Suggestion: did you mean '{!Option}' or '[Option]'?
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Bitv.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Bitv.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Core.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Core.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/tptp/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Def.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Def.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Base.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Base.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
File "src/typecheck/base.mli", line 38, characters 32-42:
Warning: '{parse_id}': bad markup.
Suggestion: did you mean '{!parse_id}' or '[parse_id]'?
File "src/typecheck/base.mli", line 44, characters 32-42:
Warning: '{parse_id}': bad markup.
Suggestion: did you mean '{!parse_id}' or '[parse_id]'?
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Tff.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Tff.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Float.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Float.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Strings.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Strings.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/smtlib2/v6/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
Missing dependency: Stdlib__Uchar bd0ab58d166b896b51c953631e3a39c5
Missing dependency: Stdlib__Set 377c5c852dd2b05c647cdf11b66f92ab
Missing dependency: Stdlib__Seq e469865a3128bb838ded5895e9e9e56c
Missing dependency: Stdlib__Printexc d975a8ebb36f69a7ebff19112564c073
Missing dependency: Stdlib__Obj 111b50f0cfcc8a94d252818567fe891b
Missing dependency: Stdlib__Map c10b896173aa2c544de555b28ee90050
Missing dependency: Stdlib__Lexing 949e28f0e0f98281ad3e5361c8e0a3c4
Missing dependency: Stdlib__Int32 f83b5c153cc85f2fcd7b605b4364096f
Missing dependency: Stdlib__Format 94d7f939ea070018aea40586f319a4ee
Missing dependency: Stdlib__Either 4c7aace90230bd854d0973c7e456ef08
Missing dependency: Stdlib__Domain 15eb47920ac7664c134360a87b41ef28
Missing dependency: Stdlib__Buffer 11209f45e0193c65ddf3fa42e62ca351
Missing dependency: Stdlib 0b4549228bc9b8c1cfa1e888d7432bdf
Missing dependency: CamlinternalFormatBasics 2125f26b831153c92a44f06bfde570ae
compile command: odoc compile
                   prep/universes/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/lib/dolmen_type/dolmen_type__Thf.cmti
                   -o
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Thf.odoc
                   --parent page-"doc" -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10
                   -I
                   compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/intf/
                   -I
                   compile/u/48c1bd0ffb344a1f3f003a05c8f089b6/dolmen/0.10/0.10/lib/dolmen/std/
No children
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/thf_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/thf_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/misc.mli", line 48, characters 14-35:
Warning: Failed to resolve reference unresolvedroot(List).fold_left_map Couldn't find "List"
File "src/typecheck/misc.mli", line 45, characters 14-26:
Warning: Failed to resolve reference unresolvedroot(List).map2 Couldn't find "List"
File "src/typecheck/misc.mli", line 42, characters 14-27:
Warning: Failed to resolve reference unresolvedroot(List).iter2 Couldn't find "List"
File "src/typecheck/misc.mli", line 39, characters 6-64:
Warning: Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/thf_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/base.mli", line 95, characters 4-49:
Warning: Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/base.mli", line 91, characters 4-49:
Warning: Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/thf_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/interface/term.ml", line 1297, characters 53-59:
Warning: While resolving the expansion of include at File "src/interface/term.ml", line 1328, character 4
Failed to resolve reference unresolvedroot(int) Couldn't find "int"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/interface/term.ml", line 1297, characters 53-59:
Warning: Failed to resolve reference unresolvedroot(int) Couldn't find "int"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
File "src/typecheck/intf.ml", line 536, characters 6-60:
Warning: While resolving the expansion of include at File "src/typecheck/tff_intf.ml", line 27, character 2
Failed to resolve reference unresolvedroot(Invalid_argument) Couldn't find "Invalid_argument"
3 other files to copy
dst: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/opam
dst: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/README.md
dst: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/LICENSE
dst: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/CHANGES.md
dest: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/README.md
dest: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/LICENSE
dest: linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/CHANGES.md
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Thf.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Strings.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Float.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Tff.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Base.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Def.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Core.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Bitv.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Misc.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Logic.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Arith.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Thf_intf.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Arrays.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Tff_intf.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type__Intf.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type.odoc
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/index.m
compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/page-doc.odoc
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/0.10/lib/dolmen_type/Dolmen_type.odocl
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/CHANGES.md
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/LICENSE
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/README.md
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/doc/opam
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/package.json
epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10/page-doc.odocl
2024-09-24 19:01.50 ---> saved as "f2c0203652ab16ad0f7ca38578fe3b8f5f430e9b2176ec4ff9b33e3211da478e"

/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.862386') && (rsync -aR ./compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10 ./epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/ staging.docs.ci.ocamllabs.io:/data/.) && (set 'compile/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"COMPILE:$2:$HASH\\n\";) && (set 'epoch-810421058d684117922542288ef61984/linked/u/168a6c421bbc0bf55366b192f8672d05/dolmen_type/0.10'; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"LINKED:$2:$HASH\\n\";)"))
0.862386
Warning: Permanently added '[staging.docs.ci.ocamllabs.io]:2222' (ED25519) to the list of known hosts.
COMPILE::606bcd9508a2ffa19f3004753b6888f89bb3aca722d9b5e25b9a7ee1395cad42
LINKED::41e5202ac5b2a6ee68f838c2c67fbf76d59e08fe1279aac787a8e45e9fd7f77b
2024-09-24 19:01.51 ---> saved as "a94ef09b74716f90e26178b96b6c4434bbc9816316dc4aa6a0c9f978c2a05af2"
Job succeeded
2024-09-24 19:01.52: Job succeeded