{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Companion libraries for SPARK programming",
    "development_only": false,
    "latest_version": "16.1.0",
    "name": "sparklib",
    "selected_version": "16.1.0",
    "versions": [
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "grammaticus",
            "path": "index/gr/grammaticus/grammaticus-0.1.0.toml",
            "provided_version": "16.1.0",
            "qualifies": true,
            "requirement": ">=16",
            "requires": "sparklib",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "proven_components",
            "path": "index/pr/proven_components/proven_components-1.1.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": false,
            "version": "1.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "proven_components",
            "path": "index/pr/proven_components/proven_components-1.0.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "termicap",
            "path": "index/te/termicap/termicap-1.0.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": true,
            "version": "1.0.0"
          }
        ],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "16.2.0",
            "requirement": ">=16",
            "resolved": true,
            "version": "16.2.0-patchset.1.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/sp/sparklib/sparklib-16.1.0.toml",
        "version": "16.1.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "grammaticus",
            "path": "index/gr/grammaticus/grammaticus-0.1.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": ">=16",
            "requires": "sparklib",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "proven_components",
            "path": "index/pr/proven_components/proven_components-1.1.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": false,
            "version": "1.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "proven_components",
            "path": "index/pr/proven_components/proven_components-1.0.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "termicap",
            "path": "index/te/termicap/termicap-1.0.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "sparklib",
            "selected": true,
            "version": "1.0.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/sp/sparklib/sparklib-15.1.0.toml",
        "version": "15.1.0"
      }
    ]
  },
  "schema_version": 4
}