{
  "name": "ocolor",
  "version": "1.3.1",
  "files": [
    "doc/ocolor/Ocolor_printf/NonStylingPrettyPrinters/index.html",
    "doc/ocolor/Ocolor_printf/StylingPrettyPrinters/index.html",
    "doc/ocolor/Ocolor_printf/index.html",
    "doc/ocolor/Ocolor_types/ColorPaletteMap/index.html",
    "doc/ocolor/Ocolor_types/Color8Map/index.html",
    "doc/ocolor/Ocolor_types/Color4Map/index.html",
    "doc/ocolor/Ocolor_types/index.html",
    "doc/ocolor/Ocolor_format/NonStylingPrettyPrinters/index.html",
    "doc/ocolor/Ocolor_format/StylingPrettyPrinters/index.html",
    "doc/ocolor/Ocolor_format/index.html",
    "doc/ocolor/Ocolor_pp/BuildPrettyPrinters/argument-1-PP/index.html",
    "doc/ocolor/Ocolor_pp/BuildPrettyPrinters/index.html",
    "doc/ocolor/Ocolor_pp/module-type-PRETTY_PRINTERS/index.html",
    "doc/ocolor/Ocolor_pp/index.html", "doc/ocolor/Ocolor_sgr/index.html",
    "doc/ocolor/Ocolor_x11/index.html",
    "doc/ocolor/Ocolor_palettes/index.html",
    "doc/ocolor/Ocolor_converter/index.html",
    "doc/ocolor/Ocolor_config/index.html",
    "doc/ocolor/Ocolor_color_space/index.html", "doc/ocolor/index.html",
    "doc/src/ocolor/ocolor_config.ml.html",
    "doc/src/ocolor/ocolor_converter.ml.html",
    "doc/src/ocolor/ocolor_color_space.ml.html",
    "doc/src/ocolor/ocolor_palettes.ml.html",
    "doc/src/ocolor/ocolor_printf.ml.html",
    "doc/src/ocolor/ocolor_types.ml.html",
    "doc/src/ocolor/ocolor_format.ml.html",
    "doc/src/ocolor/ocolor_sgr.ml.html", "doc/src/ocolor/ocolor_pp.ml.html",
    "doc/src/ocolor/ocolor_x11.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Ocolor_converter/index.html",
      "new_path": "doc/ocolor/Ocolor_converter/index.html"
    },
    {
      "old_path": "doc/Ocolor_pp/BuildPrettyPrinters/index.html",
      "new_path": "doc/ocolor/Ocolor_pp/BuildPrettyPrinters/index.html"
    },
    {
      "old_path": "doc/Ocolor_config/index.html",
      "new_path": "doc/ocolor/Ocolor_config/index.html"
    },
    {
      "old_path": "doc/Ocolor_printf/NonStylingPrettyPrinters/index.html",
      "new_path": "doc/ocolor/Ocolor_printf/NonStylingPrettyPrinters/index.html"
    },
    {
      "old_path": "doc/Ocolor_printf/index.html",
      "new_path": "doc/ocolor/Ocolor_printf/index.html"
    },
    {
      "old_path": "doc/Ocolor_pp/BuildPrettyPrinters/argument-1-PP/index.html",
      "new_path": "doc/ocolor/Ocolor_pp/BuildPrettyPrinters/argument-1-PP/index.html"
    },
    {
      "old_path": "doc/Ocolor_palettes/index.html",
      "new_path": "doc/ocolor/Ocolor_palettes/index.html"
    },
    {
      "old_path": "doc/Ocolor_types/Color8Map/index.html",
      "new_path": "doc/ocolor/Ocolor_types/Color8Map/index.html"
    },
    {
      "old_path": "doc/Ocolor_types/ColorPaletteMap/index.html",
      "new_path": "doc/ocolor/Ocolor_types/ColorPaletteMap/index.html"
    },
    {
      "old_path": "doc/Ocolor_sgr/index.html",
      "new_path": "doc/ocolor/Ocolor_sgr/index.html"
    },
    {
      "old_path": "doc/Ocolor_format/NonStylingPrettyPrinters/index.html",
      "new_path": "doc/ocolor/Ocolor_format/NonStylingPrettyPrinters/index.html"
    },
    {
      "old_path": "doc/Ocolor_types/Color4Map/index.html",
      "new_path": "doc/ocolor/Ocolor_types/Color4Map/index.html"
    },
    {
      "old_path": "doc/Ocolor_x11/index.html",
      "new_path": "doc/ocolor/Ocolor_x11/index.html"
    },
    {
      "old_path": "doc/Ocolor_printf/StylingPrettyPrinters/index.html",
      "new_path": "doc/ocolor/Ocolor_printf/StylingPrettyPrinters/index.html"
    },
    {
      "old_path": "doc/Ocolor_types/index.html",
      "new_path": "doc/ocolor/Ocolor_types/index.html"
    },
    {
      "old_path": "doc/Ocolor_pp/index.html",
      "new_path": "doc/ocolor/Ocolor_pp/index.html"
    },
    {
      "old_path": "doc/Ocolor_pp/module-type-PRETTY_PRINTERS/index.html",
      "new_path": "doc/ocolor/Ocolor_pp/module-type-PRETTY_PRINTERS/index.html"
    },
    {
      "old_path": "doc/Ocolor_format/index.html",
      "new_path": "doc/ocolor/Ocolor_format/index.html"
    },
    {
      "old_path": "doc/Ocolor_color_space/index.html",
      "new_path": "doc/ocolor/Ocolor_color_space/index.html"
    },
    {
      "old_path": "doc/Ocolor_format/StylingPrettyPrinters/index.html",
      "new_path": "doc/ocolor/Ocolor_format/StylingPrettyPrinters/index.html"
    }
  ]
}