Re: md5 vs sha256 in dist-git sources