diff --git a/pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch b/pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch
new file mode 100644
index 0000000000..81ecad7d1f
Binary files /dev/null and b/pkg/hacl/patches/0002-RIOT-Provide-PRIx64-if-needed.patch differ