Gregory P. Smith 2f9caafdf4 [3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) (GH-117243) ... Pulls in a new update from https://github.com/hacl-star/hacl-star and fixes our C "namespacing" done by `Modules/_hacl/refresh.sh`. Co-authored-by: Jonathan Protzenko <protz@microsoft.com>		2024-03-26 01:43:24 +00:00
..
krml	[3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) (GH-117243)	2024-03-26 01:43:24 +00:00