{
  "actions": [
    {
      "command": [
        "sed",
        "-i",
        "-e",
        "s/for Object_Dir use \"obj\"/for Object_Dir use \"sparklib_obj\"/",
        "sparklib.gpr"
      ],
      "type": "post-fetch"
    }
  ],
  "authors": [
    "AdaCore"
  ],
  "configuration": {
    "disabled": true
  },
  "description": "Companion libraries for SPARK programming",
  "forbids": [
    {
      "gnatprove": "<15"
    }
  ],
  "gpr-externals": {
    "SPARKLIB_INSTALLED": [
      "True",
      "False"
    ]
  },
  "gpr-set-externals": {
    "SPARKLIB_INSTALLED": "False"
  },
  "licenses": "Apache-2.0 WITH LLVM-exception",
  "maintainers": [
    "chouteau@adacore.com",
    "sagaert@adacore.com"
  ],
  "maintainers-logins": [
    "Fabien-Chouteau",
    "AldanTanneo"
  ],
  "name": "sparklib",
  "origin": {
    "commit": "dc7cd02b08ada6c022d2461092999c1f9b12d879",
    "url": "git+https://github.com/AdaCore/SPARKlib"
  },
  "project-files": [
    "sparklib.gpr"
  ],
  "version": "15.1.0",
  "website": "https://github.com/AdaCore/SPARKlib"
}