{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.aqua",
    "module": "z3-turnkey",
    "version": "4.12.6",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.7"
    }
  },
  "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": "z3-turnkey-4.12.6.jar",
          "url": "z3-turnkey-4.12.6.jar",
          "size": 45642861,
          "sha512": "12374727b9f1a8f8006ab65db91a8b14e3f68a3d549eb23ca114914ca888750c7d6e6d6e41bd2cedca2494b71484d41046ec2c089433b99322a855fb88897755",
          "sha256": "edbc8e2759e01a2fb1bc46d2d1f7a45cc1730f99c276895773f4ec5f5000bc8b",
          "sha1": "c74f3040a5322b7ab8d22f7914e12f6ba41e1049",
          "md5": "6552171d5aafcd32314644d8d76d74bb"
        }
      ]
    },
    {
      "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"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.6.jar",
          "url": "z3-turnkey-4.12.6.jar",
          "size": 45642861,
          "sha512": "12374727b9f1a8f8006ab65db91a8b14e3f68a3d549eb23ca114914ca888750c7d6e6d6e41bd2cedca2494b71484d41046ec2c089433b99322a855fb88897755",
          "sha256": "edbc8e2759e01a2fb1bc46d2d1f7a45cc1730f99c276895773f4ec5f5000bc8b",
          "sha1": "c74f3040a5322b7ab8d22f7914e12f6ba41e1049",
          "md5": "6552171d5aafcd32314644d8d76d74bb"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.6-javadoc.jar",
          "url": "z3-turnkey-4.12.6-javadoc.jar",
          "size": 509371,
          "sha512": "c1eee959e52428f15007c609740f3a5fdbdd0164e34cdbb42f4a305c8b006a9bdba186db6c73649ff8821be0e65a7f5e3be8361deb23c383a3f2c03ac39d23c0",
          "sha256": "2735d7a2f06708b7d72a50fb875b5e23b2fa0f9a3cd94140801d425af091d626",
          "sha1": "8ac17bae43e13b9c0088f9422cd0dfea86b9a1e1",
          "md5": "ea2678c8a78eab16a84193a2d4c9965f"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.6-sources.jar",
          "url": "z3-turnkey-4.12.6-sources.jar",
          "size": 6776911,
          "sha512": "87fcebc7a493be6258387178bbe3f431a40b8896c8c750fc53bbc748767792394851412355411106bf9ea3262fe1f6313888d9c9eba9ff3be2b55fe513208694",
          "sha256": "7a5c767e633c3ea16d9111405617d2e5bf31324a70e81a8f6c35486228f5558f",
          "sha1": "12a65258a0f34553db82c52e3158d7d2bd47bc61",
          "md5": "865b74db081863a67ae6cf1f15458a74"
        }
      ]
    }
  ]
}