{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.aqua",
    "module": "z3-turnkey",
    "version": "4.12.2",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.1.1"
    }
  },
  "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.2.jar",
          "url": "z3-turnkey-4.12.2.jar",
          "size": 44735610,
          "sha512": "7c0efdf541a72a3c02a8aba945c990b40da939ca4a95995b8112688bcda0d03330f85e6fc8ba33558bfcc3cf118e5490a396424cecb27b063e964c4b340427ac",
          "sha256": "678d12cf0cfa80e468a6bbb624aa97eb4f49767c05ffbb54f42ab5a7219378fb",
          "sha1": "d79dc544b8c02e8625cd329f90aee82b8abc9796",
          "md5": "3327cf6656167f91927a0e156a6ff6cf"
        }
      ]
    },
    {
      "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.2.jar",
          "url": "z3-turnkey-4.12.2.jar",
          "size": 44735610,
          "sha512": "7c0efdf541a72a3c02a8aba945c990b40da939ca4a95995b8112688bcda0d03330f85e6fc8ba33558bfcc3cf118e5490a396424cecb27b063e964c4b340427ac",
          "sha256": "678d12cf0cfa80e468a6bbb624aa97eb4f49767c05ffbb54f42ab5a7219378fb",
          "sha1": "d79dc544b8c02e8625cd329f90aee82b8abc9796",
          "md5": "3327cf6656167f91927a0e156a6ff6cf"
        }
      ]
    },
    {
      "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.2-javadoc.jar",
          "url": "z3-turnkey-4.12.2-javadoc.jar",
          "size": 507966,
          "sha512": "f1d7422a65b0a2699f7e10f6a95f9210821ee9e646ce75d22d5b3477c3c7247826ddbff250f952ca3f0699f3286f5e76d23f7ccf5057521116931c634fa672d7",
          "sha256": "8b8e78e2dccba76d45304f0d20a3931ff69fa89ee28885f21fe7afd052d14239",
          "sha1": "3b70da6693103c9f721f687279e9c7570f7cd433",
          "md5": "76bd1012da0798c6dd09bca3fc8934e7"
        }
      ]
    },
    {
      "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.2-sources.jar",
          "url": "z3-turnkey-4.12.2-sources.jar",
          "size": 44655821,
          "sha512": "ee5d6f7aad91560bd61fbe94bbf89d0b8405d701ab70dcaba561c4a923d96cdb7caaef0cc4b43dd2123bce9c47cfe79614ef77820e6f61854738751d189d8806",
          "sha256": "e549146a873a3693b96b1527dde5e174593282d47fccd158cfa5c7bfe36d72a5",
          "sha1": "7f29bbecd91777e43fa8e1ecb82c93f2c36dfb15",
          "md5": "0bf0005b9bc28ef2d9ee005e9fc6c152"
        }
      ]
    }
  ]
}