{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "tlc4b",
    "version": "1.2.1",
    "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.1.jar",
          "url": "tlc4b-1.2.1.jar",
          "size": 260710,
          "sha512": "ce1b5906862d10998d0702c18ca889e77ad6491f791992dfb8afc31856099ef2e2023b890440f6836f038333d48f8ad89d71c37f812683f0d9e3dccdb21f585c",
          "sha256": "8b0f76f53aff8f5c8955373a1ceed20e9319840725c7b7b6827e772b186f5011",
          "sha1": "89991d6e78dfec2fb4b4cdbe8391b837b76d969e",
          "md5": "0e216ef96d1888acfeae044151ce7448"
        }
      ]
    },
    {
      "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.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.15.0"
          }
        }
      ],
      "files": [
        {
          "name": "tlc4b-1.2.1.jar",
          "url": "tlc4b-1.2.1.jar",
          "size": 260710,
          "sha512": "ce1b5906862d10998d0702c18ca889e77ad6491f791992dfb8afc31856099ef2e2023b890440f6836f038333d48f8ad89d71c37f812683f0d9e3dccdb21f585c",
          "sha256": "8b0f76f53aff8f5c8955373a1ceed20e9319840725c7b7b6827e772b186f5011",
          "sha1": "89991d6e78dfec2fb4b4cdbe8391b837b76d969e",
          "md5": "0e216ef96d1888acfeae044151ce7448"
        }
      ]
    },
    {
      "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.1-sources.jar",
          "url": "tlc4b-1.2.1-sources.jar",
          "size": 116190,
          "sha512": "a98e020e002cc4731aaf06abfd89163fb3f5192b0bcb65b8818e963c597d05d89839ed7afc34cb2a6b9985cc5dfd1c89411494d75253b734241906f5997e82b9",
          "sha256": "36b2f7231e156cbf5334adb98d2d073c98d4e28d6e64e8ad62c34e666a53953a",
          "sha1": "1932505849522ef1fd8f828f7ecfe39bf2f5f87a",
          "md5": "2082eb34d27531c2a98e2422d041ee5e"
        }
      ]
    },
    {
      "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.1-javadoc.jar",
          "url": "tlc4b-1.2.1-javadoc.jar",
          "size": 466319,
          "sha512": "2c73f5992f622ca7bff7b7c7960570484a1f2dd4d121795da563224b40f0ab8b5e073d9431e31403289e3e5e4ea9314d1120cffa9f20911f1aea424f38f06811",
          "sha256": "0b616476449b127a6a84a04177eee99eead36b6d093a96b0543079d92cf34952",
          "sha1": "53880e4538b1389b5d4dd2de6b0c8f82531dfd4c",
          "md5": "b2981af9662a09c9d22389be6ce9462a"
        }
      ]
    }
  ]
}