{
  "formatVersion": "1.1",
  "component": {
    "group": "de.hhu.stups",
    "module": "de.prob2.kernel",
    "version": "3.15.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "7.2"
    }
  },
  "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.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.2"
          }
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "3.0.9"
          },
          "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": "1.7.32"
          }
        },
        {
          "group": "com.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "5.0.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.12.5"
          },
          "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-3.15.0.jar",
          "url": "de.prob2.kernel-3.15.0.jar",
          "size": 40182748,
          "sha512": "41117123dc54643d254470420bba414ac3d6f3e51fd3ef46e481fb9581205a89528e7dfeb0bd164624c674573aed0c61408450421faf11c811db7663ad0d2e91",
          "sha256": "0363c03f938d1e7bac7fed457480861c2deb69b723ff0a7a5fc28115a98e9e21",
          "sha1": "35eaedc70b785542c724e26bbec3ef93c42ccd8d",
          "md5": "51d0b41e0d5aab62cfa1172fff9603fc"
        }
      ]
    },
    {
      "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.1"
          }
        },
        {
          "group": "com.google.guava",
          "module": "guava",
          "version": {
            "requires": "30.1.1-jre"
          }
        },
        {
          "group": "com.google.code.gson",
          "module": "gson",
          "version": {
            "requires": "2.8.8"
          }
        },
        {
          "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.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "bparser",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltlparser",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "parserbase",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "prologlib",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "unicode",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "theorymapping",
          "version": {
            "requires": "2.9.32"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "value-translator",
          "version": {
            "requires": "0.1.2"
          }
        },
        {
          "group": "org.codehaus.groovy",
          "module": "groovy-bom",
          "version": {
            "requires": "3.0.9"
          },
          "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": "1.7.32"
          }
        },
        {
          "group": "com.github.krukow",
          "module": "clj-ds",
          "version": {
            "requires": "0.0.4"
          }
        },
        {
          "group": "com.google.inject",
          "module": "guice",
          "version": {
            "requires": "5.0.1"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "ltl-dsl",
          "version": {
            "requires": "0.1.3"
          }
        },
        {
          "group": "de.hhu.stups",
          "module": "rodin-eventb-ast",
          "version": {
            "requires": "3.2.0"
          }
        },
        {
          "group": "com.fasterxml.jackson",
          "module": "jackson-bom",
          "version": {
            "requires": "2.12.5"
          },
          "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-3.15.0.jar",
          "url": "de.prob2.kernel-3.15.0.jar",
          "size": 40182748,
          "sha512": "41117123dc54643d254470420bba414ac3d6f3e51fd3ef46e481fb9581205a89528e7dfeb0bd164624c674573aed0c61408450421faf11c811db7663ad0d2e91",
          "sha256": "0363c03f938d1e7bac7fed457480861c2deb69b723ff0a7a5fc28115a98e9e21",
          "sha1": "35eaedc70b785542c724e26bbec3ef93c42ccd8d",
          "md5": "51d0b41e0d5aab62cfa1172fff9603fc"
        }
      ]
    },
    {
      "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-3.15.0-sources.jar",
          "url": "de.prob2.kernel-3.15.0-sources.jar",
          "size": 39667778,
          "sha512": "129bd3751dbadf78bafb0b70e681e06316d8483274580d3ef227808c92f25d13fb63a6e1f79e8857a606967b01e0ddcf858b479c9165e6018fb5881043f53184",
          "sha256": "20b94a9190f297297d865f4cbbb086a49e772ca0a5206b16e9ab25a6cd367917",
          "sha1": "3686f7f6c195a870c802a3a6cfa1786237ec6e07",
          "md5": "ee6817f40da8021ae9315b7171154a26"
        }
      ]
    },
    {
      "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-3.15.0-javadoc.jar",
          "url": "de.prob2.kernel-3.15.0-javadoc.jar",
          "size": 1884101,
          "sha512": "0c1963c3cdf688a45c3a7bd470d1f1bdf8ea38f7e5002079e921f59afbb9d693b374f47765b6891493a4aa6afb2cb228cfc9ae2353ce0c0e3fb71c99f510f4ae",
          "sha256": "35063ac51c36e62b7cb19e6201cf7f1ce2c537152af7e69a1559ce9afbd1b797",
          "sha1": "ed9a5fee10406deabc188554d52f1ff31bd86106",
          "md5": "86e0cbd04bc847e759513c225bd219c2"
        }
      ]
    }
  ]
}