{
  "name": "zarith",
  "version": "1.14",
  "files": [
    "doc/zarith/Z/Compare/index.html", "doc/zarith/Z/index.html",
    "doc/zarith/Big_int_Z/index.html", "doc/zarith/Q/index.html",
    "doc/zarith/index.html", "doc/index.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Z/Compare/index.html",
      "new_path": "doc/zarith/Z/Compare/index.html"
    },
    { "old_path": "doc/Q/index.html", "new_path": "doc/zarith/Q/index.html" },
    {
      "old_path": "doc/Big_int_Z/index.html",
      "new_path": "doc/zarith/Big_int_Z/index.html"
    },
    { "old_path": "doc/Z/index.html", "new_path": "doc/zarith/Z/index.html" }
  ]
}