On Saturday, February 23, 2019, at 3:30 PM EST, Ralf Treinen wrote: > Unfortunately, however, why is only usable with why3 <= 0.88.3. I > therefore have asked the release team to remove why from testing. Do you believe a future release of why is going to work with why3 > 0.88.3? If not, it may be worth removing it from the archive entirely.