Hello,I'm in the Frama-C development team and would like to become a maintainer of this package, so thatt we can minimize the maintenance burden on Debian maintainers (thanks a lot Mehdi for all the work you did during several years!).
I'm still learning about Debian packaging, but should hopefully be able to help in short notice.
-- André Maroneze Researcher/Engineer CEA/List Software Safety and Security Laboratory