Bug#1111926: ITS: boolector

[Andreas Tille]

Source: boolector
Version: 1.5.118.6b56be4.121013-1.3
Severity: important
X-Debbugs-Cc: Michael Tautschnig <mt at debian.org>, Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>, 922877 at bugs.debian.org, Package Salvaging Team <team+salvage at tracker.debian.org>

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:
 
  - NMUs (more than one NMU in a row).
  - Bugs filed against the package do not have answers from the
    maintainer.
  - Upstream has released several versions, but despite there being
    a bug entry asking for it, it has not been packaged.
  - There are QA issues with the package.
 
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.
 
Since the latest version requires the new dependency btor2tools we need
to wait with an upload until this is accepted in unstable.
 
This package was highlighted in the Bug of the Day[3] initiative, which
aims to introduce newcomers to manageable tasks and guide them through
the workflow to solve them. The focus of this initiative is on migrating
packages to Salsa, as it's a great way to help newcomers become familiar
with a consistent Git-based workflow.
 
Kind regards
    Andreas.
 
[1] https://www.debian.org/doc/manuals/developers-reference/pkgs.en.html#package-salvaging
[2] https://salsa.debian.org/science-team/boolector
[3] https://salsa.debian.org/qa/tiny_qa_tools/-/wikis/Tiny-QA-tasks
 

-- System Information:
Debian Release: forky/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (50, 'buildd-unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 6.3.0-2-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled