{
  "name": "tezos-hacl",
  "version": "16.1",
  "files": [
    "doc/tezos-hacl/Tezos_hacl/Hacl/P256/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Ed25519/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/module-type-SIGNATURE/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Box/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Secretbox/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Nonce/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Blake2b/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Keccak_256/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA3_512/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA3_256/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/H/HMAC/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/H/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/H/HMAC/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/H/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-S/HMAC/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-S/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/HMAC/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/argument-1-S/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-DIRECT_HASH/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-HASH_ALG/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/Rand/index.html",
    "doc/tezos-hacl/Tezos_hacl/Hacl/index.html",
    "doc/tezos-hacl/Tezos_hacl/index.html", "doc/tezos-hacl/index.html",
    "doc/src/tezos-hacl/tezos_hacl.ml.html",
    "doc/src/tezos-hacl/hacl.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/module-type-S/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/Make/argument-1-S/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/argument-1-S/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Nonce/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Nonce/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/module-type-S/HMAC/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-S/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA3_256/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA3_256/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/module-type-SIGNATURE/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/module-type-SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/module-type-DIRECT_HASH/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-DIRECT_HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA512/H/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/H/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/Make/HMAC/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Blake2b/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Blake2b/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA512/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA512/H/HMAC/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA512/H/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/module-type-HASH_ALG/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-HASH_ALG/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Secretbox/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Secretbox/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/Make/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA256/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/Keccak_256/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/Keccak_256/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Ed25519/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Ed25519/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Box/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Box/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/P256/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/P256/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Rand/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Rand/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA256/H/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/H/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA256/H/HMAC/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA256/H/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_hacl/Hacl/Hash/SHA3_512/index.html",
      "new_path": "doc/tezos-hacl/Tezos_hacl/Hacl/Hash/SHA3_512/index.html"
    }
  ]
}