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