Locked range of Polymer version

Couldn't get pub to download 0.9.2+4 for ide/ with 'polymer: any', even though it did so for widgets/.