{
  "name": "num",
  "version": "1.6",
  "files": [
    "doc/num_top/index.html", "doc/nums/Num/index.html",
    "doc/nums/Nat/index.html", "doc/nums/Big_int/index.html",
    "doc/nums/Ratio/index.html", "doc/nums/Arith_status/index.html",
    "doc/nums/index.html", "doc/num.core/Num/index.html",
    "doc/num.core/Big_int/index.html", "doc/num.core/Nat/index.html",
    "doc/num.core/Ratio/index.html", "doc/num.core/Arith_status/index.html",
    "doc/num.core/index.html", "doc/index.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Ratio/index.html",
      "new_path": "doc/num.core/Ratio/index.html"
    },
    {
      "old_path": "doc/Ratio/index.html",
      "new_path": "doc/nums/Ratio/index.html"
    },
    {
      "old_path": "doc/Big_int/index.html",
      "new_path": "doc/num.core/Big_int/index.html"
    },
    {
      "old_path": "doc/Big_int/index.html",
      "new_path": "doc/nums/Big_int/index.html"
    },
    {
      "old_path": "doc/Arith_status/index.html",
      "new_path": "doc/num.core/Arith_status/index.html"
    },
    {
      "old_path": "doc/Arith_status/index.html",
      "new_path": "doc/nums/Arith_status/index.html"
    },
    {
      "old_path": "doc/Num/index.html",
      "new_path": "doc/num.core/Num/index.html"
    },
    {
      "old_path": "doc/Nat/index.html",
      "new_path": "doc/num.core/Nat/index.html"
    },
    {
      "old_path": "doc/Num/index.html",
      "new_path": "doc/nums/Num/index.html"
    },
    {
      "old_path": "doc/Nat/index.html",
      "new_path": "doc/nums/Nat/index.html"
    }
  ]
}