Dear All, I'm looking for a sponsor for a new version of bitwuzla. [1]
It fixes a serious bug [2] that blocks the build due to test timeout of a single test case on some archs. [3] (On most archs the test passes OK.)
Thanks, Gábor [1] https://salsa.debian.org/science-team/bitwuzla/-/commit/2a9b2ded [2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143940 [3] https://buildd.debian.org/status/package.php?p=bitwuzla
