Bug#1037615: marked as done (cvise: ftbfs with GCC-13)

Your message dated Sat, 15 Jul 2023 09:34:29 +0200 with message-id and subject line Re: cvise: ftbfs with GCC-13 has caused the Debian Bug report #1037615, regarding cvise: ftbfs with GCC-13 to be marked as done. This means that you claim that the problem has been dealt with. If this is not the c

Processing of gcc-12-cross-mipsen_4+c1_source.changes

gcc-12-cross-mipsen_4+c1_source.changes uploaded successfully to localhost along with the files: gcc-12-cross-mipsen_4+c1.dsc gcc-12-cross-mipsen_4+c1.tar.xz gcc-12-cross-mipsen_4+c1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

gcc-12-cross-mipsen_4+c1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 14 Jul 2023 14:55:24 +0800 Source: gcc-12-cross-mipsen Architecture: source Version: 4+c1 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers Chang

creduce is marked for autoremoval from testing

creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-08-20 It (build-)depends on packages with 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