{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.2.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.1.1"
    }
  },
  "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.2.0.jar",
          "url": "DafnyRuntime-4.2.0.jar",
          "size": 119033,
          "sha512": "74e10e08dd928edc2e39f3ebf2095be7c2b27a792695f27765b0cd836d7e36c627c9aa6733f060fc321a6f32787f4919792c5d3ceb96848ebc447705238700e6",
          "sha256": "b1c16f4b12358497fb1f2c27a62cd900cc94fb3bdd52c36c31dcc0c073cada97",
          "sha1": "2ddf919733af2bc6464f5a293e4eb010aff8d7a6",
          "md5": "112042912e6dd8555341ebd466aefcee"
        }
      ]
    },
    {
      "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.2.0.jar",
          "url": "DafnyRuntime-4.2.0.jar",
          "size": 119033,
          "sha512": "74e10e08dd928edc2e39f3ebf2095be7c2b27a792695f27765b0cd836d7e36c627c9aa6733f060fc321a6f32787f4919792c5d3ceb96848ebc447705238700e6",
          "sha256": "b1c16f4b12358497fb1f2c27a62cd900cc94fb3bdd52c36c31dcc0c073cada97",
          "sha1": "2ddf919733af2bc6464f5a293e4eb010aff8d7a6",
          "md5": "112042912e6dd8555341ebd466aefcee"
        }
      ]
    },
    {
      "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.2.0-javadoc.jar",
          "url": "DafnyRuntime-4.2.0-javadoc.jar",
          "size": 230393,
          "sha512": "635b76fa73a8239490e5268e991ac24bb73d0062e733ff27a0c0d05bca2c9a1b5aa837c8ccfdc521661aceeea1d6e580c1dfd43e760f5e457eb0f6181bd30fa6",
          "sha256": "d838827b5b46f50ac98bf25bc8e2dedc0981a82c771babc0375bf5ce0db24828",
          "sha1": "66bd2e14bb300bb653e2a5324cbd4387b4f3b45e",
          "md5": "f3e9f7773e21dfce519460a8271f035c"
        }
      ]
    },
    {
      "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.2.0-sources.jar",
          "url": "DafnyRuntime-4.2.0-sources.jar",
          "size": 50187,
          "sha512": "e02f2c23acd1d0a3b9db7e705c788c26a26310a55bca4297c777f0f2505a50e3acf5695539c4aca5630ff8b6ffd0c63106cb2872357e665c578293cce9e85f5e",
          "sha256": "5385f9476ad52cd9f3ec35e404f3792529642f03741ccf7cf270df892b11643b",
          "sha1": "e798f47aa1458ef69dfd487d9f4d4ff04aba05a3",
          "md5": "096d49947709cea14c321b356178cd65"
        }
      ]
    }
  ]
}