040000 tree 330a99e85811ed22b4675a8ab8e8d7b5ed54a4ab	alias
040000 tree 48d19bb332b5ca233946af268cc72b99e470dca1	bigmod
040000 tree 35809ada01a895622f01966c04f9af565025a72e	boring
040000 tree 56d8c1c1a9840d7a1a773875bfe2af19d4a6a92b	edwards25519
040000 tree ef870a6c001969ed06b00df41f0a2453a2e9621b	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil