Kaspar Schleiser ce9b1e3826 pkg: remove not needed git-downloaded dependencies ...

This is implicitly done by the "pkg-prepare"-step of the main make
instance.

2019-06-28 09:38:44 +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: remove not needed git-downloaded dependencies

2019-06-28 09:38:44 +02:00

Makefile.dep

Initial HACL* package and tests

2018-04-14 13:43:27 +02: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