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.
> This makes why unusable [1]. For this reason
> I think that why should not be distributed with buster, please remove
> it from testing.
>
> The current why in testing delays the migration of coq and friends
> (I hope we get one day all the blockers of coq out of the way!)
>
> Thanks -Ralf.
>
> [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902618
>
> -- System Information:
> Debian Release: buster/sid
> APT prefers unstable
> APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1,
> 'experimental')
> Architecture: amd64 (x86_64)
> Foreign Architectures: i386
>
> Kernel: Linux 4.19.0-3-amd64 (SMP w/4 CPU cores)
> Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL
> set to en_US.utf8), LANGUAGE=en_US:en (charmap=UTF-8) (ignored: LC_ALL set to
> en_US.utf8)
> Shell: /bin/sh linked to /bin/dash
> Init: systemd (via /run/systemd/system)
> LSM: AppArmor: enabled
>
signature.asc
Description: OpenPGP digital signature
