Dear all, I'm looking for a sponsor for a new version of bitwuzla. [1]
It fixes a serious bug [2] that prevents installation with the upcoming new default Python version. (FYI the piuparts job fails on Salsa [3] when testing the upgrade path I think exactly because it cannot install the previous version.)
Br, Gábor [1] https://salsa.debian.org/science-team/bitwuzla/-/commit/a16292fbff19912cff1fe82256b6371f0cfa5f16 [2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141249 [3] https://salsa.debian.org/science-team/bitwuzla/-/jobs/9910104
