{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver-darwin-aarch64",
    "version": "4.12.6",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.8"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.12.6.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.12.6.jar",
          "size": 8949047,
          "sha512": "b36cb1760079af93a055cc3bcf3006726251925ea69efdfb38bf19d67a9f4b5295b00f25b12e608a665768a8e94664929293c115ece02cbec63b25dc081ea7f2",
          "sha256": "682fdd4a18423c340e033faa6272dc3bcc257f66ad5b7f50263f568342505e65",
          "sha1": "2523ae82d20f7e5fb04bafa379aed9af5a8a13bf",
          "md5": "ebb9352bf786e642251a67926cd1f824"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.12.6.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.12.6.jar",
          "size": 8949047,
          "sha512": "b36cb1760079af93a055cc3bcf3006726251925ea69efdfb38bf19d67a9f4b5295b00f25b12e608a665768a8e94664929293c115ece02cbec63b25dc081ea7f2",
          "sha256": "682fdd4a18423c340e033faa6272dc3bcc257f66ad5b7f50263f568342505e65",
          "sha1": "2523ae82d20f7e5fb04bafa379aed9af5a8a13bf",
          "md5": "ebb9352bf786e642251a67926cd1f824"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.12.6-javadoc.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.12.6-javadoc.jar",
          "size": 261,
          "sha512": "c0949acbcfad95561f4c36f34eae6391581e7011e5721c353b8d5ef7ed0312566ce7a4d1fbf65e3b3c022f577201d200b117f2b7189837f944bc41e4796cd696",
          "sha256": "04fb57467c6daf2316dda21446229ef53d9c3235a1619b382ad9f96fb332fcb5",
          "sha1": "366d66a21973f6af1b9cfca0def7eb42127071ca",
          "md5": "7043a42dc4fea4ba24431bc86255a60d"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.12.6-sources.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.12.6-sources.jar",
          "size": 383,
          "sha512": "fbdccc4ecab82d4f664861897d715d63c86958896f94ad5577fee438e4775e18bfccb7710773dfa93e388e4aedea16247ad09d60620c97df9bd8a5dbfe751af7",
          "sha256": "4eb0c08ebbcc1350f80cab400c4ba1ab2231fda9c1eb0a4b1e0234dbc6d758b6",
          "sha1": "3292f2c488f8afe6b0b7f3f40237810be47806d8",
          "md5": "11d7b52acd49a2218f5c7b738321e217"
        }
      ]
    }
  ]
}