unstable: pass (log)
The tests ran in 0:01:22
Last run: 2021-01-09T07:27:40.000Z
Previous status: fail
testing: fail (log)
The tests ran in 0:01:24
Last run: 2021-10-14T16:13:18.000Z
Previous status: pass
Marked for autoremoval on 15 November due to why3: #995603high
Version 20201209+titanium-4.1 of frama-c is marked for autoremoval from testing on Mon 15 Nov 2021. It depends (transitively) on why3, affected by #995603. You should try to prevent the removal by fixing these RC bugs.
Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
In debian/watch no matching files for watch line
https://frama-c.com/download.html download/frama-c-[0-9]{2}\.[0-9]-([a-zA-Z]+)\.tar\.gz
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.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/f/frama-c.png){kind=link}