{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "prob-java",
    "version": "4.15.0",
    "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": "answerparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.8.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tlc4b",
          "version": {
            "requires": "1.2.1"
          }
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.17"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "6.0.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.18.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "com.fasterxml.jackson.core",
          "module": "jackson-databind"
        },
        {
          "group": "com.fasterxml.jackson.module",
          "module": "jackson-module-parameter-names"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jsr310"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jdk8"
        }
      ],
      "files": [
        {
          "name": "prob-java-4.15.0.jar",
          "url": "prob-java-4.15.0.jar",
          "size": 70358407,
          "sha512": "41233d6d27fdc057cd91216d0d210dd22da9614104afaac8008b792d3a4da93883266b93e356a2c92478c383770b3a16e51941e30c4d590ae9d8d6076ca2f224",
          "sha256": "27c45cd4ce73ac9cbef2a22882cb106c901295d04367b49b3fd1c3da11318a81",
          "sha1": "8fa21c9b7e24147be23dd2b337c36770b7dbaeda",
          "md5": "bcd54b4f9dd5fa64b0f861e439165305"
        }
      ]
    },
    {
      "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": "de.hhu.stups",
          "module": "prob-java-bom",
          "version": {
            "requires": "4.15.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "de.hhu.stups",
          "module": "alloy2b",
          "version": {
            "requires": "1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tla2bAST",
          "version": {
            "requires": "1.4.1"
          }
        },
        {
          "group": "com.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.guava",
          "module": "guava",
          "version": {
            "requires": "33.4.0-jre"
          }
        },
        {
          "group": "org.apache.velocity",
          "module": "velocity-engine-core",
          "version": {
            "requires": "2.4.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "answerparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.15.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.2.2"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.8.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tlc4b",
          "version": {
            "requires": "1.2.1"
          }
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.17"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "6.0.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.18.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "com.fasterxml.jackson.core",
          "module": "jackson-databind"
        },
        {
          "group": "com.fasterxml.jackson.module",
          "module": "jackson-module-parameter-names"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jsr310"
        },
        {
          "group": "com.fasterxml.jackson.datatype",
          "module": "jackson-datatype-jdk8"
        }
      ],
      "files": [
        {
          "name": "prob-java-4.15.0.jar",
          "url": "prob-java-4.15.0.jar",
          "size": 70358407,
          "sha512": "41233d6d27fdc057cd91216d0d210dd22da9614104afaac8008b792d3a4da93883266b93e356a2c92478c383770b3a16e51941e30c4d590ae9d8d6076ca2f224",
          "sha256": "27c45cd4ce73ac9cbef2a22882cb106c901295d04367b49b3fd1c3da11318a81",
          "sha1": "8fa21c9b7e24147be23dd2b337c36770b7dbaeda",
          "md5": "bcd54b4f9dd5fa64b0f861e439165305"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "prob-java-4.15.0-sources.jar",
          "url": "prob-java-4.15.0-sources.jar",
          "size": 484042,
          "sha512": "c08c34108f8b15470b4226055db709170bcf6dc8de29c431bb518ef4b569ce7685eab0935c692a133355b069c3921eb403ca570b62a9352abaca17b63055123b",
          "sha256": "e275485a003bb3cca843053f305352548992b42f5ef569a0c55fd32981bafd2e",
          "sha1": "cc4981ef77a8c784489215d8d1a3f8fe6c82aec8",
          "md5": "4e210c80d60af45cf023f0400ad0ba90"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "prob-java-4.15.0-javadoc.jar",
          "url": "prob-java-4.15.0-javadoc.jar",
          "size": 1906016,
          "sha512": "45296e2e577653957842f0a0adc717d8bbf699e70b5ae839b148e28940597d38d118ada258a4b984cf4e0bc2b19b0eabd93992a486937ce1510605257f35c133",
          "sha256": "218052720ac66ce17041a87169b99e0e324e498008addd9b26c4e3068827d7c2",
          "sha1": "7391ca810390b2c3c2008124188d19143a6ce316",
          "md5": "3bd14b3711025d790bb1c614703f3b37"
        }
      ]
    }
  ]
}