{
  "name": "sherlodoc",
  "version": "3.1.0",
  "files": [
    "doc/sherlodoc.storage_marshal/Storage_marshal/index.html",
    "doc/sherlodoc.storage_marshal/index.html",
    "doc/sherlodoc.storage_js/Storage_js/index.html",
    "doc/sherlodoc.storage_js/index.html",
    "doc/sherlodoc.query/Query/Private/Type_parser/index.html",
    "doc/sherlodoc.query/Query/Private/Succ/index.html",
    "doc/sherlodoc.query/Query/Private/index.html",
    "doc/sherlodoc.query/Query/Blocking/index.html",
    "doc/sherlodoc.query/Query/Make/argument-1-Io/index.html",
    "doc/sherlodoc.query/Query/Make/index.html",
    "doc/sherlodoc.query/Query/module-type-IO/index.html",
    "doc/sherlodoc.query/Query/index.html", "doc/sherlodoc.query/index.html",
    "doc/sherlodoc.db_store/Db_store/index.html",
    "doc/sherlodoc.db_store/index.html",
    "doc/sherlodoc.db/Db/String_automata/index.html",
    "doc/sherlodoc.db/Db/Typexpr/index.html",
    "doc/sherlodoc.db/Db/Type_polarity/Sign/index.html",
    "doc/sherlodoc.db/Db/Type_polarity/index.html",
    "doc/sherlodoc.db/Db/Storage/module-type-S/index.html",
    "doc/sherlodoc.db/Db/Storage/Occurences/index.html",
    "doc/sherlodoc.db/Db/Storage/index.html",
    "doc/sherlodoc.db/Db/Entry/Package/index.html",
    "doc/sherlodoc.db/Db/Entry/Kind/index.html",
    "doc/sherlodoc.db/Db/Entry/index.html", "doc/sherlodoc.db/Db/index.html",
    "doc/sherlodoc.db/index.html",
    "doc/src/sherlodoc.storage_marshal/storage_marshal.ml.html",
    "doc/src/sherlodoc.storage_js/storage_js.ml.html",
    "doc/src/sherlodoc.query/query__.ml.html",
    "doc/src/sherlodoc.query/dynamic_cost.ml.html",
    "doc/src/sherlodoc.query/io.ml.html",
    "doc/src/sherlodoc.query/query_parser.ml.html",
    "doc/src/sherlodoc.query/query.ml.html",
    "doc/src/sherlodoc.query/succ.ml.html",
    "doc/src/sherlodoc.query/type_lexer.ml.html",
    "doc/src/sherlodoc.query/top_results.ml.html",
    "doc/src/sherlodoc.query/name_cost.ml.html",
    "doc/src/sherlodoc.query/priority_queue.ml.html",
    "doc/src/sherlodoc.query/type_distance.ml.html",
    "doc/src/sherlodoc.query/type_parser.ml.html",
    "doc/src/sherlodoc.db_store/db_store.ml.html",
    "doc/src/sherlodoc.db/db__.ml.html", "doc/src/sherlodoc.db/db.ml.html",
    "doc/src/sherlodoc.db/storage.ml.html",
    "doc/src/sherlodoc.db/entry.ml.html",
    "doc/src/sherlodoc.db/typexpr.ml.html",
    "doc/src/sherlodoc.db/string_automata.ml.html",
    "doc/src/sherlodoc.db/type_polarity.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Db/Storage/module-type-S/index.html",
      "new_path": "doc/sherlodoc.db/Db/Storage/module-type-S/index.html"
    },
    {
      "old_path": "doc/Db/Type_polarity/Sign/index.html",
      "new_path": "doc/sherlodoc.db/Db/Type_polarity/Sign/index.html"
    },
    {
      "old_path": "doc/Db/Typexpr/index.html",
      "new_path": "doc/sherlodoc.db/Db/Typexpr/index.html"
    },
    {
      "old_path": "doc/Query/Blocking/index.html",
      "new_path": "doc/sherlodoc.query/Query/Blocking/index.html"
    },
    {
      "old_path": "doc/Db/index.html",
      "new_path": "doc/sherlodoc.db/Db/index.html"
    },
    {
      "old_path": "doc/Db/Entry/Package/index.html",
      "new_path": "doc/sherlodoc.db/Db/Entry/Package/index.html"
    },
    {
      "old_path": "doc/Db/Entry/Kind/index.html",
      "new_path": "doc/sherlodoc.db/Db/Entry/Kind/index.html"
    },
    {
      "old_path": "doc/Db/String_automata/index.html",
      "new_path": "doc/sherlodoc.db/Db/String_automata/index.html"
    },
    {
      "old_path": "doc/Storage_marshal/index.html",
      "new_path": "doc/sherlodoc.storage_marshal/Storage_marshal/index.html"
    },
    {
      "old_path": "doc/Db/Storage/index.html",
      "new_path": "doc/sherlodoc.db/Db/Storage/index.html"
    },
    {
      "old_path": "doc/Query/Make/index.html",
      "new_path": "doc/sherlodoc.query/Query/Make/index.html"
    },
    {
      "old_path": "doc/Query/Make/argument-1-Io/index.html",
      "new_path": "doc/sherlodoc.query/Query/Make/argument-1-Io/index.html"
    },
    {
      "old_path": "doc/Storage_js/index.html",
      "new_path": "doc/sherlodoc.storage_js/Storage_js/index.html"
    },
    {
      "old_path": "doc/Query/module-type-IO/index.html",
      "new_path": "doc/sherlodoc.query/Query/module-type-IO/index.html"
    },
    {
      "old_path": "doc/Db/Entry/index.html",
      "new_path": "doc/sherlodoc.db/Db/Entry/index.html"
    },
    {
      "old_path": "doc/Query/index.html",
      "new_path": "doc/sherlodoc.query/Query/index.html"
    },
    {
      "old_path": "doc/Query/Private/Succ/index.html",
      "new_path": "doc/sherlodoc.query/Query/Private/Succ/index.html"
    },
    {
      "old_path": "doc/Db/Storage/Occurences/index.html",
      "new_path": "doc/sherlodoc.db/Db/Storage/Occurences/index.html"
    },
    {
      "old_path": "doc/Db/Type_polarity/index.html",
      "new_path": "doc/sherlodoc.db/Db/Type_polarity/index.html"
    },
    {
      "old_path": "doc/Query/Private/Type_parser/index.html",
      "new_path": "doc/sherlodoc.query/Query/Private/Type_parser/index.html"
    },
    {
      "old_path": "doc/Db_store/index.html",
      "new_path": "doc/sherlodoc.db_store/Db_store/index.html"
    },
    {
      "old_path": "doc/Query/Private/index.html",
      "new_path": "doc/sherlodoc.query/Query/Private/index.html"
    }
  ]
}