Package: sponsorship-requests Severity: wishlist Dear mentors,
I am looking for a sponsor for my package "bitwuzla": * Package name : bitwuzla Version : 0.8.2-1 Upstream contact : Aina Niemetz <[email protected]> * URL : https://github.com/bitwuzla/bitwuzla * License : Expat * Vcs : https://salsa.debian.org/homar/bitwuzla Section : science The source builds the following binary packages: bitwuzla - SMT solver for bit vectors and arrays libbitwuzla0 - SMT solver for bit vectors and arrays (runtime libraries) bitwuzla-dev - SMT solver for bit vectors and arrays (development files) python3-bitwuzla - SMT solver for bit vectors and arrays (Python bindings) bitwuzla-doc - Documentation for Bitwuzla To access further information about this package, please visit the following URL: https://mentors.debian.net/package/bitwuzla/ Alternatively, you can download the package with 'dget' using this command: dget -x https://mentors.debian.net/debian/pool/main/b/bitwuzla/bitwuzla_0.8.2-1.dsc Changes for the initial release: bitwuzla (0.8.2-1) unstable; urgency=medium . * Initial release. (Closes: #1121763) BR, Gábor
