{
  "formatVersion": "1.1",
  "component": {
    "group": "software.amazon.smithy.dafny",
    "module": "conversion",
    "version": "0.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.jar",
          "url": "conversion-0.1.jar",
          "size": 9507,
          "sha512": "6abaa59c82faa221173d6e4a105074ef10830590eef94aef4d8a05bf09707c3966e97c6aeba03098c7173d42d2a87b770cfcff0d0df03a737433ffa229e5bcc2",
          "sha256": "73d94e52b859745a47dd523ffa2d9b5f49f76b5edd7e5da540fb8b01af81fb40",
          "sha1": "6c12d46ef779adce1cace51b20c65e181a0eab73",
          "md5": "6677d9b1aff9fc1d0edf900b709cb069"
        }
      ]
    },
    {
      "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.jar",
          "url": "conversion-0.1.jar",
          "size": 9507,
          "sha512": "6abaa59c82faa221173d6e4a105074ef10830590eef94aef4d8a05bf09707c3966e97c6aeba03098c7173d42d2a87b770cfcff0d0df03a737433ffa229e5bcc2",
          "sha256": "73d94e52b859745a47dd523ffa2d9b5f49f76b5edd7e5da540fb8b01af81fb40",
          "sha1": "6c12d46ef779adce1cace51b20c65e181a0eab73",
          "md5": "6677d9b1aff9fc1d0edf900b709cb069"
        }
      ]
    }
  ]
}