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

Processing control commands: > tags -1 +pending Bug #835743 [src:z3] z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous Added tag(s) pending. -- 835743: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835743 Debian Bug Tracking System

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

Processing control commands: > tags -1 +pending Bug #835754 [src:z3] z3: FTBFS: util/debug.cpp:79:38: error: cannot convert 'std::basic_istream' to 'bool' in initialization Added tag(s) pending. -- 835754: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835754 Debian Bug Tracking System

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

Processing control commands: > tags -1 + upstream patch fixed-upstream Bug #835743 [src:z3] z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous Added tag(s) fixed-upstream, patch, and upstream. -- 835743: