{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.9.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.4-rc-3"
    }
  },
  "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.9.0.jar",
          "url": "DafnyRuntime-4.9.0.jar",
          "size": 159922,
          "sha512": "aa8fdc62ec6e4f035ce96093379b3b237b4cbf436760d5558319412ab5c473ec503d5804c24c77707128e408a7ffbe376178a947f139d1278f16ad4ec10fa9b1",
          "sha256": "ed323b76806f8dc517fc2e3724e8f523912b85c27e062208ad0da0aafa911793",
          "sha1": "fdc7cdb16998e11a04cd9f29bd20423be6e5bc7a",
          "md5": "981b6540e4c56531c8bbd3ff37b0a99b"
        }
      ]
    },
    {
      "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.9.0.jar",
          "url": "DafnyRuntime-4.9.0.jar",
          "size": 159922,
          "sha512": "aa8fdc62ec6e4f035ce96093379b3b237b4cbf436760d5558319412ab5c473ec503d5804c24c77707128e408a7ffbe376178a947f139d1278f16ad4ec10fa9b1",
          "sha256": "ed323b76806f8dc517fc2e3724e8f523912b85c27e062208ad0da0aafa911793",
          "sha1": "fdc7cdb16998e11a04cd9f29bd20423be6e5bc7a",
          "md5": "981b6540e4c56531c8bbd3ff37b0a99b"
        }
      ]
    },
    {
      "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.9.0-javadoc.jar",
          "url": "DafnyRuntime-4.9.0-javadoc.jar",
          "size": 323537,
          "sha512": "b8913545e48158e42343389b0d5a23102cde08736aee883cc37b677cbfc03f1b8ed51d4eef3a651ab8a59b75102c1e90937d0a2d143c53378efa00c620cbfa10",
          "sha256": "548dabc5b9ff7b7e4d9629dc32357bda410c9a23b0fdfc4a1d8ba75192d6aedf",
          "sha1": "81ac7afaa8514e11abfe2d25ec50d68df89485f3",
          "md5": "43844ff2dcff6879c80e5bd456cbe9e6"
        }
      ]
    },
    {
      "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.9.0-sources.jar",
          "url": "DafnyRuntime-4.9.0-sources.jar",
          "size": 69563,
          "sha512": "44a217f0321fc4856a41b5410fd5a39f2c062e34d0896bc16d1ab8c4a442f7bed1e40168f891a51b92aef5240e69d9c8b97ee58ddc31706176c8d6d1ca289dd2",
          "sha256": "4760e10d1038a57acfb965796b977e6504c968dcd30a927e13986aa9b700ab00",
          "sha1": "288d43d43522c1628b70232a21bb228a5a728718",
          "md5": "49ab65a48be67f9441d65a6281177898"
        }
      ]
    }
  ]
}