{
  "name": "alt-ergo",
  "version": "2.6.3",
  "files": [
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/SM/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/MD/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/argument-1-C/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/Core_Simplex/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/Normalizer/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/D/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/C2/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/Core_Simplex/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/Normalizer/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/D/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/C2/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/argument-1-C/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/module-type-Coef_Type/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/FmSimplexIneqs/index.html",
    "doc/FmSimplexPlugin/FmSimplexPlugin/index.html",
    "doc/FmSimplexPlugin/index.html", "doc/alt-ergo.plugins/index.html",
    "doc/src/FmSimplexPlugin/fmSimplexPlugin.ml.html",
    "doc/src/FmSimplexPlugin/simplex_cache.ml.html",
    "doc/src/FmSimplexPlugin/fmSimplexIneqs.ml.html",
    "doc/src/FmSimplexPlugin/simplex.ml.html", "doc/src/index.html",
    "doc/index_fmsimplex.html", "doc/index.html", "doc/index_common.html",
    "doc/LICENSE.html", "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/Core_Simplex/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/Core_Simplex/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex_cache/MAKE/MD/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/MD/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/Normalizer/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/Normalizer/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/D/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/D/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex_cache/MAKE/argument-1-C/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/argument-1-C/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex_cache/MAKE/SM/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/SM/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex_Q/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/FmSimplexIneqs/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/FmSimplexIneqs/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/C2/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/C2/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex_cache/MAKE/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/MAKE/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/module-type-Coef_Type/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/module-type-Coef_Type/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex_cache/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex_cache/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex_Q/D/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/D/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex_Q/Core_Simplex/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/Core_Simplex/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex_Q/C2/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/C2/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex/argument-1-C/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex/argument-1-C/index.html"
    },
    {
      "old_path": "doc/FmSimplexPlugin/Simplex/Simplex_Q/Normalizer/index.html",
      "new_path": "doc/FmSimplexPlugin/FmSimplexPlugin/Simplex/Simplex_Q/Normalizer/index.html"
    }
  ]
}