{ "formatVersion": "1.1", "component": { "group": "de.hhu.stups", "module": "tla2bAST", "version": "1.4.2", "attributes": { "org.gradle.status": "release" } }, "createdBy": { "gradle": { "version": "8.13" } }, "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" }, "dependencies": [ { "group": "de.hhu.stups", "module": "tlatools", "version": { "requires": "1.1.0" } }, { "group": "de.hhu.stups", "module": "prologlib", "version": { "requires": "2.15.2" } }, { "group": "de.hhu.stups", "module": "bparser", "version": { "requires": "2.15.2" } } ], "files": [ { "name": "tla2bAST-1.4.2.jar", "url": "tla2bAST-1.4.2.jar", "size": 160089, "sha512": "7ce613b04a89f8b82e186deb33099595924ad70b7c9539a1e5b5767201e1e459ce49e00324ca6e75606507f76e885e3766d4184c68878ba510d1acf843bf06e8", "sha256": "e8570878e1cc65ac7485d7f922a9e803de9f91b5a590bd9595793fe6ba1df031", "sha1": "d841f236f381ba6f786293b55b704b6b7c22aa73", "md5": "dca18ebb8ff890eb75dc4269e3af860d" } ] }, { "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.9.0" } }, { "group": "de.hhu.stups", "module": "tlatools", "version": { "requires": "1.1.0" } }, { "group": "de.hhu.stups", "module": "prologlib", "version": { "requires": "2.15.2" } }, { "group": "de.hhu.stups", "module": "bparser", "version": { "requires": "2.15.2" } } ], "files": [ { "name": "tla2bAST-1.4.2.jar", "url": "tla2bAST-1.4.2.jar", "size": 160089, "sha512": "7ce613b04a89f8b82e186deb33099595924ad70b7c9539a1e5b5767201e1e459ce49e00324ca6e75606507f76e885e3766d4184c68878ba510d1acf843bf06e8", "sha256": "e8570878e1cc65ac7485d7f922a9e803de9f91b5a590bd9595793fe6ba1df031", "sha1": "d841f236f381ba6f786293b55b704b6b7c22aa73", "md5": "dca18ebb8ff890eb75dc4269e3af860d" } ] }, { "name": "sourcesElements", "attributes": { "org.gradle.category": "documentation", "org.gradle.dependency.bundling": "external", "org.gradle.docstype": "sources", "org.gradle.usage": "java-runtime" }, "files": [ { "name": "tla2bAST-1.4.2-sources.jar", "url": "tla2bAST-1.4.2-sources.jar", "size": 83019, "sha512": "4b84e2fb4411b6c913c76db513a3307e9f2a569707b78897c49c3d4ffbd5c36c1936f59e2a855b555618e2179c0d65d58da03c0546a3619f90c330e17cd799b7", "sha256": "329edc1eb9896cce36d4455f1f015f91a663417efc61dc7244c8114ef33c28ac", "sha1": "106323606d2c591cb60c9fb0378039bcec893325", "md5": "8dae225215f250b40f1606e8120ce0e5" } ] }, { "name": "javadocElements", "attributes": { "org.gradle.category": "documentation", "org.gradle.dependency.bundling": "external", "org.gradle.docstype": "javadoc", "org.gradle.usage": "java-runtime" }, "files": [ { "name": "tla2bAST-1.4.2-javadoc.jar", "url": "tla2bAST-1.4.2-javadoc.jar", "size": 243988, "sha512": "d25e3835ac587f5fad7eb3c84f83f79615ebc325f4b90a985022bc086c1741abdbb4c5316105e45202e497d3eee2a513dc3974c7bf880de64f142d21a9772eab", "sha256": "ef64f7c00306fe642eca885872b570458634e903ca3bb440f11fdc8a757adc25", "sha1": "97060b4b95e7e0af692aa77fcec166b65f908dfa", "md5": "b73ec324801a5185b8240b2252eee636" } ] } ] }