{ "formatVersion": "1.1", "component": { "group": "tools.aqua", "module": "z3-turnkey", "version": "4.13.0.1", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "8.10.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.13.0.1.jar", "url": "z3-turnkey-4.13.0.1.jar", "size": 46630796, "sha512": "99b46dd0c483c0a790def746e7e94e7edc632fb03c4cc80170bb4e99619313cdfb186b6b386c68e12b6bff0b16f6f658aa27cc7344022aa1ce7a6de569d87a75", "sha256": "057536320c96891df466dc269847182808a39823ab332efd87077ba7eb1f46e2", "sha1": "ad23b092124c97ab2e9ef72ddcb2ca82d3c6d706", "md5": "5f8017202f56c8cd9e3a8a30e5c391b2" } ] }, { "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.13.0.1.jar", "url": "z3-turnkey-4.13.0.1.jar", "size": 46630796, "sha512": "99b46dd0c483c0a790def746e7e94e7edc632fb03c4cc80170bb4e99619313cdfb186b6b386c68e12b6bff0b16f6f658aa27cc7344022aa1ce7a6de569d87a75", "sha256": "057536320c96891df466dc269847182808a39823ab332efd87077ba7eb1f46e2", "sha1": "ad23b092124c97ab2e9ef72ddcb2ca82d3c6d706", "md5": "5f8017202f56c8cd9e3a8a30e5c391b2" } ] }, { "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.13.0.1-javadoc.jar", "url": "z3-turnkey-4.13.0.1-javadoc.jar", "size": 509513, "sha512": "1f3b3db459dc2cc84d24161cbd41c8e8973378ceab4d91db828347ee51078351807dc85800cf17ea874d674930b3f378f0227aafdd1e3a16ef7e87699aa24bd8", "sha256": "a91a4963a6b1cc7b7b705983295c9c1222323d49685f57414e13ca0ce561a978", "sha1": "30760e97256e0c34d92d62809b0db133201b8c3b", "md5": "157f1e386f57df36ab583c21d3020aa2" } ] }, { "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.13.0.1-sources.jar", "url": "z3-turnkey-4.13.0.1-sources.jar", "size": 6808290, "sha512": "b9c5f9cfde1e3851d640612d3a62770bf8bd183341859d2ad3691819be439e2ddc2cbb6ac7740a6bf1675e3754c6df2b9f4ab0bfd3d3cf81845ef2396c8ff05c", "sha256": "e8c9321342ba1310aed5d447eee80e8cdc3aba9cc2de37a0d69db9cdad518e15", "sha1": "f78669d73880bb3cdb144a32213d777e6480ccaf", "md5": "39a4ce4325195d6f66ef89be0f55d65b" } ] } ] }