frama-c 20220511-manganese-3 is marked for autoremoval from testing on 2023-08-20
It is affected by these RC bugs: 1040537: frama-c: frama-c FTBFS: Error: This expression has type ... but an expression was expected of type https://bugs.debian.org/1040537 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
