Improved version of CMakeLists.Tezos.txt
Improved version of CMakeLists.Tezos.txt

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