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