creduce is marked for autoremoval from testing

creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-05-13 It (build-)depends on packages with these RC bugs: 1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3' https://bugs.debian.org/1033701 This mail is generated by:

Bug#1030897: marked as done (gcc-11-cross: FTBFS in Testing due to gcc-9 build-depends)

Your message dated Fri, 7 Apr 2023 21:50:33 +0200 with message-id <5ebeb5ab-3d37-d6af-6f46-9af6e6f33...@debian.org> and subject line Re: gcc-11-cross: FTBFS in Testing due to gcc-9 build-depends has caused the Debian Bug report #1030897, regarding gcc-11-cross: FTBFS in Testing due to gcc-9