News for package gecode-snapshot