Bug#929300: RM: why -- ROM; RC-buggy, abandonned by upstream

[Ralf Treinen <treinen@debian.org>]

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