Re: why is blocking Coq 8.9 from entering testing
Hi Benjamin,
On Fri, Feb 22, 2019 at 06:11:02PM -0500, Benjamin Barenblat wrote:
> On Friday, February 22, 2019, at 10:17 AM EST, Benjamin Barenblat wrote:
> > Currently, libwhy-coq Depends on coq-8.6+4.05.0 and is therefore
> > blocking coq/8.9.0-1 from entering testing. Since libwhy-coq is
> > Architecture: all, a binNMU won’t rebuild it – somebody needs to do a
> > source upload.
> >
> > [...]
> >
> > Ralf, you’ve done the last few why uploads; what do you recommend here?
>
> I was able to successfully build why against Coq 8.9 with no
> modification. Ralf, I’m still interested in your recommendation, but I
> can’t imagine that a trivial upload is going to worsen the situation, so
> I’m going to go ahead and do an upload to trigger a rebuild and get the
> dependency set correctly.
Good thinking. Unfortunately, however, why is only usable with why3 <=
0.88.3. I therefore have asked the release team to remove why from
testing.
Cheers -Ralf.
Reply to: