{
  "name": "asai",
  "version": "0.3.1",
  "files": [
    "doc/asai/Asai/SourceReader/index.html",
    "doc/asai/Asai/Explicator/Make/argument-1-Tag/index.html",
    "doc/asai/Asai/Explicator/Make/index.html",
    "doc/asai/Asai/Explicator/module-type-S/Tag/index.html",
    "doc/asai/Asai/Explicator/module-type-S/index.html",
    "doc/asai/Asai/Explicator/module-type-Tag/index.html",
    "doc/asai/Asai/Explicator/index.html",
    "doc/asai/Asai/Explication/index.html",
    "doc/asai/Asai/GitHub/Make/argument-1-Message/index.html",
    "doc/asai/Asai/GitHub/Make/index.html",
    "doc/asai/Asai/GitHub/index.html",
    "doc/asai/Asai/Tty/Make/argument-1-Message/index.html",
    "doc/asai/Asai/Tty/Make/index.html", "doc/asai/Asai/Tty/index.html",
    "doc/asai/Asai/MinimumSigs/module-type-Reporter/Message/index.html",
    "doc/asai/Asai/MinimumSigs/module-type-Reporter/index.html",
    "doc/asai/Asai/MinimumSigs/module-type-Message/index.html",
    "doc/asai/Asai/MinimumSigs/index.html",
    "doc/asai/Asai/StructuredReporter/Make/argument-1-Message/index.html",
    "doc/asai/Asai/StructuredReporter/Make/index.html",
    "doc/asai/Asai/StructuredReporter/module-type-S/Message/index.html",
    "doc/asai/Asai/StructuredReporter/module-type-S/index.html",
    "doc/asai/Asai/StructuredReporter/module-type-Message/index.html",
    "doc/asai/Asai/StructuredReporter/index.html",
    "doc/asai/Asai/Reporter/Make/argument-1-Message/index.html",
    "doc/asai/Asai/Reporter/Make/index.html",
    "doc/asai/Asai/Reporter/module-type-S/Message/index.html",
    "doc/asai/Asai/Reporter/module-type-S/index.html",
    "doc/asai/Asai/Reporter/module-type-Message/index.html",
    "doc/asai/Asai/Reporter/index.html",
    "doc/asai/Asai/Diagnostic/index.html", "doc/asai/Asai/Range/index.html",
    "doc/asai/Asai/index.html", "doc/asai/index.html",
    "doc/src/asai/ExplicationData.ml.html", "doc/src/asai/Asai.ml.html",
    "doc/src/asai/asai__.ml.html", "doc/src/asai/Explication.ml.html",
    "doc/src/asai/DiagnosticData.ml.html", "doc/src/asai/Diagnostic.ml.html",
    "doc/src/asai/MinimumSigs.ml.html",
    "doc/src/asai/ExplicatorSigs.ml.html", "doc/src/asai/GitHub.ml.html",
    "doc/src/asai/Explicator.ml.html", "doc/src/asai/Flattener.ml.html",
    "doc/src/asai/SourceReader.ml.html",
    "doc/src/asai/StructuredReporter.ml.html", "doc/src/asai/Range.ml.html",
    "doc/src/asai/StructuredReporterSigs.ml.html",
    "doc/src/asai/Reporter.ml.html", "doc/src/asai/Utils.ml.html",
    "doc/src/asai/ReporterSigs.ml.html",
    "doc/src/asai/UserContentData.ml.html",
    "doc/src/asai/UserContent.ml.html", "doc/src/index.html",
    "doc/README.html", "doc/index.html", "doc/quickstart.html",
    "doc/design.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Asai/GitHub/Make/argument-1-Message/index.html",
      "new_path": "doc/asai/Asai/GitHub/Make/argument-1-Message/index.html"
    },
    {
      "old_path": "doc/Asai/SourceReader/index.html",
      "new_path": "doc/asai/Asai/SourceReader/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/module-type-Message/index.html",
      "new_path": "doc/asai/Asai/Reporter/module-type-Message/index.html"
    },
    {
      "old_path": "doc/Asai/Tty/Make/argument-1-Message/index.html",
      "new_path": "doc/asai/Asai/Tty/Make/argument-1-Message/index.html"
    },
    {
      "old_path": "doc/Asai/GitHub/Make/index.html",
      "new_path": "doc/asai/Asai/GitHub/Make/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/module-type-S/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/module-type-S/index.html"
    },
    {
      "old_path": "doc/Asai/Tty/Make/index.html",
      "new_path": "doc/asai/Asai/Tty/Make/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/module-type-Tag/index.html",
      "new_path": "doc/asai/Asai/Explicator/module-type-Tag/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/module-type-S/index.html",
      "new_path": "doc/asai/Asai/Explicator/module-type-S/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/index.html",
      "new_path": "doc/asai/Asai/Reporter/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/module-type-S/Message/index.html",
      "new_path": "doc/asai/Asai/Reporter/module-type-S/Message/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/Make/argument-1-Message/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/Make/argument-1-Message/index.html"
    },
    {
      "old_path": "doc/Asai/MinimumSigs/module-type-Reporter/index.html",
      "new_path": "doc/asai/Asai/MinimumSigs/module-type-Reporter/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/Make/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/Make/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/module-type-Message/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/module-type-Message/index.html"
    },
    {
      "old_path": "doc/Asai/MinimumSigs/module-type-Message/index.html",
      "new_path": "doc/asai/Asai/MinimumSigs/module-type-Message/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/module-type-S/Tag/index.html",
      "new_path": "doc/asai/Asai/Explicator/module-type-S/Tag/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/Make/argument-1-Message/index.html",
      "new_path": "doc/asai/Asai/Reporter/Make/argument-1-Message/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/Make/index.html",
      "new_path": "doc/asai/Asai/Reporter/Make/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/module-type-S/Message/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/module-type-S/Message/index.html"
    },
    {
      "old_path": "doc/Asai/Range/index.html",
      "new_path": "doc/asai/Asai/Range/index.html"
    },
    {
      "old_path": "doc/Asai/MinimumSigs/index.html",
      "new_path": "doc/asai/Asai/MinimumSigs/index.html"
    },
    {
      "old_path": "doc/Asai/MinimumSigs/module-type-Reporter/Message/index.html",
      "new_path": "doc/asai/Asai/MinimumSigs/module-type-Reporter/Message/index.html"
    },
    {
      "old_path": "doc/Asai/Tty/index.html",
      "new_path": "doc/asai/Asai/Tty/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/index.html",
      "new_path": "doc/asai/Asai/Explicator/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/Make/index.html",
      "new_path": "doc/asai/Asai/Explicator/Make/index.html"
    },
    {
      "old_path": "doc/Asai/index.html",
      "new_path": "doc/asai/Asai/index.html"
    },
    {
      "old_path": "doc/Asai/Explication/index.html",
      "new_path": "doc/asai/Asai/Explication/index.html"
    },
    {
      "old_path": "doc/Asai/GitHub/index.html",
      "new_path": "doc/asai/Asai/GitHub/index.html"
    },
    {
      "old_path": "doc/Asai/Diagnostic/index.html",
      "new_path": "doc/asai/Asai/Diagnostic/index.html"
    },
    {
      "old_path": "doc/Asai/Reporter/module-type-S/index.html",
      "new_path": "doc/asai/Asai/Reporter/module-type-S/index.html"
    },
    {
      "old_path": "doc/Asai/StructuredReporter/index.html",
      "new_path": "doc/asai/Asai/StructuredReporter/index.html"
    },
    {
      "old_path": "doc/Asai/Explicator/Make/argument-1-Tag/index.html",
      "new_path": "doc/asai/Asai/Explicator/Make/argument-1-Tag/index.html"
    }
  ]
}