Version 1.1.1-1 of why3 is marked for autoremoval from testing on Thu 07 Mar 2019. It is affected by #918633. The removal of why3 will also cause the removal of (transitive) reverse dependency: why. It depends (transitively) on coq, affected by #916369.
You should try to prevent the removal by fixing these RC bugs.