Gaëtan Harter ca5d13cc2a pkg/*: adapt to new state file targets ... Prepare for handling pkg state with files. So it requires having the path defined before declaring targets. In addition, it cleans up the old git-download target.		2020-01-08 20:55:19 +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/*: adapt to new state file targets	2020-01-08 20:55:19 +01:00
Makefile.dep	pkg/hacl: add arch 32bit requirement	2019-10-30 11:43:39 +01:00
Makefile.hacl	Initial HACL* package and tests	2018-04-14 13:43:27 +02:00
Makefile.include	Initial HACL* package and tests	2018-04-14 13:43:27 +02:00