{
  "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": "Automatic formal verification of SPARK code",
    "development_only": false,
    "latest_version": "16.1.0",
    "name": "gnatprove",
    "selected_version": "16.1.0",
    "versions": [
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "16.1.0",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "AdaCore"
          ],
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "long-description": "GNATprove, which provides automatic formal verification of SPARK code, is based on the [open-source](https://github.com/AdaCore/spark2014) [SPARK Pro](https://www.adacore.com/sparkpro) by [AdaCore](https://www.adacore.com).\nThe [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html) provides extensive documentation on how to use GNATprove.\nNote that because this version of GNATprove is built from an intermediate commit of SPARK Pro, it is not representative of any specific SPARK Pro release, and the SPARK Pro documentation may describe features or capabilities that are not yet available in this version of GNATprove.\n\nTo use GNATprove, simply add it to your Alire project using\n\n    alr with gnatprove\n\nYou will then be able to run GNATprove:\n\n    alr gnatprove\n\nFor more details on getting started using GNATprove, see [Getting Started with SPARK](https://docs.adacore.com/spark2014-docs/html/ug/en/getting_started.html) from the [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html).\n\nTo get started with the SPARK language, see the [Introduction to SPARK](https://learn.adacore.com/courses/intro-to-spark/index.html) course on [learn.adacore.com](https://learn.adacore.com/index.html).\n",
          "maintainers": [
            "Fabien Chouteau <chouteau@adacore.com>",
            "César Sagaert <sagaert@adacore.com>"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau",
            "AldanTanneo"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "aarch64": {
                    "binary": true,
                    "hashes": [
                      "sha256:ee22bf0d80f9a3bfbc1c2e6acb68102adb42dcf67d1b24693ad31cb791cbad52"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-16.1.0-1/gnatprove-aarch64-linux-16.1.0-1.tar.gz"
                  },
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:82528bef29857e239373fcc36732837d743f5a00805d502c70455422ffc97191"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-16.1.0-1/gnatprove-x86_64-linux-16.1.0-1.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "aarch64": {
                    "binary": true,
                    "hashes": [
                      "sha256:24772f112dd7a0baf40333e9142922b30ccdd19b8f70441eac8006b78cdfd90d"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-16.1.0-1/gnatprove-aarch64-darwin-16.1.0-1.tar.gz"
                  },
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:643b3a31d33f56d7d10e3b213fd305c73d93581db79a00079adfc41d3cb234e9"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-16.1.0-1/gnatprove-x86_64-darwin-16.1.0-1.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:f3c62ad924a9d8a887a666fe96b9e7cfaac55579dd872ddd17dd0cf63674fe45"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-16.1.0-1/gnatprove-x86_64-windows64-16.1.0-1.tar.gz"
                  }
                }
              }
            }
          },
          "version": "16.1.0",
          "website": "https://docs.adacore.com/spark2014-docs/html/ug/index.html"
        },
        "path": "index/gn/gnatprove/gnatprove-16.1.0.toml",
        "version": "16.1.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "15.1.0",
            "qualifies": true,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "15.1.0",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "AdaCore"
          ],
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "long-description": "GNATprove, which provides automatic formal verification of SPARK code, is based on the [open-source](https://github.com/AdaCore/spark2014) [SPARK Pro](https://www.adacore.com/sparkpro) by [AdaCore](https://www.adacore.com).\nThe [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html) provides extensive documentation on how to use GNATprove.\nNote that because this version of GNATprove is built from an intermediate commit of SPARK Pro, it is not representative of any specific SPARK Pro release, and the SPARK Pro documentation may describe features or capabilities that are not yet available in this version of GNATprove.\n\nTo use GNATprove, simply add it to your Alire project using\n\n    alr with gnatprove\n\nThen, configure your environment by running:\n\n    eval \"$( alr printenv )\"\n\nYou will then be able to run GNATprove:\n\n    gnatprove\n\nFor more details on getting started using GNATprove, see [Getting Started with SPARK](https://docs.adacore.com/spark2014-docs/html/ug/en/getting_started.html) from the [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html).\n\nTo get started with the SPARK language, see the [Introduction to SPARK](https://learn.adacore.com/courses/intro-to-spark/index.html) course on [learn.adacore.com](https://learn.adacore.com/index.html).\n",
          "maintainers": [
            "Fabien Chouteau <chouteau@adacore.com>",
            "César Sagaert <sagaert@adacore.com>"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau",
            "AldanTanneo"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "aarch64": {
                    "binary": true,
                    "hashes": [
                      "sha256:5131b7ccf04bb2c4ed12bd3e65ad92889f48ff1fabab257c6fa8407f067db7de"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-linux-15.1.0-1.tar.gz"
                  },
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:aad9a73f600d3008f33141a6cd4c5314d4c210e8928edc172c23c76104ddf7b2"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-linux-15.1.0-1.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "aarch64": {
                    "binary": true,
                    "hashes": [
                      "sha256:a4a9bb7cb0d6a80c422e9e490aa337d8b1ae7b68079be19724761ce3404a5c1a"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-aarch64-darwin-15.1.0-1.tar.gz"
                  },
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:48bf28200b7305bb042e7665edf9483ca830c883e4cb20c9f47671cc828b349f"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-darwin-15.1.0-1.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:e4a7aacd1d06449da4f1558492c77b1746d0dcf74c0909b18ba46e7fbe95a73e"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-15.1.0-1/gnatprove-x86_64-windows64-15.1.0-1.tar.gz"
                  }
                }
              }
            }
          },
          "version": "15.1.0",
          "website": "https://docs.adacore.com/spark2014-docs/html/ug/index.html"
        },
        "path": "index/gn/gnatprove/gnatprove-15.1.0.toml",
        "version": "15.1.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "14.1.1",
            "qualifies": true,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "14.1.1",
            "qualifies": true,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "14.1.1",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "AdaCore"
          ],
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "GPR_PROJECT_PATH": {
              "prepend": "${CRATE_ROOT}/lib/gnat"
            },
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "long-description": "GNATprove, which provides automatic formal verification of SPARK code, is based on the [open-source](https://github.com/AdaCore/spark2014) [SPARK Pro](https://www.adacore.com/sparkpro) by [AdaCore](https://www.adacore.com).\nThe [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html) provides extensive documentation on how to use GNATprove.\nNote that because this version of GNATprove is built from an intermediate commit of SPARK Pro, it is not representative of any specific SPARK Pro release, and the SPARK Pro documentation may describe features or capabilities that are not yet available in this version of GNATprove.\n\nTo use GNATprove, simply add it to your Alire project using\n\n    alr with gnatprove\n\nThen, configure your environment by running:\n\n    eval \"$( alr printenv )\"\n\nYou will then be able to run GNATprove:\n\n    gnatprove\n\nFor more details on getting started using GNATprove, see [Getting Started with SPARK](https://docs.adacore.com/spark2014-docs/html/ug/en/getting_started.html) from the [SPARK Pro User's Guide](https://docs.adacore.com/spark2014-docs/html/ug/index.html).\n\nTo get started with the SPARK language, see the [Introduction to SPARK](https://learn.adacore.com/courses/intro-to-spark/index.html) course on [learn.adacore.com](https://learn.adacore.com/index.html).\n",
          "maintainers": [
            "Fabien Chouteau <chouteau@adacore.com>"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "aarch64": {
                    "binary": true,
                    "hashes": [
                      "sha256:91818ed8775fd0cf1d3c0ffc3cfe05c5ab9d759a1d18c38c06ed5134c7563876"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-aarch64-darwin-14.1.0-1.tar.gz"
                  },
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:5da179687bb601c8d88ff2f8f70ba9f07bd84d49f69c2fb2fc213bddad98c05c"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-darwin-14.1.0-1.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:0e4670a09f66b4cfa4287b63414906eb33bd4f6d93bea57af43ff82b6a28d7da"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-windows64-14.1.0-1.tar.gz"
                  }
                }
              }
            }
          },
          "version": "14.1.1",
          "website": "https://docs.adacore.com/spark2014-docs/html/ug/index.html"
        },
        "path": "index/gn/gnatprove/gnatprove-14.1.1.toml",
        "version": "14.1.1"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "13.2.1",
            "qualifies": true,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "13.2.1",
            "qualifies": true,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "13.2.1",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "GPR_PROJECT_PATH": {
              "prepend": "${CRATE_ROOT}/lib/gnat"
            },
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:d088f8a188658aa0befcb5a4a5b9211fccf7d14ba5d5a49189ba70303d5201d7"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-darwin-13.2.0-1.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:c7d44efa4167551935eab485a38a5d3a592004c1553e7a32c02187602c2a5b01"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz"
                  }
                }
              }
            }
          },
          "version": "13.2.1"
        },
        "path": "index/gn/gnatprove/gnatprove-13.2.1.toml",
        "version": "13.2.1"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "12.1.1",
            "qualifies": true,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "12.1.1",
            "qualifies": false,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "12.1.1",
            "qualifies": true,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:eaf963490fc0b8c4467854b8f4a7659e4df39094699b014b90d9cd87b46cb987"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz"
                  }
                }
              }
            }
          },
          "version": "12.1.1"
        },
        "path": "index/gn/gnatprove/gnatprove-12.1.1.toml",
        "version": "12.1.1"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.3.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.3.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "aho_corasick",
            "path": "index/ah/aho_corasick/aho_corasick-0.2.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.1.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "anteforth",
            "path": "index/an/anteforth/anteforth-0.1.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_spark",
            "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^14.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "0.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elevator",
            "path": "index/el/elevator/elevator-1.0.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.4.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": true,
            "version": "1.3.4"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "elogs",
            "path": "index/el/elogs/elogs-1.3.3.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^15.1.0",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.3.3"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos",
            "path": "index/hi/hirtos/hirtos-1.0.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^13.2.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hirtos_separation_kernel",
            "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^13.1.1",
            "requires": "gnatprove",
            "selected": false,
            "version": "1.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "program_proofs_in_spark",
            "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
            "provided_version": "11.2.3",
            "qualifies": false,
            "requirement": "^12.1.1",
            "requires": "gnatprove",
            "selected": true,
            "version": "0.1.1"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "auto-gpr-with": false,
          "configuration": {
            "disabled": true
          },
          "description": "Automatic formal verification of SPARK code",
          "environment": {
            "PATH": {
              "prepend": "${CRATE_ROOT}/bin"
            }
          },
          "licenses": "GPL-3.0-or-later",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau"
          ],
          "name": "gnatprove",
          "origin": {
            "case(os)": {
              "linux": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
                  }
                }
              },
              "macos": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
                  }
                }
              },
              "windows": {
                "case(host-arch)": {
                  "x86-64": {
                    "binary": true,
                    "hashes": [
                      "sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"
                    ],
                    "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
                  }
                }
              }
            }
          },
          "version": "11.2.3"
        },
        "path": "index/gn/gnatprove/gnatprove-11.2.3.toml",
        "version": "11.2.3"
      }
    ]
  },
  "schema_version": 4
}