bitwuzla - Debian Package Tracker

general

source: bitwuzla (main)
version: 0.8.2-2
maintainer: Debian Science Maintainers (archive) (DMD)
uploaders: Gábor Németh [DMD]
arch: all any
std-ver: 4.7.3
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

unstable: 0.8.2-2

versioned links

0.8.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

bitwuzla
bitwuzla-dev
bitwuzla-doc
libbitwuzla0
python3-bitwuzla (1 bugs: 1, 0, 0, 0)

action needed

A new upstream version is available: 0.9.1 high

A new upstream version 0.9.1 is available, you should consider packaging it.

Created: 2026-03-18 Last update: 2026-07-05 23:00

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2026-07-02 Last update: 2026-07-06 01:01

Multiarch hinter reports 1 issue(s) normal

There are issues with the multiarch metadata for this package.

bitwuzla-dev could be marked Multi-Arch: same

Created: 2026-03-01 Last update: 2026-07-05 20:01

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 0.8.2-3, distribution unstable) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

commit 4cf82afba2671ec8f09860344b814babdb6dfe0a
Author: Gábor Németh <homar@riseup.net>
Date:   Thu Jul 2 15:52:38 2026 +0200

    Undo Python version restriction (#1141249)

commit 90715236a665a783438727f948ace812e123c6db
Author: Gábor Németh <homar@riseup.net>
Date:   Thu Jul 2 15:03:53 2026 +0200

    Bump S-V

commit 37d1b9896e77a9cd83e2c289b22a7d44c2a9830e
Author: Gábor Németh <homar@riseup.net>
Date:   Wed Mar 4 09:35:37 2026 +0100

    Multiarch on -dev

Created: 2026-03-06 Last update: 2026-07-02 16:03

piuparts found (un)installation error(s) normal

Piuparts stresses package installation, uninstallation, upgrade, ... While doing such tests, one or more errors were found for the following suites:

sid - piuparts

You should fix them.

Created: 2026-06-28 Last update: 2026-06-28 08:30

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.4 instead of 4.7.3).

Created: 2026-03-31 Last update: 2026-03-31 15:01

testing migrations

This package is part of the ongoing testing transition known as auto-upperlimit-python3. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:
- Migrates after: python3-defaults
- Migration status for bitwuzla (- to 0.8.2-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ Updating bitwuzla would introduce bugs in testing: #1141249
- ∙ ∙ Piuparts regression - https://piuparts.debian.org/sid/source/b/bitwuzla.html
- ∙ ∙ Depends: bitwuzla python3-defaults (not considered)
- Additional info (not blocking):
- ∙ ∙ Reproduced on amd64 - info
- ∙ ∙ Reproduced on arm64 - info
- ∙ ∙ Reproduced on armhf - info
- ∙ ∙ Reproduced on i386 - info
- ∙ ∙ 125 days old (needed 5 days)
- Not considered

news

[rss feed]

[2026-07-03] bitwuzla REMOVED from testing (Debian testing watch)
[2026-03-08] bitwuzla 0.8.2-2 MIGRATED to testing (Debian testing watch)
[2026-03-02] Accepted bitwuzla 0.8.2-2 (source) into unstable (Gábor Németh) (signed by: Andreas Tille)
[2026-02-28] Accepted bitwuzla 0.8.2-1 (source amd64 all) into unstable (Debian FTP Masters) (signed by: Andreas Tille)

bugs [bug history graph]

all: 1
RC: 1
I&N: 0
M&W: 0
F&P: 0
patch: 0

links

homepage
lintian
buildd: logs, cross
popcon
browse source code
other distros
debian patches