{ "formatVersion": "1.1", "component": { "group": "io.ksmt", "module": "ksmt-runner", "version": "0.5.12", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "7.5.1" } }, "variants": [ { "name": "apiElements", "attributes": { "org.gradle.category": "library", "org.gradle.dependency.bundling": "external", "org.gradle.jvm.environment": "standard-jvm", "org.gradle.jvm.version": 8, "org.gradle.libraryelements": "jar", "org.gradle.usage": "java-api", "org.jetbrains.kotlin.platform.type": "jvm" }, "dependencies": [ { "group": "com.jetbrains.rd", "module": "rd-core", "version": { "requires": "2022.3.2" } }, { "group": "com.jetbrains.rd", "module": "rd-framework", "version": { "requires": "2022.3.2" } }, { "group": "org.jetbrains.kotlin", "module": "kotlin-stdlib-jdk8", "version": { "requires": "1.7.20" } } ], "files": [ { "name": "ksmt-runner-0.5.12.jar", "url": "ksmt-runner-0.5.12.jar", "size": 710443, "sha512": "c9f8c4de78a3969f2aa10b8ddd75afe1c84a49bcb9c29d46f95b3f7b166e800a09083113877df1fc48bf477d0a91428db08e3c0cd34a4e6a9c9eecd419919213", "sha256": "7c08c352cb545d050445437ac8cf6faed32bcaa26bf996ef2a3b47d613eb6a27", "sha1": "878ec3d3c7f071fede93368dba5e8c4d52728dc1", "md5": "abc7716435200739e7d3666d64e09177" } ] }, { "name": "runtimeElements", "attributes": { "org.gradle.category": "library", "org.gradle.dependency.bundling": "external", "org.gradle.jvm.environment": "standard-jvm", "org.gradle.jvm.version": 8, "org.gradle.libraryelements": "jar", "org.gradle.usage": "java-runtime", "org.jetbrains.kotlin.platform.type": "jvm" }, "dependencies": [ { "group": "it.unimi.dsi", "module": "fastutil-core", "version": { "requires": "8.5.11" } }, { "group": "org.jetbrains.kotlinx", "module": "kotlinx-collections-immutable", "version": { "requires": "0.3.5" } }, { "group": "io.ksmt", "module": "ksmt-core", "version": { "requires": "0.5.12" } }, { "group": "org.jetbrains.kotlinx", "module": "kotlinx-coroutines-core", "version": { "requires": "1.6.4" } }, { "group": "com.jetbrains.rd", "module": "rd-core", "version": { "requires": "2022.3.2" } }, { "group": "com.jetbrains.rd", "module": "rd-framework", "version": { "requires": "2022.3.2" } }, { "group": "org.jetbrains.kotlin", "module": "kotlin-stdlib-jdk8", "version": { "requires": "1.7.20" } } ], "files": [ { "name": "ksmt-runner-0.5.12.jar", "url": "ksmt-runner-0.5.12.jar", "size": 710443, "sha512": "c9f8c4de78a3969f2aa10b8ddd75afe1c84a49bcb9c29d46f95b3f7b166e800a09083113877df1fc48bf477d0a91428db08e3c0cd34a4e6a9c9eecd419919213", "sha256": "7c08c352cb545d050445437ac8cf6faed32bcaa26bf996ef2a3b47d613eb6a27", "sha1": "878ec3d3c7f071fede93368dba5e8c4d52728dc1", "md5": "abc7716435200739e7d3666d64e09177" } ] } ] }