Benjamin Valentin 4c9a3c0434 pkg/hacl: switch upstream to backup copy ... The https://github.com/mitls/hacl-c repo was deleted. Getting the new upstream (https://github.com/project-everest/hacl-star) to work nicely as a package requires some non-trivial work and in the meantime all CI jobs will fail. As a short-term solution, switch the upstream to a backup version of the original repository.		2020-11-16 16:34:41 +01:00
..
patches	pkg/hacl: Use RIOT random_bytes instead of randombytes	2018-05-15 18:10:18 +02:00
doc.txt	Initial HACL* package and tests	2018-04-14 13:43:27 +02:00
Makefile	pkg/hacl: switch upstream to backup copy	2020-11-16 16:34:41 +01:00
Makefile.dep	pkg/hacl: add arch 32bit requirement	2019-10-30 11:43:39 +01:00
Makefile.include	Initial HACL* package and tests	2018-04-14 13:43:27 +02:00