{
  "SPDXID": "SPDXRef-DOCUMENT",
  "files": [
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-COPYING",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "f1b1126ed7da8f2068302e7a692b0600e6f94b07"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "31b15de82aa19a845156169a17a5488bf597e561b2c318d159ed583139b25e87"
        }
      ],
      "fileName": "Modules/expat/COPYING"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-ascii.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "27529094aa9998963bbacdab4dd77f23691adc93"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5ce49460794894b78f97060f634c129d13f2e9cc9b8dacd829f4be2dbc6e0649"
        }
      ],
      "fileName": "Modules/expat/ascii.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-asciitab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "f0c9b25759ccf57fd65eb4356c2762f25c0e9a6f"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5792cb56f285c8876b988d875a70d49019bc7e6d5ebcd0f8224b24e695301832"
        }
      ],
      "fileName": "Modules/expat/asciitab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-expat.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "6bb4cc0b942c84d120fabf76299572ee8078f59c"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "805f17ae5f597eeb9f058f60428a1a62268de242a096af17cbcc2e17af111bad"
        }
      ],
      "fileName": "Modules/expat/expat.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-expat-external.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "4857095da1f3fac0c52db3fbfa455898d90ac321"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a02fba65fcf68652fc24619d673ee32969c1dca46c7a0fd1f15906722babff6d"
        }
      ],
      "fileName": "Modules/expat/expat_external.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-fallthrough.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "378f1dffca32e580be8fb445677950cd1c4c4ea8"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5e42477487bca7e7caac6b832ab940f39a1a20b8765c945374e4f6c2670f55b6"
        }
      ],
      "fileName": "Modules/expat/fallthrough.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-hash-table.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "e0ab4fb3f3b06bac642dc525d98107337c3534d0"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "ad93851f86df1f4e8f85488dbac53cab3539e59d701ad747c7beea354d69e0dc"
        }
      ],
      "fileName": "Modules/expat/hash_table.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-iasciitab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "19b25ac4e504efa5e51ce639c83be053da587543"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a9cd6f2cf5199ae3c29d22ee4913736fcd984f62132146a0352c88549700e83f"
        }
      ],
      "fileName": "Modules/expat/iasciitab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-internal.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "14f839bca5a88c8020ba4e3b0650b03b7c05b829"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "9dd01acd513ff6143781e1c01f5738126a512b20f42600f9523ec95e2dd4dcf1"
        }
      ],
      "fileName": "Modules/expat/internal.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-latin1tab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "8d31198775c89582e37cd0dcac4e87a718cc17cb"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "b0daf8a75c690e895421f765ddb2ae2fbc1ba14694e06a3215dba84f1ff3427d"
        }
      ],
      "fileName": "Modules/expat/latin1tab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-memory-sanitizer.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "19ff1e65b76536a4595c38d21a500cbc7b86c408"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "377ca054fdc531360f42a5cb7c522bcbf88b6c67aebc2e29544c37d14e836bde"
        }
      ],
      "fileName": "Modules/expat/memory_sanitizer.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-nametab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "19ecc1cf2a899fe1b80de263c8b09d6de451c6b8"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "8f78e64f11e2b23df8b32cb5528cfeda6215acd6abf6bcf1ad59fdc7b1ffd105"
        }
      ],
      "fileName": "Modules/expat/nametab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-siphash.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "bcde3e9100b62b87d2b2d628bdacddf415782bdb"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "12ecc9915bccb793ea8bb543cc7d002e226f4e4d6b97ec9839dca41cbe4e2e27"
        }
      ],
      "fileName": "Modules/expat/siphash.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-utf8tab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "30276d76d64af27de1d0de06160c5b58c884ee8b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "3fa349a3a19143366e80a58d9aa950152ef9cd7903f557f971051410b47f335c"
        }
      ],
      "fileName": "Modules/expat/utf8tab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-winconfig.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "d296304ae595486ec094e341fed8a8450d4cedbe"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "0ab6446eb98abc492ae341ef7607b535e44dedf52633fdc7c6e1a1361aec3922"
        }
      ],
      "fileName": "Modules/expat/winconfig.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xcs.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "e5ba4185088e0217eb7be7bf90c426b33cebb524"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "15759b35a51a35c59b2b8f5b07057578e3505dbbce57a5adaae9f2d113b4b852"
        }
      ],
      "fileName": "Modules/expat/xcs.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xcs.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b7b265932c21cb554f3a520f754271c5af51db97"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "866a6cadbb9eaaaebefe08ee4f3de72a00ffdf77a6da3408605dfc16803f0bd3"
        }
      ],
      "fileName": "Modules/expat/xcs.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlparse.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b56b7fd9a13af5719738bf142fef0beb936139d5"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "533c0f387350f49c3e5cd392d87b8cc0268d9b49d414c10095e2143eaf8b3774"
        }
      ],
      "fileName": "Modules/expat/xmlparse.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlrole.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "56999d78b6ed247b00b0e3283fd174065b04e40f"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "b1ad87cc3c0d4722358a7dfb1642df7f62066d1613a0a56dc9289e7112fb3f0c"
        }
      ],
      "fileName": "Modules/expat/xmlrole.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlrole.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "08de6d1246312e179918de3533328000c887a95b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "8a0b61cd6efcd7427acbc86759e9013e7a61755097a1f82cbb2a79c011af5ee5"
        }
      ],
      "fileName": "Modules/expat/xmlrole.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1a98bb41885c1795b5d66da1cd8ab4babc645670"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "44baab2a4970749f6f29992bbbc1b3c62239ef9ec2a20de96332ef4659b9e32d"
        }
      ],
      "fileName": "Modules/expat/xmltok.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "ecbd8a75bbe1bc5a82790553d73d4f11833dcdd2"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "623dea24bc27712e2e205a0c0517c79e211234f8d1051fe46d780839f754cf9e"
        }
      ],
      "fileName": "Modules/expat/xmltok.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-impl.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1d1aabfb8dd3e9d89841d1b3f385d1def9ab46a3"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "857d4d0984aaaca0ff6c907f0e9abf26c476fd80f6cb85896c2aa1d78eb66ae1"
        }
      ],
      "fileName": "Modules/expat/xmltok_impl.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-impl.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "f862ff6393d47ac1ad9cd0f5f844b43e7c21a20e"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a5053c69219d12788088de9bd670537e1c784302766c331afe6b253460d0417d"
        }
      ],
      "fileName": "Modules/expat/xmltok_impl.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-ns.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b2dd2b7fcb57fcecd95679b5b53cc92256eb0190"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "ea723a3470d3eed5c4a4e873bec2f996c605326fad25709b45452664261c5465"
        }
      ],
      "fileName": "Modules/expat/xmltok_ns.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-HMAC.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "705dc7220dad725881592749f7febaf6135cc9fd"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "142adb769ff02b8a5327f0eb837e1f9a797bdf9a1684d21acd749dbb5b2e5be2"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_HMAC.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-HMAC.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "a57d53c35aa916ce0cd1567c8f10dcea58270321"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "d68209032703137326f9aadd9abac8fe4a5c92d391e2f43b0414fa63087adc6b"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_HMAC.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "808af7ff8a2cb2b4ef3a9ce3dbfef58d90828c9f"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "6a492aa586f2d10b1b300ce8ce4c72c976ff7548fee667aded2253f99969ac87"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2b.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "4d767388a34e2a2000e0cbd31f06cf36af1ae10d"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "fac493e96af252abcf5705f0ab4eec59c1f3bc8244e105d75a57c43552dd1569"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2b.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1bb072f2be9e5d194274fdcc87825cb094e4b32e"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "9eb22953ce60dde9dc970fec9dfce9d94235f4b7ccd8f0151cad4707dc835d1d"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2b_Simd256.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "280fd03ee23e13ecf90711d2be8230035d957343"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "817dcd05d06d804587fce7d8f2f3f42a6fcf6818d2419a3551ef0df70cb7125a"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2b_Simd256.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256-universal2.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "5afc433179d71abd6649596797a7e8953e89172d"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "db42da82d18641d68d3670e6201e0cbb43415daaa84f29770b8f0ebf33562975"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2b_Simd256_universal2.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "cdd6e9ca86dbede92d1a47b9224d2af70c599a71"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f3204f3e60734d811b6630f879b69ce54eaf367f3fca5889c1026e7a1f3ee1e4"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2s.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "79f47ab5458d88bce0f210a566aa117ce2125049"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5cc96313f8c066f055c2819e473c79aeff086ba91a1449d54aa569127cd8601e"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2s.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "4056bb6e3ed184400d1610bdfd4260b3fd05ccbb"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "c93746df2f219cbb1634ee6fb0ab1c4cbd381d1f36c637114c68346c9935326d"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2s_Simd128.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "c98890b6193baa3dbd472cfb67f22aea3dd0d3e1"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "fe3f17bf237166f872ba88c8204333c4f64bdc4bb29c265448581c7bfea4b151"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2s_Simd128.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128-universal2.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "d70c6dbcb91d56bbd80f7bf860e508a748042d0d"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5b132ab850a5e0fe6f27e08a955f8989ea3aae8e5b3115f0195039034ece8c04"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_Blake2s_Simd128_universal2.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-MD5.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "61f678cd9234c6eab5d4409ae66f470b068b959b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5b91ed0339074e2e546119833398e2cdb7190c33a59c405bf43b2417c789547d"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_MD5.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-MD5.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "2ed70f612a998ef6c04d62f9487a1b2534e6d76a"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a34534ef36bc8428ac1169ca5f4f1c17a0817507ebae388e3dd825d1a331f28d"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_MD5.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA1.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "c7fc5c9721caf37c5a24c9beff27b0ac2ed68cc9"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "ce08721d491f3b8a9bd4cde6c27bfcc8fc01471512ccca4bd3c0b764cb551d29"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA1.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA1.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "a3f9bdc9e73f80eb4a586dc180246cfb8267ffc0"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "2d5cae94382f5473cf6d2654760375ff1ee9cebdb8d4506b63ba33f488de1559"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA1.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA2.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "fffe8c4f67669ac8ccd87c2e0f95db2427481df1"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f8af382de7e29a73c726f9c70770498ddd99e2c4702489ed6e634f0b68597c95"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA2.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA2.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "68b35d0c573f7301ba4d6919b1680d55675a0d98"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "442d8997d2bcda20ddf628665e2e69945400e1ab3019bc14fc7c8e20db20c320"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA2.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA3.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "77d3d879dfa5949030bca0e8ee75d3d369ec54a7"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "8744f5b6e054c3e5c44f413a60f9154b76dd7230135dcee26fd063755ec64be1"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA3.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA3.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "db1008095b64b2f8ee2a4ce72fa7cfc4a622a108"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "961a686186b76a1cd6a64bcfd06afdc8657b1f901bac991166f498ed16f9349a"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Hash_SHA3.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-HMAC.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "eb224e26bc0503a48c88c837e28bbc7a9878ba5c"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "29fcf948a3715e09cbbd434cebb6105f276236a6e4947d237b7bf06634bf2432"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Streaming_HMAC.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-HMAC.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "2d6c600024275c780e8313e0a5ab506e025bb4d6"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "6450aef92f507fb0a8a3086b1d2792e7fca07121580c24fdaedd1b32e9ad0a76"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Streaming_HMAC.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-Types.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "ed283b95ebb772b05bdf802b70dbb301ece84e91"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "efc7bd11460744768425aedf4e004d3ad3397a5489752b80044ae785f30b78d4"
        }
      ],
      "fileName": "Modules/_hacl/Hacl_Streaming_Types.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-Lib-Memzero0.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "67a029736da5efe96f1b2d41b92f00934b955253"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "0d80c2e3f5ff3b31ef0d435fc3196660df89ccf95bdcbb6545dc2f9df07bec9f"
        }
      ],
      "fileName": "Modules/_hacl/Lib_Memzero0.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-FStar-UInt128-Verified.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "ae06c415ae7e0e1e85558863f29d1b9013e46e9b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "69dc2e78411e9b271100eb0d2a2d8dc39dd2348afc26f8b4cfba14c025102c7f"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/FStar_UInt128_Verified.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-FStar-UInt-8-16-32-64.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "edefe48ced707327fd6cdf3f18b3ca42dda9a9f7"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f01e3f0892935f3f659019875f580445b9ea23482afbe11ffbe7cdbd22dbd4d2"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-fstar-uint128-struct-endianness.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "7f23693151d5409623cbe886e5b45a0e4f0d3c72"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "1c9bee7ac4b987c73cc3aba6b7ceed8ec7e75c9a741810e4411f35602490e0d8"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-internal-compat.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b901e914ce57063f0ad2d113af4fca5761031d3b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "c5a04a1f99807cea29ac1832ba17d8a3d3805862d3a713642583be2106e04edb"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/internal/compat.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-internal-target.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "7a943fbb8f55729a960f9b426e9ff2794453aca9"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "08bb43ef5626a8450f985da0af345b6658ac8bcc4585f77271decd0e41fc02e0"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/internal/target.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-internal-types.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b4e6c5fc5e17864cc2bf452db2688be733d6df72"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "404691cf9b2269ecc754ceca27bb8f8f029f1c8deaa4d967990dcf5ce08cd016"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/internal/types.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-include-krml-lowstar-endianness.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "8c3e09e00459951e060ad469c1fa31eeb9b6b9cb"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "6d1a350ec272c83761f1789611d8f60947a4d69fed3d23d8eee38709a0ad2c0a"
        }
      ],
      "fileName": "Modules/_hacl/include/krml/lowstar_endianness.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-HMAC.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "c9517c43046de129f02da8b74e454bade4872c00"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "96c2a973bc01b1295f7af67c7de3839facfeee36c8848d7d88c62695de98ab21"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_HMAC.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2b.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1c5eeb5d1866acb6bc8b4e5a01a107e3a87f5694"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f262738390f56e8e9692acadecd1434c688075047d788283e1fb45d920ea6956"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_Blake2b.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2b-Simd256.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b600c1b5eafc34b29a778186737d8a51e2342d85"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f22e088ad9c2eb739aefc3685ef3ab1ccaab3c5ef2e5d06cc846ad9f8e3d2669"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_Blake2b_Simd256.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2s.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "eb618ecc6ca2830066448f5f6d4df84a5c09f0f4"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a4728e43deb0a9d8213b8ddcbda68a63bc73a12fb99aad54b7d28b314776a0d4"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_Blake2s.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2s-Simd128.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "5441b6a97cc053c332b29477238d70fa011c74ac"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "dad568d256a2ccbbbcdd419fe0543ea7137d8065a713a5f009aa52521c0f7f6a"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_Blake2s_Simd128.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-MD5.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "7081b58f28568f600d4624dd5bd6f735191e068b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "305af1422213ed97e8e5d3d8a9dfee4f21cb2fcd2acf65ee7303ce00b2b4bd2a"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_MD5.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA1.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b6fb6219cb40d039e789666e34b43461e3b5c82a"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "63c58363ff95e8146d5628dab2da25bc2fd0e8b590fd4823b512c33f843355bb"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_SHA1.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA2.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "bcc71e702df1070cb0081cb983aec7683e036719"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "709c6272f77e2368f6cc0bf36527e3b16dd5d5f3dc26a2afdef8238200af8770"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_SHA2.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA3.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "e3b5e6add5357760554b032b818992ce9bc211e0"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "cf49d536a5663379fb4517018b4b3f8a232f8d4c7ddc7edfd60163d13f98a530"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Hash_SHA3.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Impl-Blake2-Constants.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "09a0ea364fb073f5f622a763f1351fbf4bac4627"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "916d54d7217517f0360edea920dc21585fbe6d1c2458eac86826182e12c82ec2"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Impl_Blake2_Constants.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Streaming-HMAC.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b082645b43f8841db5e9e57c0b9a3825fa7e52f5"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "059cf0d31427abf84c626797a97c140630a1a6ead578005162f46fad46663389"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Streaming_HMAC.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Streaming-Types.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1f85ed69e395829b3ac5af9e2d049af7708cb9cb"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "76997c7069a347ac78b65d26354a0324d54add4ca7a02e7be36d6d5e1c9702e0"
        }
      ],
      "fileName": "Modules/_hacl/internal/Hacl_Streaming_Types.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-lib-memzero0.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "66108dcbb7fc9e8aa7adcc440fede22c62164d92"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "284079d2af21a570c58c82e54536b8b9bae0f0a321f229b242c92dc350d10bdf"
        }
      ],
      "fileName": "Modules/_hacl/lib_memzero0.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-libintvector-shim.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "a28d706b06985c14f01a5527e568beb28f28109e"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f26e8339da7e0db3d6c8f70247300bd5876110a30e1fb883e59370da48e38f9e"
        }
      ],
      "fileName": "Modules/_hacl/libintvector-shim.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-libintvector.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "8d6a23f4e932cace0c67896bdda46cb24bf5e0ea"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "25decbcadf1fef51f473daa4975a3754480fc903b03068bf95f149fb5349456e"
        }
      ],
      "fileName": "Modules/_hacl/libintvector.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-hacl-python-hacl-namespaces.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "682b069d3888f3e8f8cc90f1a49bac9d1a5903d2"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "8551d2c3fde03b92c6fab5febde00347bd9184ea0085077976863c7836e9669d"
        }
      ],
      "fileName": "Modules/_hacl/python_hacl_namespaces.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Lib-ctypes-macholib-init-.py",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "0d83ed429ede0a2c6617cd2f24490be16d8393f4"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "876f4486d08d3eac3581a8681d7fb3cec2fe5b823d1bef27cca15e755510365c"
        }
      ],
      "fileName": "Lib/ctypes/macholib/__init__.py"
    },
    {
      "SPDXID": "SPDXRef-FILE-Lib-ctypes-macholib-dyld.py",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "4a78ebd73ce4167c722689781a15fe0b4578e967"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "eb8e7b17f1533bc3e86e23e8695f7a5e4b7a99ef1b1575d10af54f389161b655"
        }
      ],
      "fileName": "Lib/ctypes/macholib/dyld.py"
    },
    {
      "SPDXID": "SPDXRef-FILE-Lib-ctypes-macholib-dylib.py",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "f339420cc01bd01f8d0da19b6102f099075e8bcd"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f19ee056b18165cc6735efab0b4ca3508be9405b9646c38113316c15e8278a6f"
        }
      ],
      "fileName": "Lib/ctypes/macholib/dylib.py"
    },
    {
      "SPDXID": "SPDXRef-FILE-Lib-ctypes-macholib-framework.py",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "0b219f58467d7f193fa1de0c1b118485840d855b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "302439e40d9cbdd61b8b7cffd0b7e1278a6811b635044ee366a36e0d991f62da"
        }
      ],
      "fileName": "Lib/ctypes/macholib/framework.py"
    }
  ],
  "packages": [
    {
      "SPDXID": "SPDXRef-PACKAGE-expat",
      "checksums": [
        {
          "algorithm": "SHA256",
          "checksumValue": "16afbb9cefead2aa278105cf27d9f597bde7fbf3dbb85015857ca7ca6a4e89ba"
        }
      ],
      "downloadLocation": "https://github.com/libexpat/libexpat/releases/download/R_2_9_0/expat-2.9.0.tar.gz",
      "externalRefs": [
        {
          "referenceCategory": "SECURITY",
          "referenceLocator": "cpe:2.3:a:libexpat_project:libexpat:2.9.0:*:*:*:*:*:*:*",
          "referenceType": "cpe23Type"
        }
      ],
      "licenseConcluded": "NOASSERTION",
      "name": "expat",
      "originator": "Organization: Expat development team",
      "primaryPackagePurpose": "SOURCE",
      "versionInfo": "2.9.0"
    },
    {
      "SPDXID": "SPDXRef-PACKAGE-hacl-star",
      "checksums": [
        {
          "algorithm": "SHA256",
          "checksumValue": "d6db56a5d061dcc0890eabdbb5f58a9fa6c606d9f2fbbe9d626925b870ffadfb"
        }
      ],
      "downloadLocation": "https://github.com/hacl-star/hacl-star/archive/504c2987452f87fe44bce9b9f12e19d6e051761f.zip",
      "externalRefs": [
        {
          "referenceCategory": "SECURITY",
          "referenceLocator": "cpe:2.3:a:hacl-star:hacl-star:504c2987452f87fe44bce9b9f12e19d6e051761f:*:*:*:*:*:*:*",
          "referenceType": "cpe23Type"
        }
      ],
      "licenseConcluded": "NOASSERTION",
      "name": "hacl-star",
      "originator": "Organization: HACL* Developers",
      "primaryPackagePurpose": "SOURCE",
      "versionInfo": "504c2987452f87fe44bce9b9f12e19d6e051761f"
    },
    {
      "SPDXID": "SPDXRef-PACKAGE-macholib",
      "checksums": [
        {
          "algorithm": "SHA256",
          "checksumValue": "c76f268f5054024e962f2515a0e522baf85313064f6740d80375afc850787a38"
        }
      ],
      "downloadLocation": "https://files.pythonhosted.org/packages/ec/57/f0a712efc3ed982cf4038a3cee172057303b9be914c32c93b2fbec27f785/macholib-1.0.tar.gz",
      "externalRefs": [
        {
          "referenceCategory": "PACKAGE_MANAGER",
          "referenceLocator": "pkg:pypi/macholib@1.0",
          "referenceType": "purl"
        }
      ],
      "licenseConcluded": "NOASSERTION",
      "name": "macholib",
      "originator": "Person: Ronald Oussoren (ronaldoussoren@mac.com)",
      "primaryPackagePurpose": "SOURCE",
      "versionInfo": "1.0"
    }
  ],
  "relationships": [
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-COPYING",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-ascii.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-asciitab.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-expat.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-expat-external.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-fallthrough.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-hash-table.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-iasciitab.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-internal.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-latin1tab.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-memory-sanitizer.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-nametab.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-siphash.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-utf8tab.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-winconfig.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xcs.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xcs.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmlparse.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmlrole.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmlrole.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmltok.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmltok.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmltok-impl.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmltok-impl.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-expat-xmltok-ns.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-expat"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-HMAC.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-HMAC.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2b-Simd256-universal2.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-Blake2s-Simd128-universal2.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-MD5.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-MD5.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA1.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA1.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA2.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA2.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA3.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Hash-SHA3.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-HMAC.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-HMAC.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Hacl-Streaming-Types.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-Lib-Memzero0.c",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-FStar-UInt128-Verified.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-FStar-UInt-8-16-32-64.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-fstar-uint128-struct-endianness.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-internal-compat.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-internal-target.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-internal-types.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-include-krml-lowstar-endianness.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-HMAC.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2b.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2b-Simd256.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2s.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-Blake2s-Simd128.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-MD5.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA1.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA2.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Hash-SHA3.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Impl-Blake2-Constants.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Streaming-HMAC.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-internal-Hacl-Streaming-Types.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-lib-memzero0.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-libintvector-shim.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-libintvector.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Modules-hacl-python-hacl-namespaces.h",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-hacl-star"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Lib-ctypes-macholib-init-.py",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-macholib"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Lib-ctypes-macholib-dyld.py",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-macholib"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Lib-ctypes-macholib-dylib.py",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-macholib"
    },
    {
      "relatedSpdxElement": "SPDXRef-FILE-Lib-ctypes-macholib-framework.py",
      "relationshipType": "CONTAINS",
      "spdxElementId": "SPDXRef-PACKAGE-macholib"
    }
  ],
  "spdxVersion": "SPDX-2.3"
}