chrysn 54078be409 hacl: Patch to fix building where PRIx64 is absent ... Quoting the inner commit: > Not all RIOT platforms provide a PRIx64 or even 64-bit printing. > > As the debug routines that actually use this definition are unlikely to > be used with RIOT, providing a definition that builds (and, depending on > platform support, may or may not produce correct output) is a suitable > fix.		2020-11-08 06:44:45 +01: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
Makefile	pkg: adapt 'simple' packages to the new organization	2020-06-26 09:25:43 +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