040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 828c985699d4f58cdba5d1de38fc5417ecdd7928	bigmod
040000 tree 1a34537c7fc376eefe5f68f39288b8440db7abcd	boring
040000 tree 12049241c7df95209bc66facc95499ae4a0fe562	edwards25519
040000 tree 998d1ce640d6dff0580dde061e2e31fb811f34d7	mlkem768
040000 tree 5eb1720b81fcb26a199a8cfe7f1c325f730f215e	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil