{
  "name": "tezos-crypto",
  "version": "16.0",
  "files": [
    "doc/tezos-crypto/Tezos_crypto/Timelock/index.html",
    "doc/tezos-crypto/Tezos_crypto/Rand/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/argument-1-H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/Make/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/argument-1-H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeEncoder/argument-1-H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeEncoder/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeB58/argument-1-H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeB58/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeRaw/argument-1-H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/MakeRaw/index.html",
    "doc/tezos-crypto/Tezos_crypto/Helpers/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/P256/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Ed25519/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/module-type-SIGNATURE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Box/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Secretbox/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Nonce/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Blake2b/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Keccak_256/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA3_512/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA3_256/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/H/HMAC/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/H/HMAC/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-S/HMAC/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-S/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/HMAC/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/argument-1-S/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-DIRECT_HASH/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-HASH_ALG/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/Rand/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hacl/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/Secretbox/index.html",
    "doc/tezos-crypto/Tezos_crypto/Crypto_box/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/argument-2-Name/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/argument-1-Register/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-Register/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make_minimal/argument-1-Name/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/Make_minimal/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-PrefixedName/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-Name/index.html",
    "doc/tezos-crypto/Tezos_crypto/Blake2B/index.html",
    "doc/tezos-crypto/Tezos_crypto/Base58/Make/argument-1-C/index.html",
    "doc/tezos-crypto/Tezos_crypto/Base58/Make/index.html",
    "doc/tezos-crypto/Tezos_crypto/Base58/Alphabet/index.html",
    "doc/tezos-crypto/Tezos_crypto/Base58/Prefix/index.html",
    "doc/tezos-crypto/Tezos_crypto/Base58/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Of_V1/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Of_V0/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Of_V_latest/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Of_V_latest/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Of_V0/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V1/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Of_V_latest/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V0/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Of_V0/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/P256/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G2/Scalar/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G2/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G1/Scalar/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G1/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/Fr/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/Bls/index.html",
    "doc/tezos-crypto/Tezos_crypto/Signature/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Version/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Hashed/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-CURVE/Scalar/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-CURVE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PRIME_FIELD/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-FIELD/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Logging/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/H/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Error_table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Table/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Map/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Set/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Secret_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Public_key/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Encrypted_share/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Commitment/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Clear_share/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-ENCODER/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-B58_DATA/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-RAW_DATA/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MINIMAL_HASH/index.html",
    "doc/tezos-crypto/Tezos_crypto/Intfs/index.html",
    "doc/tezos-crypto/Tezos_crypto/index.html",
    "doc/tezos-crypto/index.html",
    "doc/src/tezos-crypto/tezos_crypto.ml.html",
    "doc/src/tezos-crypto/tezos_crypto__.ml.html",
    "doc/src/tezos-crypto/block_hash.ml.html",
    "doc/src/tezos-crypto/block_metadata_hash.ml.html",
    "doc/src/tezos-crypto/context_hash.ml.html",
    "doc/src/tezos-crypto/operation_list_hash.ml.html",
    "doc/src/tezos-crypto/operation_hash.ml.html",
    "doc/src/tezos-crypto/hacl.ml.html",
    "doc/src/tezos-crypto/crypto_box.ml.html",
    "doc/src/tezos-crypto/operation_metadata_hash.ml.html",
    "doc/src/tezos-crypto/chain_id.ml.html",
    "doc/src/tezos-crypto/base58.ml.html",
    "doc/src/tezos-crypto/bls.ml.html",
    "doc/src/tezos-crypto/helpers.ml.html",
    "doc/src/tezos-crypto/operation_list_list_hash.ml.html",
    "doc/src/tezos-crypto/operation_metadata_list_list_hash.ml.html",
    "doc/src/tezos-crypto/operation_metadata_list_hash.ml.html",
    "doc/src/tezos-crypto/blake2B.ml.html",
    "doc/src/tezos-crypto/aggregate_signature.ml.html",
    "doc/src/tezos-crypto/protocol_hash.ml.html",
    "doc/src/tezos-crypto/ed25519.ml.html",
    "doc/src/tezos-crypto/rand.ml.html", "doc/src/tezos-crypto/p256.ml.html",
    "doc/src/tezos-crypto/signature.ml.html",
    "doc/src/tezos-crypto/s.ml.html",
    "doc/src/tezos-crypto/secp256k1.ml.html",
    "doc/src/tezos-crypto/timelock.ml.html",
    "doc/src/tezos-crypto/signature_v1.ml.html",
    "doc/src/tezos-crypto/signature_v0.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/Fr/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/Fr/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA256/H/HMAC/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/H/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeEncoder/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeEncoder/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Base58/Make/argument-1-C/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Base58/Make/argument-1-C/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeEncoder/argument-1-H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeEncoder/argument-1-H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Of_V0/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Of_V0/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Ed25519/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Ed25519/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/Make/HMAC/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Of_V0/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Of_V0/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/Encrypted_share/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Encrypted_share/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Of_V_latest/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Of_V_latest/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/Clear_share/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Clear_share/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/G2/Scalar/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G2/Scalar/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Secretbox/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Secretbox/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Box/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Box/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Timelock/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Timelock/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-CURVE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-CURVE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeB58/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeB58/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/P256/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/P256/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Of_V_latest/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Of_V_latest/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-CURVE/Scalar/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-CURVE/Scalar/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA3_256/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA3_256/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Of_V1/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Of_V1/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/module-type-HASH_ALG/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-HASH_ALG/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/G1/Scalar/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G1/Scalar/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/G2/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G2/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/module-type-Register/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-Register/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-RAW_DATA/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-RAW_DATA/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PRIME_FIELD/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PRIME_FIELD/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Secretbox/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Secretbox/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/Make/argument-1-S/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/argument-1-S/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Blake2b/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Blake2b/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/module-type-Name/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-Name/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Base58/Prefix/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Base58/Prefix/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/module-type-DIRECT_HASH/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-DIRECT_HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA512/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/argument-1-H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/argument-1-H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeRaw/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeRaw/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Rand/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Rand/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/argument-1-H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/argument-1-H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Base58/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Base58/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MINIMAL_HASH/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MINIMAL_HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/Keccak_256/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Keccak_256/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/module-type-S/HMAC/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-S/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Of_V_latest/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Of_V_latest/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeB58/argument-1-H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeB58/argument-1-H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Base58/Make/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Base58/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-HASH/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/argument-2-Name/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/argument-2-Name/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make_minimal/argument-1-Name/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make_minimal/argument-1-Name/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-ENCODER/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-ENCODER/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA512/H/HMAC/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/H/HMAC/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA3_512/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA3_512/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA256/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Rand/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Rand/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-MERKLE_TREE/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA256/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA256/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeIterator/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make_minimal/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make_minimal/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-FIELD/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-FIELD/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/Make/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Nonce/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Nonce/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-INCREMENTAL_HASH/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_metadata_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_metadata_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Crypto_box/Public_key_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Crypto_box/Public_key_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Block_hash/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Block_hash/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/MakeRaw/argument-1-H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/MakeRaw/argument-1-H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Ed25519/Public_key_hash/Logging/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Ed25519/Public_key_hash/Logging/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Protocol_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Protocol_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_to/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/Secret_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Secret_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Base58/Alphabet/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Base58/Alphabet/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-AGGREGATE_SIGNATURE/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V_latest/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V1/Of_V0/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V1/Of_V0/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/module-type-SIGNATURE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/module-type-SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SIGNATURE/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SIGNATURE/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Aggregate_signature/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-INDEXES/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-INDEXES/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Chain_id/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Chain_id/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/SHA512/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/SHA512/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Set/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-COMMON_SIGNATURE/Public_key_hash/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/module-type-PrefixedName/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/module-type-PrefixedName/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_list_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_list_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hacl/Hash/module-type-S/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hacl/Hash/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-SPLIT_SIGNATURE/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Blake2B/Make/argument-1-Register/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Blake2B/Make/argument-1-Register/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Context_hash/Version/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Context_hash/Version/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key_hash/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Bls/Primitive/G1/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Bls/Primitive/G1/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/P256/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/P256/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/H/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_metadata_list_list_hash/WeakRingTable/H/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_to/Public_key/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-PVSS/Commitment/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-PVSS/Commitment/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Map/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/Secp256k1/Public_key_hash/Table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV/V_from/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV/V_from/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Intfs/module-type-B58_DATA/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Intfs/module-type-B58_DATA/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/module-type-CONV_OPT/V_from/Public_key_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Helpers/Make/Error_table/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Helpers/Make/Error_table/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Hashed/Operation_list_hash/WeakRingTable/index.html"
    },
    {
      "old_path": "doc/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/index.html",
      "new_path": "doc/tezos-crypto/Tezos_crypto/Signature/V0/Public_key_hash/WeakRingTable/index.html"
    }
  ]
}