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'
- 4.13.3-1 (trixie, sid)
- 4.8.12-3.1 (bookworm)
- 4.8.10-1 (bullseye)