{
  "name": "bls12-381",
  "version": "18.0",
  "files": [
    "doc/bls12-381/Bls12_381/Pairing/index.html",
    "doc/bls12-381/Bls12_381/GT/index.html",
    "doc/bls12-381/Bls12_381/G2/Scalar/index.html",
    "doc/bls12-381/Bls12_381/G2/index.html",
    "doc/bls12-381/Bls12_381/G1/Scalar/index.html",
    "doc/bls12-381/Bls12_381/G1/index.html",
    "doc/bls12-381/Bls12_381/Fq12/index.html",
    "doc/bls12-381/Bls12_381/module-type-CURVE/Scalar/index.html",
    "doc/bls12-381/Bls12_381/module-type-CURVE/index.html",
    "doc/bls12-381/Bls12_381/Fr/index.html",
    "doc/bls12-381/Bls12_381/Ff_sig/module-type-PRIME_WITH_ROOT_OF_UNITY/index.html",
    "doc/bls12-381/Bls12_381/Ff_sig/module-type-PRIME/index.html",
    "doc/bls12-381/Bls12_381/Ff_sig/module-type-BASE/index.html",
    "doc/bls12-381/Bls12_381/Ff_sig/index.html",
    "doc/bls12-381/Bls12_381/index.html", "doc/bls12-381/index.html",
    "doc/src/bls12-381/bls12_381__.ml.html",
    "doc/src/bls12-381/ff_sig.ml.html", "doc/src/bls12-381/fq12.ml.html",
    "doc/src/bls12-381/bls12_381.ml.html", "doc/src/bls12-381/gt.ml.html",
    "doc/src/bls12-381/pairing.ml.html", "doc/src/bls12-381/fr.ml.html",
    "doc/src/bls12-381/g1.ml.html", "doc/src/bls12-381/g2.ml.html",
    "doc/src/index.html", "doc/README.html", "doc/index.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Bls12_381/module-type-CURVE/Scalar/index.html",
      "new_path": "doc/bls12-381/Bls12_381/module-type-CURVE/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Ff_sig/module-type-PRIME/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Ff_sig/module-type-PRIME/index.html"
    },
    {
      "old_path": "doc/Bls12_381/module-type-CURVE/index.html",
      "new_path": "doc/bls12-381/Bls12_381/module-type-CURVE/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Ff_sig/module-type-PRIME_WITH_ROOT_OF_UNITY/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Ff_sig/module-type-PRIME_WITH_ROOT_OF_UNITY/index.html"
    },
    {
      "old_path": "doc/Bls12_381/index.html",
      "new_path": "doc/bls12-381/Bls12_381/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Ff_sig/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Ff_sig/index.html"
    },
    {
      "old_path": "doc/Bls12_381/G1/Scalar/index.html",
      "new_path": "doc/bls12-381/Bls12_381/G1/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381/G2/Scalar/index.html",
      "new_path": "doc/bls12-381/Bls12_381/G2/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381/GT/index.html",
      "new_path": "doc/bls12-381/Bls12_381/GT/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Fr/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Fr/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Ff_sig/module-type-BASE/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Ff_sig/module-type-BASE/index.html"
    },
    {
      "old_path": "doc/Bls12_381/G1/index.html",
      "new_path": "doc/bls12-381/Bls12_381/G1/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Pairing/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Pairing/index.html"
    },
    {
      "old_path": "doc/Bls12_381/G2/index.html",
      "new_path": "doc/bls12-381/Bls12_381/G2/index.html"
    },
    {
      "old_path": "doc/Bls12_381/Fq12/index.html",
      "new_path": "doc/bls12-381/Bls12_381/Fq12/index.html"
    }
  ]
}