Hi Michael, Am Mon, Aug 25, 2025 at 11:48:26PM +0200 schrieb Michael Tautschnig: > > Thank you very much for taking the initiative to salvage the boolector > package! > As current maintainer I'd be more than happy for this package to become team > maintained or be maintained by someone else -- I do find way too little time > to > take care of it at the moment.
Thanks a lot for confirming this. Its really helpful to get your support. > More than happy to approve of this ITS and also any potential transfer of > package ownership. In the case of boolector we need to wait until btor2tools is accepted in unstable. I'll upload boolector right after this has happened. Thank you for your initial work on boolector Andreas. -- https://fam-tille.de
