{
  "name": "octez-bls12-381-polynomial",
  "version": "17.3",
  "files": [
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-S_unsafe/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Checks/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs_g2/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs_g1/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Elt_g2/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Elt_g1/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/Carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/Scalar/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-S/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/Scalar/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Polynomial_unsafe/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_unsafe_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Polynomial_impl/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Stubs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Helpers/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Fr_carray/Elt/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Fr_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Evaluations_unsafe/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_unsafe_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Evaluations_impl/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Stubs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Stubs_g2/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Stubs_g1/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_array_internal/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_array_internal/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_Elt/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_Elt/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-3-Stubs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-2-EC_point_array/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/Scalar/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/module-type-EC_carray_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/module-type-Stubs_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Domain_unsafe/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/module-type-Domain_unsafe_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/module-type-Domain_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Domain_impl/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Stubs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/Make/argument-1-Elt/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/Make/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/module-type-Carray_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/module-type-Elt_sig/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/G2_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/G1_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g2/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g1/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Evaluations/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Polynomial/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Domain/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G2_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G1_carray/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g2/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g1/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Evaluations/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Polynomial/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Domain/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/index.html",
    "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/index.html",
    "doc/octez-bls12-381-polynomial/index.html",
    "doc/src/octez-bls12-381-polynomial/octez_bls12_381_polynomial.ml.html",
    "doc/src/octez-bls12-381-polynomial/bls12_381_polynomial.ml.html",
    "doc/src/octez-bls12-381-polynomial/helpers.ml.html",
    "doc/src/octez-bls12-381-polynomial/domain.ml.html",
    "doc/src/octez-bls12-381-polynomial/fr_carray.ml.html",
    "doc/src/octez-bls12-381-polynomial/carray.ml.html",
    "doc/src/octez-bls12-381-polynomial/ec_carray.ml.html",
    "doc/src/octez-bls12-381-polynomial/srs.ml.html",
    "doc/src/octez-bls12-381-polynomial/polynomial.ml.html",
    "doc/src/octez-bls12-381-polynomial/evaluations.ml.html",
    "doc/src/index.html", "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Carray/Make/argument-1-Elt/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/Make/argument-1-Elt/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G2_array_internal/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_array_internal/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Polynomial/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Polynomial/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_unsafe_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/module-type-Evaluations_unsafe_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Make/argument-3-Stubs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-3-Stubs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/Domain_unsafe/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Domain_unsafe/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/Evaluations_impl/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Evaluations_impl/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/Stubs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Stubs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G1_Elt/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_Elt/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Domain/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Domain/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/G2_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/G2_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Carray/module-type-Elt_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/module-type-Elt_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Carray/module-type-Carray_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/module-type-Carray_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g1/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g1/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/Scalar/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/Scalar/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G2_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Fr_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Fr_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_unsafe_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/module-type-Polynomial_unsafe_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-1-EC_point/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Polynomial/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Polynomial/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g1/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g1/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g2/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Srs/Srs_g2/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/module-type-EC_carray_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/module-type-EC_carray_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/Scalar/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/Scalar/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Carray/Make/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Carray/Make/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/module-type-Stubs_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/module-type-Stubs_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/Stubs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Stubs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G2_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G2_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Elt_g2/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Elt_g2/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Make/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/module-type-S/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-S/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Elt_g1/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Elt_g1/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Make/Carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/Carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Helpers/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Helpers/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Make/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/module-type-Domain_unsafe_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/module-type-Domain_unsafe_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G1_array_internal/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_array_internal/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/G1_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/G1_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Make/argument-2-EC_point_array/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Make/argument-2-EC_point_array/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/Polynomial_unsafe/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Polynomial_unsafe/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G1_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G1_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Domain/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Domain/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/Evaluations_unsafe/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Evaluations_unsafe/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G1_carray/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/G1_carray/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g2/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Srs/Srs_g2/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Fr_carray/Elt/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Fr_carray/Elt/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/Evaluations/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/Evaluations/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Srs_g2/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs_g2/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/module-type-Domain_sig/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/module-type-Domain_sig/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/G2_Elt/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/G2_Elt/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/Scalar/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Make/argument-1-Elt/G/Scalar/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Evaluations/Stubs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Evaluations/Stubs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-GElt_sig/G/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Srs_g1/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs_g1/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Checks/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Checks/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Stubs_g1/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Stubs_g1/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Polynomial/Polynomial_impl/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Polynomial/Polynomial_impl/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/Srs/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/Srs/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Evaluations/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Bls12_381_polynomial/module-type-S/Evaluations/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Ec_carray/Stubs_g2/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Ec_carray/Stubs_g2/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Domain/Domain_impl/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Domain/Domain_impl/index.html"
    },
    {
      "old_path": "doc/Octez_bls12_381_polynomial/Srs/module-type-S_unsafe/index.html",
      "new_path": "doc/octez-bls12-381-polynomial/Octez_bls12_381_polynomial/Srs/module-type-S_unsafe/index.html"
    }
  ]
}