Build:
- 0
2024-12-31 23:15.51: New job: Voodoo prep ott.0.34; 18cc83104b403b7f573621f26f0de061 2024-12-31 23:15.51: Waiting for resource in pool OCluster 2024-12-31 23:17.29: Waiting for worker… 2024-12-31 23:17.29: Got resource from pool OCluster 2024-12-31 23:17.29: Using cache hint "docs-universe-prep-5.1.1" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-5.1@sha256:0bf1628a5a2a977f57620386185c4bc0a9bf386805ab01ad2da70fa0b8758ead) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-5.1@sha256:0bf1628a5a2a977f57620386185c4bc0a9bf386805ab01ad2da70fa0b8758ead) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.17.1 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy ott.0.34 stdlib-shims.0.3.0 ocamlgraph.2.1.0 ocamlfind.1.9.6 dune.3.17.1 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u ott:18cc83104b403b7f573621f26f0de061,stdlib-shims:9d46a3c41aace3cc4fb10e18fb617523,ocamlgraph:aaaed468f0ed6c4aab66dea122e7adfc,dune:99d1eb1565802db63110c1703fbe2c72")) (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.009377') && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 72b533015bad17a263f8f7eb5b2e765ba27de68e --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.1.1 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-12-31 23:17.29: RETRYING: 2024-12-31/231551-voodoo-prep-2d00f0 Number of retries: 0 (retriable error condition) Building on x86-bm-c5.sw.ocaml.org All commits already cached Updating files: 70% (23176/33043) Updating files: 71% (23461/33043) Updating files: 72% (23791/33043) Updating files: 73% (24122/33043) Updating files: 74% (24452/33043) Updating files: 75% (24783/33043) Updating files: 76% (25113/33043) Updating files: 77% (25444/33043) Updating files: 78% (25774/33043) Updating files: 79% (26104/33043) Updating files: 80% (26435/33043) Updating files: 81% (26765/33043) Updating files: 82% (27096/33043) Updating files: 83% (27426/33043) Updating files: 84% (27757/33043) Updating files: 85% (28087/33043) Updating files: 86% (28417/33043) Updating files: 87% (28748/33043) Updating files: 88% (29078/33043) Updating files: 89% (29409/33043) Updating files: 90% (29739/33043) Updating files: 91% (30070/33043) Updating files: 92% (30400/33043) Updating files: 93% (30730/33043) Updating files: 94% (31061/33043) Updating files: 95% (31391/33043) Updating files: 96% (31722/33043) Updating files: 97% (32052/33043) Updating files: 98% (32383/33043) Updating files: 99% (32713/33043) Updating files: 100% (33043/33043) Updating files: 100% (33043/33043), done. HEAD is now at 72b533015b add ott.0.34 (build "tools" …) (from ocaml/opam:debian-12-ocaml-5.1@sha256:0bf1628a5a2a977f57620386185c4bc0a9bf386805ab01ad2da70fa0b8758ead) 2024-12-31 23:11.16 ---> saved as "e980a4af2045f14173c6f471c3448ab22c62352ae867914b79ac258ab7e2b6f5" /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-12-31 23:11.16 ---> saved as "c6781112b51ef10509ecb3fd2df66445e3287252827ad2844fd79b3cb9e9150a" /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [240 kB] Fetched 343 kB in 0s (1228 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (17.6 MB/s) Selecting previously unselected package libpkgconf3:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18776 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u9) ... 2024-12-31 23:11.19 ---> saved as "dc01fc7d34a20983f6900659c94b1553b81936c89c7d49346e7d42a0a37b3293" /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.15.0 [required by bos] - install ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install dune 3.17.1 [required by voodoo-prep] - install topkg 1.0.7 [required by bos] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install re 1.12.0 [required by opam-format] - install opam-file-format 2.1.6 [required by opam-format] - install uutf 1.0.3 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-core 2.3.0 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.3.0 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 23 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.3.0] found in cache [dune.3.17.1] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [jsonm.1.0.2] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.15.0] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.3.0] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.3.0] found in cache [re.1.12.0] found in cache [rresult.0.7.0] found in cache [sha.1.15.4] found in cache [stdlib-shims.0.3.0] found in cache [swhid_core.0.1] found in cache [topkg.1.0.7] found in cache [uutf.1.0.3] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed jsonm.1.0.2 -> installed logs.0.7.0 -> installed fpath.0.7.3 -> installed bos.0.2.1 -> installed dune.3.17.1 -> installed stdlib-shims.0.3.0 -> installed swhid_core.0.1 -> installed opam-file-format.2.1.6 -> installed re.1.12.0 -> installed sha.1.15.4 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.3.0 -> installed opam-format.2.3.0 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-12-31 23:12.22 ---> saved as "f30650255ae84e875572ffad67bbd5abbf50acb89e5266b3d2e5d37161ad9c14" /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-12-31 23:12.22 ---> saved as "83a87645fc6c5e0cfd4847ee8b0c23bbb1121ffb1f18de4e021a201f3c58c263" 2024-12-31 23:12.22 --> finished "tools" (from ocaml/opam:debian-12-ocaml-5.1@sha256:0bf1628a5a2a977f57620386185c4bc0a9bf386805ab01ad2da70fa0b8758ead) 2024-12-31 23:12.22 ---> using "e980a4af2045f14173c6f471c3448ab22c62352ae867914b79ac258ab7e2b6f5" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-12-31 23:12.22 ---> using "c6781112b51ef10509ecb3fd2df66445e3287252827ad2844fd79b3cb9e9150a" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-12-31 23:12.24 ---> saved as "0fea10c5e76c0acec4ab15310c7ec1a9cb71f2fd178b9e2fa44e5e4767f626fd" /home/opam: (copy (src packages) (dst /src/packages)) 2024-12-31 23:12.38 ---> saved as "c36cdbf38f73a4e8c030a00c3a2c1e92f56616ce457414c440a4270e90a8c0c4" /home/opam: (copy (src repo) (dst /src/repo)) 2024-12-31 23:12.39 ---> saved as "44e06b08c3565b78df05ca686ff21540d83213da3ec223507f906d1c4b2e8c8c" /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-12-31 23:13.52 ---> saved as "37941454a8865df2c0daecc0b9c791e38366b90fa3a451325bf2c555b5d14408" /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 5.1. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 5.1 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-12-31 23:14.14 ---> saved as "50d5b6f5a9e49be79c545892d59089d873ee567e32eebe2d4c6abf3d505e70d2" /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-12-31 23:14.14 ---> saved as "9b321eb8406131430e5a2604d251292bf743adfc311e82c9755bfbd85c1d8c1a" /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.17.1 ocamlfind.1.9.6")) The following actions will be performed: - install dune 3.17.1 - install ocamlfind 1.9.6 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.17.1 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.17.1 Done. # Run eval $(opam env) to update the current shell environment 2024-12-31 23:15.06 ---> saved as "d81347d7638f948e7611be7e30a8fdf13a144080337461a7e9b62afb797cfed8" /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy ott.0.34 stdlib-shims.0.3.0 ocamlgraph.2.1.0 ocamlfind.1.9.6 dune.3.17.1 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [240 kB] Fetched 343 kB in 0s (1256 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (https://github.com/ocaml-opam/opam-depext/releases/download/v1.2.3/opam-depext-full-1.2.3.tbz) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy ott.0.34 stdlib-shims.0.3.0 ocamlgraph.2.1.0 ocamlfind.1.9.6 dune.3.17.1" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. [NOTE] Package dune is already installed (current version is 3.17.1). [NOTE] Package ocamlfind is already installed (current version is 1.9.6). The following actions will be performed: - install stdlib-shims 0.3.0 - install ocamlgraph 2.1.0 - install ott 0.34 ===== 3 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: Processing 2/9: Processing 3/9: -> retrieved stdlib-shims.0.3.0 (cached) Processing 4/9: [stdlib-shims: dune build] -> retrieved ocamlgraph.2.1.0 (cached) -> retrieved ott.0.34 (cached) + /home/opam/.opam/5.1/bin/dune "build" "-p" "stdlib-shims" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/stdlib-shims.0.3.0) -> compiled stdlib-shims.0.3.0 -> installed stdlib-shims.0.3.0 Processing 6/9: [ocamlgraph: dune build] + /home/opam/.opam/5.1/bin/dune "build" "-p" "ocamlgraph" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ocamlgraph.2.1.0) -> compiled ocamlgraph.2.1.0 -> installed ocamlgraph.2.1.0 Processing 8/9: [ott: make world] + /usr/bin/make "world" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ott.0.34) - cd src; /usr/bin/make install - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.34/src' - ocamllex grammar_lexer.mll - 374 states, 16439 transitions, table size 68000 bytes - 3397 additional bytes used for bindings - ocamlyacc -v grammar_parser.mly - 2 rules never reduced - ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend - mkdir ../bin - /usr/bin/make opt - make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.34/src' - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c location.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c types.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c auxl.ml - File "auxl.ml", lines 405-412, characters 7-19: - 405 | .......( match hse with - 406 | | Hom_index _ | Hom_terminal _ -> [] - 407 | | Hom_string s -> - 408 | let strs = Str.split (Str.regexp "[ \t]+") s in - 409 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in - 410 | if promote - 411 | then List.map (promote_ntr xd) ntrs_hom - 412 | else ntrs_hom ). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - - File "auxl.ml", lines 467-471, characters 7-59: - 467 | .......( match hse with - 468 | | Hom_index _ | Hom_terminal _ -> [] - 469 | | Hom_string s -> - 470 | let strs = Str.split (Str.regexp "[ \t]+") s in - 471 | List.filter (fun st -> List.mem st defined_mvrs) strs ). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - - File "auxl.ml", lines 1839-1854, characters 4-42: - 1839 | ....( match stre with - 1840 | | Struct_md mvr -> "metavar def: "^mvr - 1841 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) - 1842 | | Struct_srs xs -> "subrule def: "^ - 1843 | (String.concat " " - ... - 1851 | | Struct_axs xs -> "aux def: "^ - 1852 | (String.concat " " xs) - 1853 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s - 1854 | | Struct_embed (_,h,_) -> "embed: "^h) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Struct_crs _ - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c location.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c types.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c merge.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c merge.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c global_option.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c grammar_parser.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_parser.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_lexer.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c version.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_pp.ml - File "grammar_pp.ml", lines 1883-2139, characters 6-25: - 1883 | ......( match m with - 1884 | | Lex _ | Menhir _ -> Auxl.errorm m "pp_mse" - 1885 | | Ascii ao -> - 1886 | pp_auxfn m xd f ^ ""^pp_LPAREN ^ "" - 1887 | ^ pp_ntlist - ... - 2136 | else - 2137 | ( "(flat_map (fun "^pat_fun^" => "^pp_body^ pat_fun_end ^ ") " - 2138 | ^ de1i.de1_compound_id - 2139 | ^ ")", [], [] ) ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _) - (However, some guarded clause may match this value.) - - File "grammar_pp.ml", lines 4034-4037, characters 16-45: - 4034 | ................(match hse with - 4035 | | Hom_string _ -> arity_of_homspec hs' - 4036 | | Hom_index i -> max (1+i) (arity_of_homspec hs') - 4037 | | Hom_terminal _ -> arity_of_homspec hs') - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c parse_table.ml - File "parse_table.ml", line 914, characters 42-56: - 914 | prod_action = (fun [r] -> r); - ^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - r::_::_ - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c glr.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c new_term_parser.ml - File "new_term_parser.ml", lines 150-177, characters 10-30: - 150 | ..........(function - 151 | | "[" -> "lbrac" - 152 | | "]" -> "rbrac" - 153 | | "!" -> "excl" - 154 | | "\"" -> "doublequote" - ... - 174 | | "}" -> "rcurly" - 175 | | "|" -> "bar" - 176 | | "~" -> "tilde" - 177 | | "-" -> "minus") - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - - File "new_term_parser.ml", lines 289-290, characters 14-18: - 289 | ..............[Res_char c; Res_charl l] = - 290 | Res_charl (c::l).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char c::Res_charl l::_::_ - - File "new_term_parser.ml", lines 292-293, characters 20-46: - 292 | ....................[Res_char c; Res_charl l] = - 293 | Res_string (Auxl.string_of_char_list (c::l)).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char c::Res_charl l::_::_ - - File "new_term_parser.ml", line 295, characters 14-58: - 295 | let res_stlil [Res_stli a; Res_stlil b] = Res_stlil (a::b);; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli a::Res_stlil b::_::_ - - File "new_term_parser.ml", lines 342-346, characters 67-66: - 342 | ...................................................................function - 343 | [] -> [] - 344 | | Res_ignore::rl -> process_prod_res rl - 345 | | Res_ste ste::rl -> ste::process_prod_res rl - 346 | | Res_st st::rl -> Ste_st (dummy_loc, st)::process_prod_res rl - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Res_none|Res_stli _|Res_stlil _|Res_char _|Res_charl _|Res_string _| - Res_int _|Res_si _|Res_sil _)::_ - - File "new_term_parser.ml", line 382, characters 14-42: - 382 | (fun [Res_stlil x] -> elc x); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stlil x::_::_ - - File "new_term_parser.ml", line 401, characters 8-42: - 401 | (fun [Res_stli x]-> Res_stlil [x]); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli x::_::_ - - File "new_term_parser.ml", line 416, characters 16-51: - 416 | (fun [x; _; y] -> res_stlil [x; y]) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - x::_::y::_::_ - - File "new_term_parser.ml", lines 463-467, characters 26-65: - 463 | ..........................(fun [Res_stli (Stli_single (_, es1)); - 464 | _; - 465 | Res_int n'; - 466 | Res_stli (Stli_single (_, es2))] -> - 467 | process_dot_listform_res es1 n' es2). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli (Stli_single (_, es1))::_::Res_int n':: - Res_stli (Stli_single (_, es2))::_::_ - - File "new_term_parser.ml", lines 476-482, characters 26-65: - 476 | ..........................(fun [Res_stli (Stli_single (_, es1)); - 477 | _; - 478 | _; - 479 | Res_int n'; - 480 | _; - 481 | Res_stli (Stli_single (_, es2))] -> - 482 | process_dot_listform_res es1 n' es2) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli (Stli_single (_, es1))::_::_::Res_int n'::_:: - Res_stli (Stli_single (_, es2))::_::_ - - File "new_term_parser.ml", lines 488-500, characters 18-53: - 488 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 489 | _] -> - 490 | let es'' = - 491 | List.map - 492 | (Merge.abstract_indexvar_symterm_element ivr 0) - ... - 497 | stl_elements = es''; - 498 | stl_loc = dummy_loc} - 499 | in - 500 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, es))::_::_::Res_string ivr::_::_::_ - - File "new_term_parser.ml", lines 508-523, characters 18-53: - 508 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 509 | _; - 510 | _; Res_string ivr'; - 511 | _] -> - 512 | let es'' = - ... - 520 | let stlb = {stl_bound = b; - 521 | stl_elements = es''; - 522 | stl_loc = dummy_loc} in - 523 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, es))::_::_::Res_string ivr::_::_:: - Res_string ivr'::_::_::_ - - File "new_term_parser.ml", lines 536-557, characters 18-53: - 536 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 537 | _; - 538 | _; - 539 | Res_string lower; - 540 | _; - ... - 554 | let stlb = {stl_bound = b; - 555 | stl_elements = es''; - 556 | stl_loc = dummy_loc} in - 557 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, es))::_::_::Res_string ivr::_::_:: - Res_string lower::_::Res_int dotlength::_::Res_si si'::_::_::_ - - File "new_term_parser.ml", line 560, characters 18-53: - 560 | (fun [Res_stli x] -> Res_stlil [x])); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli x::_::_ - - File "new_term_parser.ml", line 574, characters 24-59: - 574 | (fun [x; _; y] -> res_stlil [x; y])); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - x::_::y::_::_ - - File "new_term_parser.ml", line 603, characters 15-44: - 603 | (fun (_::rl) -> build_res rl) in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - - File "new_term_parser.ml", line 609, characters 15-44: - 609 | (fun (_::rl) -> build_res rl) in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - - File "new_term_parser.ml", line 628, characters 12-29: - 628 | (fun [_; x] -> x) - ^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::x::_::_ - - File "new_term_parser.ml", lines 638-639, characters 13-63: - 638 | .............(fun [_; Res_sil l] -> - 639 | Res_st (St_nonterm (dummy_loc, ntr, (nt', l)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil l::_::_ - - File "new_term_parser.ml", lines 649-653, characters 18-55: - 649 | ..................(fun [_; Res_sil l] -> - 650 | Res_st (St_nontermsub (dummy_loc, - 651 | ntl, - 652 | Auxl.promote_ntr xd ntr, - 653 | (nt', l)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil l::_::_ - - File "new_term_parser.ml", lines 664-665, characters 6-59: - 664 | ......(fun [_; Res_sil x] -> - 665 | Res_ste (Ste_metavar (dummy_loc, name, (mvr, x)))) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil x::_::_ - - File "new_term_parser.ml", line 695, characters 14-100: - 695 | (fun (_::Res_string s::_) -> Res_ste (Ste_metavar (dummy_loc, mvd.mvd_name, (s, [])))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _:: - (Res_ignore|Res_none|Res_st _|Res_ste _|Res_stli _|Res_stlil _|Res_char _| - Res_charl _|Res_int _|Res_si _|Res_sil _)::_ - - File "new_term_parser.ml", lines 703-707, characters 16-68: - 703 | ................(fun [_; Res_string s] -> - 704 | if is_tm s then - 705 | raise Reject_parse - 706 | else - 707 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_string s::_::_ - - File "new_term_parser.ml", lines 710-711, characters 16-66: - 710 | ................(fun [_; Res_string s] -> - 711 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_string s::_::_ - - File "new_term_parser.ml", lines 715-719, characters 16-23: - 715 | ................(fun [((Res_ste (Ste_var (_, _, s))) as x)] -> - 716 | if is_tm s then - 717 | raise Reject_parse - 718 | else - 719 | x) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_ste (Ste_var (_, _, s))::_::_ - - File "new_term_parser.ml", line 742, characters 6-41: - 742 | (fun [Res_char c] -> Res_charl [c]); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char c::_::_ - - File "new_term_parser.ml", line 748, characters 6-68: - 748 | (fun [Res_charl s] -> Res_string (Auxl.string_of_char_list s)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl s::_::_ - - File "new_term_parser.ml", line 761, characters 6-53: - 761 | (fun [Res_si s; Res_sil sl] -> Res_sil (s::sl)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_si s::Res_sil sl::_::_ - - File "new_term_parser.ml", line 767, characters 6-73: - 767 | (fun [Res_charl l] -> Res_si (Si_num (Auxl.string_of_char_list l))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl l::_::_ - - File "new_term_parser.ml", line 771, characters 6-24: - 771 | (fun [rsi] -> rsi); - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - rsi::_::_ - - File "new_term_parser.ml", line 794, characters 6-47: - 794 | (fun [Res_charl c] -> Res_charl ('_'::c)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl c::_::_ - - File "new_term_parser.ml", line 796, characters 6-48: - 796 | (fun [Res_charl c] -> Res_charl ('\''::c)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl c::_::_ - - File "new_term_parser.ml", line 831, characters 6-52: - 831 | (fun [Res_string s] -> Res_si (Si_var (s, 0))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_string s::_::_ - - File "new_term_parser.ml", line 835, characters 6-53: - 835 | (fun [Res_string s] -> Res_si (Si_var (s, -1))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_string s::_::_ - - File "new_term_parser.ml", lines 846-847, characters 13-61: - 846 | .............(fun [_; Res_sil x] -> - 847 | Res_st (St_nonterm (dummy_loc, "", (nt, x)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil x::_::_ - - File "new_term_parser.ml", line 858, characters 13-27: - 858 | (fun [x] -> x); - ^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - x::_::_ - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c term_parser.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c term_parser.ml - File "term_parser.ml", lines 1139-1172, characters 2-11: - 1139 | ..let Ascii oldopts = pp_ascii_opts_default in - 1140 | let opts = Ascii {oldopts with ppa_colour = !Auxl.colour} in - 1141 | let sts = parse_complete lookup ntr concrete s in - 1142 | let sts = transform sts in - 1143 | match sts with - ... - 1169 | begin - 1170 | report_error (Some l) (sstart ^ concat "" intermed); - 1171 | St_uninterpreted(l, "multiple parses") - 1172 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq - {coq_quantified_vars_from_de=_; coq_non_local_hyp_defn=_; - coq_non_local_hyp_defn_vars=_; coq_list_types=_; - coq_list_aux_defns={defined=_; newly_defined=_}; - coq_library={contents=(_, _)}; coq_locally_nameless=_; _ }| - Isa {isa_library={contents=(_, _)}; _ }|Hol {hol_library={contents=(_, _)}}| - Lem {lem_library={contents=(_, _)}}| - Twf {twf_current_defn=_; twf_library={contents=(_, _)}}|Tex _| - Caml {caml_library={contents=(_, _)}; _ }| - Lex {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }| - Menhir {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }) - - File "term_parser.ml", line 1222, characters 25-54: - 1222 | List.map (fun (Ntp.Gtp.Res_st s) -> s) res - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Res_ignore|Res_none|Res_ste _|Res_stli _|Res_stlil _|Res_char _|Res_charl _| - Res_string _|Res_int _|Res_si _|Res_sil _) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c dependency.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c dependency.ml - File "dependency.ml", lines 571-579, characters 2-74: - 571 | ..match m with - 572 | | Isa io when io.ppi_isa_primrec -> isa_primrec_collapse m xd funcs - 573 | | Isa io when not io.ppi_isa_primrec -> isa_fun_collapse m xd funcs - 574 | | Hol _ -> hol_collapse m xd funcs - 575 | | Lem _ -> lem_collapse m xd funcs - 576 | | Coq _ -> coq_collapse m xd funcs - 577 | | Twf _ -> twf_collapse m xd funcs - 578 | | Caml _ -> caml_collapse m xd funcs - 579 | | Tex _ | Ascii _ -> Auxl.error None "internal: collapse of Tex-Ascii\n" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Isa _|Lex _|Menhir _) - (However, some guarded clause may match this value.) - - File "dependency.ml", lines 584-714, characters 2-53: - 584 | ..match m with - 585 | | Tex _ | Ascii _ -> Auxl.error None "internal: print of Tex-Ascii\n" - 586 | | Isa io -> - 587 | let print_lemma block = - 588 | if ( List.exists - ... - 711 | (* (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ "FOO1" ^ h2 ^ "FOO2"^ h3 ^ "FOO3"^s) block))*) - 712 | (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ h2 ^ h3 ^ s ^ " end\n") block)) - 713 | ^ "\n") in - 714 | String.concat "" (List.map print_block sorting) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lex _|Menhir _) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c bounds.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c bounds.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c context_pp.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c quotient_rules.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c grammar_typecheck.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_typecheck.ml - File "grammar_typecheck.ml", lines 54-56, characters 4-82: - 54 | ....match (xs,keys) with - 55 | | ([],[]) -> None - 56 | | (x::xs, key::keys) -> if (List.mem key keys) then Some x else helper xs keys. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], _::_) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c transform.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c transform.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c substs_pp.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c substs_pp.ml - File "substs_pp.ml", lines 333-336, characters 10-11: - 333 | ..........(match m with - 334 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr ^ " list" - 335 | | Lem _ -> "list " ^Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr - 336 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - - File "substs_pp.ml", lines 1400-1412, characters 3-4: - 1400 | ...(match m with - 1401 | | Caml _ -> - 1402 | "(" - 1403 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that - 1404 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this - ... - 1409 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that - 1410 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this - 1411 | ^ ")" - 1412 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - - File "substs_pp.ml", lines 1747-1876, characters 3-8: - 1747 | ...( match m with - 1748 | | Ascii _ | Tex _ | Lex _ | Menhir _ -> Auxl.error (Some p.prod_loc) "pp_fv_symterm_list_body" - 1749 | | Isa io when io.ppi_isa_primrec -> - 1750 | let args = - 1751 | String.concat "_" - ... - 1873 | ("(flat_map (fun (pat_:"^de1i.de1_coq_type_of_pattern^") => match pat_ with " ^ de1i.de1_pattern ^ " => "^pp_body^" end) " - 1874 | ^ de1i.de1_compound_id - 1875 | ^ ")"), funcs - 1876 | ).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Twf _) - (However, some guarded clause may match this value.) - - File "substs_pp.ml", lines 2030-2033, characters 5-6: - 2030 | .....(match m with - 2031 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that ^ " list" - 2032 | | Lem _ -> " list " ^ Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that - 2033 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c subrules_pp.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c subrules_pp.ml - File "subrules_pp.ml", lines 167-368, characters 8-2: - 167 | ........( match m with - 168 | | Isa io when io.ppi_isa_primrec -> - 169 | let typ = - 170 | Auxl.the (Grammar_pp.pp_elements - 171 | m xd ((Si_punct "_")::sie) elbu.elb_es true false true true) ^ " list" in - ... - 365 | [ " %{ TWELF NOT IMPLEMENTED }%"], deps, [] - 366 | | Tex _ | Ascii _ | Lex _ | Menhir _ -> Auxl.errorm m "pp_subelement" - 367 | - 368 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _) - (However, some guarded clause may match this value.) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c embed_pp.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c embed_pp.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c defns.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c defns.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c ln_transform.ml - File "ln_transform.ml", lines 1057-1067, characters 4-7: - 1057 | ....match mse with - 1058 | | Empty -> - 1059 | "0",[] - 1060 | | MetaVarExp mv -> - 1061 | "1",[] (* FZ is this correct in the general case? *) - ... - 1064 | | Aux (f1,nt1) -> - 1065 | let name = arity_name f1 (Auxl.promote_ntr xd_transformed (Auxl.primary_ntr_of_ntr xd_transformed (fst nt1))) in - 1066 | name ^ " " ^ Grammar_pp.pp_nonterm m xd_transformed nt1, - 1067 | [name] - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (NonTermExp _|MetaVarListExp (_, _)|NonTermListExp (_, _)|AuxList (_, _, _)) - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c coq_induct.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c coq_induct.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c system_pp.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c system_pp.ml - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c lex_menhir_pp.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c lex_menhir_pp.ml - File "lex_menhir_pp.ml", lines 274-285, characters 10-11: - 274 | ..........(match ocamllex_hom_opt, ocamllex_remove_hom with - 275 | | Some ocamllex_hom, false -> - 276 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, Some ocamllex_hom, ocamllex_of_string_hom_opt)) - 277 | | None, false -> - 278 | (* hack: default to ocamllex-remove *) - ... - 282 | Auxl.error (Some mvd.mvd_loc) ("ocamllex output: both ocamllex and ocamllex-remove hom for "^mvd.mvd_name^"\n") - 283 | | None, true -> - 284 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, None, ocamllex_of_string_hom_opt)) - 285 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Some ocamllex_hom, true) - - File "lex_menhir_pp.ml", line 281, characters 12-36: - 281 | | Some ocamllex_hom, false -> - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 11 [redundant-case]: this match case is unused. - - File "lex_menhir_pp.ml", lines 331-335, characters 13-42: - 331 | .............(match ocaml_type with - 332 | | "string" -> "" - 333 | | "int" -> "int_of_string" - 334 | | "float" -> "float_of_string" - 335 | | "bool" -> "bool_of_string") - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c align.mli - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c align.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c main.ml - sed -e 's/__VERSION__/0.34/' \ - -e '/__DATE__/r tmp_date.txt' \ - -e '/__DATE__/d' <version_src.tex >version.tex - echo Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex - Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -v - The OCaml native-code compiler, version 5.1.1 - Standard library directory: /home/opam/.opam/5.1/lib/ocaml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -o ott.opt location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx - ln -s -f ott.opt ott - make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.34/src' - cp ./ott ../bin/ott - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.34/src' Processing 8/9: [ott: make ott.install] + /usr/bin/make "ott.install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ott.0.34) - cp ott.install.nodoc ott.install - echo "doc : [" >> ott.install - echo "\"README.md\" { \"README.md\" }" >> ott.install - echo "\"LICENCE\" { \"LICENSE\" }" >> ott.install - echo "\"built_doc/top2.pdf\" { \"doc/ott_manual.pdf\" }" >> ott.install - echo "\"built_doc/top2.html\" { \"doc/ott_manual.html\" }" >> ott.install - echo "\"built_doc/top2001.png\"" "\"built_doc/top2002.png\"" "\"built_doc/top2003.png\"" "\"built_doc/top2004.png\"" "\"built_doc/top2005.png\"" "\"built_doc/top2006.png\"" "\"built_doc/top2007.png\"" "\"built_doc/top2008.png\"" "\"built_doc/top2009.png\"" "\"built_doc/top2010.png\"" "\"built_doc/top2011.png\"" "\"built_doc/top2012.png\"" "\"built_doc/top2013.png\"" "\"built_doc/top2014.png\"" "\"built_doc/top2015.png\"" "\"built_doc/top2016.png\"" "\"built_doc/top2017.png\"" "\"built_doc/top2018.png\"" "\"built_doc/top2019.png\"" "\"built_doc/top2020.png\"" "\"built_doc/top2021.png\"" "\"built_doc/top2022.png\"" "\"built_doc/top2023.png\"" "\"built_doc/top2024.png\"" "\"built_doc/top2025.png\"" "\"built_doc/top2026.png\"" "\"built_doc/top2027.png\"" "\"built_doc/top2028.png\"" "\"built_doc/top2029.png\"" "\"built_doc/top2030.png\"" "\"built_doc/top2031.png\"" "\"built_doc/top2032.png\"" "\"built_doc/top2033.png\"" "\"built_doc/top2034.png\"" "\"built_doc/top2035.png\"" "\"built_doc/top2036.png\"" "\"built_doc/top2037.png\"" >> ott.install - echo "]" >> ott.install -> compiled ott.0.34 -> installed ott.0.34 Done. # Run eval $(opam env) to update the current shell environment 2024-12-31 23:17.41 ---> saved as "8638bcd8efa625810fb3858a4a54a915e92f7da7448d2d703474ba3117f40b72" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u ott:18cc83104b403b7f573621f26f0de061,stdlib-shims:9d46a3c41aace3cc4fb10e18fb617523,ocamlgraph:aaaed468f0ed6c4aab66dea122e7adfc,dune:99d1eb1565802db63110c1703fbe2c72")) 2024-12-31 23:17.43 ---> saved as "f864e263e67f752f4d637997013253240328c824643af7042d88946e162a7553" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.009377') && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1,dune.3.17.1-99d1eb1565802db63110c1703fbe2c72,dune.3.17.1 prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0,ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc,ocamlgraph.2.1.0 prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0,stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523,stdlib-shims.0.3.0 prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34,ott.0.34-18cc83104b403b7f573621f26f0de061,ott.0.34; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.009377 prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/CHANGES.md prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/LICENSE.md prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/README.md prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/odoc-pages/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/doc/dune/odoc-pages/index.mld prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/lib/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/lib/dune/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/lib/dune/META prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/lib/dune/dune-package prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/man/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/man/man1/ prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/man/man1/dune-package.1 prep/universes/99d1eb1565802db63110c1703fbe2c72/dune/3.17.1/opam prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/doc/ prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/doc/ocamlgraph/ prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/doc/ocamlgraph/CHANGES.md prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/doc/ocamlgraph/LICENSE prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/doc/ocamlgraph/README.md prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/ prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph.ocamlobjinfo prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/META prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/dune-package prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Bitv.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Bitv.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Bitv.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Blocks.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Blocks.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Builder.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Builder.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Builder.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__ChaoticIteration.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__ChaoticIteration.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__ChaoticIteration.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Classic.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Classic.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Classic.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Clique.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Clique.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Clique.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cliquetree.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cliquetree.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cliquetree.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Coloring.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Coloring.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Coloring.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Components.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Components.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Components.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Contraction.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Contraction.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Contraction.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cycles.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cycles.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Cycles.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphModel.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphModel.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphModel.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphRandModel.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphRandModel.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphRandModel.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphSubTree.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphSubTree.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphSubTree.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeLayout.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeLayout.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeLayout.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeModel.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeModel.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__DGraphTreeModel.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Delaunay.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Delaunay.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Delaunay.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dominator.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dominator.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dominator.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_ast.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_ast.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_lexer.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_lexer.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_parser.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_parser.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Dot_parser.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Eulerian.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Eulerian.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Eulerian.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Fixpoint.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Fixpoint.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Fixpoint.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Flow.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Flow.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Flow.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gmap.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gmap.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gmap.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gml.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gml.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Gml.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphml.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphml.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphml.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphviz.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphviz.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Graphviz.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Heap.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Heap.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Heap.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Imperative.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Imperative.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Imperative.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Kruskal.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Kruskal.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Kruskal.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Leaderlist.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Leaderlist.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Leaderlist.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mcs_m.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mcs_m.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mcs_m.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Md.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Md.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Md.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Merge.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Merge.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Merge.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mincut.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mincut.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Mincut.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Minsep.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Minsep.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Minsep.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Nonnegative.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Nonnegative.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Nonnegative.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Oper.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Oper.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Oper.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Pack.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Pack.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Pack.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Path.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Path.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Path.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Persistent.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Persistent.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Persistent.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__PersistentQueue.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__PersistentQueue.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__PersistentQueue.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Prim.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Prim.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Prim.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Rand.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Rand.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Rand.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Sig.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Sig.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Sig_pack.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Sig_pack.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Strat.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Strat.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Strat.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Topological.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Topological.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Topological.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Traverse.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Traverse.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Traverse.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Unionfind.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Unionfind.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Unionfind.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Util.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Util.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__Util.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__WeakTopological.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__WeakTopological.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__WeakTopological.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDot.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDot.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDot.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDotDraw.cmi prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDotDraw.cmt prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/lib/ocamlgraph/graph__XDotDraw.cmti prep/universes/aaaed468f0ed6c4aab66dea122e7adfc/ocamlgraph/2.1.0/opam prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/doc/ prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/doc/stdlib-shims/ prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/doc/stdlib-shims/CHANGES.md prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/doc/stdlib-shims/LICENSE prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/doc/stdlib-shims/README.md prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/lib/ prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/lib/stdlib-shims/ prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/lib/stdlib-shims/stdlib_shims.ocamlobjinfo prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/lib/stdlib-shims/META prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/lib/stdlib-shims/dune-package prep/universes/9d46a3c41aace3cc4fb10e18fb617523/stdlib-shims/0.3.0/opam prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/ prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/LICENSE prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/README.md prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/doc/ prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/doc/ott_manual.html prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/doc/ott_manual.pdf prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2001.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2002.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2003.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2004.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2005.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2006.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2007.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2008.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2009.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2010.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2011.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2012.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2013.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2014.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2015.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2016.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2017.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2018.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2019.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2020.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2021.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2022.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2023.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2024.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2025.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2026.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2027.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2028.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2029.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2030.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2031.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2032.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2033.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2034.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2035.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2036.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/doc/ott/top2037.png prep/universes/18cc83104b403b7f573621f26f0de061/ott/0.34/opam Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:dune.3.17.1-99d1eb1565802db63110c1703fbe2c72:3ec931eeb856ba8622d4eb0d6aad90dab65c7aa74b9afd51ba3f8026d6c163dd HASHES:ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc:37b7d54a5a4082fc70b402f838c098449548c99fe3bc29260dc629ff1bfef85b HASHES:stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523:fbddbc98be492bae5a6f2eeeeab38e1b671bc2108f37b23d30e6e48389e34480 HASHES:ott.0.34-18cc83104b403b7f573621f26f0de061:8e90cf2e56043aae8d2bcf00d577c3bd47992b56cf5a67aff5cd4d8f595d735e 2024-12-31 23:17.46 ---> saved as "fea422b38d6d75616b4139cb39d20c79a145e225d05d01467cfd413f852fde68" Job succeeded 2024-12-31 23:23.31: ott.0.34-18cc83104b403b7f573621f26f0de061 -> 8e90cf2e56043aae8d2bcf00d577c3bd47992b56cf5a67aff5cd4d8f595d735e 2024-12-31 23:23.31: stdlib-shims.0.3.0-9d46a3c41aace3cc4fb10e18fb617523 -> fbddbc98be492bae5a6f2eeeeab38e1b671bc2108f37b23d30e6e48389e34480 2024-12-31 23:23.31: ocamlgraph.2.1.0-aaaed468f0ed6c4aab66dea122e7adfc -> 37b7d54a5a4082fc70b402f838c098449548c99fe3bc29260dc629ff1bfef85b 2024-12-31 23:23.31: dune.3.17.1-99d1eb1565802db63110c1703fbe2c72 -> 3ec931eeb856ba8622d4eb0d6aad90dab65c7aa74b9afd51ba3f8026d6c163dd 2024-12-31 23:23.31: Job succeeded