040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 828c985699d4f58cdba5d1de38fc5417ecdd7928	bigmod
040000 tree 2d4aab3ebdcb865dec518fb36884807e558babd4	boring
040000 tree 12049241c7df95209bc66facc95499ae4a0fe562	edwards25519
040000 tree 098576c5dd57d86044c2b850ec232a3514a7bbba	mlkem768
040000 tree 5eb1720b81fcb26a199a8cfe7f1c325f730f215e	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil