{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "dafny-gradle-plugin",
    "version": "0.2.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.12"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 17,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "dafny-gradle-plugin-0.2.0.jar",
          "url": "dafny-gradle-plugin-0.2.0.jar",
          "size": 14035,
          "sha512": "297bbd586d4c27db143be3946ca9375f024235b4c370bcc0fd467b9536f4994431945ddc2c9b3fba3238730a7bce117190cff4fc5be7db9e056fbb30a52962a0",
          "sha256": "a2a623ab78be627d5e07070de7876dc410e89da6be566a207bf42f5e276cb090",
          "sha1": "fbd540ce8714a3857a8e78ce0a142b7a91192889",
          "md5": "569831ce1bdc04b6a484a9d53b60e639"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 17,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "dependencies": [
        {
          "group": "org.semver4j",
          "module": "semver4j",
          "version": {
            "requires": "5.4.1"
          }
        }
      ],
      "files": [
        {
          "name": "dafny-gradle-plugin-0.2.0.jar",
          "url": "dafny-gradle-plugin-0.2.0.jar",
          "size": 14035,
          "sha512": "297bbd586d4c27db143be3946ca9375f024235b4c370bcc0fd467b9536f4994431945ddc2c9b3fba3238730a7bce117190cff4fc5be7db9e056fbb30a52962a0",
          "sha256": "a2a623ab78be627d5e07070de7876dc410e89da6be566a207bf42f5e276cb090",
          "sha1": "fbd540ce8714a3857a8e78ce0a142b7a91192889",
          "md5": "569831ce1bdc04b6a484a9d53b60e639"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "dafny-gradle-plugin-0.2.0-javadoc.jar",
          "url": "dafny-gradle-plugin-0.2.0-javadoc.jar",
          "size": 107389,
          "sha512": "c0463b237a6513ff79039d97182f2d4073eef4ae7e2a6c68eaa9097719924a11b8bb1184920b89decf657eee7164ee1ec4b4032ea611b824eed1c422d8c97074",
          "sha256": "dbac18a32ca87904be1d65baccb9c32beec05de87085df5a77a6a880943a7e56",
          "sha1": "5b9d336157861b62568a5b55aa422cd5e122b6b4",
          "md5": "7bdfc4553d8664d729e30b5d93dce147"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "dafny-gradle-plugin-0.2.0-sources.jar",
          "url": "dafny-gradle-plugin-0.2.0-sources.jar",
          "size": 6264,
          "sha512": "534d37c58292c1370357d01d7c46ba8e297810271f91432f2154b7be901b95bed44dc5e0ce6c370be99a825eeb5a41bd33a0888d197e9cc1636c44db82fbfa30",
          "sha256": "08ea3286134262835748082c51bbc939c3706b5594914b7f5e4c3ac4d6cb95bf",
          "sha1": "384850de333b6d036b7596cd182ce42d450dfb6f",
          "md5": "a27b2def42061b798979e75d1642597e"
        }
      ]
    }
  ]
}