MD5 sums are not being checked.

[j1mr10rd4n]

The sbt distributions used in sbtenv-install have md5 sums but sbtenv-install is only able to handle sha1 sums.

Ideally, sbtenv-install should check downloaded tarballs against their md5 sums.