Hi, I want to run GATK in Galaxy and the required version is 1.4. Can you tell me where I can download this from? I've got the source for version 1.4 from github, so I can build it if need be, but I was wondering if there's a repository for older binaries. Many thanks, Graham