Skip to content

Rename SHAKE128_Init_x4 to the more general SHAKE_Init_x4 #3298

Rename SHAKE128_Init_x4 to the more general SHAKE_Init_x4

Rename SHAKE128_Init_x4 to the more general SHAKE_Init_x4 #3298

nixfmt

succeeded Jan 27, 2026 in 24s