Debian Patches

Status for z3/4.8.12-3.1

Patch Description Author Forwarded Bugs Origin Last update
00-intrinsics.patch SSE2 is not universally available on x86_32 Karo Gyoker <karogyoker2+debbug@gmail.com> no 2022-10-19
01-soname.patch Set the SONAME properly Fabian Wolff <fabi.wolff@arcor.de> no 2020-01-08

All known versions for source package 'z3'

Links