{
  "canonical_url": "https://crates.flyology.org/",
  "catalog": {
    "name": "flyology",
    "repository_url": "https://github.com/flyology-ada/alire-index",
    "revision": "dd1fad8bb2f1402cc36fc824fd0ffac198e964e7"
  },
  "generated_at": "2026-09-26T09:25:07Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "flyology",
    "description": "TLA+ trace generation and Ada conformance replay harness",
    "development_only": true,
    "latest_version": "0.1.0-dev",
    "name": "flyology_tla",
    "selected_version": "0.1.0-dev",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "flyology",
            "condition": null,
            "name": "gnat",
            "package": "gnat_flyology_native",
            "provided_version": "16.2.0",
            "requirement": ">=13 & <17",
            "resolved": true,
            "version": "16.2.0-patchset.1.1.1"
          },
          {
            "catalog": "flyology",
            "condition": null,
            "name": "flyology_json",
            "package": "flyology_json",
            "provided_version": "0.1.0-dev",
            "requirement": "=0.1.0-dev",
            "resolved": true,
            "version": "0.1.0-dev"
          }
        ],
        "development": true,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/fl/flyology_tla/flyology_tla-0.1.0-dev.toml",
        "version": "0.1.0-dev"
      }
    ]
  },
  "schema_version": 4
}