add 13.0 Gotham-alpha2 to the version list