benpicco a17e9ce8a3

Merge pull request #15401 from chrysn-pull-requests/hacl-provide-prix64 ...

hacl: Patch to fix building where PRIx64 is absent

2020-11-19 16:37:53 +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/hacl: switch upstream to backup copy

2020-11-16 16:34:41 +01: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