{
  "name": "farith",
  "version": "0.1",
  "files": [
    "doc/farith/Farith/I/index.html", "doc/farith/Farith/F/index.html",
    "doc/farith/Farith/Classify/index.html",
    "doc/farith/Farith/Mode/index.html", "doc/farith/Farith/index.html",
    "doc/farith/index.html", "doc/src/farith/Assert.ml.html",
    "doc/src/farith/BinNums.ml.html", "doc/src/farith/farith__.ml.html",
    "doc/src/farith/Binary.ml.html", "doc/src/farith/BinPosDef.ml.html",
    "doc/src/farith/Bool.ml.html", "doc/src/farith/BinInt.ml.html",
    "doc/src/farith/farith.ml.html", "doc/src/farith/Datatypes.ml.html",
    "doc/src/farith/BinPos.ml.html", "doc/src/farith/Defs.ml.html",
    "doc/src/farith/Bits.ml.html", "doc/src/farith/FloatClass.ml.html",
    "doc/src/farith/farith_Big.ml.html", "doc/src/farith/Qextended.ml.html",
    "doc/src/farith/Specif.ml.html", "doc/src/farith/Op.ml.html",
    "doc/src/farith/Operations.ml.html", "doc/src/farith/Interval.ml.html",
    "doc/src/farith/Round.ml.html", "doc/src/farith/BinarySingleNaN.ml.html",
    "doc/src/farith/Zaux.ml.html", "doc/src/farith/Utils.ml.html",
    "doc/src/farith/Version.ml.html", "doc/src/farith/Zbool.ml.html",
    "doc/src/farith/Zpower.ml.html", "doc/src/farith/SpecFloat.ml.html",
    "doc/src/farith/GenericFloat.ml.html", "doc/src/index.html",
    "doc/index.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Farith/index.html",
      "new_path": "doc/farith/Farith/index.html"
    },
    {
      "old_path": "doc/Farith/Mode/index.html",
      "new_path": "doc/farith/Farith/Mode/index.html"
    },
    {
      "old_path": "doc/Farith/I/index.html",
      "new_path": "doc/farith/Farith/I/index.html"
    },
    {
      "old_path": "doc/Farith/F/index.html",
      "new_path": "doc/farith/Farith/F/index.html"
    },
    {
      "old_path": "doc/Farith/Classify/index.html",
      "new_path": "doc/farith/Farith/Classify/index.html"
    }
  ]
}