{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "prob-java",
    "version": "4.13.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.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.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.11"
          }
        },
        {
          "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.8.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.16.1"
          },
          "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.13.0.jar",
          "url": "prob-java-4.13.0.jar",
          "size": 71867403,
          "sha512": "e03689cf443df7ef739a2c3c0529fadf66aef6db500dbbd5113be95cd7faeb33f3e3a09cb3b6807ba54286d4a2e84f7290ffa9a56d0482368cd85c694ee30994",
          "sha256": "b25f2f754b8f3d5bee46d7db0ec1fca0ada7979da067dce05b2fc27e94be131c",
          "sha1": "d1985306454860ced303a11c8a2c6b0ead2d45aa",
          "md5": "d6ce230c8006b7c4e4c83683561e3b1b"
        }
      ]
    },
    {
      "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.13.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "com.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.guava",
          "module": "guava",
          "version": {
            "requires": "33.0.0-jre"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "alloy2b",
          "version": {
            "requires": "1.4"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "tla2bAST",
          "version": {
            "requires": "1.2.1"
          }
        },
        {
          "group": "org.apache.velocity",
          "module": "velocity-engine-core",
          "version": {
            "requires": "2.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "answerparser",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.13.0"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.11"
          }
        },
        {
          "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.8.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.16.1"
          },
          "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.13.0.jar",
          "url": "prob-java-4.13.0.jar",
          "size": 71867403,
          "sha512": "e03689cf443df7ef739a2c3c0529fadf66aef6db500dbbd5113be95cd7faeb33f3e3a09cb3b6807ba54286d4a2e84f7290ffa9a56d0482368cd85c694ee30994",
          "sha256": "b25f2f754b8f3d5bee46d7db0ec1fca0ada7979da067dce05b2fc27e94be131c",
          "sha1": "d1985306454860ced303a11c8a2c6b0ead2d45aa",
          "md5": "d6ce230c8006b7c4e4c83683561e3b1b"
        }
      ]
    },
    {
      "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.13.0-sources.jar",
          "url": "prob-java-4.13.0-sources.jar",
          "size": 444850,
          "sha512": "65f16898a30e173127282371d55c94f9bab4e5fd5b8c020300a1c5dc692c503e8dfe62a9a085e35aad7aa5a63900e0b9724011705083a217fdd0c45290a331c9",
          "sha256": "09a43519f18ed4d15918613d5022ddbd92c68450aadc35033dccec88af2effbf",
          "sha1": "5b4eee75d4e00ce4e32e3c23bbf49d15a8192cc4",
          "md5": "0aa8386e807622a61f779d70230313e4"
        }
      ]
    },
    {
      "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.13.0-javadoc.jar",
          "url": "prob-java-4.13.0-javadoc.jar",
          "size": 1799423,
          "sha512": "238aa6dda51bf3c990c2a57ce99cdaaf73aaab9af84bb0e499178fc5a331c478c454dfb54ada837321127c21805dc38ad0e5b2b7874bc52ead9676a39cd60f8e",
          "sha256": "9637ead9d819b696ff74bb3fe7f04ab6d1df7845e3817a92e51b5efe95881491",
          "sha1": "8d37c868db514b8552e766b9c97321995a8acd4c",
          "md5": "59c6f8ddef762fa4a818d22302d4c222"
        }
      ]
    }
  ]
}