{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.8.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.8.0.jar",
          "url": "DafnyRuntime-4.8.0.jar",
          "size": 159042,
          "sha512": "2bd21f884d80f89ff78e2805034eb7875636c329c53648354a33ede7b3381e86ef6fda0db5ca875751c9aaf4751585f4514f14d060c308af4a9083c8602e2ea5",
          "sha256": "8db30539f22461700cb06a0abc4f88c3450b8164694075a42416def9c952c237",
          "sha1": "ee62e07cffe34fecb8528718d8e20c118f0ea914",
          "md5": "21f2164ab60c789981cb111ce7eb8cf7"
        }
      ]
    },
    {
      "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.8.0.jar",
          "url": "DafnyRuntime-4.8.0.jar",
          "size": 159042,
          "sha512": "2bd21f884d80f89ff78e2805034eb7875636c329c53648354a33ede7b3381e86ef6fda0db5ca875751c9aaf4751585f4514f14d060c308af4a9083c8602e2ea5",
          "sha256": "8db30539f22461700cb06a0abc4f88c3450b8164694075a42416def9c952c237",
          "sha1": "ee62e07cffe34fecb8528718d8e20c118f0ea914",
          "md5": "21f2164ab60c789981cb111ce7eb8cf7"
        }
      ]
    },
    {
      "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.8.0-javadoc.jar",
          "url": "DafnyRuntime-4.8.0-javadoc.jar",
          "size": 247695,
          "sha512": "f2ee819c955889aef9bebbdb6d39844796b848302f73b3b951b35738d491204f42570f7e58d2d6194311125d415466bb2015b68172de480cf35d04eb865a6805",
          "sha256": "fd83850ee45f322397e4f914681ca457bacebe12f14ce002bdc9ad8e1c71ba26",
          "sha1": "a5f4e8f5689d4b0766697577e80295c9b46286f0",
          "md5": "57dcec0c4a96ad06a58141682d8601fb"
        }
      ]
    },
    {
      "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.8.0-sources.jar",
          "url": "DafnyRuntime-4.8.0-sources.jar",
          "size": 69563,
          "sha512": "f0d5ce0790ab6aedf75f3fb01a5257982ab1bfaf517a6d2b10b93ff745b21096ee1e3abc917b5d2a87571ce15212d76d91eff4e24479a46211101ed08ca91bbb",
          "sha256": "c684b333ddb7f8988fe9ce69548a5dfdc8a68b06bc8cd0ad9320918fed4013d9",
          "sha1": "89562d810050236f5504a1790705533d5330ebb0",
          "md5": "3256ea620aab299c195ef7aa4d277ebf"
        }
      ]
    }
  ]
}