{
  "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": "ebd32ac3a470ed57dd2053c591431254ff2c170ca7da992a52211e1b0eb7a3bb3730e0de2f980f1d11f1f7c6a509aa6275017d02753a90bc7802282408bea001",
          "sha256": "c6a5d2500ef72574b02329b8a5bd9d4d01bf1d6f85fad84993f75eac60fb31f8",
          "sha1": "ee4d7f24e57597d44883b9793f95b3ff137d35b2",
          "md5": "a01a8ca863734f1287bec6adeb736711"
        }
      ]
    },
    {
      "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": "ebd32ac3a470ed57dd2053c591431254ff2c170ca7da992a52211e1b0eb7a3bb3730e0de2f980f1d11f1f7c6a509aa6275017d02753a90bc7802282408bea001",
          "sha256": "c6a5d2500ef72574b02329b8a5bd9d4d01bf1d6f85fad84993f75eac60fb31f8",
          "sha1": "ee4d7f24e57597d44883b9793f95b3ff137d35b2",
          "md5": "a01a8ca863734f1287bec6adeb736711"
        }
      ]
    },
    {
      "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": 21937461,
          "sha512": "2875e094ac3b8fe1ec01ae0949f6af37474f8e82a33d9a2b0f92d4cd3a7719204d6e5a30587cb39611dfafaa8f4d0da279dd45009c62b2e4ef10d05b127d5c61",
          "sha256": "3e23306394a39ecb61cf9318f5414d1786f904d60c4c84ddfdb85f86b9acef3a",
          "sha1": "795cb1d5a3ad7ed38ae43941e618a17f02366f87",
          "md5": "c22da5671f0a21e168290623e89821e3"
        }
      ]
    }
  ]
}