Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: rm
Hi, please remove src:why from testing. 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. 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
