Alexandre Abadie 0631cf6437

pkg/hacl: add arch 32bit requirement

2019-10-30 11:43:39 +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: remove not needed git-downloaded dependencies

2019-06-28 09:38:44 +02: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