{
  "name": "alt-ergo",
  "version": "2.4.3",
  "files": [
    "doc/index_fmsimplex.html", "doc/index_common.html",
    "doc/index_abwhy3.html", "doc/LICENSE.html", "doc/index.html",
    "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": []
}