{
  "name": "interval_base",
  "version": "1.5.1",
  "files": [
    "doc/interval_base/Interval/High/index.html",
    "doc/interval_base/Interval/Low/index.html",
    "doc/interval_base/Interval/module-type-DIRECTED/index.html",
    "doc/interval_base/Interval/I/U/index.html",
    "doc/interval_base/Interval/I/index.html",
    "doc/interval_base/Interval/module-type-T/index.html",
    "doc/interval_base/Interval/index.html", "doc/interval_base/index.html",
    "doc/src/interval_base/interval__.ml.html",
    "doc/src/interval_base/interval__U.ml.html",
    "doc/src/interval_base/interval.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/LICENSE.html",
    "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Interval/I/index.html",
      "new_path": "doc/interval_base/Interval/I/index.html"
    },
    {
      "old_path": "doc/Interval/module-type-DIRECTED/index.html",
      "new_path": "doc/interval_base/Interval/module-type-DIRECTED/index.html"
    },
    {
      "old_path": "doc/Interval/High/index.html",
      "new_path": "doc/interval_base/Interval/High/index.html"
    },
    {
      "old_path": "doc/Interval/I/U/index.html",
      "new_path": "doc/interval_base/Interval/I/U/index.html"
    },
    {
      "old_path": "doc/Interval/Low/index.html",
      "new_path": "doc/interval_base/Interval/Low/index.html"
    },
    {
      "old_path": "doc/Interval/module-type-T/index.html",
      "new_path": "doc/interval_base/Interval/module-type-T/index.html"
    },
    {
      "old_path": "doc/Interval/index.html",
      "new_path": "doc/interval_base/Interval/index.html"
    }
  ]
}