{
  "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": "Programs from the book Program Proofs in SPARK",
    "development_only": false,
    "latest_version": "0.1.1",
    "name": "program_proofs_in_spark",
    "selected_version": "0.1.1",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "16.2.0",
            "requirement": ">=12 & <2000",
            "resolved": true,
            "version": "16.2.0-patchset.1.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "gnatprove",
            "package": "gnatprove",
            "provided_version": "12.1.1",
            "requirement": "^12.1.1",
            "resolved": true,
            "version": "12.1.1"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Yannick Moy"
          ],
          "depends-on": [
            {
              "gnat": ">=12 & <2000"
            },
            {
              "gnatprove": "^12.1.1"
            }
          ],
          "description": "Programs from the book Program Proofs in SPARK",
          "licenses": "Apache-2.0",
          "maintainers": [
            "Yannick Moy <moy@adacore.com>"
          ],
          "maintainers-logins": [
            "yannickmoy"
          ],
          "name": "program_proofs_in_spark",
          "origin": {
            "commit": "37500dca9b643d1cd2f3711e1f97264923ea0baa",
            "url": "git+https://github.com/AdaCore/program_proofs_in_spark.git"
          },
          "project-files": [
            "ch5/ch5.gpr",
            "ch7/ch7.gpr",
            "ch12/ch12.gpr",
            "ch13/ch13.gpr",
            "ch15/ch15.gpr"
          ],
          "tags": [
            "spark"
          ],
          "version": "0.1.1",
          "website": "https://github.com/AdaCore/program_proofs_in_spark"
        },
        "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.1.toml",
        "version": "0.1.1"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "16.2.0",
            "requirement": ">=12 & <2000",
            "resolved": true,
            "version": "16.2.0-patchset.1.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Yannick Moy"
          ],
          "depends-on": [
            {
              "gnat": ">=12 & <2000"
            }
          ],
          "description": "Programs from the book Program Proofs in SPARK",
          "licenses": "Apache-2.0",
          "maintainers": [
            "Yannick Moy <moy@adacore.com>"
          ],
          "maintainers-logins": [
            "yannickmoy"
          ],
          "name": "program_proofs_in_spark",
          "origin": {
            "commit": "22ee1b3dd4fa4ab2b74ace89a5bb655882fed6b2",
            "url": "git+https://github.com/AdaCore/program_proofs_in_spark.git"
          },
          "project-files": [
            "ch5/ch5.gpr",
            "ch7/ch7.gpr",
            "ch12/ch12.gpr",
            "ch13/ch13.gpr",
            "ch15/ch15.gpr"
          ],
          "tags": [
            "spark"
          ],
          "version": "0.1.0",
          "website": "https://github.com/AdaCore/program_proofs_in_spark"
        },
        "path": "index/pr/program_proofs_in_spark/program_proofs_in_spark-0.1.0.toml",
        "version": "0.1.0"
      }
    ]
  },
  "schema_version": 4
}