Version 20211203-chromium-1 of frama-c is marked for autoremoval from testing on Fri 24 Jun 2022. It is affected by #1010867. The removal of frama-c will also cause the removal of (transitive) reverse dependency: creduce. It depends (transitively) on why3, affected by #1010867. You should try to prevent the removal by fixing these RC bugs.
Last update: 2022-05-22
Problems while searching for a new upstream version
uscan had problems while searching for a new upstream version:
In debian/watch no matching files for watch line
The current maintainer is looking for someone who can help with
the maintenance of this package. If you are interested in this
package, please consider helping out. One way you can help is
offer to be a co-maintainer or triage bugs in the BTS. Please see bug number #907946 for more information.