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]

testing: 0.8.2-2
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

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-06-28 23:30

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-06-29 02:00

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

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 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-06-27 17:00

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.

news

[rss feed]

[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: 0

links

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