{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "de.prob2.kernel",
    "version": "4.12.2",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.2.1"
    }
  },
  "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.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "4.0.13"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-jsr223"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-nio"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-xml"
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.7"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "6.0.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.15.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.2.jar",
          "url": "de.prob2.kernel-4.12.2.jar",
          "size": 66687582,
          "sha512": "1bc321812b0fd3436f466d65a5122b01c75e9687f4ae2c3a1f9b02034f9af382453a250fe7c9e328d93670df462f28da34f70bb3a5688ffaff6c5605fb2028a3",
          "sha256": "5a48bc7318b9d1d291dc8daa0d99f57a490718675b7d68aa39225105dba419c3",
          "sha1": "53d96c9738883ad1f26dd77dda06b10ddd8b5636",
          "md5": "0c39049e03457a5da3f14df538b460de"
        }
      ]
    },
    {
      "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.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.guava",
          "module": "guava",
          "version": {
            "requires": "32.1.2-jre"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "alloy2b",
          "version": {
            "requires": "1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tla2bAST",
          "version": {
            "requires": "1.2.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "answerparser",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.12.7"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "4.0.13"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-jsr223"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-nio"
        },
        {
          "group": "org.apache.groovy",
          "module": "groovy-xml"
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.7"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "6.0.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.15.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.2.jar",
          "url": "de.prob2.kernel-4.12.2.jar",
          "size": 66687582,
          "sha512": "1bc321812b0fd3436f466d65a5122b01c75e9687f4ae2c3a1f9b02034f9af382453a250fe7c9e328d93670df462f28da34f70bb3a5688ffaff6c5605fb2028a3",
          "sha256": "5a48bc7318b9d1d291dc8daa0d99f57a490718675b7d68aa39225105dba419c3",
          "sha1": "53d96c9738883ad1f26dd77dda06b10ddd8b5636",
          "md5": "0c39049e03457a5da3f14df538b460de"
        }
      ]
    },
    {
      "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.2-sources.jar",
          "url": "de.prob2.kernel-4.12.2-sources.jar",
          "size": 442913,
          "sha512": "88100a94ba248d8ae24a10cfb4e63299083cb79be12ac3751ce72b8e18c1592dc0a80e3fd7dcb401756f07aec767d5b33d3a25aafe20d17c86de0055c9e8c31b",
          "sha256": "d146dc2bc88454690e3ca8f87990aac822b31fd9a6f6da1c2d316e1730a17e2f",
          "sha1": "cc8ce828e36886c86f68d3e0ee5f2e80e5ab18de",
          "md5": "392e3a183be8cab6eb12c0f7cd9d4b05"
        }
      ]
    },
    {
      "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.2-javadoc.jar",
          "url": "de.prob2.kernel-4.12.2-javadoc.jar",
          "size": 1802771,
          "sha512": "ea736435ed8f6367c2ec2fc8fbe081a0d007341497b6743f4a6a92cee5d2db8824578890407a8f567a4449e188623f6e5f379aaa44043e6fd8dca33703c64b06",
          "sha256": "e61b64cce5af78776e0bf7d92bd6bec64885cf5e958a23b7f0bc4763247e4835",
          "sha1": "6f3249104dff927c764b9ee0cd12126e4122a843",
          "md5": "82b82536e23a4ce39aaeb34fb9a293e6"
        }
      ]
    }
  ]
}