040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 01c82196d0f066e17b1572934aa3ee3638e5ef93	bigmod
040000 tree 1426ea572717a3c280cf4ddec7451044f61703cb	boring
040000 tree d3ec47ffddcf9a404dcbb7f3e6303a01a2881dbd	edwards25519
040000 tree ef870a6c001969ed06b00df41f0a2453a2e9621b	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil