This package is for advanced users only, normal users should use the full why3 package.
md5=1ee0fd41075ba5e77a4b94ad0cc2dd43
build
>= "4.02.3" & < "4.07.0"
= "0.88.3"