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. If why (not why3) no longer works with Coq 8.9, we should request that ftp-master remove it so Coq can migrate. Ralf, you’ve done the last few why uploads; what do you recommend here?