https://github.com/project-everest/hacl-star
Raw File
Tip revision: be13939064e1ac31a8c6d9d0e77bc0467dda6793 authored by Antoine Delignat-Lavaud on 24 March 2020, 13:46:31 UTC
Merge branch 'master' into adl_quiccrypto_init
Tip revision: be13939
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top