Alexandre Abadie 0631cf6437 pkg/hacl: add arch 32bit requirement		2019-10-30 11:43:39 +01:00
..
patches
doc.txt
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
Makefile.include