[DRE-maint] Processed: tagging 1006919, found 1003570 in 0.3-3, found 1003568 in 0.9.5+dfsg.2-1, tagging 1003568 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 1006919 + sid bookworm
Bug #1006919 [src:cbmc] src:cbmc FTBFS
Added tag(s) bookworm and sid.
> found 1003570 0.3-3
Bug #1003570 [giara] giara: Depends on python3-mistune 0.8.4 which is deprecated
Marked as found in versions giara/0.3-3.
> found 1003568 0.9.5+dfsg.2-1
Bug #1003568 [python3-flasgger] python3-flasgger: Depends on python3-mistune 0.8.4 which is deprecated
Marked as found in versions python-flasgger/0.9.5+dfsg.2-1.
> tags 1003568 + sid bookworm
Bug #1003568 [python3-flasgger] python3-flasgger: Depends on python3-mistune 0.8.4 which is deprecated
Added tag(s) bookworm and sid.
> found 1003567 8.2.20220103095339-1
Bug #1003567 [python3-schema-salad] python3-schema-salad: Depends on python3-mistune 0.8.4 which is deprecated
Marked as found in versions python-schema-salad/8.2.20220103095339-1.
> tags 1003566 + sid bookworm
Bug #1003566 [lektor] lektor: Depends on python3-mistune 0.8.4 which is deprecated
Added tag(s) sid and bookworm.
> found 1003566 3.1.3-1
Bug #1003566 [lektor] lektor: Depends on python3-mistune 0.8.4 which is deprecated
Marked as found in versions lektor/3.1.3-1.
> tags 994619 + sid bookworm
Bug #994619 [xpra] xpra: recommends gir1.2-appindicator3-0.1 which is no longer available
Added tag(s) sid and bookworm.
> tags 1006994 + sid bookworm
Bug #1006994 [src:thin] thin: FTBFS on s390x
Added tag(s) sid and bookworm.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1003566: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003566
1003567: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003567
1003568: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003568
1003570: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003570
1006919: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1006919
1006994: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1006994
994619: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994619
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems