News for package curry-tools