{
  "formatVersion": "1.1",
  "component": {
    "group": "org.aya-prover.upstream",
    "module": "javacs-protocol",
    "version": "0.0.26",
    "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"
      },
      "dependencies": [
        {
          "group": "org.jetbrains",
          "module": "annotations",
          "version": {
            "requires": "24.1.0"
          }
        },
        {
          "group": "org.glavo.kala",
          "module": "kala-common",
          "version": {
            "requires": "0.74.0"
          }
        },
        {
          "group": "com.google.code.gson",
          "module": "gson",
          "version": {
            "requires": "2.10.1"
          }
        }
      ],
      "files": [
        {
          "name": "javacs-protocol-0.0.26.jar",
          "url": "javacs-protocol-0.0.26.jar",
          "size": 71540,
          "sha512": "d68bc676f5fda660bfcbef07fc7446f9b4958ab48a00230463d59cecd4d64783689c574df9530bd292b3131d3ce51fcdf2ba3cc607643ef59a3625e7d19b3cde",
          "sha256": "b69ce40b55716c3f6d4020abb4af857e0e67d379ea675a2723696c781627b14d",
          "sha1": "f96c5284f5af5b16be930afc4eddf13faa3c5cf8",
          "md5": "8a7257e620def5a3704431f14e3ea491"
        }
      ]
    },
    {
      "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"
      },
      "dependencies": [
        {
          "group": "org.jetbrains",
          "module": "annotations",
          "version": {
            "requires": "24.1.0"
          }
        },
        {
          "group": "org.glavo.kala",
          "module": "kala-common",
          "version": {
            "requires": "0.74.0"
          }
        },
        {
          "group": "com.google.code.gson",
          "module": "gson",
          "version": {
            "requires": "2.10.1"
          }
        }
      ],
      "files": [
        {
          "name": "javacs-protocol-0.0.26.jar",
          "url": "javacs-protocol-0.0.26.jar",
          "size": 71540,
          "sha512": "d68bc676f5fda660bfcbef07fc7446f9b4958ab48a00230463d59cecd4d64783689c574df9530bd292b3131d3ce51fcdf2ba3cc607643ef59a3625e7d19b3cde",
          "sha256": "b69ce40b55716c3f6d4020abb4af857e0e67d379ea675a2723696c781627b14d",
          "sha1": "f96c5284f5af5b16be930afc4eddf13faa3c5cf8",
          "md5": "8a7257e620def5a3704431f14e3ea491"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "javacs-protocol-0.0.26-sources.jar",
          "url": "javacs-protocol-0.0.26-sources.jar",
          "size": 38784,
          "sha512": "f9f0de9e60aeccb68f08f72c998d387a3c8713e984c6436250129ccfffcaa01af3f157ad4bddb7e19b9447bd096622332c9864c43eed340846fb95f2a4306494",
          "sha256": "5f84e16568696b519bb01440aaef9face2c17a301d67fe8112ca71190a131e27",
          "sha1": "a55379d6b10e1b7952261be05f7e4903c8d18864",
          "md5": "1f56852b20e97e550d3a5b13e1777b66"
        }
      ]
    }
  ]
}