Parallel build for F* when installed from Makefile.prepare
Parallel build for F* when installed from Makefile.prepare
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