{ "formatVersion": "1.1", "component": { "group": "io.ksmt", "module": "ksmt-symfpu", "version": "0.5.7", "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": "org.jetbrains.kotlin", "module": "kotlin-stdlib-jdk8", "version": { "requires": "1.7.20" } } ], "files": [ { "name": "ksmt-symfpu-0.5.7.jar", "url": "ksmt-symfpu-0.5.7.jar", "size": 130296, "sha512": "beee072b75e680e0fca31860acbd2b141bb69f4b9c1daae4029d190486345ae0b61c044259d3b5c3f22d4588b22d23af77890955204022d70065a7f5421908c0", "sha256": "43d0432db6a1a4c0f32a4f79d176b6d62f5408371ef75442538024da7ef3c2fb", "sha1": "39ed796f3134fa977b5971a8990b2f0265092c69", "md5": "818efd55b3271205f1bb3ca56b6e825a" } ] }, { "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.7" } }, { "group": "org.jetbrains.kotlin", "module": "kotlin-stdlib-jdk8", "version": { "requires": "1.7.20" } } ], "files": [ { "name": "ksmt-symfpu-0.5.7.jar", "url": "ksmt-symfpu-0.5.7.jar", "size": 130296, "sha512": "beee072b75e680e0fca31860acbd2b141bb69f4b9c1daae4029d190486345ae0b61c044259d3b5c3f22d4588b22d23af77890955204022d70065a7f5421908c0", "sha256": "43d0432db6a1a4c0f32a4f79d176b6d62f5408371ef75442538024da7ef3c2fb", "sha1": "39ed796f3134fa977b5971a8990b2f0265092c69", "md5": "818efd55b3271205f1bb3ca56b6e825a" } ] } ] }