040000 tree 6411bc13f5cee240b7aa1b4585d0af8dbdedb93b	alias
040000 tree e61753985e3f595b1a64b1b8923732401f4910bc	bigmod
040000 tree ab54b513f587430cefab395f2d72a90b0145d151	boring
040000 tree 86faf6dd9c1e2b5ac450b15f41340698539ede84	edwards25519
040000 tree 3e03d4d84bd27ec061b43311621ed3b4298704d2	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil