{
  "actions": [
    {
      "command": [
        "./scripts/test.sh"
      ],
      "type": "test"
    }
  ],
  "authors": [
    "Yurii Rashkovskii"
  ],
  "available": {
    "case(os)": {
      "...": false,
      "linux|macos": true
    }
  },
  "build-switches": {
    "*": {
      "Compile_Checks": "warnings"
    }
  },
  "depends-on": [
    {
      "gnat": ">=13 & <17"
    },
    {
      "flyology_json": "=0.1.0-dev"
    }
  ],
  "description": "TLA+ trace generation and Ada conformance replay harness",
  "executables": [
    "flyology-tla"
  ],
  "licenses": "MIT OR Apache-2.0",
  "maintainers": [
    "Yurii Rashkovskii <yrashk@gmail.com>"
  ],
  "maintainers-logins": [
    "yrashk"
  ],
  "name": "flyology_tla",
  "origin": {
    "commit": "faf06c48246931e30b7fe9c5c786660185925666",
    "url": "git+https://github.com/flyology-ada/tla.git"
  },
  "project-files": [
    "flyology_tla.gpr"
  ],
  "tags": [
    "ada",
    "tla",
    "tlc",
    "tlaps",
    "testing",
    "conformance"
  ],
  "version": "0.1.0-dev"
}