{
  "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"
}