Remove sha2 dependency#179

Kha merged 4 commits intoleanprover:masterleanprover/elan:masterfrom

mans0954:update-sha2-0109mans0954/elan:update-sha2-0109Copy head branch name to clipboard