040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 48d19bb332b5ca233946af268cc72b99e470dca1	bigmod
040000 tree 1426ea572717a3c280cf4ddec7451044f61703cb	boring
040000 tree 56d8c1c1a9840d7a1a773875bfe2af19d4a6a92b	edwards25519
040000 tree ef870a6c001969ed06b00df41f0a2453a2e9621b	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil