040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree d0ebf8839bbf89dc0f9487be611a43e282d96377	bigmod
040000 tree 1a34537c7fc376eefe5f68f39288b8440db7abcd	boring
040000 tree 49967b72ab4f7aade1a49bbebebc3040a0ffcd63	edwards25519
040000 tree 1aba45c42d144c0c02ea5b1310a6bfc3dab0098b	hpke
040000 tree dfaa8d9496c6b5afa91448fa167a09da025583bc	mlkem768
040000 tree 849e0302267dcba0ad3a7d27914edc699bfb598c	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil