{
  "name": "current_gitlab",
  "version": "0.7.4",
  "files": [
    "doc/current_gitlab/Current_gitlab/Auth/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Anonymous/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Ref_map/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Ref/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Repo/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Commit/index.html",
    "doc/current_gitlab/Current_gitlab/Api/Status/index.html",
    "doc/current_gitlab/Current_gitlab/Api/index.html",
    "doc/current_gitlab/Current_gitlab/Repo_id/index.html",
    "doc/current_gitlab/Current_gitlab/index.html",
    "doc/current_gitlab/index.html",
    "doc/src/current_gitlab/current_gitlab.ml.html",
    "doc/src/current_gitlab/current_gitlab__.ml.html",
    "doc/src/current_gitlab/log.ml.html",
    "doc/src/current_gitlab/auth.ml.html",
    "doc/src/current_gitlab/repo_id.ml.html",
    "doc/src/current_gitlab/api.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Current_gitlab/Repo_id/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Repo_id/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Commit/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Commit/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Auth/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Auth/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Ref/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Ref/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Repo/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Repo/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Ref_map/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Ref_map/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Status/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Status/index.html"
    },
    {
      "old_path": "doc/Current_gitlab/Api/Anonymous/index.html",
      "new_path": "doc/current_gitlab/Current_gitlab/Api/Anonymous/index.html"
    }
  ]
}