Processing control commands: > tags -1 patch Bug #1020010 [src:cvc4] cvc4 FTBFS with bash 5.2 Added tag(s) patch.
-- 1020010: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020010 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
