A new version of HACL* can be found here: https://github.com/project-everest/hacl-star
The release C and assembly code can be found in the Release section on Github or in the following directory: https://github.com/project-everest/hacl-star/tree/master/dist
This repository will be deleted Q2 2020.