Hi all, I've created the mercury-srcdist repository on Github and uploaded what archives I have. https://github.com/Mercury-Language/mercury-srcdist The .git directory in my workspace is 575 MB for 243 tags. Peter