Use the git.uwaterloo.ca mirror of alloy.