{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver-linux-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-linux-aarch64-4.12.6.jar",
          "url": "refinery-z3-solver-linux-aarch64-4.12.6.jar",
          "size": 12861746,
          "sha512": "1989ebe05f63003f6d3edea09305d18cdba221bcec663e72f5c6220bb162718fd5b3b615c0a223c5103cb57c1bfaac12d43a4f1b72270c292b2f74ef2fa51a94",
          "sha256": "aa5aa114afd6d9d94524042a5bf999d39284767adeb01f8d2fa3cc035232b5c4",
          "sha1": "fac6b6c77703a972e6c7e8ec754ccd3597fe8845",
          "md5": "24de118fcc40faa79c6ee5dc1563afc4"
        }
      ]
    },
    {
      "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-linux-aarch64-4.12.6.jar",
          "url": "refinery-z3-solver-linux-aarch64-4.12.6.jar",
          "size": 12861746,
          "sha512": "1989ebe05f63003f6d3edea09305d18cdba221bcec663e72f5c6220bb162718fd5b3b615c0a223c5103cb57c1bfaac12d43a4f1b72270c292b2f74ef2fa51a94",
          "sha256": "aa5aa114afd6d9d94524042a5bf999d39284767adeb01f8d2fa3cc035232b5c4",
          "sha1": "fac6b6c77703a972e6c7e8ec754ccd3597fe8845",
          "md5": "24de118fcc40faa79c6ee5dc1563afc4"
        }
      ]
    },
    {
      "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-linux-aarch64-4.12.6-javadoc.jar",
          "url": "refinery-z3-solver-linux-aarch64-4.12.6-javadoc.jar",
          "size": 261,
          "sha512": "656c3aade90f0180e612fb9da747a2d25c9cf0e2851e257a1475a340c3f4913423e4f38213d1c71e67c2cb44bed74b01178ef41cd40210630e7eb4d759137ade",
          "sha256": "aeb3d3371edf7bbbc551e857f92b54fadf08a5425763535c6850658c35998899",
          "sha1": "f08bd47b4ac003eefe949a76b31413af9fc19afb",
          "md5": "2dd0547ce81c0c1743c5a762bc99bb48"
        }
      ]
    },
    {
      "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-linux-aarch64-4.12.6-sources.jar",
          "url": "refinery-z3-solver-linux-aarch64-4.12.6-sources.jar",
          "size": 1001,
          "sha512": "e37c1b82f0d3f0f80a09f489b6184582e15aa389da3364553a0dc3719ffc1619d3ea80754550dbeded18f8b2fe83ebb134d1c19ae90e51af2dcc78dbe8dd6be4",
          "sha256": "98834eabc14ec186c31c3ce33a6871cc8daec77fcdb5544f802395fce813b8e2",
          "sha1": "336c6d7cd7fecaa846e01f0896578110f47d9db2",
          "md5": "8914ec0e2668021935058578745c39e4"
        }
      ]
    }
  ]
}