{
  "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": "SPAT - SPARK Proof Analysis Tool",
    "development_only": false,
    "latest_version": "1.3.0",
    "name": "spat",
    "selected_version": "1.3.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "si_units",
            "package": "si_units",
            "provided_version": "0.2.0",
            "requirement": "~0.2",
            "resolved": true,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": "case(toolchain)=system",
            "name": "gnatcoll",
            "package": "gnatcoll",
            "provided_version": "26.0.0",
            "requirement": ">=19",
            "resolved": true,
            "version": "26.0.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Vinzent \"Jellix\" Saranen"
          ],
          "depends-on": [
            {
              "case(toolchain)": {
                "system": {
                  "gnatcoll": ">=19"
                }
              },
              "si_units": "~0.2"
            }
          ],
          "description": "SPAT - SPARK Proof Analysis Tool",
          "executables": [
            "run_spat"
          ],
          "licenses": "WTFPL",
          "long-description": "SPAT - SPARK Proof Analysis Tools\n\nHelper tool to obtain, analyse, sort, and filter timing information about\n`gnatprove` runs (`SPARK` tools).\n",
          "maintainers": [
            "vinzent@heisenbug.eu"
          ],
          "maintainers-logins": [
            "Jellix"
          ],
          "name": "spat",
          "origin": {
            "commit": "4ad4ab14447ac8cbbedcb8d47f026a66a73551d7",
            "url": "git+https://github.com/HeisenbugLtd/spat.git"
          },
          "project-files": [
            "spat.gpr"
          ],
          "tags": [
            "spark"
          ],
          "version": "1.3.0",
          "website": "https://github.heisenbug.eu/spat"
        },
        "path": "index/sp/spat/spat-1.3.0.toml",
        "version": "1.3.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "si_units",
            "package": "si_units",
            "provided_version": "0.2.0",
            "requirement": "^0.1.0",
            "resolved": true,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": "case(toolchain)=system",
            "name": "gnatcoll",
            "package": "gnatcoll",
            "provided_version": "26.0.0",
            "requirement": ">=19 & <2000",
            "resolved": true,
            "version": "26.0.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Vinzent \"Jellix\" Saranen"
          ],
          "depends-on": [
            {
              "case(toolchain)": {
                "system": {
                  "gnatcoll": ">=19 & <2000"
                }
              },
              "si_units": "^0.1.0"
            }
          ],
          "description": "SPAT - SPARK Proof Analysis Tool",
          "executables": [
            "run_spat"
          ],
          "licenses": "WTFPL",
          "long-description": "SPAT - SPARK Proof Analysis Tools\nHelper tool to obtain timing information about gnatprove runs (SPARK tools).\n",
          "maintainers": [
            "vinzent@heisenbug.eu"
          ],
          "maintainers-logins": [
            "Jellix"
          ],
          "name": "spat",
          "origin": {
            "commit": "a25eb494136dcddad52b831e8c058b383d93e677",
            "url": "git+https://github.com/HeisenbugLtd/spat.git"
          },
          "project-files": [
            "spat.gpr"
          ],
          "tags": [
            "spark"
          ],
          "version": "1.2.1",
          "website": "https://github.heisenbug.eu/spat"
        },
        "path": "index/sp/spat/spat-1.2.1.toml",
        "version": "1.2.1"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "si_units",
            "package": "si_units",
            "provided_version": "0.2.0",
            "requirement": "^0.1.0",
            "resolved": true,
            "version": "0.2.0"
          },
          {
            "catalog": "community",
            "condition": "case(toolchain)=system",
            "name": "gnatcoll",
            "package": "gnatcoll",
            "provided_version": "26.0.0",
            "requirement": ">=19 & <2000",
            "resolved": true,
            "version": "26.0.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "depends-on": [
            {
              "case(toolchain)": {
                "system": {
                  "gnatcoll": ">=19 & <2000"
                }
              },
              "si_units": "^0.1.0"
            }
          ],
          "description": "SPAT - SPARK Proof Analysis Tool",
          "executables": [
            "run_spat"
          ],
          "licenses": "WTFPL",
          "long-description": "SPAT - SPARK Proof Analysis Tools\nHelper tool to obtain timing information about gnatprove runs (SPARK tools).\n",
          "maintainers": [
            "vinzent@heisenbug.eu"
          ],
          "maintainers-logins": [
            "Jellix"
          ],
          "name": "spat",
          "origin": {
            "hashes": [
              "sha512:2750bb27b68346f6585dafcd7b1ccec615200ac96155dd08d05d62505473a2ca5f3fca476c04d4a77a24f6506ada745f3c6a0bcafe4f23f722f3494ba8a1a5c5"
            ],
            "url": "https://github.com/HeisenbugLtd/spat/releases/download/v1.0.0/spat-1.0.0.tar.gz"
          },
          "project-files": [
            "spat.gpr"
          ],
          "tags": [
            "spark"
          ],
          "version": "1.0.0",
          "website": "https://github.heisenbug.eu/spat"
        },
        "path": "index/sp/spat/spat-1.0.0.toml",
        "version": "1.0.0"
      }
    ]
  },
  "schema_version": 4
}