Alexandre Abadie 385ad95701

pkg: adapt 'simple' packages to the new organization

2020-06-26 09:25:43 +02: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: adapt 'simple' packages to the new organization

2020-06-26 09:25:43 +02: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