040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 38dedf88779cc356196ade42fabe39ae86de614e	bigmod
040000 tree 1426ea572717a3c280cf4ddec7451044f61703cb	boring
040000 tree be95dccf615e408c3543ebc51846f751871c370c	edwards25519
040000 tree 3e03d4d84bd27ec061b43311621ed3b4298704d2	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil