{
  "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": "b0235fa3cf845a7d68e8e66dd344d5e32e8951b5"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "42f8b392c70366743eacbc60ce021389ccaa333598dd49eef6ee5c93698ca205"
        }
      ],
      "fileName": "Modules/expat/ascii.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-asciitab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "cbb53d16ca1f35ee9c9e296116efd222ae611ed9"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "1cc0ae749019fc0e488cd1cf245f6beaa6d4f7c55a1fc797e5aa40a408bc266b"
        }
      ],
      "fileName": "Modules/expat/asciitab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-expat.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "58101ef0951568acadd3117033bef084fea24cc1"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "52d756026bf09befdb211c453e2009a646d6c6b519e6885e971b2550396619fb"
        }
      ],
      "fileName": "Modules/expat/expat.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-expat-external.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "d8f9211d52ff0384e229e4d4d56adae5db2d7f91"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "b77f8192baf90aaa41f7023bc68fd1f22ab2552f98758271a1e090544537def5"
        }
      ],
      "fileName": "Modules/expat/expat_external.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-iasciitab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1b0e9014c0baa4c6254d2b5e6a67c70148309c34"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "ad8b01e9f323cc4208bcd22241df383d7e8641fe3c8b3415aa513de82531f89f"
        }
      ],
      "fileName": "Modules/expat/iasciitab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-internal.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "2555e70b29c1efc0af40879daafd12f8b36aca2c"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "4feb1df53898a48ae0ae04b5d0352c90395c8e693e5c2675f8ced41903d6fa94"
        }
      ],
      "fileName": "Modules/expat/internal.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-latin1tab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "d335ecca380e331a0ea7dc33838a4decd93ec1e4"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "eab66226da100372e01e42e1cbcd8ac2bbbb5c1b5f95d735289cc85c7a8fc2ba"
        }
      ],
      "fileName": "Modules/expat/latin1tab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-nametab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "cf2bc9626c945826602ba9170786e9a2a44645e4"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "67dcf415d37a4b692a6a8bb46f990c02d83f2ef3d01a65cd61c8594a084246f2"
        }
      ],
      "fileName": "Modules/expat/nametab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-siphash.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "aca27f46d9fd387b63ce7ff2e4f172cad130b39b"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f537add526ecda8389503b7ef45fb52b6217e4dc171dcc3a8dc6903ff6134726"
        }
      ],
      "fileName": "Modules/expat/siphash.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-utf8tab.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "b77c8fcfb551553c81d6fbd94c798c8aa04ad021"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "8cd26bd461d334d5e1caedb3af4518d401749f2fc66d56208542b29085159c18"
        }
      ],
      "fileName": "Modules/expat/utf8tab.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-winconfig.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "a3a8c44efd55dbf2cfea8fcee009ec63120ec0a3"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "e70948500d34dfcba4e9f0b305319dfe2a937c7cbfb687905128b56e1a6f8b33"
        }
      ],
      "fileName": "Modules/expat/winconfig.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlparse.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "1dad2ab196cdbe37572674c465bd9187fdbe4495"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "740137e670d2f3b7269364ffb6f60064e6560091850c5d6f2c3bb1b8ca6e3dd1"
        }
      ],
      "fileName": "Modules/expat/xmlparse.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlrole.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "c8769fcb93f00272a6e6ca560be633649c817ff7"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "5b81f0eb0e144b611dbd1bc9e6037075a16bff94f823d57a81eb2a3e4999e91a"
        }
      ],
      "fileName": "Modules/expat/xmlrole.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmlrole.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "ac2964cca107f62dd133bfd4736a9a17defbc401"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "92e41f373b67f6e0dcd7735faef3c3f1e2c17fe59e007e6b74beef6a2e70fa88"
        }
      ],
      "fileName": "Modules/expat/xmlrole.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "63e4766a09e63760c6518670509198f8d638f4ad"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "0ad3f915f2748dc91bf4e4b4a50cf40bf2c95769d0eca7e3b293a230d82bb779"
        }
      ],
      "fileName": "Modules/expat/xmltok.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "d126831eaa5158cff187a8c93f4bc1c8118f3b17"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "91bf003a725a675761ea8d92cebc299a76fd28c3a950572f41bc7ce5327ee7b5"
        }
      ],
      "fileName": "Modules/expat/xmltok.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-impl.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "7756f7c0d3625ae7dde6cf7d386685ffacb57c7e"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "a3fe18ff32b21fbcb7c190895c68158404e1b9fb449db6431bc08b261dc03938"
        }
      ],
      "fileName": "Modules/expat/xmltok_impl.c"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-impl.h",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "788332fe8040bed71172cddedb69abd848cc62f7"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "f05ad4fe5e98429a7349ff04f57192cac58c324601f2a2e5e697ab0bc05d36d5"
        }
      ],
      "fileName": "Modules/expat/xmltok_impl.h"
    },
    {
      "SPDXID": "SPDXRef-FILE-Modules-expat-xmltok-ns.c",
      "checksums": [
        {
          "algorithm": "SHA1",
          "checksumValue": "41b8c8fc275882c76d4210b7d40a18e506b07147"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "b2188c7e5fa5b33e355cf6cf342dfb8f6e23859f2a6b1ddf79841d7f84f7b196"
        }
      ],
      "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": "0a0b7f3714167ad45ddf5a6a48d76f525a119c9c"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "135d4afb4812468885c963c9c87a55ba5fae9181df4431af5fbad08588dda229"
        }
      ],
      "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": "63e47cc290c4ec887dca708000876ac37ee75ba0"
        },
        {
          "algorithm": "SHA256",
          "checksumValue": "d09a6196d65c2645974100eb922002bd387d3ae13f2653780f82ed97a79af635"
        }
      ],
      "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": "a52eb72108be160e190b5cafa5bba8663f1313f2013e26060d1c18e26e31067b"
        }
      ],
      "downloadLocation": "https://github.com/libexpat/libexpat/releases/download/R_2_8_1/expat-2.8.1.tar.gz",
      "externalRefs": [
        {
          "referenceCategory": "SECURITY",
          "referenceLocator": "cpe:2.3:a:libexpat_project:libexpat:2.8.1:*:*:*:*:*:*:*",
          "referenceType": "cpe23Type"
        }
      ],
      "licenseConcluded": "NOASSERTION",
      "name": "expat",
      "originator": "Organization: Expat development team",
      "primaryPackagePurpose": "SOURCE",
      "versionInfo": "2.8.1"
    },
    {
      "SPDXID": "SPDXRef-PACKAGE-hacl-star",
      "checksums": [
        {
          "algorithm": "SHA256",
          "checksumValue": "61e48893f37cb2280d106cefacf6fb5afe84edf625fec39572d0ee94e1018f26"
        }
      ],
      "downloadLocation": "https://github.com/hacl-star/hacl-star/archive/8ba599b2f6c9701b3dc961db895b0856a2210f76.zip",
      "externalRefs": [
        {
          "referenceCategory": "SECURITY",
          "referenceLocator": "cpe:2.3:a:hacl-star:hacl-star:8ba599b2f6c9701b3dc961db895b0856a2210f76:*:*:*:*:*:*:*",
          "referenceType": "cpe23Type"
        }
      ],
      "licenseConcluded": "NOASSERTION",
      "name": "hacl-star",
      "originator": "Organization: HACL* Developers",
      "primaryPackagePurpose": "SOURCE",
      "versionInfo": "8ba599b2f6c9701b3dc961db895b0856a2210f76"
    },
    {
      "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-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-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-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"
}