Control: tags -1 wontfix unblock 1121763 by -1 close -1 --
Moved to Science Team Salsa [1] as per [2]; will request sponsorship there. [1] https://salsa.debian.org/science-team/bitwuzla [2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111926#25
