teamscale-dev: Available Versions