Register
|
Log in
News for package
bitwuzla
[
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
)
