bitwuzla uploaded to new (Was: Bug#1111926: ITS: boolector)

[Andreas Tille]

Hi Gábor,

Am Mon, Dec 15, 2025 at 03:44:47PM +0100 schrieb Gábor Németh:
> > That's great.  Just let me know when you want me to do the upload to
> > new.
> 
> Took a while but now I hope I got the issue right. [1]

Hope so as well.  I added a comment (OK for me)

For the packaging itself:
  1. Changed Vcs fields to Science team
  2. Cleaned up changelog (the initial upload should only mention
     "Initial upload" - there are no changes to previous uploads)
  3. I deleted the tag.
      a. Should be tagged only if accepted and available in unstable
      b. Please leave the tagging to your sponsor.  As you have seen
         I had some additional changes (or might ask you for further
         changes before sponsored upload)

Thank you for your work on this package.  Its really appreciated and
I've uploaded to NEW now.

Kind regards
    Andreas.

> [1] https://salsa.debian.org/newgateway-team/reviews/-/issues/80

-- 
https://fam-tille.de