{
  "actions": [
    {
      "command": [
        "sed",
        "-i",
        "-e",
        "s/type SPARKlib_Library_Kind is (\"static\");/type SPARKlib_Library_Kind is (\"static\", \"static-pic\", \"relocatable\");/",
        "sparklib.gpr"
      ],
      "type": "post-fetch"
    },
    {
      "command": [
        "sed",
        "-i",
        "-e",
        "s/\"-gnatygo-u\"/\"-gnatygo-ud\"/",
        "sparklib_common.gpr"
      ],
      "type": "post-fetch"
    }
  ],
  "authors": [
    "AdaCore"
  ],
  "configuration": {
    "disabled": true
  },
  "depends-on": [
    {
      "gnat": ">=16"
    }
  ],
  "description": "Companion libraries for SPARK programming",
  "forbids": [
    {
      "gnatprove": "<16"
    }
  ],
  "gpr-externals": {
    "SPARKLIB_BUILD": [
      "Production",
      "Assertions",
      "Debug"
    ],
    "SPARKLIB_MODE": [
      "light",
      "full"
    ]
  },
  "gpr-set-externals": {
    "SPARKLIB_INSTALLED": "False"
  },
  "licenses": "Apache-2.0 WITH LLVM-exception",
  "long-description": "SPARKlib is meant to provide users of SPARK libraries to use in SPARK code. SPARKlib contains various libraries, such as a wide range of containers, as well as lemmas to use directly in user code.\n\nThis version of SPARKlib is made for use with [GNATprove FSF 16](https://github.com/alire-project/GNAT-FSF-builds/releases/tag/gnatprove-16.1.0-1). Unlike what is specified in the AdaCore SPARK User's guide, you do not need to copy the sources to your project to use it - and in fact, it's not recommended when developing with Alire. This crate is usable as-is without special manipulations.\n\nThe SPARKlib is configurable through GPR external definitions:\n- `SPARKLIB_MODE` can be configured to `light` or `full`, defaults to `full`.\n- `SPARKLIB_BUILD` can be configured to `Production`, `Assertions` or `Debug`, defaults to `Production`.\n\nYou can set these with the `[gpr-set-externals]` section in your Alire manifest. Only set them as an end user of the crate (that is, when testing locally, or when developing a binary).\n",
  "maintainers": [
    "chouteau@adacore.com",
    "sagaert@adacore.com"
  ],
  "maintainers-logins": [
    "Fabien-Chouteau",
    "AldanTanneo"
  ],
  "name": "sparklib",
  "origin": {
    "commit": "6d13c7145fa5e4cac6eb6d1ffe78f9a2bccbed7f",
    "url": "git+https://github.com/AdaCore/SPARKlib"
  },
  "project-files": [
    "sparklib.gpr"
  ],
  "version": "16.1.0",
  "website": "https://github.com/AdaCore/SPARKlib"
}