{
  "formatVersion": "1.1",
  "component": {
    "group": "software.amazon.smithy.dafny",
    "module": "conversion",
    "version": "0.1.1",
    "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": 8,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "conversion-0.1.1.jar",
          "url": "conversion-0.1.1.jar",
          "size": 9583,
          "sha512": "8e7cd6326d8c227e5c7a866469dbf715f2ab16f126726ffd5bbd3b4205fda81aab4ddf3eea0ec82fc133e02e66b0d25b7a3b0bc9b0b40528d93a68dac0a71a30",
          "sha256": "3860762a2b66eb13c2c0e46bab185cf37ebc9e3054aa09950585ac401b4ee9d7",
          "sha1": "32701c09889b06bd9541fae1aed0e8ade590188a",
          "md5": "aca5f4d4fee670e4afce3100d57b17de"
        }
      ]
    },
    {
      "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": "org.dafny",
          "module": "DafnyRuntime",
          "version": {
            "requires": "4.1.0"
          }
        }
      ],
      "files": [
        {
          "name": "conversion-0.1.1.jar",
          "url": "conversion-0.1.1.jar",
          "size": 9583,
          "sha512": "8e7cd6326d8c227e5c7a866469dbf715f2ab16f126726ffd5bbd3b4205fda81aab4ddf3eea0ec82fc133e02e66b0d25b7a3b0bc9b0b40528d93a68dac0a71a30",
          "sha256": "3860762a2b66eb13c2c0e46bab185cf37ebc9e3054aa09950585ac401b4ee9d7",
          "sha1": "32701c09889b06bd9541fae1aed0e8ade590188a",
          "md5": "aca5f4d4fee670e4afce3100d57b17de"
        }
      ]
    }
  ]
}