Processing commands for cont...@bugs.debian.org: > tags 835754 + patch upstream fixed-upstream Bug #835754 [src:z3] z3: FTBFS: util/debug.cpp:79:38: error: cannot convert 'std::basic_istream<char>' to 'bool' in initialization Added tag(s) fixed-upstream, patch, and upstream. > thanks Stopping processing here.
Please contact me if you need assistance. -- 835754: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835754 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
