{ "formatVersion": "1.1", "component": { "group": "org.aya-prover.upstream", "module": "lang-syntax", "version": "0.0.31", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "8.10" } }, "variants": [ { "name": "apiElements", "attributes": { "org.gradle.category": "library", "org.gradle.dependency.bundling": "external", "org.gradle.jvm.environment": "standard-jvm", "org.gradle.jvm.version": 21, "org.gradle.libraryelements": "jar", "org.gradle.usage": "java-api", "org.jetbrains.kotlin.platform.type": "jvm" }, "dependencies": [ { "group": "org.jetbrains.kotlin", "module": "kotlin-stdlib", "version": { "requires": "2.1.0" } } ], "files": [ { "name": "lang-syntax-0.0.31.jar", "url": "lang-syntax-0.0.31.jar", "size": 7957, "sha512": "62deb78c4ab637b2b53f01becb3f67cdbfa7385cd97c585346a1eb914f46743a2ff3248d190118a9f62303aafe929869d02e64efe1c8765d49bf546f6d7c40c7", "sha256": "9ec448bc688611ac39a334d1a9f3a82e26c77aaeab9cb75c73037ee328474a27", "sha1": "bcb69f44c828ed75f58acd8c2e15b44d815b211c", "md5": "6f1d6395bcabbcc23ea64140e510a705" } ] }, { "name": "runtimeElements", "attributes": { "org.gradle.category": "library", "org.gradle.dependency.bundling": "external", "org.gradle.jvm.environment": "standard-jvm", "org.gradle.jvm.version": 21, "org.gradle.libraryelements": "jar", "org.gradle.usage": "java-runtime", "org.jetbrains.kotlin.platform.type": "jvm" }, "dependencies": [ { "group": "org.jetbrains.kotlin", "module": "kotlin-stdlib", "version": { "requires": "2.1.0" } } ], "files": [ { "name": "lang-syntax-0.0.31.jar", "url": "lang-syntax-0.0.31.jar", "size": 7957, "sha512": "62deb78c4ab637b2b53f01becb3f67cdbfa7385cd97c585346a1eb914f46743a2ff3248d190118a9f62303aafe929869d02e64efe1c8765d49bf546f6d7c40c7", "sha256": "9ec448bc688611ac39a334d1a9f3a82e26c77aaeab9cb75c73037ee328474a27", "sha1": "bcb69f44c828ed75f58acd8c2e15b44d815b211c", "md5": "6f1d6395bcabbcc23ea64140e510a705" } ] }, { "name": "sourcesElements", "attributes": { "org.gradle.category": "documentation", "org.gradle.dependency.bundling": "external", "org.gradle.docstype": "sources", "org.gradle.usage": "java-runtime" }, "files": [ { "name": "lang-syntax-0.0.31-sources.jar", "url": "lang-syntax-0.0.31-sources.jar", "size": 2456, "sha512": "1c4355b321508a040fe5584ead58932c3bc36fbc88e9ff19310d1d6013ba675b977783b41697ceca6eb4e72058c22ffb2ef2a4df3c4f309297fb060224f938d9", "sha256": "0546c5009b8a92412a22dd8c9a9991d798406ea5624e7de74508109fb862a4f3", "sha1": "7394126204932d479021281678e7b01945e93ff3", "md5": "89f8acd52da3cbf933834846b6b88c2e" }, { "name": "lang-syntax-0.0.31-sources.jar", "url": "lang-syntax-0.0.31-sources.jar", "size": 2456, "sha512": "1c4355b321508a040fe5584ead58932c3bc36fbc88e9ff19310d1d6013ba675b977783b41697ceca6eb4e72058c22ffb2ef2a4df3c4f309297fb060224f938d9", "sha256": "0546c5009b8a92412a22dd8c9a9991d798406ea5624e7de74508109fb862a4f3", "sha1": "7394126204932d479021281678e7b01945e93ff3", "md5": "89f8acd52da3cbf933834846b6b88c2e" } ] } ] }