{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "de.prob2.kernel",
    "version": "4.12.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "7.6"
    }
  },
  "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": "answerparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.2"
          }
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "3.0.17"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-jsr223"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-nio"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-xml"
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.7"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "5.1.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.14.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "com.fasterxml.jackson.core",
          "module": "jackson-databind"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jsr310"
        }
      ],
      "files": [
        {
          "name": "de.prob2.kernel-4.12.0.jar",
          "url": "de.prob2.kernel-4.12.0.jar",
          "size": 53773694,
          "sha512": "6049b9312ec3e288429b84ca9507d54d9cfc650a60bb84b11cf04911e5353d69dff12eae32dbcd06e2a0a01b3c8aef066166289ccdb2d6632624e8e19e799c03",
          "sha256": "57b3079e267672b77de083cdc3264d3025d703ca7e03ef5e28ab927b612c4ec4",
          "sha1": "c2bc9bd3f4a42f65439e21654043180e8c0559bf",
          "md5": "a648f8bf75813c7314a3d7cc5c2bfeb2"
        }
      ]
    },
    {
      "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": "com.fatboyindustrial.gson-javatime-serialisers",
          "module": "gson-javatime-serialisers",
          "version": {
            "requires": "1.1.2"
          }
        },
        {
          "group": "com.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.guava",
          "module": "guava",
          "version": {
            "requires": "31.1-jre"
          }
        },
        {
          "group": "com.google.code.gson",
          "module": "gson",
          "version": {
            "requires": "2.10.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "alloy2b",
          "version": {
            "requires": "1.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tla2bAST",
          "version": {
            "requires": "1.1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "answerparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.12.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.2"
          }
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "3.0.17"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-jsr223"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-nio"
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-xml"
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.7"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "5.1.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.14.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "com.fasterxml.jackson.core",
          "module": "jackson-databind"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jsr310"
        }
      ],
      "files": [
        {
          "name": "de.prob2.kernel-4.12.0.jar",
          "url": "de.prob2.kernel-4.12.0.jar",
          "size": 53773694,
          "sha512": "6049b9312ec3e288429b84ca9507d54d9cfc650a60bb84b11cf04911e5353d69dff12eae32dbcd06e2a0a01b3c8aef066166289ccdb2d6632624e8e19e799c03",
          "sha256": "57b3079e267672b77de083cdc3264d3025d703ca7e03ef5e28ab927b612c4ec4",
          "sha1": "c2bc9bd3f4a42f65439e21654043180e8c0559bf",
          "md5": "a648f8bf75813c7314a3d7cc5c2bfeb2"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "de.prob2.kernel-4.12.0-sources.jar",
          "url": "de.prob2.kernel-4.12.0-sources.jar",
          "size": 496299,
          "sha512": "f90d274b7f624a51714623d35bf6eccd698717fd703ddd30c117a3d211dd40eb0ac91e09ef4518eadbb34fe47265574a924606b8d521586529d408083db72738",
          "sha256": "82be9691bf49c85154229e30953316f048fbac56c1666946c1a12b78d8d66c78",
          "sha1": "31bfdea8de91136bb467665f168693f86a1d87bc",
          "md5": "9654ddda1d68f49cb5e0a53299071ab6"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "de.prob2.kernel-4.12.0-javadoc.jar",
          "url": "de.prob2.kernel-4.12.0-javadoc.jar",
          "size": 1992689,
          "sha512": "dc836e67f7db5959f618ce4c4fa5818bfada0acec06e3141f556bd64219d8701a68f88919ec69276d010215f29a5a531456392e5e71d746cfbea6de7832ad6ea",
          "sha256": "6637799a207d86c346da2ad02af4979d1c633e2b0aaf00079f153f740c8acfc4",
          "sha1": "d766fa58201c2d966c1bf525fa2b602f82b1f2cc",
          "md5": "eb1f17940f89716bb3b79312a723896f"
        }
      ]
    }
  ]
}