100644 blob 450b9f8ddf06011fdfd5b5c9f30015490fb978a0	Hacl_Curve25519.c
100644 blob 18b32d200829c535083b610a272e6653abd8e189	Hacl_Curve25519_joined.c
100644 blob 2e2422f3e653bca27c87df56c82acee85364471f	everest.c
040000 tree af9a94d1448a8fbb96ff7fc38b773ee62a13076b	kremlib
040000 tree ac7b4e580766087c4805b7bad3f3ab4b2c04c35f	legacy
100644 blob 990bb4d6d95bb49af463fc277721aca21d72fcce	x25519.c