{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver-linux-x86-64",
    "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-linux-x86-64-4.16.0.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.16.0.jar",
          "size": 14529609,
          "sha512": "d195310014046851b55f525e3b4700683d83abb709da980446764aac4cb4c19b5f70e4b8a3a3fa87e1cf798905b13b804325575c2563efb30326eda912dba0b4",
          "sha256": "1ec08fe46dc0e2bc4c8d58c12758b54b44edbc1c186f86f8950141bac5ab938d",
          "sha1": "7c7cbd74d7babdbe42db6ee1a39e87acbe904c3f",
          "md5": "4ea840bf00108de4c584ae8acf078370"
        }
      ]
    },
    {
      "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-linux-x86-64-4.16.0.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.16.0.jar",
          "size": 14529609,
          "sha512": "d195310014046851b55f525e3b4700683d83abb709da980446764aac4cb4c19b5f70e4b8a3a3fa87e1cf798905b13b804325575c2563efb30326eda912dba0b4",
          "sha256": "1ec08fe46dc0e2bc4c8d58c12758b54b44edbc1c186f86f8950141bac5ab938d",
          "sha1": "7c7cbd74d7babdbe42db6ee1a39e87acbe904c3f",
          "md5": "4ea840bf00108de4c584ae8acf078370"
        }
      ]
    },
    {
      "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-x86-64-4.16.0-javadoc.jar",
          "url": "refinery-z3-solver-linux-x86-64-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-linux-x86-64-4.16.0-sources.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.16.0-sources.jar",
          "size": 379,
          "sha512": "87802c024a7ecea5e03fcddf37404259979458ad4ed5d074e2790380c1c05f34cfeb6ee795d7b516dcd70310559430bce7efa22550bd557137f7e5213513192a",
          "sha256": "2e4de19b298806fd6065222fe1165c15f13bf96f1264810a4c644d2d65ddc724",
          "sha1": "40807e5d57b77b6a7dcb53cb14b4500b2927c66e",
          "md5": "341c4c24f6ca9b707de3b6d65916c0a6"
        }
      ]
    }
  ]
}