{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "tlc4b",
    "version": "1.2.2",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.13"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 8,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "tlc4b-1.2.2.jar",
          "url": "tlc4b-1.2.2.jar",
          "size": 264861,
          "sha512": "3fd5728c1fb62fe50c51102fd325af31ba98deaa53e8cbcd4720eb8a16381ab655df42b37cc75a50436eeee9a8953930cdd8d0ffd1352f5e77bd4cbee41835d7",
          "sha256": "1426dbfb6eb8af3bd09e027574c56281ee74defd4a77577f57799c6e8faa450c",
          "sha1": "da08171c42c54eb6e2647195e9b18895201dcb7e",
          "md5": "f2ca5167513dfd9e7019b47860fc0679"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 8,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "dependencies": [
        {
          "group": "commons-cli",
          "module": "commons-cli",
          "version": {
            "requires": "1.9.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tlatools",
          "version": {
            "requires": "1.1.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.15.2"
          }
        }
      ],
      "files": [
        {
          "name": "tlc4b-1.2.2.jar",
          "url": "tlc4b-1.2.2.jar",
          "size": 264861,
          "sha512": "3fd5728c1fb62fe50c51102fd325af31ba98deaa53e8cbcd4720eb8a16381ab655df42b37cc75a50436eeee9a8953930cdd8d0ffd1352f5e77bd4cbee41835d7",
          "sha256": "1426dbfb6eb8af3bd09e027574c56281ee74defd4a77577f57799c6e8faa450c",
          "sha1": "da08171c42c54eb6e2647195e9b18895201dcb7e",
          "md5": "f2ca5167513dfd9e7019b47860fc0679"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "tlc4b-1.2.2-sources.jar",
          "url": "tlc4b-1.2.2-sources.jar",
          "size": 117890,
          "sha512": "3384dde0700beafb4111f29a551141931a94477521a70e5ce6e95d54836150361579d680e15b4cc0386448f4489e70da30b962b07b18ae7dc2114ad69e186c2a",
          "sha256": "00ed8b18c0c18a167c4d11c91715011c106e586546dd9bbcd9b1e284284c391a",
          "sha1": "fa7f049253576fa163470341772db562583693d5",
          "md5": "f56a832faa640b0b8809b1a92b625a46"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "tlc4b-1.2.2-javadoc.jar",
          "url": "tlc4b-1.2.2-javadoc.jar",
          "size": 467472,
          "sha512": "4d01e2f552f524bce267f910c49bea2375a3645f996c111ef8ad238c9d5dceb54e173e3e0cd567d0f205330f38198fd41bf05034d1e2abaaa25adf280db1d882",
          "sha256": "0394950eb282f7a3392f86b57f4f9d3ef4dd6d55ea0f6e25a22e5db6beb8dc63",
          "sha1": "e2a0ecde9c22d2fcffb6ac766497a3e657f74bf9",
          "md5": "cc3fa47d35c5103db11965bef4844f87"
        }
      ]
    }
  ]
}