[why3] package for version 0.81