Debian Patches

Status for bitwuzla/0.8.2-1

Patch Description Author Forwarded Bugs Origin Last update
cadical-static Statically link to CaDiCaL
CaDiCaL API is packaged as a static library in Debian, so we use that unconditionally.		 Gábor Németh <homar@riseup.net> not-needed
symfpu Use Debian-provided SymFPU
Debian packages SymFPU which we use as installed, substituting a dummy Meson dependency.		 Gábor Németh <homar@riseup.net> not-needed
no-rpath Clean RPATHs
Do not include RPATHs in built binaries.		 Gábor Németh <homar@riseup.net> not-needed
so-libs Add library .so versions
Add the same SOVERSION to all Bitwuzla libraries.		 Gábor Németh <homar@riseup.net> not-needed
mpz-size-check Remove erroneous assert
Zero mpz_size is valid, it means the stored value is zero.
All GMP functions will handle it correctly.		 Gábor Németh <homar@riseup.net> yes

All known versions for source package 'bitwuzla'

Links