{
  "name": "qcheck-stm",
  "version": "0.10",
  "files": [
    "doc/qcheck-stm.thread/STM_thread/MakeExt/argument-1-Spec/index.html",
    "doc/qcheck-stm.thread/STM_thread/MakeExt/index.html",
    "doc/qcheck-stm.thread/STM_thread/Make/argument-1-Spec/index.html",
    "doc/qcheck-stm.thread/STM_thread/Make/index.html",
    "doc/qcheck-stm.thread/STM_thread/index.html",
    "doc/qcheck-stm.thread/index.html",
    "doc/qcheck-stm.stm/STM/Internal/Make/argument-1-Spec/index.html",
    "doc/qcheck-stm.stm/STM/Internal/Make/index.html",
    "doc/qcheck-stm.stm/STM/Internal/index.html",
    "doc/qcheck-stm.stm/STM/SpecDefaults/index.html",
    "doc/qcheck-stm.stm/STM/module-type-SpecExt/index.html",
    "doc/qcheck-stm.stm/STM/module-type-Spec/index.html",
    "doc/qcheck-stm.stm/STM/index.html", "doc/qcheck-stm.stm/index.html",
    "doc/qcheck-stm.sequential/STM_sequential/MakeExt/argument-1-Spec/index.html",
    "doc/qcheck-stm.sequential/STM_sequential/MakeExt/index.html",
    "doc/qcheck-stm.sequential/STM_sequential/Make/argument-1-Spec/index.html",
    "doc/qcheck-stm.sequential/STM_sequential/Make/index.html",
    "doc/qcheck-stm.sequential/STM_sequential/index.html",
    "doc/qcheck-stm.sequential/index.html",
    "doc/qcheck-stm.domain/STM_domain/MakeExt/argument-1-Spec/index.html",
    "doc/qcheck-stm.domain/STM_domain/MakeExt/index.html",
    "doc/qcheck-stm.domain/STM_domain/Make/argument-1-Spec/index.html",
    "doc/qcheck-stm.domain/STM_domain/Make/index.html",
    "doc/qcheck-stm.domain/STM_domain/index.html",
    "doc/qcheck-stm.domain/index.html", "doc/src/qcheck-stm.stm/STM.ml.html",
    "doc/src/qcheck-stm.thread/STM_thread.ml.html",
    "doc/src/qcheck-stm.domain/STM_domain.ml.html",
    "doc/src/qcheck-stm.sequential/STM_sequential.ml.html",
    "doc/src/index.html", "doc/CHANGES.html", "doc/index.html",
    "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/STM/SpecDefaults/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/SpecDefaults/index.html"
    },
    {
      "old_path": "doc/STM_thread/Make/index.html",
      "new_path": "doc/qcheck-stm.thread/STM_thread/Make/index.html"
    },
    {
      "old_path": "doc/STM_domain/index.html",
      "new_path": "doc/qcheck-stm.domain/STM_domain/index.html"
    },
    {
      "old_path": "doc/STM_domain/Make/index.html",
      "new_path": "doc/qcheck-stm.domain/STM_domain/Make/index.html"
    },
    {
      "old_path": "doc/STM_sequential/Make/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.sequential/STM_sequential/Make/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM_sequential/MakeExt/index.html",
      "new_path": "doc/qcheck-stm.sequential/STM_sequential/MakeExt/index.html"
    },
    {
      "old_path": "doc/STM_sequential/MakeExt/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.sequential/STM_sequential/MakeExt/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM/Internal/Make/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/Internal/Make/index.html"
    },
    {
      "old_path": "doc/STM_thread/Make/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.thread/STM_thread/Make/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM_sequential/Make/index.html",
      "new_path": "doc/qcheck-stm.sequential/STM_sequential/Make/index.html"
    },
    {
      "old_path": "doc/STM/Internal/Make/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/Internal/Make/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM/module-type-Spec/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/module-type-Spec/index.html"
    },
    {
      "old_path": "doc/STM_thread/index.html",
      "new_path": "doc/qcheck-stm.thread/STM_thread/index.html"
    },
    {
      "old_path": "doc/STM_domain/Make/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.domain/STM_domain/Make/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM_domain/MakeExt/index.html",
      "new_path": "doc/qcheck-stm.domain/STM_domain/MakeExt/index.html"
    },
    {
      "old_path": "doc/STM/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/index.html"
    },
    {
      "old_path": "doc/STM/module-type-SpecExt/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/module-type-SpecExt/index.html"
    },
    {
      "old_path": "doc/STM/Internal/index.html",
      "new_path": "doc/qcheck-stm.stm/STM/Internal/index.html"
    },
    {
      "old_path": "doc/STM_thread/MakeExt/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.thread/STM_thread/MakeExt/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM_domain/MakeExt/argument-1-Spec/index.html",
      "new_path": "doc/qcheck-stm.domain/STM_domain/MakeExt/argument-1-Spec/index.html"
    },
    {
      "old_path": "doc/STM_thread/MakeExt/index.html",
      "new_path": "doc/qcheck-stm.thread/STM_thread/MakeExt/index.html"
    },
    {
      "old_path": "doc/STM_sequential/index.html",
      "new_path": "doc/qcheck-stm.sequential/STM_sequential/index.html"
    }
  ]
}