Processing control commands: > tags 1112823 + patch Bug #1112823 [src:cvc4] cvc4: FTBFS with CMake 4 Added tag(s) patch. > tags 1112823 + pending Bug #1112823 [src:cvc4] cvc4: FTBFS with CMake 4 Added tag(s) pending.
-- 1112823: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1112823 Debian Bug Tracking System Contact [email protected] with problems
