Re: why is blocking Coq 8.9 from entering testing
On Sat, Feb 23, 2019 at 07:58:26PM -0500, Benjamin Barenblat wrote:
> 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.
I'll have to ask upstream about their plans. -Ralf.
Reply to: