{
	"1.0.0": "0.15.0",
	"1.7.10": "1.5.0",
	"1.7.11": "1.5.0",
	"1.7.12": "1.13.0"
}