{
  "name": "colibrilib",
  "version": "0.4",
  "files": [
    "doc/colibrilib/Colibrilib/Ord/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/NonIncreasing/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/Binary/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/Unary/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/IsComparable/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/argument-1-Q/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/Make/index.html",
    "doc/colibrilib/Colibrilib/Interval/Union/index.html",
    "doc/colibrilib/Colibrilib/Interval/Convexe/Make/argument-1-Q/index.html",
    "doc/colibrilib/Colibrilib/Interval/Convexe/Make/index.html",
    "doc/colibrilib/Colibrilib/Interval/Convexe/index.html",
    "doc/colibrilib/Colibrilib/Interval/Bound/index.html",
    "doc/colibrilib/Colibrilib/Interval/index.html",
    "doc/colibrilib/Colibrilib/QUtils/index.html",
    "doc/colibrilib/Colibrilib/index.html", "doc/colibrilib/index.html",
    "doc/src/colibrilib/colibrilib.ml.html",
    "doc/src/colibrilib/colibrilib__.ml.html",
    "doc/src/colibrilib/interval__Bound.ml.html",
    "doc/src/colibrilib/ord.ml.html",
    "doc/src/colibrilib/modulo__Divisible.ml.html",
    "doc/src/colibrilib/q__Q.ml.html", "doc/src/colibrilib/q_extra.ml.html",
    "doc/src/colibrilib/Why3__BuiltIn.ml.html",
    "doc/src/colibrilib/interval__Convexe.ml.html",
    "doc/src/colibrilib/union__Union.ml.html", "doc/src/index.html",
    "doc/README_old.html", "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Colibrilib/Interval/Convexe/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Convexe/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/Increasing/Unary/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/Unary/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Bound/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Bound/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Convexe/Make/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Convexe/Make/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/IsComparable/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/IsComparable/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Ord/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Ord/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Convexe/Make/argument-1-Q/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Convexe/Make/argument-1-Q/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/Increasing/Binary/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/Binary/index.html"
    },
    {
      "old_path": "doc/Colibrilib/QUtils/index.html",
      "new_path": "doc/colibrilib/Colibrilib/QUtils/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/NonIncreasing/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/NonIncreasing/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/argument-1-Q/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/argument-1-Q/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/Increasing/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/Increasing/index.html"
    },
    {
      "old_path": "doc/Colibrilib/index.html",
      "new_path": "doc/colibrilib/Colibrilib/index.html"
    },
    {
      "old_path": "doc/Colibrilib/Interval/Union/Make/index.html",
      "new_path": "doc/colibrilib/Colibrilib/Interval/Union/Make/index.html"
    }
  ]
}