On Sat, Aug 23, 2025 at 21:35:07 +0200, Andreas Tille wrote: > Hi, > > I'm interested in salvaging the package boolector, in accordance with > the Package Salvaging procedure outlined in the Developers Reference[1]. > This package meets the criteria for this process, and I would love to > assist in preserving and maintaining it. As the Salvage process > suggests, here is a list of the criteria that apply, in my opinion: > [...] > > I believe the package would be a great addition to the Science team, and > I took the liberty to create the Salsa repository here[2]. If you choose > not to accept the ITS, I'd be more than happy to help you move it to > another location, such as debian/, or wherever you prefer. My goal is to > make it as easy as possible for you to join the team. I'd also be > delighted to assist in adding you as a team member if you could share > your Salsa login. > [...]
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. More than happy to approve of this ITS and also any potential transfer of package ownership. Best, Michael
signature.asc
Description: PGP signature
