{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.aqua",
    "module": "z3-turnkey",
    "version": "4.14.1",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.14.2"
    }
  },
  "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.14.1.jar",
          "url": "z3-turnkey-4.14.1.jar",
          "size": 62848255,
          "sha512": "d22a2ee6428db18c6b6528b3ad8567d2bd94e6642a9893d9cdc70cd280860f42510cee6bf319c3a310e51f4aa688aadc5a1d0e65d1ae77fb9fc681031bc4775e",
          "sha256": "d0907500ec36f2743273420cd9539c4ed79770987f02815b9d5fa1a55c6f782b",
          "sha1": "bd970bf9c64b8c15d3f34443e3202a7c8ea3b66f",
          "md5": "795b068d24b417e00a124a6e113248be"
        }
      ]
    },
    {
      "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": "tools.aqua",
          "module": "turnkey-support",
          "version": {
            "requires": "1.0.0"
          }
        }
      ],
      "files": [
        {
          "name": "z3-turnkey-4.14.1.jar",
          "url": "z3-turnkey-4.14.1.jar",
          "size": 62848255,
          "sha512": "d22a2ee6428db18c6b6528b3ad8567d2bd94e6642a9893d9cdc70cd280860f42510cee6bf319c3a310e51f4aa688aadc5a1d0e65d1ae77fb9fc681031bc4775e",
          "sha256": "d0907500ec36f2743273420cd9539c4ed79770987f02815b9d5fa1a55c6f782b",
          "sha1": "bd970bf9c64b8c15d3f34443e3202a7c8ea3b66f",
          "md5": "795b068d24b417e00a124a6e113248be"
        }
      ]
    },
    {
      "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.14.1-sources.jar",
          "url": "z3-turnkey-4.14.1-sources.jar",
          "size": 7159541,
          "sha512": "8c96e1eb5c4be9c87c97991c509556243ebfec0ef3037557ffe089549a5da51660e9689d3dda849e4e4678bee8dd8a00563cbc3ac95a2b5a27b3aff9ff598254",
          "sha256": "e779091d20a63cc42f399dc27c6c66417877bfed6dd20a19581a14a2ba150012",
          "sha1": "e5752689f1dd564caa134e77b6c76d8de9afa0fd",
          "md5": "49324026c2862ed37cd8a17f730396fc"
        }
      ]
    }
  ]
}