Package: ftp.debian.org Severity: normal Hi,
please remove the package "why" (not to be confused with why3!) from unstable. Reasons: - this software would need porting to recent version of why3. In the current state it is useless [1] - Upstream declares that they do not want to continue maintaining why [2] Thanks -Ralf. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902618 [2] https://lists.gforge.inria.fr/pipermail/why3-club/2019-March/001907.html
