Processing control commands: > tags -1 patch Bug #811823 [cvc3] cvc3: FTBFS with GCC 6: misc errors Added tag(s) patch.
-- 811823: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811823 Debian Bug Tracking System Contact [email protected] with problems
