{ "formatVersion": "1.1", "component": { "group": "tools.aqua", "module": "z3-turnkey", "version": "4.14.0", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "8.12.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.14.0.jar", "url": "z3-turnkey-4.14.0.jar", "size": 62800577, "sha512": "d078e17a648021f2a23dd9344fd12d24575c70ec579e6d031ad8bc01f25d1a96bd52071d95ca5519ad726008728aaac7078f36bb18330434afcd25db62cddd05", "sha256": "31fb57bff11bb21e9a7280b264a7d963583f38eb8b3d17fce4c9aed72aa7ed5d", "sha1": "44a92e75f2954fe1867d8b3f1c08f28ec65996f4", "md5": "850a7e1abb176075616b6b5a7b33ee0c" } ] }, { "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.0.jar", "url": "z3-turnkey-4.14.0.jar", "size": 62800577, "sha512": "d078e17a648021f2a23dd9344fd12d24575c70ec579e6d031ad8bc01f25d1a96bd52071d95ca5519ad726008728aaac7078f36bb18330434afcd25db62cddd05", "sha256": "31fb57bff11bb21e9a7280b264a7d963583f38eb8b3d17fce4c9aed72aa7ed5d", "sha1": "44a92e75f2954fe1867d8b3f1c08f28ec65996f4", "md5": "850a7e1abb176075616b6b5a7b33ee0c" } ] }, { "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.14.0-javadoc.jar", "url": "z3-turnkey-4.14.0-javadoc.jar", "size": 510875, "sha512": "e002a4415085f7d0c4183b9d3d473f95eb7af3ba819263f072041ff331cb41842cc03f49cab46d97daa00fb94a1241d73f90b90d4ab5958a686d7f94f18f330d", "sha256": "baf46f5ec0c54a878e22fbcb2bf9a425efbadda0db3ea3df17cc88b4b76d480a", "sha1": "6f3bc85012ef42ec977746902fceeb8e1b576608", "md5": "2eed8eee5ecc49d144a8a651755f598f" } ] }, { "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.0-sources.jar", "url": "z3-turnkey-4.14.0-sources.jar", "size": 7155907, "sha512": "5ac3ef7ee3aeb9e7cc7419169c18e503a4024fd6cf65efc9f93c7fd45fe87548db4ac7061b5ecb0b6a0bd596c550d270341c13047b64040d636f667be3c77293", "sha256": "7b63ba0d10a882889802dd51c09466ef32339fcb25d33f1832be1538bb998b4c", "sha1": "ca4342e5af6660059e6371d5596b4568a6744c90", "md5": "28773ea4622fa9521b4c846960b719a9" } ] } ] }