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