{
  "name": "bls12-381-gen",
  "version": "0.4.2",
  "files": [
    "doc/bls12-381-gen/Bls12_381_gen/S/Make/argument-1-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/S/Make/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/S/module-type-RAW_BASE/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/S/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-4-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-3-GT/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-2-G2/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-2-G2/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-1-G1/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-1-G1/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/module-type-RAW_STUBS/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Pairing/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-COMPRESSED/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-COMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-UNCOMPRESSED/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-UNCOMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-BASE/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-BASE/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-RAW_COMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-RAW_UNCOMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G2/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/argument-2-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/argument-1-Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-COMPRESSED/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-COMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-UNCOMPRESSED/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-UNCOMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-BASE/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-BASE/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-RAW_COMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-RAW_UNCOMPRESSED/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/G1/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fr/MakeFr/argument-1-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fr/MakeFr/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fr/module-type-T/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fr/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fq12/MakeFq12/argument-1-Stubs/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fq12/MakeFq12/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fq12/module-type-T/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Fq12/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-RAW_BASE/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-T/Scalar/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-T/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/index.html",
    "doc/bls12-381-gen/Bls12_381_gen/index.html",
    "doc/bls12-381-gen/index.html",
    "doc/src/bls12-381-gen/bls12_381_gen.ml.html",
    "doc/src/bls12-381-gen/elliptic_curve_sig.ml.html",
    "doc/src/bls12-381-gen/fr.ml.html", "doc/src/bls12-381-gen/g2.ml.html",
    "doc/src/bls12-381-gen/fq12.ml.html", "doc/src/bls12-381-gen/g1.ml.html",
    "doc/src/bls12-381-gen/s.ml.html",
    "doc/src/bls12-381-gen/pairing.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/CHANGES.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Bls12_381_gen/Fq12/MakeFq12/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fq12/MakeFq12/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-BASE/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-BASE/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-UNCOMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-UNCOMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeUncompressed/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/module-type-RAW_STUBS/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/module-type-RAW_STUBS/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fq12/module-type-T/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fq12/module-type-T/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeUncompressed/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-RAW_COMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-RAW_COMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-3-GT/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-3-GT/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Elliptic_curve_sig/module-type-RAW_BASE/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-RAW_BASE/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-RAW_UNCOMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-RAW_UNCOMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeBase/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Elliptic_curve_sig/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/S/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/S/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeUncompressed/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-1-G1/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-1-G1/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-RAW_UNCOMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-RAW_UNCOMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Elliptic_curve_sig/module-type-T/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-T/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeUncompressed/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeCompressed/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeCompressed/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fr/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fr/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeUncompressed/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-1-G1/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-1-G1/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fr/MakeFr/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fr/MakeFr/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeCompressed/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-UNCOMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-UNCOMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-UNCOMPRESSED/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-UNCOMPRESSED/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeBase/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeCompressed/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-BASE/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-BASE/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-BASE/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-BASE/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeBase/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Elliptic_curve_sig/module-type-T/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Elliptic_curve_sig/module-type-T/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-4-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-4-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-COMPRESSED/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-COMPRESSED/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-COMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-COMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeCompressed/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/S/Make/argument-1-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/S/Make/argument-1-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-BASE/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-BASE/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/module-type-RAW_COMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/module-type-RAW_COMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-UNCOMPRESSED/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-UNCOMPRESSED/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeBase/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeUncompressed/argument-1-Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeUncompressed/argument-1-Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fr/MakeFr/argument-1-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fr/MakeFr/argument-1-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fq12/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fq12/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-2-G2/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-2-G2/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-COMPRESSED/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-COMPRESSED/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeUncompressed/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeUncompressed/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/S/Make/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/S/Make/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/module-type-COMPRESSED/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/module-type-COMPRESSED/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeBase/argument-2-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeBase/argument-2-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeCompressed/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G2/MakeCompressed/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G2/MakeCompressed/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/Make/argument-2-G2/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/Make/argument-2-G2/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Pairing/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Pairing/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/S/module-type-RAW_BASE/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/S/module-type-RAW_BASE/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeBase/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeBase/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/G1/MakeCompressed/Scalar/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/G1/MakeCompressed/Scalar/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fq12/MakeFq12/argument-1-Stubs/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fq12/MakeFq12/argument-1-Stubs/index.html"
    },
    {
      "old_path": "doc/Bls12_381_gen/Fr/module-type-T/index.html",
      "new_path": "doc/bls12-381-gen/Bls12_381_gen/Fr/module-type-T/index.html"
    }
  ]
}