)]}'
{
  "id": "05cc282219781251d380a43d7da1c6c9717f8315",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "222ac824f01961df76273cafe5e30c23c3b69b29",
      "name": "Hacl_Hash_MD5.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "13c19fd40f4d12ffe6f3f8767074ddfe536959c3",
      "name": "Hacl_Hash_MD5.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ecb3c0b3a56e0ce5da3d85d71260edaf2bec580",
      "name": "Hacl_Hash_SHA1.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc50aa6f6d390268a6b421c47e302eb694c05f46",
      "name": "Hacl_Hash_SHA1.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "08e3f7edbf4edeb5b00fee3e3b8487755a3c2573",
      "name": "Hacl_Hash_SHA2.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a0e731094dfaa574d355d105538fd4a8f7a4bffa",
      "name": "Hacl_Hash_SHA2.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b3febdfeb2b221f492e70992e04fbb47932d826d",
      "name": "Hacl_Hash_SHA3.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "681b6af4a80e77973eeae757e33964704d7f497f",
      "name": "Hacl_Hash_SHA3.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "15ef16ba6075a9d4eea17aa4bd4978a31be37a2b",
      "name": "Hacl_Streaming_Types.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6a156a54b3cee5b72a5e834bd7dd3070712eb70",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "37f16b1057c9ea5fecaa9e09db340a0a4c0e7e2a",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e41d6d8fd1bfa59d5d2be3b35d39ffc0744a3d48",
      "name": "internal"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0df236282ac5095af8b583349e6e822d36d95562",
      "name": "python_hacl_namespaces.h"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "c1b3e37f3afb9dd481ff2d85f18036aa36bd43f4",
      "name": "refresh.sh"
    }
  ]
}