{
  "name": "ambient-context",
  "version": "0.2",
  "files": [
    "doc/ambient-context.core/Ambient_context_core/Storage/index.html",
    "doc/ambient-context.core/Ambient_context_core/Context/index.html",
    "doc/ambient-context.core/Ambient_context_core/index.html",
    "doc/ambient-context.core/index.html",
    "doc/ambient-context.atomic/Ambient_context_atomic/Util_atomic/index.html",
    "doc/ambient-context.atomic/Ambient_context_atomic/Atomic/index.html",
    "doc/ambient-context.atomic/Ambient_context_atomic/index.html",
    "doc/ambient-context.atomic/index.html",
    "doc/ambient-context/Ambient_context/index.html",
    "doc/ambient-context/index.html",
    "doc/src/ambient-context.core/context.ml.html",
    "doc/src/ambient-context.core/ambient_context_core.ml.html",
    "doc/src/ambient-context.core/storage.ml.html",
    "doc/src/ambient-context.atomic/atomic.ml.html",
    "doc/src/ambient-context.atomic/ambient_context_atomic.ml.html",
    "doc/src/ambient-context.atomic/util_atomic.ml.html",
    "doc/src/ambient-context/ambient_context__.ml.html",
    "doc/src/ambient-context/basic_map.ml.html",
    "doc/src/ambient-context/ambient_context.ml.html",
    "doc/src/ambient-context/default_.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/CHANGES.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Ambient_context/index.html",
      "new_path": "doc/ambient-context/Ambient_context/index.html"
    },
    {
      "old_path": "doc/Ambient_context_atomic/Atomic/index.html",
      "new_path": "doc/ambient-context.atomic/Ambient_context_atomic/Atomic/index.html"
    },
    {
      "old_path": "doc/Ambient_context_atomic/index.html",
      "new_path": "doc/ambient-context.atomic/Ambient_context_atomic/index.html"
    },
    {
      "old_path": "doc/Ambient_context_core/Context/index.html",
      "new_path": "doc/ambient-context.core/Ambient_context_core/Context/index.html"
    },
    {
      "old_path": "doc/Ambient_context_core/Storage/index.html",
      "new_path": "doc/ambient-context.core/Ambient_context_core/Storage/index.html"
    },
    {
      "old_path": "doc/Ambient_context_atomic/Util_atomic/index.html",
      "new_path": "doc/ambient-context.atomic/Ambient_context_atomic/Util_atomic/index.html"
    },
    {
      "old_path": "doc/Ambient_context_core/index.html",
      "new_path": "doc/ambient-context.core/Ambient_context_core/index.html"
    }
  ]
}