{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "dafny-gradle-plugin",
    "version": "0.1.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "7.6"
    }
  },
  "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.1.0.jar",
          "url": "dafny-gradle-plugin-0.1.0.jar",
          "size": 14122,
          "sha512": "99c1defd4674303fad2a7894cb274b2c9828b650e115b92b028bc370b9b2edfb78bd5937f368b7d0c087c28c0ce4de37b36153aefa4bd4bbd991063eb6803af4",
          "sha256": "3bf9176f67f536398e020040d3beec21206c6933705e66c388bf7bcf0ec983cd",
          "sha1": "e7f2b1249dbdd0df3f8119e3f4481c3463e85124",
          "md5": "2737b04b00d679b28361f4cd56f8fb0f"
        }
      ]
    },
    {
      "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"
      },
      "files": [
        {
          "name": "dafny-gradle-plugin-0.1.0.jar",
          "url": "dafny-gradle-plugin-0.1.0.jar",
          "size": 14122,
          "sha512": "99c1defd4674303fad2a7894cb274b2c9828b650e115b92b028bc370b9b2edfb78bd5937f368b7d0c087c28c0ce4de37b36153aefa4bd4bbd991063eb6803af4",
          "sha256": "3bf9176f67f536398e020040d3beec21206c6933705e66c388bf7bcf0ec983cd",
          "sha1": "e7f2b1249dbdd0df3f8119e3f4481c3463e85124",
          "md5": "2737b04b00d679b28361f4cd56f8fb0f"
        }
      ]
    },
    {
      "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.1.0-javadoc.jar",
          "url": "dafny-gradle-plugin-0.1.0-javadoc.jar",
          "size": 108224,
          "sha512": "a6b02dfd06ee6a1f9542bc1ae81b5e79da91e9e40b30841ed0411c876735e7467395ed3db3270c9720b380072dc120ee3ac22aecb2b0e274bcea170cf2cf4081",
          "sha256": "8cd0eb638e0a9dce5760e6becaabfa01841200379db420f7a1c4523f96313a61",
          "sha1": "2dfdb14594149ebb8e0ee98aee3f4c5debf16fc6",
          "md5": "dca631729d3875eb9113edfbd651eec6"
        }
      ]
    },
    {
      "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.1.0-sources.jar",
          "url": "dafny-gradle-plugin-0.1.0-sources.jar",
          "size": 6305,
          "sha512": "84b56d11cc5e18fcfea38c6289139933e387080623a93cd98b44e71f6e01a76f75c9ed0ef72bf1b8fd8890e4015c5b87229986e92b7548c35c964c7f6017a6ac",
          "sha256": "0660debcc98c761f9b23055be42a948c98e5c818220d3d6612d50a6450924b0b",
          "sha1": "e1d0b588b8f81c6380c0706c3da9829065b5d5d3",
          "md5": "9f2a31392ad5c086df2865581caa12d4"
        }
      ]
    }
  ]
}