Hi Gábor, Am Thu, Dec 04, 2025 at 12:29:15PM +0100 schrieb Gábor Németh: > > In the case of boolector we need to wait until btor2tools is accepted in > > unstable. I'll upload boolector right after this has happened. > Please note that a successor tool called Bitwuzla is available, with all > development effort by the same authors spent on that. I've submitted an ITP > and tried to package it. [1] Please consider sponsoring it, and maybe even > recommend it to Boolector users(?).
Thank you for the pointer. My personal sponsoring policy is that I'm sponsoring team maintained packages only and I'm sponsoring from the Salsa repository (so no need for you to use mentors). Since the package fits nicely into Debian Science I just made you a member of this team. If you consider this sensible please move your repository and make the Debian Science team maintainer of this package. You can use the btor2tools package as example. Kind regards Andreas. > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1121897 -- https://fam-tille.de
