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: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835743 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
