{
  "name": "psmt2-frontend",
  "version": "0.4.0",
  "files": [
    "doc/psmt2-frontend/Psmt2Frontend/Version/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typing/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_syntax/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_printer/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_parser/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_lexer/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Smtlib_error/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Options/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/Main/index.html",
    "doc/psmt2-frontend/Psmt2Frontend/index.html",
    "doc/psmt2-frontend/index.html",
    "doc/src/psmt2-frontend/psmt2Frontend.ml.html",
    "doc/src/psmt2-frontend/main.ml.html",
    "doc/src/psmt2-frontend/options.ml.html",
    "doc/src/psmt2-frontend/smtlib_error.ml.html",
    "doc/src/psmt2-frontend/smtlib_syntax.ml.html",
    "doc/src/psmt2-frontend/smtlib_printer.ml.html",
    "doc/src/psmt2-frontend/version.ml.html",
    "doc/src/psmt2-frontend/smtlib_ty.ml.html",
    "doc/src/psmt2-frontend/smtlib_typed_logic.ml.html",
    "doc/src/psmt2-frontend/smtlib_typing.ml.html",
    "doc/src/psmt2-frontend/smtlib_lexer.ml.html",
    "doc/src/psmt2-frontend/smtlib_typed_env.ml.html",
    "doc/src/psmt2-frontend/smtlib_parser.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/LICENSE.html",
    "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_syntax/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_syntax/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_ty/SMap/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_error/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_error/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_ty/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_parser/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_parser/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_typed_env/SMap/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_ty/IMap/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Version/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Version/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Options/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Options/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_printer/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_printer/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_typed_env/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Main/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Main/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_typed_logic/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_typing/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_typing/index.html"
    },
    {
      "old_path": "doc/Psmt2Frontend/Smtlib_lexer/index.html",
      "new_path": "doc/psmt2-frontend/Psmt2Frontend/Smtlib_lexer/index.html"
    }
  ]
}