{ "formatVersion": "1.1", "component": { "group": "de.hhu.stups", "module": "tlc4b", "version": "1.2.3", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "8.14.3" } }, "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": "tlc4b-1.2.3.jar", "url": "tlc4b-1.2.3.jar", "size": 265202, "sha512": "90d05fc360e1213a5eb6f275c12d52fc404b6b496c1ffb92fa1dfeb1a4d39c34e1b27b4d5a1f112a46423b393dce066a8638fe6b6248b15e358aeb79b7e4b910", "sha256": "477b0c7972f037b0c22a5c19f0a374ad189b44688684d123d7a1cfd465230b53", "sha1": "fcbc1cb20f1df80e94631bbee894f100ac5f3958", "md5": "fec2f89395aef7399f6eab412d1c934a" } ] }, { "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": "commons-cli", "module": "commons-cli", "version": { "requires": "1.11.0" } }, { "group": "de.hhu.stups", "module": "tlatools", "version": { "requires": "1.1.0" } }, { "group": "de.hhu.stups", "module": "bparser", "version": { "requires": "2.15.4" } }, { "group": "de.hhu.stups", "module": "ltlparser", "version": { "requires": "2.15.4" } } ], "files": [ { "name": "tlc4b-1.2.3.jar", "url": "tlc4b-1.2.3.jar", "size": 265202, "sha512": "90d05fc360e1213a5eb6f275c12d52fc404b6b496c1ffb92fa1dfeb1a4d39c34e1b27b4d5a1f112a46423b393dce066a8638fe6b6248b15e358aeb79b7e4b910", "sha256": "477b0c7972f037b0c22a5c19f0a374ad189b44688684d123d7a1cfd465230b53", "sha1": "fcbc1cb20f1df80e94631bbee894f100ac5f3958", "md5": "fec2f89395aef7399f6eab412d1c934a" } ] }, { "name": "sourcesElements", "attributes": { "org.gradle.category": "documentation", "org.gradle.dependency.bundling": "external", "org.gradle.docstype": "sources", "org.gradle.usage": "java-runtime" }, "files": [ { "name": "tlc4b-1.2.3-sources.jar", "url": "tlc4b-1.2.3-sources.jar", "size": 117962, "sha512": "f4bb02b4fbb029a82adf11bfea8db3636829da417afd0fd9f948947b42871ab8a3b81bf9442616977f5d734e3951d889856d33e3e5cfb4d7576bd3cef38678a8", "sha256": "9ac66cc5068a65db88061941340889ef6b554a60f0ed9242ba4c2be618c11581", "sha1": "9c2e4567be24235d0fe334b391e84311524ddc4e", "md5": "362ab8befff06865efe441ba9c6b8551" } ] }, { "name": "javadocElements", "attributes": { "org.gradle.category": "documentation", "org.gradle.dependency.bundling": "external", "org.gradle.docstype": "javadoc", "org.gradle.usage": "java-runtime" }, "files": [ { "name": "tlc4b-1.2.3-javadoc.jar", "url": "tlc4b-1.2.3-javadoc.jar", "size": 467077, "sha512": "e4f6f1b931a77c2e0269cb429f58105e07ec6206abd895ce770a683f0639dae7495a7a6edad7f9a9783dbfa1782327c83b810c0b3cf12a5179d289a64dc3258e", "sha256": "e7e24befa03bbb950e8586af2c52a916a9d26a4d8385195ceeac128b250c452f", "sha1": "c066a762eea91a73b3f0452d0fb2ad63dbc65e1a", "md5": "a6ed6a1fbe4bf4fe7148aed27c1e7fa8" } ] } ] }