{
  "formatVersion": "1.1",
  "component": {
    "group": "org.key-project",
    "module": "keyext.proofmanagement",
    "version": "2.12.4-SNAPSHOT",
    "attributes": {
      "org.gradle.status": "integration"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.13"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "keyext.proofmanagement-2.12.4-SNAPSHOT.jar",
          "url": "keyext.proofmanagement-2.12.4-SNAPSHOT.jar",
          "size": 97816,
          "sha512": "05b6f0469205693f8743c82cb015ae751224c5befb083e17fe1845ca3ac76ed145d3726135e4734123cbd62b066aee57d46db6bd116ba0cf74d48fee20782964",
          "sha256": "30f769fde32deaf95c39e2fdd1cd2bbc08e86b0286a05e5f1850b417a97d13eb",
          "sha1": "82eaea2b6dc093bb8c72d0d3e0f6bb341ae79767",
          "md5": "bc57285fc64baa91d1ec513ba50bb209"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "dependencies": [
        {
          "group": "org.slf4j",
          "module": "slf4j-api",
          "version": {
            "requires": "2.0.17"
          }
        },
        {
          "group": "org.key-project",
          "module": "key.core",
          "version": {
            "requires": "2.12.4-SNAPSHOT"
          }
        },
        {
          "group": "org.key-project",
          "module": "key.ui",
          "version": {
            "requires": "2.12.4-SNAPSHOT"
          }
        },
        {
          "group": "org.antlr",
          "module": "ST4",
          "version": {
            "requires": "4.3.4"
          }
        }
      ],
      "files": [
        {
          "name": "keyext.proofmanagement-2.12.4-SNAPSHOT.jar",
          "url": "keyext.proofmanagement-2.12.4-SNAPSHOT.jar",
          "size": 97816,
          "sha512": "05b6f0469205693f8743c82cb015ae751224c5befb083e17fe1845ca3ac76ed145d3726135e4734123cbd62b066aee57d46db6bd116ba0cf74d48fee20782964",
          "sha256": "30f769fde32deaf95c39e2fdd1cd2bbc08e86b0286a05e5f1850b417a97d13eb",
          "sha1": "82eaea2b6dc093bb8c72d0d3e0f6bb341ae79767",
          "md5": "bc57285fc64baa91d1ec513ba50bb209"
        }
      ]
    },
    {
      "name": "shadowRuntimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "shadowed",
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "keyext.proofmanagement-2.12.4-SNAPSHOT-exe.jar",
          "url": "keyext.proofmanagement-2.12.4-SNAPSHOT-exe.jar",
          "size": 21937460,
          "sha512": "013b42f932128bfc6ea6addce501ae8cb28789620cb15e0bde58dc30314409242b6161bc2e64fdd9fce1173f80119ae5caf9a722517929ba7a45bc2e4f0cd78f",
          "sha256": "7a3bf9515d1c0ab8b0bbc4bad7560a6386c3f5b392005f61e86e7755f95530d3",
          "sha1": "1451ee78b4beb161479806c829e105aeb3c28129",
          "md5": "15006c37642d0bd9b9abee01f6412031"
        }
      ]
    }
  ]
}