{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.aqua",
    "module": "z3-turnkey",
    "version": "4.12.1",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.1.1"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 8,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.1.jar",
          "url": "z3-turnkey-4.12.1.jar",
          "size": 44985625,
          "sha512": "b00611e58f8a76586b3d9d28cb3363568568407e12714dafd9537bf7814b24343d3e47865a0c71420d65c2ad9faa799dab99c0709db6d8c9c51edb17d1f8934d",
          "sha256": "513110b204b4a2d3c3d6bb6cc61c6b1930747637e08ede429e3230f0fd1dfba3",
          "sha1": "f705820e5c709cbfb13ff2dfba0356125c8296f5",
          "md5": "df6c3187f5fc494a7265bcf8718a0661"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 8,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.1.jar",
          "url": "z3-turnkey-4.12.1.jar",
          "size": 44985625,
          "sha512": "b00611e58f8a76586b3d9d28cb3363568568407e12714dafd9537bf7814b24343d3e47865a0c71420d65c2ad9faa799dab99c0709db6d8c9c51edb17d1f8934d",
          "sha256": "513110b204b4a2d3c3d6bb6cc61c6b1930747637e08ede429e3230f0fd1dfba3",
          "sha1": "f705820e5c709cbfb13ff2dfba0356125c8296f5",
          "md5": "df6c3187f5fc494a7265bcf8718a0661"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.1-javadoc.jar",
          "url": "z3-turnkey-4.12.1-javadoc.jar",
          "size": 503296,
          "sha512": "cd79be8eb279bc74403ff5fedd46d0d8c43c56b6a4595e89a8a1a3650a3657c182ec6197a4f22e818e67fe2551e5c9bf75d6acc181d2d45648c6169bb9d90704",
          "sha256": "3840f119469b75f09d491fcf422b59598e81ee03992f666ba449ca8598064380",
          "sha1": "d17af5e6e06b550af2468d09677917aabef57ec4",
          "md5": "efa1e8c34866cff71999d38265784696"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "z3-turnkey-4.12.1-sources.jar",
          "url": "z3-turnkey-4.12.1-sources.jar",
          "size": 44906758,
          "sha512": "216b13aaf43310922df1c285ef4ac5544c5e800678fa93298cfb68160301a7033a777b660f69fe4df148e6cc3e68d9f071de853805518d874c61a1bf4f3c3cad",
          "sha256": "f0116b4b2f1408f06893a39df5de0893f98b39883d23362c25fb91600b396d4f",
          "sha1": "69a7b40c0a52ccbfe01a5d16d0bc49660243fb42",
          "md5": "bf06f3237bb07c391b1c7c63225d3ed0"
        }
      ]
    }
  ]
}