{
  "name": "alt-ergo-parsers",
  "version": "2.6.2",
  "files": [
    "doc/alt-ergo-parsers/AltErgoParsers/Psmt2_to_alt_ergo/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/Parsers/module-type-PARSER_INTERFACE/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/Parsers/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/Native_parser/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/Native_lexer/Parser/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/Native_lexer/index.html",
    "doc/alt-ergo-parsers/AltErgoParsers/index.html",
    "doc/alt-ergo-parsers/index.html",
    "doc/src/alt-ergo-parsers/altErgoParsers.ml.html",
    "doc/src/alt-ergo-parsers/parsers.ml.html",
    "doc/src/alt-ergo-parsers/native_lexer.ml.html",
    "doc/src/alt-ergo-parsers/psmt2_to_alt_ergo.ml.html",
    "doc/src/alt-ergo-parsers/native_parser.ml.html", "doc/src/index.html",
    "doc/README.html", "doc/index.html", "doc/LICENSE.html",
    "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/AltErgoParsers/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Parsers/module-type-PARSER_INTERFACE/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Parsers/module-type-PARSER_INTERFACE/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Native_lexer/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Native_lexer/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Parsers/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Parsers/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Native_lexer/Parser/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Native_lexer/Parser/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Native_parser/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Native_parser/index.html"
    },
    {
      "old_path": "doc/AltErgoParsers/Psmt2_to_alt_ergo/index.html",
      "new_path": "doc/alt-ergo-parsers/AltErgoParsers/Psmt2_to_alt_ergo/index.html"
    }
  ]
}