{
  "name": "irmin-graphql",
  "version": "2.10.2",
  "files": [
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/IO/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Sync/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Slice/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Path/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/E/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/V/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Env/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Proof/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Head/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Status/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-2-Config/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-1-Server/IO/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-1-Server/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/IO/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Sync/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Slice/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Path/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/E/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/V/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Env/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Proof/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Head/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Status/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-2-Config/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-1-Server/IO/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-1-Server/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Make/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Sync/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Slice/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Path/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Val/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/E/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/V/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Env/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Proof/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Commit/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Head/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Status/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Repo/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/Default_types/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Branch/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Hash/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Contents/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Metadata/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Key/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPE/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-CONFIG/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-S/IO/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/module-type-S/index.html",
    "doc/irmin-graphql/Irmin_graphql/Server/index.html",
    "doc/irmin-graphql/Irmin_graphql/Import/index.html",
    "doc/irmin-graphql/Irmin_graphql/index.html",
    "doc/irmin-graphql/index.html",
    "doc/src/irmin-graphql/irmin_graphql.ml.html",
    "doc/src/irmin-graphql/import.ml.html",
    "doc/src/irmin-graphql/server.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README_PPX.html", "doc/LICENSE.html",
    "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Irmin_graphql/Import/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Import/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Status/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Status/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/History/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/History/V/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/V/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Status/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Status/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Tree/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-1-Server/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-1-Server/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/History/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/History/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Tree/Env/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Env/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-1-Server/IO/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-1-Server/IO/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Tree/Proof/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/Proof/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Slice/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Slice/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-2-Config/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-2-Config/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Head/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Head/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Path/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Path/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Tree/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/History/V/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/V/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/History/E/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/E/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Sync/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Sync/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-S/IO/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-S/IO/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Proof/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Proof/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Head/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Head/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/History/V/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/History/V/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Slice/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Slice/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPES/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Path/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Path/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CONFIG/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CONFIG/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Slice/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Slice/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-S/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-S/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Tree/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Tree/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-1-Server/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-1-Server/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Path/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/Path/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Commit/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Commit/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Status/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Status/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-2-Config/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-2-Config/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/History/E/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/History/E/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Sync/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Sync/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Sync/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Sync/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/IO/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/IO/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/Branch/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Branch/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-1-Server/IO/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-1-Server/IO/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Node/Contents/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/IO/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/IO/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Repo/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Repo/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/Commit/Node/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Head/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Head/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Val/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Node/Val/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Env/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Env/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Metadata/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Metadata/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Env/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Tree/Env/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/Hash/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Hash/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Node/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-4-Types/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-4-Types/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/module-type-CUSTOM_TYPE/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/module-type-CUSTOM_TYPE/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Proof/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Tree/Proof/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Private/Commit/Node/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/History/E/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/History/E/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Default_types/argument-1-S/Contents/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Default_types/argument-1-S/Contents/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make/argument-3-Store/Private/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make/argument-3-Store/Private/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Contents/Key/index.html"
    },
    {
      "old_path": "doc/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Key/index.html",
      "new_path": "doc/irmin-graphql/Irmin_graphql/Server/Make_ext/argument-3-Store/Private/Commit/Node/Key/index.html"
    }
  ]
}