Control: reassign -1 release.debian.org Control: tags -1 pending On 24-02-2019 19:56, Ralf Treinen wrote: > Hi Paul, > > On Sun, Feb 24, 2019 at 07:41:37PM +0100, Paul Gevers wrote: >> Control: reassign -1 ftp.debian.org >> Control: retitle -1 RM: why -- ROM; Dependency why3 too new in unstable >> >> Hi Ralf >> >> Removals are normally requested from unstable. Once removed there, they >> automatically are removed from testing. >> >> On 23-02-2019 21:26, Ralf Treinen wrote: >>> why depends on why3. However, the version of why in testing, as well as >>> the newest version of why published by ustream, need a version of why3 >>> <= 0/88.3 which is older than the version of why3 that we have in >>> testing or in unstable. >> ^^^^^^^^ >> Is why it should be removed from unstable for sure. > > I think that would be premature. I first want to check with upstream > whether they intend to update why to support the latest version of > why3. If that happens then it certainly will be too late for buster > but we still would like to update the why package in that case.
Thanks for explaining this.
elbrus@respighi:~$ dak rm --no-action --suite=testing why
Will remove the following packages from testing:
libwhy-coq | 2.40-3 | all
why | 2.40-3 | source
why | 2.40-3+b1 | amd64, arm64, armhf, i386, ppc64el, s390x
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
------------------- Reason -------------------
Ok. Will add the removal hint.
Paul
signature.asc
Description: OpenPGP digital signature
