The AMCL folks deleted their github repo, so we had to move to hosting
our own forks. The hash of the source tarball from Github must have
changed as part of this transition. I updated the Github source URL,
but not the tarball hash. This patches updates the hash as well.
The AMCL folks deleted their github repo, so we had to move to hosting our own forks. The hash of the source tarball from Github must have changed as part of this transition. I updated the Github source URL, but not the tarball hash. This patches updates the hash as well.