100644 blob e3f5ba44b2e84dab865c3bf55835303fd5e96124	Hacl_Curve25519.h
100644 blob 392e7924a92d270864b50c080f357afa6c997884	everest.h
100644 blob f06663f0958ea3ebe0f0b250561d94eb373d85a0	kremlib.h
040000 tree 3346569941caf4b58fe1398a14c3fdd48c1c51ba	kremlib
040000 tree 0717433eb063900d814d1c6f9af40ddb09a9fa15	kremlin
040000 tree e24cfc1127099fc20293137f3ac1b099bdac943e	vs2010
100644 blob 7a973dcf010b0a67f1b4f67582410bd954babb83	x25519.h