Processed: Re: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

[Debian Bug Tracking System]

Processing control commands:

> tags -1 +pending
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) pending.

-- 
835754: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835754
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems