{
  "name": "why3find",
  "version": "1.3.0",
  "files": [
    "doc/why3find.utils/Why3findUtils/Utils/index.html",
    "doc/why3find.utils/Why3findUtils/Timer/index.html",
    "doc/why3find.utils/Why3findUtils/Stats/index.html",
    "doc/why3find.utils/Why3findUtils/Rpc/index.html",
    "doc/why3find.utils/Why3findUtils/Ropes/index.html",
    "doc/why3find.utils/Why3findUtils/Rangemap/index.html",
    "doc/why3find.utils/Why3findUtils/Range/index.html",
    "doc/why3find.utils/Why3findUtils/Lsp/index.html",
    "doc/why3find.utils/Why3findUtils/Log/index.html",
    "doc/why3find.utils/Why3findUtils/Json/index.html",
    "doc/why3find.utils/Why3findUtils/Fibers/Queue/index.html",
    "doc/why3find.utils/Why3findUtils/Fibers/Monad/index.html",
    "doc/why3find.utils/Why3findUtils/Fibers/index.html",
    "doc/why3find.utils/Why3findUtils/Dict/index.html",
    "doc/why3find.utils/Why3findUtils/Darray/index.html",
    "doc/why3find.utils/Why3findUtils/Dap/index.html",
    "doc/why3find.utils/Why3findUtils/index.html",
    "doc/why3find.utils/index.html",
    "doc/why3find/Why3find/Wutil/index.html",
    "doc/why3find/Why3find/Version/index.html",
    "doc/why3find/Why3find/Vc/index.html",
    "doc/why3find/Why3find/Tactic/index.html",
    "doc/why3find/Why3find/Session/index.html",
    "doc/why3find/Why3find/Result/index.html",
    "doc/why3find/Why3find/Prover/index.html",
    "doc/why3find/Why3find/Proofs/index.html",
    "doc/why3find/Why3find/Project/index.html",
    "doc/why3find/Why3find/Meta/index.html",
    "doc/why3find/Why3find/Id/index.html",
    "doc/why3find/Why3find/Global/Sites/index.html",
    "doc/why3find/Why3find/Global/index.html",
    "doc/why3find/Why3find/Dump/index.html",
    "doc/why3find/Why3find/Crc/index.html",
    "doc/why3find/Why3find/Config/index.html",
    "doc/why3find/Why3find/Cache/index.html",
    "doc/why3find/Why3find/index.html", "doc/why3find/index.html",
    "doc/src/why3find.utils/why3findUtils.ml.html",
    "doc/src/why3find.utils/json.ml.html",
    "doc/src/why3find.utils/dict.ml.html",
    "doc/src/why3find.utils/darray.ml.html",
    "doc/src/why3find.utils/rangemap.ml.html",
    "doc/src/why3find.utils/log.ml.html",
    "doc/src/why3find.utils/fibers.ml.html",
    "doc/src/why3find.utils/range.ml.html",
    "doc/src/why3find.utils/lsp.ml.html",
    "doc/src/why3find.utils/rpc.ml.html",
    "doc/src/why3find.utils/ropes.ml.html",
    "doc/src/why3find.utils/stats.ml.html",
    "doc/src/why3find.utils/timer.ml.html",
    "doc/src/why3find.utils/utils.ml.html",
    "doc/src/why3find.utils/dap.ml.html",
    "doc/src/why3find/why3find.ml.html", "doc/src/why3find/cache.ml.html",
    "doc/src/why3find/Global.ml.html", "doc/src/why3find/config.ml.html",
    "doc/src/why3find/dump.ml.html", "doc/src/why3find/meta.ml.html",
    "doc/src/why3find/project.ml.html", "doc/src/why3find/tactic.ml.html",
    "doc/src/why3find/crc.ml.html", "doc/src/why3find/id.ml.html",
    "doc/src/why3find/proofs.ml.html", "doc/src/why3find/prover.ml.html",
    "doc/src/why3find/version.ml.html", "doc/src/why3find/result.ml.html",
    "doc/src/why3find/session.ml.html", "doc/src/why3find/vc.ml.html",
    "doc/src/why3find/wutil.ml.html", "doc/src/index.html", "doc/index.html",
    "doc/LICENSE.html", "doc/CHANGES.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Why3find/Session/index.html",
      "new_path": "doc/why3find/Why3find/Session/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Range/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Range/index.html"
    },
    {
      "old_path": "doc/Why3find/Config/index.html",
      "new_path": "doc/why3find/Why3find/Config/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Log/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Log/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Fibers/Queue/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Fibers/Queue/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Ropes/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Ropes/index.html"
    },
    {
      "old_path": "doc/Why3find/Result/index.html",
      "new_path": "doc/why3find/Why3find/Result/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Dap/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Dap/index.html"
    },
    {
      "old_path": "doc/Why3find/Vc/index.html",
      "new_path": "doc/why3find/Why3find/Vc/index.html"
    },
    {
      "old_path": "doc/Why3find/Wutil/index.html",
      "new_path": "doc/why3find/Why3find/Wutil/index.html"
    },
    {
      "old_path": "doc/Why3find/Crc/index.html",
      "new_path": "doc/why3find/Why3find/Crc/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Dict/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Dict/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Lsp/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Lsp/index.html"
    },
    {
      "old_path": "doc/Why3find/Global/Sites/index.html",
      "new_path": "doc/why3find/Why3find/Global/Sites/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Fibers/Monad/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Fibers/Monad/index.html"
    },
    {
      "old_path": "doc/Why3find/Dump/index.html",
      "new_path": "doc/why3find/Why3find/Dump/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Utils/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Utils/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Fibers/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Fibers/index.html"
    },
    {
      "old_path": "doc/Why3find/index.html",
      "new_path": "doc/why3find/Why3find/index.html"
    },
    {
      "old_path": "doc/Why3find/Cache/index.html",
      "new_path": "doc/why3find/Why3find/Cache/index.html"
    },
    {
      "old_path": "doc/Why3find/Project/index.html",
      "new_path": "doc/why3find/Why3find/Project/index.html"
    },
    {
      "old_path": "doc/Why3find/Tactic/index.html",
      "new_path": "doc/why3find/Why3find/Tactic/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Darray/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Darray/index.html"
    },
    {
      "old_path": "doc/Why3find/Proofs/index.html",
      "new_path": "doc/why3find/Why3find/Proofs/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Timer/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Timer/index.html"
    },
    {
      "old_path": "doc/Why3find/Id/index.html",
      "new_path": "doc/why3find/Why3find/Id/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Rangemap/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Rangemap/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Json/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Json/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Stats/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Stats/index.html"
    },
    {
      "old_path": "doc/Why3find/Prover/index.html",
      "new_path": "doc/why3find/Why3find/Prover/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/Rpc/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/Rpc/index.html"
    },
    {
      "old_path": "doc/Why3find/Version/index.html",
      "new_path": "doc/why3find/Why3find/Version/index.html"
    },
    {
      "old_path": "doc/Why3find/Global/index.html",
      "new_path": "doc/why3find/Why3find/Global/index.html"
    },
    {
      "old_path": "doc/Why3find/Meta/index.html",
      "new_path": "doc/why3find/Why3find/Meta/index.html"
    },
    {
      "old_path": "doc/Why3findUtils/index.html",
      "new_path": "doc/why3find.utils/Why3findUtils/index.html"
    }
  ]
}