{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver-darwin-aarch64",
    "version": "4.16.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "9.5.1"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.16.0.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.16.0.jar",
          "size": 9666396,
          "sha512": "b392fcebaf43a3a38ababff3b09ab8a220af225b5569395ed389b63e16a710df5e158346b854bd662f31d868a7ea24103638c13d3b8cea8f92eeabee3df0f119",
          "sha256": "fabcb08e9836d4f44b773e66609ae31ec31dba279cff192b11af34894321c470",
          "sha1": "052039536b6a2514507c662503ef03277e2394f9",
          "md5": "e7314ed2814faa495771b26aacf2eb7e"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-darwin-aarch64-4.16.0.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.16.0.jar",
          "size": 9666396,
          "sha512": "b392fcebaf43a3a38ababff3b09ab8a220af225b5569395ed389b63e16a710df5e158346b854bd662f31d868a7ea24103638c13d3b8cea8f92eeabee3df0f119",
          "sha256": "fabcb08e9836d4f44b773e66609ae31ec31dba279cff192b11af34894321c470",
          "sha1": "052039536b6a2514507c662503ef03277e2394f9",
          "md5": "e7314ed2814faa495771b26aacf2eb7e"
        }
      ]
    },
    {
      "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.16.0-javadoc.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.16.0-javadoc.jar",
          "size": 261,
          "sha512": "1487e5a20c9e4d74f298e07c42e96a61be11b7a768c3fbc199ee138cd68e1fc2267d1cfe3f11f288acc05df755315344d052cc5f6f751f126ab4fe1caa5125ea",
          "sha256": "c6deada2fac53b8ea6523dbda77597b128006674616f140f04df23264c6d1aa3",
          "sha1": "2ad14aed781c4a73ed4dbb421966d408a0a06686",
          "md5": "f43436d6bec321290f6af228ad602604"
        }
      ]
    },
    {
      "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.16.0-sources.jar",
          "url": "refinery-z3-solver-darwin-aarch64-4.16.0-sources.jar",
          "size": 383,
          "sha512": "496b0bb7ec79dd08ae5b9086e38f78614a3a6e2025be51526c8a12ec3eb60437f6d1b4052c21cb3a5b87ecb80fab146784acf838fd5712cffe530a5a8aa86200",
          "sha256": "d9814a3eebf8a945c46819dc58da28c23d6a1da945bf19793b4bc6615feaf908",
          "sha1": "81875b2e4e4ac250d3c2f707f672dd9c7e3941c4",
          "md5": "7a1b88575f4a3429dfdb5a75a68a60df"
        }
      ]
    }
  ]
}