Makefile HaCl C experimental can run SHA2-256 tests
Makefile HaCl C experimental can run SHA2-256 tests

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star