Fix conflict for Chacha20 by using the dev_specs version
Fix conflict for Chacha20 by using the dev_specs version

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