{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.11.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.14"
    }
  },
  "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": "DafnyRuntime-4.11.0.jar",
          "url": "DafnyRuntime-4.11.0.jar",
          "size": 160303,
          "sha512": "c6221b54e3ccc7455fab6f72da8825d1546a81efe99c4c1459b661b12dc61211da6e46b6b48d5660ae390f1ba9419723e6d1b32e675ca0049e120d4919a1da33",
          "sha256": "366878a793a99721b408afa993d57744a9016b4135be585e7b9c663a24350174",
          "sha1": "b57e85f87ff2569af7c9f42b23c0113eb81c6853",
          "md5": "dc7793faf9eb8a42040aaff318a5a2f5"
        }
      ]
    },
    {
      "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"
      },
      "files": [
        {
          "name": "DafnyRuntime-4.11.0.jar",
          "url": "DafnyRuntime-4.11.0.jar",
          "size": 160303,
          "sha512": "c6221b54e3ccc7455fab6f72da8825d1546a81efe99c4c1459b661b12dc61211da6e46b6b48d5660ae390f1ba9419723e6d1b32e675ca0049e120d4919a1da33",
          "sha256": "366878a793a99721b408afa993d57744a9016b4135be585e7b9c663a24350174",
          "sha1": "b57e85f87ff2569af7c9f42b23c0113eb81c6853",
          "md5": "dc7793faf9eb8a42040aaff318a5a2f5"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "DafnyRuntime-4.11.0-javadoc.jar",
          "url": "DafnyRuntime-4.11.0-javadoc.jar",
          "size": 333825,
          "sha512": "40d3598446b06909235546f590be234f5b89f4a69d5324ac96310a16eeb1575fe52de741d7189cbe94af30ab82e7a84af5e08e5370b17ca711920424eb36469d",
          "sha256": "417fa7a3a273971c7f733a6e9735419ef026006a502f779ddbb55d5f95e94bdb",
          "sha1": "3759adde63b74489ffb27dc3726ddce22b6bc176",
          "md5": "2a3070905641fce20ab88b656eb9a3de"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "DafnyRuntime-4.11.0-sources.jar",
          "url": "DafnyRuntime-4.11.0-sources.jar",
          "size": 69562,
          "sha512": "b8f9f0ed066e92239c0e7e97b24c3bdeae265c2335a20a17ca81c4b8325210d7dafeede407e14ce39d5f695b973083db0c4c76e2b558b4b97aef9c4f0ad1ea4d",
          "sha256": "7538a4c2bf01f5f03d2a6200b711a3646b2c349b038251dc58354203dc34d540",
          "sha1": "9bd4b255aa60eab7319db2cc9f57c03188d85880",
          "md5": "d45c4663e72bfbe4a9d35b397a10982f"
        }
      ]
    }
  ]
}