{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.aqua",
    "module": "z3-turnkey",
    "version": "4.12.4",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.5"
    }
  },
  "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.4.jar",
          "url": "z3-turnkey-4.12.4.jar",
          "size": 45436956,
          "sha512": "7eba2cb0f7118fce4800eb55d3f860734bad06eb8db8e554629702c07028461d53107c2e9271ae951a52bcd7d61a108280dddb5b1775efae269d8837cf7e9d41",
          "sha256": "6e96bddf0f11522f49b92d699a827aef9bb4b727dff6e1e8d2bc26823932e9bc",
          "sha1": "85ef003bf61fae34b676a8e74072877c57fc6feb",
          "md5": "af2641fc675536e3cd156ecf66ce92ff"
        }
      ]
    },
    {
      "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.4.jar",
          "url": "z3-turnkey-4.12.4.jar",
          "size": 45436956,
          "sha512": "7eba2cb0f7118fce4800eb55d3f860734bad06eb8db8e554629702c07028461d53107c2e9271ae951a52bcd7d61a108280dddb5b1775efae269d8837cf7e9d41",
          "sha256": "6e96bddf0f11522f49b92d699a827aef9bb4b727dff6e1e8d2bc26823932e9bc",
          "sha1": "85ef003bf61fae34b676a8e74072877c57fc6feb",
          "md5": "af2641fc675536e3cd156ecf66ce92ff"
        }
      ]
    },
    {
      "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.4-javadoc.jar",
          "url": "z3-turnkey-4.12.4-javadoc.jar",
          "size": 519607,
          "sha512": "94700558b7f65990537e3dd962e5c7c0024971b17a3375710541f36ed28861e9d0e2d7f5f342a3e1e7a35d9ecd7ceaf835297eb281a58f0a96c4845de42e2b2d",
          "sha256": "05f01b170a6ff6bb1c9549d82493d95bf7ed771e4e481fbf89e48e52b6f7316b",
          "sha1": "92e9558d76800b978e2d3ca7afa175250cbd5b46",
          "md5": "dd9a3a5a3348f5f21123adf44161e299"
        }
      ]
    },
    {
      "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.4-sources.jar",
          "url": "z3-turnkey-4.12.4-sources.jar",
          "size": 45354958,
          "sha512": "7984be3300d0871e1ed7d4d526fa8e310b69030c4d78b97f4851e64e985ca6cda320cac202aa85475f2d58bd870266efca9a8d056946692e1ee4adb4a5e2206a",
          "sha256": "47484b15f14a68be1c58c9bbc2b059ab7602ea51bc80f116fbb5d391d29a7ee4",
          "sha1": "475c6eb40c113cc5f8f95c2a306e07492369b2fb",
          "md5": "e7bcfd49c31bc63f9e2837d2fdc1e8ce"
        }
      ]
    }
  ]
}