{
  "name": "dns",
  "version": "1.1.3",
  "files": [
    "doc/dns/Dns/Zone_parser/index.html",
    "doc/dns/Dns/Zone_lexer/index.html", "doc/dns/Dns/Zone/index.html",
    "doc/dns/Dns/Trie/index.html",
    "doc/dns/Dns/Resolvconf/KeywordValue/index.html",
    "doc/dns/Dns/Resolvconf/OptionsValue/index.html",
    "doc/dns/Dns/Resolvconf/LookupValue/index.html",
    "doc/dns/Dns/Resolvconf/index.html", "doc/dns/Dns/RR/index.html",
    "doc/dns/Dns/Query/index.html", "doc/dns/Dns/Protocol/Server/index.html",
    "doc/dns/Dns/Protocol/module-type-SERVER/index.html",
    "doc/dns/Dns/Protocol/Client/index.html",
    "doc/dns/Dns/Protocol/module-type-CLIENT/index.html",
    "doc/dns/Dns/Protocol/index.html", "doc/dns/Dns/Probe/index.html",
    "doc/dns/Dns/Packet/index.html", "doc/dns/Dns/Operators/index.html",
    "doc/dns/Dns/Name/Set/index.html", "doc/dns/Dns/Name/Map/index.html",
    "doc/dns/Dns/Name/index.html", "doc/dns/Dns/Loader/index.html",
    "doc/dns/Dns/Dig/index.html", "doc/dns/Dns/index.html",
    "doc/dns/index.html", "doc/src/dns/dns.ml.html",
    "doc/src/dns/dig.ml.html", "doc/src/dns/operators.ml.html",
    "doc/src/dns/name.ml.html", "doc/src/dns/loader.ml.html",
    "doc/src/dns/protocol.ml.html", "doc/src/dns/probe.ml.html",
    "doc/src/dns/RR.ml.html", "doc/src/dns/resolvconf.ml.html",
    "doc/src/dns/query.ml.html", "doc/src/dns/zone.ml.html",
    "doc/src/dns/zone_lexer.ml.html", "doc/src/dns/trie.ml.html",
    "doc/src/dns/packet.ml.html", "doc/src/dns/zone_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/Dns/Packet/index.html",
      "new_path": "doc/dns/Dns/Packet/index.html"
    },
    {
      "old_path": "doc/Dns/Protocol/index.html",
      "new_path": "doc/dns/Dns/Protocol/index.html"
    },
    {
      "old_path": "doc/Dns/Operators/index.html",
      "new_path": "doc/dns/Dns/Operators/index.html"
    },
    {
      "old_path": "doc/Dns/Trie/index.html",
      "new_path": "doc/dns/Dns/Trie/index.html"
    },
    {
      "old_path": "doc/Dns/Name/index.html",
      "new_path": "doc/dns/Dns/Name/index.html"
    },
    {
      "old_path": "doc/Dns/Query/index.html",
      "new_path": "doc/dns/Dns/Query/index.html"
    },
    {
      "old_path": "doc/Dns/Name/Map/index.html",
      "new_path": "doc/dns/Dns/Name/Map/index.html"
    },
    {
      "old_path": "doc/Dns/Zone/index.html",
      "new_path": "doc/dns/Dns/Zone/index.html"
    },
    {
      "old_path": "doc/Dns/Zone_parser/index.html",
      "new_path": "doc/dns/Dns/Zone_parser/index.html"
    },
    {
      "old_path": "doc/Dns/Protocol/module-type-SERVER/index.html",
      "new_path": "doc/dns/Dns/Protocol/module-type-SERVER/index.html"
    },
    {
      "old_path": "doc/Dns/Zone_lexer/index.html",
      "new_path": "doc/dns/Dns/Zone_lexer/index.html"
    },
    {
      "old_path": "doc/Dns/index.html",
      "new_path": "doc/dns/Dns/index.html"
    },
    {
      "old_path": "doc/Dns/Probe/index.html",
      "new_path": "doc/dns/Dns/Probe/index.html"
    },
    {
      "old_path": "doc/Dns/Protocol/Server/index.html",
      "new_path": "doc/dns/Dns/Protocol/Server/index.html"
    },
    {
      "old_path": "doc/Dns/Resolvconf/index.html",
      "new_path": "doc/dns/Dns/Resolvconf/index.html"
    },
    {
      "old_path": "doc/Dns/Resolvconf/LookupValue/index.html",
      "new_path": "doc/dns/Dns/Resolvconf/LookupValue/index.html"
    },
    {
      "old_path": "doc/Dns/Protocol/Client/index.html",
      "new_path": "doc/dns/Dns/Protocol/Client/index.html"
    },
    {
      "old_path": "doc/Dns/Dig/index.html",
      "new_path": "doc/dns/Dns/Dig/index.html"
    },
    {
      "old_path": "doc/Dns/Loader/index.html",
      "new_path": "doc/dns/Dns/Loader/index.html"
    },
    {
      "old_path": "doc/Dns/Resolvconf/KeywordValue/index.html",
      "new_path": "doc/dns/Dns/Resolvconf/KeywordValue/index.html"
    },
    {
      "old_path": "doc/Dns/Protocol/module-type-CLIENT/index.html",
      "new_path": "doc/dns/Dns/Protocol/module-type-CLIENT/index.html"
    },
    {
      "old_path": "doc/Dns/Name/Set/index.html",
      "new_path": "doc/dns/Dns/Name/Set/index.html"
    },
    {
      "old_path": "doc/Dns/RR/index.html",
      "new_path": "doc/dns/Dns/RR/index.html"
    },
    {
      "old_path": "doc/Dns/Resolvconf/OptionsValue/index.html",
      "new_path": "doc/dns/Dns/Resolvconf/OptionsValue/index.html"
    }
  ]
}