pkgsrc/devel/why3