COMMITS
/ Modules/_hacl/Hacl_Hash_SHA2.h March 15, 2025
C
March 26, 2024
J
gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)
Jonathan Protzenko committed
May 24, 2023
J
gh-99108: Refresh HACL* (#104808)
Jonathan Protzenko committed