Build:
  1. 0
2025-12-11 02:46.55: New job: test digestif.1.3.0 with dune-configurator.3.21.0~alpha3, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/29070/head (a95df9014bc79103fde668cf2adbe6680fd2f9cf)
                              on debian-13-ocaml-5.4/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29070/head" && git reset --hard a95df901
git fetch origin master
git merge --no-edit 810e1f14b7fa6411c66a3549f4c2aff47c52fc36
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn dune-configurator.3.21.0~alpha3 3.21.0~alpha3
RUN opam reinstall dune-configurator.3.21.0~alpha3; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'dune-configurator.3.21.0~alpha3' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
RUN opam reinstall digestif.1.3.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'digestif.1.3.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
RUN (opam reinstall --with-test digestif.1.3.0) || true
RUN opam reinstall --with-test --verbose digestif.1.3.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'digestif.1.3.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2025-12-11 02:46.55: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04-dune-configurator.3.21.0~alpha3-digestif.1.3.0-a95df9014bc79103fde668cf2adbe6680fd2f9cf"
2025-12-11 02:46.55: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (run (shell "opam option solver=builtin-0install && opam config report"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (run (shell "opam pin add -k version -yn dune-configurator.3.21.0~alpha3 3.21.0~alpha3"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall dune-configurator.3.21.0~alpha3;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'dune-configurator.3.21.0~alpha3' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall digestif.1.3.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'digestif.1.3.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (run (network host)
      (shell "(opam reinstall --with-test digestif.1.3.0) || true"))
 (run (shell  "opam reinstall --with-test --verbose digestif.1.3.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'digestif.1.3.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2025-12-11 02:46.55: Waiting for resource in pool OCluster
2025-12-11 12:39.15: Waiting for worker…
2025-12-11 12:41.57: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 810e1f14b7 Merge pull request #29066 from gares/release-elpi-v3.4.4
Updating 810e1f14b7..a95df9014b
Fast-forward
 .../chrome-trace/chrome-trace.3.21.0~alpha3/opam   | 41 ++++++++++++
 .../dune-action-plugin.3.21.0~alpha3/opam          | 54 ++++++++++++++++
 .../dune-build-info.3.21.0~alpha3/opam             | 47 ++++++++++++++
 .../dune-configurator.3.21.0~alpha3/opam           | 51 +++++++++++++++
 packages/dune-glob/dune-glob.3.21.0~alpha3/opam    | 44 +++++++++++++
 .../dune-private-libs.3.21.0~alpha3/opam           | 52 +++++++++++++++
 .../dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha3/opam   | 43 +++++++++++++
 packages/dune-rpc/dune-rpc.3.21.0~alpha3/opam      | 46 +++++++++++++
 packages/dune-site/dune-site.3.21.0~alpha3/opam    | 39 +++++++++++
 packages/dune/dune.3.21.0~alpha3/opam              | 75 ++++++++++++++++++++++
 packages/dyn/dyn.3.21.0~alpha3/opam                | 42 ++++++++++++
 packages/fs-io/fs-io.3.21.0~alpha3/opam            | 40 ++++++++++++
 packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha3/opam  | 45 +++++++++++++
 packages/ordering/ordering.3.21.0~alpha3/opam      | 40 ++++++++++++
 packages/stdune/stdune.3.21.0~alpha3/opam          | 48 ++++++++++++++
 .../top-closure/top-closure.3.21.0~alpha3/opam     | 39 +++++++++++
 packages/xdg/xdg.3.21.0~alpha3/opam                | 41 ++++++++++++
 17 files changed, 787 insertions(+)
 create mode 100644 packages/chrome-trace/chrome-trace.3.21.0~alpha3/opam
 create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0~alpha3/opam
 create mode 100644 packages/dune-build-info/dune-build-info.3.21.0~alpha3/opam
 create mode 100644 packages/dune-configurator/dune-configurator.3.21.0~alpha3/opam
 create mode 100644 packages/dune-glob/dune-glob.3.21.0~alpha3/opam
 create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0~alpha3/opam
 create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha3/opam
 create mode 100644 packages/dune-rpc/dune-rpc.3.21.0~alpha3/opam
 create mode 100644 packages/dune-site/dune-site.3.21.0~alpha3/opam
 create mode 100644 packages/dune/dune.3.21.0~alpha3/opam
 create mode 100644 packages/dyn/dyn.3.21.0~alpha3/opam
 create mode 100644 packages/fs-io/fs-io.3.21.0~alpha3/opam
 create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha3/opam
 create mode 100644 packages/ordering/ordering.3.21.0~alpha3/opam
 create mode 100644 packages/stdune/stdune.3.21.0~alpha3/opam
 create mode 100644 packages/top-closure/top-closure.3.21.0~alpha3/opam
 create mode 100644 packages/xdg/xdg.3.21.0~alpha3/opam

(from ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04' locally
docker.io/ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04: Pulling from ocaml/opam
75a759b14a01: Pulling fs layer
75a759b14a01: Verifying Checksum
75a759b14a01: Download complete
75a759b14a01: Pull complete
Digest: sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
Status: Downloaded newer image for ocaml/opam@sha256:8c62cc7b043f64833949d4049211997093b28a2f1b98377748d3e185ae301c04
2025-12-11 12:41.59 ---> using "5f87df8c1f6f0886e7311dfd3df40b8bbb961cc34c83c0d033c6dd248c84bc7d" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-11 12:41.59 ---> using "f1296791f2d76481058db697105a569091a6b6345f05c94bbc5a650f1a364f9a" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=71 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-11 12:41.59 ---> using "0cac9a31b4750e6a46df8ed8d2f68352091a988199fdf62c52779549510cd6bf" from cache

/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version         2.5.0
# self-upgrade         no
# system               arch=x86_64 os=linux os-distribution=debian os-version=13
# solver               builtin-0install
# install-criteria     -changed,-count[avoid-version,solution]
# upgrade-criteria     -count[avoid-version,solution]
# jobs                 255
# repositories         1 (version-controlled)
# pinned               1 (version)
# current-switch       5.4
# invariant            ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages    ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       5.4.0
2025-12-11 12:41.59 ---> using "1deb91dc3badca969976ed6f3bc5fe7c443d73a2cfa957be662fd6f93e30aa7b" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2025-12-11 12:41.59 ---> using "1a02438c8753bf7228a9eb625e65b7af26778a022b9ce0b16be5ef4f294c58cd" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2025-12-11 12:42.00 ---> using "558efc5d1dade30f771ff827a323991d3b5dc8b22610995de52463f4460db41d" from cache

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-11 12:42.00 ---> using "58e0c9dd5022cd1436b8b1510f482b6baa4e8929f778f88439cff37971729a44" from cache

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [82.1 kB]
- Fetched 173 kB in 0s (551 kB/s)
- Reading package lists...
2025-12-11 12:42.00 ---> using "de5cbb4e0f295ac93b57d57eef12f594db675884c8bd7983430c50e2fdd12f64" from cache

/home/opam: (run (shell "opam pin add -k version -yn dune-configurator.3.21.0~alpha3 3.21.0~alpha3"))
dune-configurator is now pinned to version 3.21.0~alpha3
2025-12-11 12:42.00 ---> using "64f272fdae81273d3c6cdc8feadd7a557b4d7e78bb7603cb16c87a04ce81a743" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall dune-configurator.3.21.0~alpha3;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'dune-configurator.3.21.0~alpha3' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
dune-configurator.3.21.0~alpha3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 3 packages
  - install csexp             1.5.2                  [required by dune-configurator]
  - install dune              3.21.0~alpha3          [required by dune-configurator]
  - install dune-configurator 3.21.0~alpha3 (pinned)

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved csexp.1.5.2  (cached)
-> retrieved dune.3.21.0~alpha3, dune-configurator.3.21.0~alpha3  (cached)
-> installed dune.3.21.0~alpha3
-> installed csexp.1.5.2
-> installed dune-configurator.3.21.0~alpha3
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-11 12:42.00 ---> using "993920d7c25ba0989e1c7e5d721a6ab844fda652068b2d4abf76a3ad04d3aa72" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall digestif.1.3.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'digestif.1.3.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
digestif.1.3.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
  - install digestif 1.3.0
  - install eqaf     0.10  [required by digestif]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved digestif.1.3.0  (cached)
-> retrieved eqaf.0.10  (cached)
-> installed eqaf.0.10
-> installed digestif.1.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-11 12:42.06 ---> saved as "f8da3b72395a4fb7942e28338dca091afbaf42a6fc6ac6ff9d7963e67defa7c6"

/home/opam: (run (network host)
                 (shell "(opam reinstall --with-test digestif.1.3.0) || true"))
The following actions will be performed:
=== recompile 1 package
  - recompile digestif           1.3.0
=== install 17 packages
  - install   afl-persistent     1.4    [required by crowbar]
  - install   alcotest           1.9.1  [required by digestif]
  - install   astring            0.8.5  [required by digestif]
  - install   bos                0.2.1  [required by digestif]
  - install   cmdliner           2.1.0  [required by alcotest, crowbar]
  - install   crowbar            0.2.2  [required by digestif]
  - install   fmt                0.11.0 [required by digestif]
  - install   fpath              0.7.3  [required by digestif]
  - install   logs               0.10.0 [required by bos]
  - install   ocaml-syntax-shims 1.0.0  [required by alcotest]
  - install   ocamlbuild         0.16.1 [required by bos]
  - install   ocamlfind          1.9.8  [required by digestif]
  - install   re                 1.14.0 [required by alcotest]
  - install   rresult            0.7.0  [required by digestif]
  - install   stdlib-shims       0.3.0  [required by alcotest]
  - install   topkg              1.1.1  [required by bos]
  - install   uutf               1.0.4  [required by alcotest]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (https://opam.ocaml.org/cache)
-> retrieved alcotest.1.9.1  (https://opam.ocaml.org/cache)
-> installed afl-persistent.1.4
-> retrieved astring.0.8.5  (https://opam.ocaml.org/cache)
-> retrieved bos.0.2.1  (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.0  (https://opam.ocaml.org/cache)
-> retrieved crowbar.0.2.2  (https://opam.ocaml.org/cache)
-> retrieved digestif.1.3.0  (https://opam.ocaml.org/cache)
-> retrieved fmt.0.11.0  (https://opam.ocaml.org/cache)
-> retrieved fpath.0.7.3  (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0  (https://opam.ocaml.org/cache)
-> retrieved ocaml-syntax-shims.1.0.0  (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.16.1  (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.8  (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0  (https://opam.ocaml.org/cache)
-> retrieved rresult.0.7.0  (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0  (https://opam.ocaml.org/cache)
-> retrieved topkg.1.1.1  (https://opam.ocaml.org/cache)
-> retrieved uutf.1.0.4  (https://opam.ocaml.org/cache)
-> installed stdlib-shims.0.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed re.1.14.0
-> installed cmdliner.2.1.0
-> installed ocamlfind.1.9.8
-> installed crowbar.0.2.2
-> removed   digestif.1.3.0
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.10.0
-> installed alcotest.1.9.1
-> installed bos.0.2.1
-> installed digestif.1.3.0
Done.

<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>
=> afl-persistent is installed, but since the current OCaml compiler does
   not enable AFL instrumentation by default, most packages will not be
   instrumented and fuzzing with afl-fuzz may not be effective.

   To globally enable AFL instrumentation, create an OCaml switch like:

     opam switch create 5.4.0+afl ocaml-variants.5.4.0+options ocaml-option-afl
# To update the current shell environment, run: eval $(opam env)
2025-12-11 12:42.33 ---> saved as "a48fd74f0b87f98048ec06af1869476eec60a16b03edc0e3c95836664dbdf61e"

/home/opam: (run (shell  "opam reinstall --with-test --verbose digestif.1.3.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'digestif.1.3.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
The following actions will be performed:
=== recompile 1 package
  - recompile digestif 1.3.0

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/4: [digestif.1.3.0: extract]
-> retrieved digestif.1.3.0  (cached)
Processing  2/4: [digestif: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "digestif" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/digestif.1.3.0)
Processing  2/4: [digestif: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "digestif" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/digestif.1.3.0)
- (cd _build/default/fuzz && ./fuzz_c.exe)
- get_into_bytes: PASS
- 
- (cd _build/default/test/c && ./test_cve.exe --quick-tests --color=always)
- Testing `digestif (CVE)'.
- This run has ID `W78HTQC4'.
- 
-   [SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
-   [SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.
- 
- Full test results in `~/.opam/5.4/.opam-switch/build/digestif.1.3.0/_build/default/test/c/_build/_tests/digestif U+0028CVEU+0029'.
- Test Successful in 0.000s. 0 test run.
- (cd _build/default/fuzz && ./fuzz_ocaml.exe)
- get_into_bytes: PASS
- 
- (cd _build/default/test/ocaml && ./test_cve.exe --quick-tests --color=always)
- Testing `digestif (CVE)'.
- This run has ID `GY5MHKS2'.
- 
-   [SKIP]        sha3 (CVE-2022-37454)          0   buffer overflow.
-   [SKIP]        sha3 (CVE-2022-37454)          1   infinite loop.
- 
- Full test results in `~/.opam/5.4/.opam-switch/build/digestif.1.3.0/_build/default/test/ocaml/_build/_tests/digestif U+0028CVEU+0029'.
- Test Successful in 0.000s. 0 test run.
- (cd _build/default/test/c && ./test.exe --color=always)
- Testing `digestif'.
- This run has ID `IPKGRJXV'.
- 
-   [OK]          md5                                  0   md5.
-   [OK]          md5                                  1   md5.
-   [OK]          md5                                  2   md5.
-   [OK]          md5                                  3   md5.
-   [OK]          md5                                  4   md5.
-   [OK]          md5 (bigstring)                      0   md5.
-   [OK]          md5 (bigstring)                      1   md5.
-   [OK]          md5 (bigstring)                      2   md5.
-   [OK]          md5 (bigstring)                      3   md5.
-   [OK]          md5 (bigstring)                      4   md5.
-   [OK]          sha1                                 0   sha1.
-   [OK]          sha1                                 1   sha1.
-   [OK]          sha1                                 2   sha1.
-   [OK]          sha1                                 3   sha1.
-   [OK]          sha1                                 4   sha1.
-   [OK]          sha1 (bigstring)                     0   sha1.
-   [OK]          sha1 (bigstring)                     1   sha1.
-   [OK]          sha1 (bigstring)                     2   sha1.
-   [OK]          sha1 (bigstring)                     3   sha1.
-   [OK]          sha1 (bigstring)                     4   sha1.
-   [OK]          sha224                               0   sha224.
-   [OK]          sha224                               1   sha224.
-   [OK]          sha224                               2   sha224.
-   [OK]          sha224                               3   sha224.
-   [OK]          sha224                               4   sha224.
-   [OK]          sha224 (bigstring)                   0   sha224.
-   [OK]          sha224 (bigstring)                   1   sha224.
-   [OK]          sha224 (bigstring)                   2   sha224.
-   [OK]          sha224 (bigstring)                   3   sha224.
-   [OK]          sha224 (bigstring)                   4   sha224.
-   [OK]          sha256                               0   sha256.
-   [OK]          sha256                               1   sha256.
-   [OK]          sha256                               2   sha256.
-   [OK]          sha256                               3   sha256.
-   [OK]          sha256                               4   sha256.
-   [OK]          sha256 (bigstring)                   0   sha256.
-   [OK]          sha256 (bigstring)                   1   sha256.
-   [OK]          sha256 (bigstring)                   2   sha256.
-   [OK]          sha256 (bigstring)                   3   sha256.
-   [OK]          sha256 (bigstring)                   4   sha256.
-   [OK]          sha256 (feed bytes)                  0   sha256.
-   [OK]          sha256 (feed bytes)                  1   sha256.
-   [OK]          sha256 (feed bytes)                  2   sha256.
-   [OK]          sha256 (feed bytes)                  3   sha256.
-   [OK]          sha256 (feed bytes)                  4   sha256.
-   [OK]          sha384                               0   sha384.
-   [OK]          sha384                               1   sha384.
-   [OK]          sha384                               2   sha384.
-   [OK]          sha384                               3   sha384.
-   [OK]          sha384                               4   sha384.
-   [OK]          sha384 (bigstring)                   0   sha384.
-   [OK]          sha384 (bigstring)                   1   sha384.
-   [OK]          sha384 (bigstring)                   2   sha384.
-   [OK]          sha384 (bigstring)                   3   sha384.
-   [OK]          sha384 (bigstring)                   4   sha384.
-   [OK]          sha512                               0   sha512.
-   [OK]          sha512                               1   sha512.
-   [OK]          sha512                               2   sha512.
-   [OK]          sha512                               3   sha512.
-   [OK]          sha512                               4   sha512.
-   [OK]          sha512 (bigstring)                   0   sha512.
-   [OK]          sha512 (bigstring)                   1   sha512.
-   [OK]          sha512 (bigstring)                   2   sha512.
-   [OK]          sha512 (bigstring)                   3   sha512.
-   [OK]          sha512 (bigstring)                   4   sha512.
-   [OK]          sha3_224                             0   sha3_224.
-   [OK]          sha3_224                             1   sha3_224.
-   [OK]          sha3_224                             2   sha3_224.
-   [OK]          sha3_224                             3   sha3_224.
-   [OK]          sha3_224                             4   sha3_224.
-   [OK]          sha3_224 (bigstring)                 0   sha3_224.
-   [OK]          sha3_224 (bigstring)                 1   sha3_224.
-   [OK]          sha3_224 (bigstring)                 2   sha3_224.
-   [OK]          sha3_224 (bigstring)                 3   sha3_224.
-   [OK]          sha3_224 (bigstring)                 4   sha3_224.
-   [OK]          sha3_256                             0   sha3_256.
-   [OK]          sha3_256                             1   sha3_256.
-   [OK]          sha3_256                             2   sha3_256.
-   [OK]          sha3_256                             3   sha3_256.
-   [OK]          sha3_256                             4   sha3_256.
-   [OK]          sha3_256 (bigstring)                 0   sha3_256.
-   [OK]          sha3_256 (bigstring)                 1   sha3_256.
-   [OK]          sha3_256 (bigstring)                 2   sha3_256.
-   [OK]          sha3_256 (bigstring)                 3   sha3_256.
-   [OK]          sha3_256 (bigstring)                 4   sha3_256.
-   [OK]          keccak_256                           0   keccak_256.
-   [OK]          keccak_256                           1   keccak_256.
-   [OK]          keccak_256                           2   keccak_256.
-   [OK]          keccak_256                           3   keccak_256.
-   [OK]          keccak_256                           4   keccak_256.
-   [OK]          keccak_256 (bigstring)               0   keccak_256.
-   [OK]          keccak_256 (bigstring)               1   keccak_256.
-   [OK]          keccak_256 (bigstring)               2   keccak_256.
-   [OK]          keccak_256 (bigstring)               3   keccak_256.
-   [OK]          keccak_256 (bigstring)               4   keccak_256.
-   [OK]          sha3_384                             0   sha3_384.
-   [OK]          sha3_384                             1   sha3_384.
-   [OK]          sha3_384                             2   sha3_384.
-   [OK]          sha3_384                             3   sha3_384.
-   [OK]          sha3_384                             4   sha3_384.
-   [OK]          sha3_384 (bigstring)                 0   sha3_384.
-   [OK]          sha3_384 (bigstring)                 1   sha3_384.
-   [OK]          sha3_384 (bigstring)                 2   sha3_384.
-   [OK]          sha3_384 (bigstring)                 3   sha3_384.
-   [OK]          sha3_384 (bigstring)                 4   sha3_384.
-   [OK]          sha3_512                             0   sha3_512.
-   [OK]          sha3_512                             1   sha3_512.
-   [OK]          sha3_512                             2   sha3_512.
-   [OK]          sha3_512                             3   sha3_512.
-   [OK]          sha3_512                             4   sha3_512.
-   [OK]          sha3_512 (bigstring)                 0   sha3_512.
-   [OK]          sha3_512 (bigstring)                 1   sha3_512.
-   [OK]          sha3_512 (bigstring)                 2   sha3_512.
-   [OK]          sha3_512 (bigstring)                 3   sha3_512.
-   [OK]          sha3_512 (bigstring)                 4   sha3_512.
-   [OK]          whirlpool                            0   whirlpool.
-   [OK]          whirlpool                            1   whirlpool.
-   [OK]          whirlpool                            2   whirlpool.
-   [OK]          whirlpool                            3   whirlpool.
-   [OK]          whirlpool                            4   whirlpool.
-   [OK]          whirlpool (bigstring)                0   whirlpool.
-   [OK]          whirlpool (bigstring)                1   whirlpool.
-   [OK]          whirlpool (bigstring)                2   whirlpool.
-   [OK]          whirlpool (bigstring)                3   whirlpool.
-   [OK]          whirlpool (bigstring)                4   whirlpool.
-   [OK]          blake2b                              0   blake2b.
-   [OK]          blake2b                              1   blake2b.
-   [OK]          blake2b                              2   blake2b.
-   [OK]          blake2b                              3   blake2b.
-   [OK]          blake2b                              4   blake2b.
-   [OK]          blake2b (bigstring)                  0   blake2b.
-   [OK]          blake2b (bigstring)                  1   blake2b.
-   [OK]          blake2b (bigstring)                  2   blake2b.
-   [OK]          blake2b (bigstring)                  3   blake2b.
-   [OK]          blake2b (bigstring)                  4   blake2b.
-   [OK]          rmd160                               0   rmd160.
-   [OK]          rmd160                               1   rmd160.
-   [OK]          rmd160                               2   rmd160.
-   [OK]          rmd160                               3   rmd160.
-   [OK]          rmd160                               4   rmd160.
-   [OK]          rmd160 (bigstring)                   0   rmd160.
-   [OK]          rmd160 (bigstring)                   1   rmd160.
-   [OK]          rmd160 (bigstring)                   2   rmd160.
-   [OK]          rmd160 (bigstring)                   3   rmd160.
-   [OK]          rmd160 (bigstring)                   4   rmd160.
-   [OK]          blake2s                              0   blake2s.
-   [OK]          blake2s                              1   blake2s.
-   [OK]          blake2s                              2   blake2s.
-   [OK]          blake2s                              3   blake2s.
-   [OK]          blake2s                              4   blake2s.
-   [OK]          blake2s (bigstring)                  0   blake2s.
-   [OK]          blake2s (bigstring)                  1   blake2s.
-   [OK]          blake2s (bigstring)                  2   blake2s.
-   [OK]          blake2s (bigstring)                  3   blake2s.
-   [OK]          blake2s (bigstring)                  4   blake2s.
-   [OK]          blake2s (keyed, input file)          0   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          1   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          2   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          3   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          4   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          5   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          6   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          7   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          8   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          9   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         10   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         11   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         12   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         13   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         14   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         15   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         16   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         17   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         18   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         19   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         20   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         21   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         22   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         23   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         24   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         25   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         26   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         27   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         28   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         29   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         30   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         31   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         32   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         33   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         34   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         35   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         36   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         37   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         38   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         39   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         40   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         41   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         42   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         43   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         44   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         45   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         46   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         47   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         48   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         49   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         50   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         51   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         52   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         53   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         54   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         55   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         56   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         57   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         58   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         59   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         60   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         61   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         62   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         63   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         64   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         65   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         66   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         67   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         68   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         69   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         70   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         71   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         72   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         73   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         74   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         75   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         76   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         77   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         78   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         79   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         80   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         81   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         82   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         83   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         84   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         85   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         86   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         87   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         88   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         89   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         90   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         91   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         92   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         93   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         94   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         95   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         96   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         97   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         98   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         99   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        100   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        101   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        102   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        103   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        104   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        105   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        106   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        107   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        108   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        109   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        110   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        111   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        112   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        113   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        114   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        115   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        116   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        117   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        118   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        119   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        120   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        121   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        122   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        123   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        124   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        125   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        126   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        127   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        128   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        129   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        130   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        131   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        132   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        133   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        134   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        135   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        136   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        137   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        138   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        139   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        140   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        141   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        142   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        143   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        144   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        145   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        146   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        147   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        148   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        149   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        150   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        151   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        152   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        153   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        154   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        155   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        156   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        157   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        158   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        159   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        160   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        161   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        162   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        163   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        164   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        165   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        166   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        167   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        168   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        169   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        170   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        171   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        172   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        173   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        174   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        175   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        176   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        177   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        178   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        179   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        180   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        181   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        182   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        183   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        184   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        185   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        186   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        187   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        188   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        189   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        190   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        191   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        192   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        193   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        194   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        195   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        196   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        197   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        198   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        199   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        200   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        201   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        202   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        203   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        204   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        205   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        206   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        207   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        208   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        209   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        210   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        211   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        212   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        213   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        214   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        215   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        216   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        217   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        218   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        219   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        220   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        221   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        222   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        223   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        224   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        225   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        226   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        227   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        228   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        229   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        230   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        231   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        232   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        233   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        234   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        235   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        236   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        237   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        238   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        239   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        240   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        241   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        242   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        243   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        244   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        245   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        246   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        247   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        248   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        249   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        250   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        251   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        252   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        253   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        254   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          0   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          1   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          2   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          3   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          4   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          5   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          6   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          7   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          8   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          9   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         10   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         11   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         12   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         13   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         14   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         15   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         16   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         17   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         18   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         19   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         20   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         21   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         22   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         23   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         24   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         25   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         26   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         27   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         28   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         29   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         30   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         31   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         32   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         33   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         34   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         35   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         36   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         37   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         38   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         39   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         40   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         41   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         42   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         43   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         44   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         45   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         46   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         47   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         48   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         49   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         50   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         51   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         52   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         53   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         54   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         55   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         56   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         57   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         58   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         59   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         60   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         61   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         62   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         63   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         64   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         65   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         66   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         67   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         68   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         69   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         70   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         71   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         72   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         73   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         74   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         75   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         76   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         77   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         78   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         79   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         80   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         81   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         82   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         83   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         84   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         85   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         86   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         87   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         88   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         89   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         90   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         91   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         92   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         93   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         94   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         95   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         96   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         97   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         98   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         99   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        100   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        101   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        102   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        103   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        104   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        105   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        106   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        107   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        108   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        109   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        110   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        111   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        112   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        113   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        114   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        115   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        116   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        117   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        118   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        119   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        120   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        121   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        122   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        123   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        124   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        125   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        126   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        127   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        128   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        129   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        130   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        131   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        132   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        133   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        134   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        135   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        136   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        137   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        138   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        139   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        140   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        141   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        142   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        143   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        144   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        145   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        146   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        147   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        148   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        149   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        150   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        151   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        152   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        153   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        154   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        155   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        156   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        157   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        158   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        159   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        160   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        161   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        162   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        163   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        164   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        165   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        166   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        167   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        168   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        169   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        170   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        171   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        172   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        173   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        174   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        175   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        176   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        177   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        178   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        179   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        180   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        181   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        182   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        183   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        184   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        185   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        186   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        187   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        188   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        189   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        190   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        191   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        192   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        193   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        194   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        195   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        196   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        197   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        198   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        199   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        200   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        201   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        202   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        203   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        204   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        205   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        206   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        207   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        208   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        209   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        210   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        211   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        212   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        213   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        214   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        215   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        216   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        217   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        218   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        219   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        220   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        221   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        222   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        223   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        224   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        225   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        226   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        227   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        228   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        229   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        230   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        231   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        232   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        233   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        234   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        235   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        236   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        237   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        238   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        239   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        240   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        241   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        242   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        243   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        244   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        245   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        246   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        247   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        248   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        249   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        250   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        251   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        252   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        253   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        254   blake2{b,s}.
-   [OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
-   [OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
-   [OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
-   [OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
-   [OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
-   [OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
-   [OK]          ripemd160                            0   rmd160.
-   [OK]          ripemd160                            1   rmd160.
-   [OK]          ripemd160                            2   rmd160.
-   [OK]          ripemd160                            3   rmd160.
-   [OK]          ripemd160                            4   rmd160.
-   [OK]          ripemd160                            5   rmd160.
-   [OK]          ripemd160                            6   rmd160.
-   [OK]          ripemd160                            7   rmd160.
-   [OK]          ripemd160                            8   give me a million.
-   [OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
-   [OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
-   [OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
-   [OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
-   [OK]          sha3 (vector tests)                  4   ../keccak_256.txt.
- 
- Full test results in `~/.opam/5.4/.opam-switch/build/digestif.1.3.0/_build/default/test/c/_build/_tests/digestif'.
- Test Successful in 0.316s. 685 tests run.
- (cd _build/default/test/ocaml && ./test.exe --quick-tests --color=always)
- Testing `digestif'.
- This run has ID `0YCF16TF'.
- 
-   [OK]          md5                                  0   md5.
-   [OK]          md5                                  1   md5.
-   [OK]          md5                                  2   md5.
-   [OK]          md5                                  3   md5.
-   [OK]          md5                                  4   md5.
-   [OK]          md5 (bigstring)                      0   md5.
-   [OK]          md5 (bigstring)                      1   md5.
-   [OK]          md5 (bigstring)                      2   md5.
-   [OK]          md5 (bigstring)                      3   md5.
-   [OK]          md5 (bigstring)                      4   md5.
-   [OK]          sha1                                 0   sha1.
-   [OK]          sha1                                 1   sha1.
-   [OK]          sha1                                 2   sha1.
-   [OK]          sha1                                 3   sha1.
-   [OK]          sha1                                 4   sha1.
-   [OK]          sha1 (bigstring)                     0   sha1.
-   [OK]          sha1 (bigstring)                     1   sha1.
-   [OK]          sha1 (bigstring)                     2   sha1.
-   [OK]          sha1 (bigstring)                     3   sha1.
-   [OK]          sha1 (bigstring)                     4   sha1.
-   [OK]          sha224                               0   sha224.
-   [OK]          sha224                               1   sha224.
-   [OK]          sha224                               2   sha224.
-   [OK]          sha224                               3   sha224.
-   [OK]          sha224                               4   sha224.
-   [OK]          sha224 (bigstring)                   0   sha224.
-   [OK]          sha224 (bigstring)                   1   sha224.
-   [OK]          sha224 (bigstring)                   2   sha224.
-   [OK]          sha224 (bigstring)                   3   sha224.
-   [OK]          sha224 (bigstring)                   4   sha224.
-   [OK]          sha256                               0   sha256.
-   [OK]          sha256                               1   sha256.
-   [OK]          sha256                               2   sha256.
-   [OK]          sha256                               3   sha256.
-   [OK]          sha256                               4   sha256.
-   [OK]          sha256 (bigstring)                   0   sha256.
-   [OK]          sha256 (bigstring)                   1   sha256.
-   [OK]          sha256 (bigstring)                   2   sha256.
-   [OK]          sha256 (bigstring)                   3   sha256.
-   [OK]          sha256 (bigstring)                   4   sha256.
-   [OK]          sha256 (feed bytes)                  0   sha256.
-   [OK]          sha256 (feed bytes)                  1   sha256.
-   [OK]          sha256 (feed bytes)                  2   sha256.
-   [OK]          sha256 (feed bytes)                  3   sha256.
-   [OK]          sha256 (feed bytes)                  4   sha256.
-   [OK]          sha384                               0   sha384.
-   [OK]          sha384                               1   sha384.
-   [OK]          sha384                               2   sha384.
-   [OK]          sha384                               3   sha384.
-   [OK]          sha384                               4   sha384.
-   [OK]          sha384 (bigstring)                   0   sha384.
-   [OK]          sha384 (bigstring)                   1   sha384.
-   [OK]          sha384 (bigstring)                   2   sha384.
-   [OK]          sha384 (bigstring)                   3   sha384.
-   [OK]          sha384 (bigstring)                   4   sha384.
-   [OK]          sha512                               0   sha512.
-   [OK]          sha512                               1   sha512.
-   [OK]          sha512                               2   sha512.
-   [OK]          sha512                               3   sha512.
-   [OK]          sha512                               4   sha512.
-   [OK]          sha512 (bigstring)                   0   sha512.
-   [OK]          sha512 (bigstring)                   1   sha512.
-   [OK]          sha512 (bigstring)                   2   sha512.
-   [OK]          sha512 (bigstring)                   3   sha512.
-   [OK]          sha512 (bigstring)                   4   sha512.
-   [OK]          sha3_224                             0   sha3_224.
-   [OK]          sha3_224                             1   sha3_224.
-   [OK]          sha3_224                             2   sha3_224.
-   [OK]          sha3_224                             3   sha3_224.
-   [OK]          sha3_224                             4   sha3_224.
-   [OK]          sha3_224 (bigstring)                 0   sha3_224.
-   [OK]          sha3_224 (bigstring)                 1   sha3_224.
-   [OK]          sha3_224 (bigstring)                 2   sha3_224.
-   [OK]          sha3_224 (bigstring)                 3   sha3_224.
-   [OK]          sha3_224 (bigstring)                 4   sha3_224.
-   [OK]          sha3_256                             0   sha3_256.
-   [OK]          sha3_256                             1   sha3_256.
-   [OK]          sha3_256                             2   sha3_256.
-   [OK]          sha3_256                             3   sha3_256.
-   [OK]          sha3_256                             4   sha3_256.
-   [OK]          sha3_256 (bigstring)                 0   sha3_256.
-   [OK]          sha3_256 (bigstring)                 1   sha3_256.
-   [OK]          sha3_256 (bigstring)                 2   sha3_256.
-   [OK]          sha3_256 (bigstring)                 3   sha3_256.
-   [OK]          sha3_256 (bigstring)                 4   sha3_256.
-   [OK]          keccak_256                           0   keccak_256.
-   [OK]          keccak_256                           1   keccak_256.
-   [OK]          keccak_256                           2   keccak_256.
-   [OK]          keccak_256                           3   keccak_256.
-   [OK]          keccak_256                           4   keccak_256.
-   [OK]          keccak_256 (bigstring)               0   keccak_256.
-   [OK]          keccak_256 (bigstring)               1   keccak_256.
-   [OK]          keccak_256 (bigstring)               2   keccak_256.
-   [OK]          keccak_256 (bigstring)               3   keccak_256.
-   [OK]          keccak_256 (bigstring)               4   keccak_256.
-   [OK]          sha3_384                             0   sha3_384.
-   [OK]          sha3_384                             1   sha3_384.
-   [OK]          sha3_384                             2   sha3_384.
-   [OK]          sha3_384                             3   sha3_384.
-   [OK]          sha3_384                             4   sha3_384.
-   [OK]          sha3_384 (bigstring)                 0   sha3_384.
-   [OK]          sha3_384 (bigstring)                 1   sha3_384.
-   [OK]          sha3_384 (bigstring)                 2   sha3_384.
-   [OK]          sha3_384 (bigstring)                 3   sha3_384.
-   [OK]          sha3_384 (bigstring)                 4   sha3_384.
-   [OK]          sha3_512                             0   sha3_512.
-   [OK]          sha3_512                             1   sha3_512.
-   [OK]          sha3_512                             2   sha3_512.
-   [OK]          sha3_512                             3   sha3_512.
-   [OK]          sha3_512                             4   sha3_512.
-   [OK]          sha3_512 (bigstring)                 0   sha3_512.
-   [OK]          sha3_512 (bigstring)                 1   sha3_512.
-   [OK]          sha3_512 (bigstring)                 2   sha3_512.
-   [OK]          sha3_512 (bigstring)                 3   sha3_512.
-   [OK]          sha3_512 (bigstring)                 4   sha3_512.
-   [OK]          whirlpool                            0   whirlpool.
-   [OK]          whirlpool                            1   whirlpool.
-   [OK]          whirlpool                            2   whirlpool.
-   [OK]          whirlpool                            3   whirlpool.
-   [OK]          whirlpool                            4   whirlpool.
-   [OK]          whirlpool (bigstring)                0   whirlpool.
-   [OK]          whirlpool (bigstring)                1   whirlpool.
-   [OK]          whirlpool (bigstring)                2   whirlpool.
-   [OK]          whirlpool (bigstring)                3   whirlpool.
-   [OK]          whirlpool (bigstring)                4   whirlpool.
-   [OK]          blake2b                              0   blake2b.
-   [OK]          blake2b                              1   blake2b.
-   [OK]          blake2b                              2   blake2b.
-   [OK]          blake2b                              3   blake2b.
-   [OK]          blake2b                              4   blake2b.
-   [OK]          blake2b (bigstring)                  0   blake2b.
-   [OK]          blake2b (bigstring)                  1   blake2b.
-   [OK]          blake2b (bigstring)                  2   blake2b.
-   [OK]          blake2b (bigstring)                  3   blake2b.
-   [OK]          blake2b (bigstring)                  4   blake2b.
-   [OK]          rmd160                               0   rmd160.
-   [OK]          rmd160                               1   rmd160.
-   [OK]          rmd160                               2   rmd160.
-   [OK]          rmd160                               3   rmd160.
-   [OK]          rmd160                               4   rmd160.
-   [OK]          rmd160 (bigstring)                   0   rmd160.
-   [OK]          rmd160 (bigstring)                   1   rmd160.
-   [OK]          rmd160 (bigstring)                   2   rmd160.
-   [OK]          rmd160 (bigstring)                   3   rmd160.
-   [OK]          rmd160 (bigstring)                   4   rmd160.
-   [OK]          blake2s                              0   blake2s.
-   [OK]          blake2s                              1   blake2s.
-   [OK]          blake2s                              2   blake2s.
-   [OK]          blake2s                              3   blake2s.
-   [OK]          blake2s                              4   blake2s.
-   [OK]          blake2s (bigstring)                  0   blake2s.
-   [OK]          blake2s (bigstring)                  1   blake2s.
-   [OK]          blake2s (bigstring)                  2   blake2s.
-   [OK]          blake2s (bigstring)                  3   blake2s.
-   [OK]          blake2s (bigstring)                  4   blake2s.
-   [OK]          blake2s (keyed, input file)          0   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          1   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          2   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          3   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          4   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          5   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          6   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          7   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          8   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)          9   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         10   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         11   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         12   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         13   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         14   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         15   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         16   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         17   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         18   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         19   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         20   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         21   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         22   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         23   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         24   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         25   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         26   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         27   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         28   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         29   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         30   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         31   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         32   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         33   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         34   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         35   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         36   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         37   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         38   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         39   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         40   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         41   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         42   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         43   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         44   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         45   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         46   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         47   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         48   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         49   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         50   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         51   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         52   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         53   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         54   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         55   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         56   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         57   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         58   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         59   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         60   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         61   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         62   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         63   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         64   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         65   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         66   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         67   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         68   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         69   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         70   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         71   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         72   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         73   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         74   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         75   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         76   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         77   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         78   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         79   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         80   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         81   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         82   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         83   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         84   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         85   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         86   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         87   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         88   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         89   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         90   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         91   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         92   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         93   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         94   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         95   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         96   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         97   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         98   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)         99   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        100   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        101   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        102   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        103   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        104   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        105   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        106   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        107   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        108   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        109   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        110   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        111   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        112   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        113   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        114   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        115   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        116   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        117   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        118   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        119   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        120   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        121   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        122   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        123   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        124   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        125   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        126   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        127   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        128   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        129   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        130   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        131   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        132   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        133   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        134   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        135   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        136   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        137   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        138   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        139   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        140   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        141   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        142   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        143   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        144   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        145   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        146   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        147   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        148   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        149   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        150   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        151   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        152   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        153   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        154   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        155   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        156   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        157   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        158   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        159   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        160   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        161   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        162   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        163   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        164   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        165   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        166   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        167   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        168   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        169   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        170   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        171   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        172   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        173   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        174   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        175   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        176   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        177   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        178   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        179   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        180   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        181   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        182   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        183   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        184   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        185   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        186   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        187   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        188   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        189   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        190   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        191   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        192   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        193   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        194   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        195   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        196   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        197   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        198   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        199   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        200   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        201   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        202   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        203   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        204   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        205   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        206   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        207   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        208   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        209   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        210   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        211   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        212   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        213   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        214   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        215   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        216   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        217   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        218   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        219   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        220   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        221   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        222   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        223   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        224   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        225   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        226   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        227   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        228   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        229   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        230   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        231   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        232   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        233   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        234   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        235   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        236   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        237   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        238   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        239   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        240   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        241   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        242   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        243   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        244   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        245   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        246   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        247   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        248   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        249   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        250   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        251   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        252   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        253   blake2{b,s}.
-   [OK]          blake2s (keyed, input file)        254   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          0   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          1   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          2   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          3   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          4   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          5   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          6   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          7   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          8   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)          9   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         10   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         11   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         12   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         13   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         14   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         15   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         16   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         17   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         18   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         19   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         20   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         21   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         22   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         23   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         24   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         25   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         26   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         27   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         28   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         29   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         30   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         31   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         32   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         33   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         34   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         35   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         36   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         37   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         38   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         39   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         40   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         41   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         42   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         43   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         44   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         45   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         46   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         47   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         48   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         49   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         50   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         51   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         52   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         53   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         54   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         55   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         56   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         57   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         58   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         59   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         60   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         61   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         62   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         63   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         64   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         65   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         66   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         67   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         68   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         69   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         70   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         71   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         72   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         73   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         74   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         75   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         76   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         77   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         78   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         79   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         80   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         81   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         82   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         83   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         84   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         85   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         86   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         87   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         88   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         89   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         90   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         91   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         92   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         93   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         94   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         95   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         96   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         97   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         98   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)         99   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        100   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        101   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        102   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        103   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        104   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        105   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        106   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        107   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        108   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        109   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        110   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        111   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        112   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        113   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        114   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        115   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        116   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        117   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        118   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        119   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        120   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        121   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        122   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        123   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        124   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        125   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        126   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        127   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        128   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        129   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        130   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        131   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        132   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        133   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        134   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        135   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        136   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        137   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        138   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        139   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        140   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        141   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        142   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        143   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        144   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        145   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        146   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        147   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        148   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        149   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        150   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        151   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        152   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        153   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        154   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        155   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        156   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        157   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        158   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        159   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        160   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        161   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        162   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        163   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        164   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        165   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        166   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        167   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        168   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        169   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        170   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        171   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        172   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        173   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        174   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        175   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        176   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        177   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        178   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        179   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        180   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        181   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        182   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        183   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        184   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        185   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        186   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        187   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        188   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        189   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        190   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        191   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        192   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        193   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        194   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        195   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        196   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        197   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        198   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        199   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        200   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        201   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        202   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        203   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        204   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        205   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        206   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        207   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        208   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        209   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        210   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        211   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        212   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        213   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        214   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        215   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        216   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        217   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        218   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        219   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        220   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        221   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        222   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        223   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        224   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        225   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        226   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        227   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        228   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        229   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        230   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        231   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        232   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        233   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        234   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        235   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        236   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        237   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        238   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        239   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        240   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        241   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        242   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        243   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        244   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        245   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        246   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        247   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        248   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        249   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        250   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        251   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        252   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        253   blake2{b,s}.
-   [OK]          blake2b (keyed, input file)        254   blake2{b,s}.
-   [OK]          blake2s (specialization)             0   BLAKE2S (digest-size...
-   [OK]          blake2s (specialization)             1   BLAKE2S (digest-size...
-   [OK]          blake2s (specialization)             2   BLAKE2S (digest-size...
-   [OK]          blake2b (specialization)             0   BLAKE2B (digest-size...
-   [OK]          blake2b (specialization)             1   BLAKE2B (digest-size...
-   [OK]          blake2b (specialization)             2   BLAKE2B (digest-size...
-   [OK]          ripemd160                            0   rmd160.
-   [OK]          ripemd160                            1   rmd160.
-   [OK]          ripemd160                            2   rmd160.
-   [OK]          ripemd160                            3   rmd160.
-   [OK]          ripemd160                            4   rmd160.
-   [OK]          ripemd160                            5   rmd160.
-   [OK]          ripemd160                            6   rmd160.
-   [OK]          ripemd160                            7   rmd160.
-   [SKIP]        ripemd160                            8   give me a million.
-   [OK]          sha3 (vector tests)                  0   ../sha3_224_fips_202...
-   [OK]          sha3 (vector tests)                  1   ../sha3_256_fips_202...
-   [OK]          sha3 (vector tests)                  2   ../sha3_384_fips_202...
-   [OK]          sha3 (vector tests)                  3   ../sha3_512_fips_202...
-   [OK]          sha3 (vector tests)                  4   ../keccak_256.txt.
- 
- Full test results in `~/.opam/5.4/.opam-switch/build/digestif.1.3.0/_build/default/test/ocaml/_build/_tests/digestif'.
- Test Successful in 0.890s. 684 tests run.
-> compiled  digestif.1.3.0
-> removed   digestif.1.3.0
Processing  4/4: [digestif: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "dune" "install" "-p" "digestif" (CWD=/home/opam/.opam/5.4/.opam-switch/build/digestif.1.3.0)
Processing  4/4: [digestif: ocaml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocaml" "./test/test_runes.ml" (CWD=/home/opam/.opam/5.4/.opam-switch/build/digestif.1.3.0)
- ocamlfind: Package `mirage-xen-posix' not found
- ocamlfind: Package `ocaml-freestanding' not found
-> installed digestif.1.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-11 12:42.41 ---> saved as "1f1b0c916d4e6b709857f4757a01f564abf66f2ffd454d1e76e8d34153cde60c"
Job succeeded
2025-12-11 12:42.50: Job succeeded