chrysn 5cded0df97 hacl: Switch git address to RIOT-OS-pkgmirror

2021-10-04 13:16:26 +02:00

..

patches

hacl: Patch to fix building where PRIx64 is absent

2020-11-08 06:44:45 +01:00

doc.txt

Initial HACL* package and tests

2018-04-14 13:43:27 +02:00

Kconfig

pkg/*/Kconfig: Add simple kconfig pkgs

2021-04-08 16:34:36 +02:00

Makefile

hacl: Switch git address to RIOT-OS-pkgmirror

2021-10-04 13:16:26 +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