{
  "formatVersion": "1.1",
  "component": {
    "group": "org.dafny",
    "module": "DafnyRuntime",
    "version": "4.1.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.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.1.0.jar",
          "url": "DafnyRuntime-4.1.0.jar",
          "size": 118644,
          "sha512": "14c4dd42d88e174cc84fb1cee327ec900a836e0a7815a57f3dceaa6351e9c1c579aa6caecde478d15ba2febf1f9199d681c1d43a375c400e4b3f4c46bf0d40dd",
          "sha256": "54ac41668b0c710eed5a2dae9a7431ec8519a38e6991bb699c24e604dcd716f7",
          "sha1": "231e5be5479d7e6a993596dde6e02fe228fd79a5",
          "md5": "e5c535196bafb65eb81ccbe47446f144"
        }
      ]
    },
    {
      "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.1.0.jar",
          "url": "DafnyRuntime-4.1.0.jar",
          "size": 118644,
          "sha512": "14c4dd42d88e174cc84fb1cee327ec900a836e0a7815a57f3dceaa6351e9c1c579aa6caecde478d15ba2febf1f9199d681c1d43a375c400e4b3f4c46bf0d40dd",
          "sha256": "54ac41668b0c710eed5a2dae9a7431ec8519a38e6991bb699c24e604dcd716f7",
          "sha1": "231e5be5479d7e6a993596dde6e02fe228fd79a5",
          "md5": "e5c535196bafb65eb81ccbe47446f144"
        }
      ]
    },
    {
      "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.1.0-javadoc.jar",
          "url": "DafnyRuntime-4.1.0-javadoc.jar",
          "size": 218366,
          "sha512": "817e7d31d9d96fa3162ccf0ea13c0e49910d758a9b081a973ea51fd1e742b0f943c13249f45ce46380a9a92d679d9d232ea7121e84a8694ad6291b8fc4e6fc54",
          "sha256": "ed5fb4fd7b11409e01aaeb5aa2f35719933f28920d1c5e1313a21c63d0d79b7d",
          "sha1": "1b726ebfd22dd2e6c06dfc611c8197acfc3f2504",
          "md5": "282b9ef0c84a8e7c38fa6e31b47fe9c8"
        }
      ]
    },
    {
      "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.1.0-sources.jar",
          "url": "DafnyRuntime-4.1.0-sources.jar",
          "size": 49675,
          "sha512": "45948a9caa03d0f25167eba6ca1754f47b6bffb640f16fbce28be12334f6c768516930e5a8f904f54044aae1e55af1dfce8fb51165b72b409e6c8ee2e1af4589",
          "sha256": "4ce0ba3ab51c5bbd4c9f20667e285fc736666f0e2c1035e0f09577d06ae9d1ae",
          "sha1": "1ddb1627e3a0623e6c8331eed74502d3e35049d2",
          "md5": "be2f395786ffeadc825812131cd57ea9"
        }
      ]
    }
  ]
}