Alexandre Abadie a009684336 pkg: use Makefile.base to build pkg modules when possible		2020-06-12 18:44:49 +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: use Makefile.base to build pkg modules when possible	2020-06-12 18:44:49 +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