{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.10.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.9"
    }
  },
  "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.10.0.jar",
          "url": "DafnyRuntime-4.10.0.jar",
          "size": 159922,
          "sha512": "c9b3dded2781d655f7358a38164b48a34af6df51348ad1e5e0005346ef0bfa9173991eae4150693500918a61e7ab5f647a2caf26337fc9345cd5bfc67b9efabf",
          "sha256": "eab495b951e6d8949e5babecf6f633611230084f56d4e3fa3aa33b64f0862d2c",
          "sha1": "2c19ecc2a79439562035a1206c6808f4fda8dc12",
          "md5": "5d94498a1a1432ce53737e2115dc79ed"
        }
      ]
    },
    {
      "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.10.0.jar",
          "url": "DafnyRuntime-4.10.0.jar",
          "size": 159922,
          "sha512": "c9b3dded2781d655f7358a38164b48a34af6df51348ad1e5e0005346ef0bfa9173991eae4150693500918a61e7ab5f647a2caf26337fc9345cd5bfc67b9efabf",
          "sha256": "eab495b951e6d8949e5babecf6f633611230084f56d4e3fa3aa33b64f0862d2c",
          "sha1": "2c19ecc2a79439562035a1206c6808f4fda8dc12",
          "md5": "5d94498a1a1432ce53737e2115dc79ed"
        }
      ]
    },
    {
      "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.10.0-javadoc.jar",
          "url": "DafnyRuntime-4.10.0-javadoc.jar",
          "size": 315909,
          "sha512": "b4156a1afe1bb201a885846d8b8d7e822d02fbe7a0c462488da3ae3c6df254680531e8f7689cea79bbccfd7ab5ff9e3d6bac46f250f32caeec3c71770bf983b0",
          "sha256": "70a393b42beb6db96746b6a7721f9e81946fce03b90cb75fe1c9be5b38144a2a",
          "sha1": "c0493d33c9c943d7ee6335007bf2404c1af13e0c",
          "md5": "f0af398101d76d1cfcc9f25beb99e01b"
        }
      ]
    },
    {
      "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.10.0-sources.jar",
          "url": "DafnyRuntime-4.10.0-sources.jar",
          "size": 69882,
          "sha512": "ee2b6ee90948eaafb6076909bbc671a9949a52644e5a3b334d0034e0748e76388e12077551bfcee0f95c044797a3e4a968be23e1d770dd3b5cd35b610a2064b8",
          "sha256": "87826c21f3f01c15d286e6dd01f3cf7c924898a816734994f77bed63025608ed",
          "sha1": "c70b032edac172e30eb5bf1f15d427076e6f2e9c",
          "md5": "06cbd85d41d8c5c787a3f5196cef83f0"
        }
      ]
    }
  ]
}