{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver-linux-x86-64",
    "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-x86-64-4.12.6.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.12.6.jar",
          "size": 13325919,
          "sha512": "e05e8ca641675ec69ead021f964d80d6a086b3f248048cc4aa4e296ca325cc49f6bc950f344042c758e88d4a4d31c70d800ec7f459da47fe1c73821a13d511b3",
          "sha256": "c2cfacd9507422bb0d019c743d34f8f62b65c1b6db4d4e4074d7cc866105239f",
          "sha1": "c320edaa2fc1ddeae64cc97bcf8c16b3cd98da7f",
          "md5": "c9872e62e2c39eb50b81e094640fc901"
        }
      ]
    },
    {
      "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-x86-64-4.12.6.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.12.6.jar",
          "size": 13325919,
          "sha512": "e05e8ca641675ec69ead021f964d80d6a086b3f248048cc4aa4e296ca325cc49f6bc950f344042c758e88d4a4d31c70d800ec7f459da47fe1c73821a13d511b3",
          "sha256": "c2cfacd9507422bb0d019c743d34f8f62b65c1b6db4d4e4074d7cc866105239f",
          "sha1": "c320edaa2fc1ddeae64cc97bcf8c16b3cd98da7f",
          "md5": "c9872e62e2c39eb50b81e094640fc901"
        }
      ]
    },
    {
      "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.12.6-javadoc.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.12.6-javadoc.jar",
          "size": 261,
          "sha512": "e7acbf1b51fa646f566e0ed656b13b69afe63400f46b6edf43595d902f520971ee6f8d8482b646f9d9c52611897f7da6d5f415779ba79487f70a81a9e3c0cd87",
          "sha256": "f156c04c126d511fe533bb4871849f32d46b6ae5594a74e2b9378d9da9f72c77",
          "sha1": "a3aff5430c1a4b6b53cb834c284a5c56a9c63786",
          "md5": "65178f0366747f6f3786296ec783c0dd"
        }
      ]
    },
    {
      "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.12.6-sources.jar",
          "url": "refinery-z3-solver-linux-x86-64-4.12.6-sources.jar",
          "size": 379,
          "sha512": "575a486a6b8d71d2101ec87268206ae77b008d5b8bec19ffa3680054a8a499579b0701644049f6c32775363c1fba8ec6136ce5ab98ca19f65be74aa0de7d2c95",
          "sha256": "20fc10d889ad425b26348ada5965a12aaf3903aeb9aafa87fa1e33111ad494d4",
          "sha1": "d3d5c12103e4eefd0b63e30dbc227e804c2e484f",
          "md5": "f95f04e4b2d4eb79bf521e0385489313"
        }
      ]
    }
  ]
}