040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree 5027f61f531c2af011dede4de7e26f11dfd3be20	bigmod
040000 tree 9f9b9345c4b9701bcffc9aa1f7a1555fbf0f83aa	boring
040000 tree 86faf6dd9c1e2b5ac450b15f41340698539ede84	edwards25519
040000 tree 3e03d4d84bd27ec061b43311621ed3b4298704d2	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil