040000 tree 330a99e85811ed22b4675a8ab8e8d7b5ed54a4ab	alias
040000 tree 5482066cc8747769fd0806992aae7f69f8ce3c24	bigmod
040000 tree 8babc92cb2abe1649b7164239340c27276be78f0	boring
040000 tree 56d8c1c1a9840d7a1a773875bfe2af19d4a6a92b	edwards25519
040000 tree 85b3e36578b9fe00040661921001f47be1a6cd36	nistec
040000 tree c68eaa90d527e456718b31873ebf48e24a7f696c	randutil