Version 1.4.1-2 of why3 is marked for autoremoval from testing on Fri 24 Jun 2022. It is affected by #1010867. The removal of why3 will also cause the removal of (transitive) reverse dependencies: creduce, frama-c. You should try to prevent the removal by fixing these RC bugs.
Last update: 2022-05-28
The package has not entered testing even though the delay is over
The package has not entered testing even though the 5-day delay is over.Check why.