Re: why is blocking Coq 8.9 from entering testing
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.
Reply to: