bitwuzla - Debian Package Tracker

general

source: bitwuzla (main)
version: 0.8.2-1
maintainer: Debian Science Maintainers (archive) (DMD)
uploaders: Gábor Németh [DMD]
arch: all any
std-ver: 4.7.2
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-1

versioned links

0.8.2-1: [.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: 2021 high

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

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

12 new commits since last upload, is it time to release? normal

vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:

commit 0fbfe1836167bb232fc74de64c1893340031ff62
Author: Gábor Németh <homar@riseup.net>
Date:   Mon Feb 23 09:07:07 2026 +0000

    Keep upstream license for debian/* too

commit cfaf1fd967a547f0dcfc165a75e9329c640cc89e
Author: Gábor Németh <homar@riseup.net>
Date:   Mon Feb 23 07:26:35 2026 +0000

    Match patches copyright with upstream
    
    as per NEW queue review in https://dfsg-new-queue.debian.org/reviews/bitwuzla

commit e18945ae2c4a395bc234df393aea256f2a0a8a3a
Author: Andreas Tille <tille@debian.org>
Date:   Tue Dec 16 08:53:36 2025 +0100

    Cleanup d/changelog: There are no changes to the *previous* Debian release since this is the initial release (I also removed the tag.  Please tag the commit which is *finally accepted*)

commit f1f083a321040343f46b4f1950c00be305ab24b1
Author: Andreas Tille <tille@debian.org>
Date:   Tue Dec 16 08:52:45 2025 +0100

    Fix Vcs fields

commit 28b20a925e9e117bc83b1584286265c44f493582
Author: Gábor Németh <homar@riseup.net>
Date:   Mon Dec 15 13:30:28 2025 +0000

    Add Salsa New queue pipeline

commit 9aa8ba8adafc60f0f18c6a8189caf18ec4257438
Author: Gábor Németh <homar@riseup.net>
Date:   Mon Dec 15 10:53:05 2025 +0100

    Patch: fix erroneous assert on 32bit

commit 653d14d196b6ec7c05b150d02636a51fce1761e5
Author: Gábor Németh <homar@riseup.net>
Date:   Wed Dec 10 15:32:13 2025 +0100

    Only support Python 3.13

commit 11e85ca9ed2beb82f957d9add247ea8a823d3abe
Author: Gábor Németh <homar@riseup.net>
Date:   Fri Dec 5 09:50:47 2025 +0100

    Fix B-D on git

commit dd9f4aa7f2ca43a88ae6a1b262ce61e829b54139
Author: Gábor Németh <homar@riseup.net>
Date:   Fri Dec 5 09:28:12 2025 +0100

    Turn on Salsa CI

commit 77a142846f2eb6394eeb380773705a1eb5d2fbdc
Author: Gábor Németh <homar@riseup.net>
Date:   Fri Dec 5 09:07:56 2025 +0100

    Maintained by the Science Team

commit 48f72a2c53a9004475d6b90b221500f959d5d702
Author: Gábor Németh <homar@riseup.net>
Date:   Thu Dec 4 18:15:44 2025 +0100

    Fix gbp.conf
    
    - Branch names
    - Version tags

commit 69f22a44efe49948f00d76f1b1d7bde31202f4d7
Author: Gábor Németh <homar@riseup.net>
Date:   Thu Nov 20 12:00:02 2025 +0100

    Initial release of v0.8.2
    
    - Package: binary, shared library, Python module, C/C++ headers, and HTML docs
    - Patches: use already packaged deps, clean rpaths
    - Docs: generate man page, use fonts & JS from Debian

Created: 2026-03-01 Last update: 2026-03-01 03: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.3 instead of 4.7.2).

Created: 2026-03-01 Last update: 2026-03-01 07:18

testing migrations

excuses:
- Migration status for bitwuzla (- to 0.8.2-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ Not built on buildd: arch amd64 binaries uploaded by tille
- ∙ ∙ Not built on buildd: arch all binaries uploaded by tille, a new source-only upload is needed to allow migration
- ∙ ∙ Too young, only 0 of 5 days old
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/b/bitwuzla.html
- ∙ ∙ Reproducibility check waiting for results on amd64
- ∙ ∙ Reproducibility check waiting for results on arm64
- ∙ ∙ Reproducibility check waiting for results on armhf
- ∙ ∙ Reproducibility check waiting for results on i386
- ∙ ∙ Reproducibility check waiting for results on ppc64el
- Not considered

news

[rss feed]

[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: 0
I&N: 1
M&W: 0
F&P: 0
patch: 0

links

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