{
  "name": "cmdliner",
  "version": "2.1.0",
  "files": [
    "doc/cmdliner/Cmdliner/Arg/Conv/index.html",
    "doc/cmdliner/Cmdliner/Arg/Completion/index.html",
    "doc/cmdliner/Cmdliner/Arg/index.html",
    "doc/cmdliner/Cmdliner/Cmd/Env/index.html",
    "doc/cmdliner/Cmdliner/Cmd/Exit/index.html",
    "doc/cmdliner/Cmdliner/Cmd/index.html",
    "doc/cmdliner/Cmdliner/Term/Syntax/index.html",
    "doc/cmdliner/Cmdliner/Term/index.html",
    "doc/cmdliner/Cmdliner/Manpage/index.html",
    "doc/cmdliner/Cmdliner/index.html", "doc/cmdliner/index.html",
    "doc/src/cmdliner/cmdliner.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/tutorial.html", "doc/tool_man.html",
    "doc/examples.html", "doc/README.html", "doc/LICENSE.html",
    "doc/cli.html", "doc/cookbook.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Cmdliner/Term/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Term/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Term/Syntax/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Term/Syntax/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Arg/Completion/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Arg/Completion/index.html"
    },
    {
      "old_path": "doc/Cmdliner/index.html",
      "new_path": "doc/cmdliner/Cmdliner/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Manpage/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Manpage/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Cmd/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Cmd/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Cmd/Env/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Cmd/Env/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Arg/Conv/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Arg/Conv/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Arg/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Arg/index.html"
    },
    {
      "old_path": "doc/Cmdliner/Cmd/Exit/index.html",
      "new_path": "doc/cmdliner/Cmdliner/Cmd/Exit/index.html"
    }
  ]
}