better description for package why 2.31
why 2.32: relaxed dependency upon alt-ergo