A Play! version manager