News for package boolector

None