[galaxy-dev] list of tool versions and galaxy ami?