Processed: fixed 1020516 in 4.8.12-3, fixed 1016658 in 4.8.12-3, fixed 1021926 in 4.8.12-3

Debian Bug Tracking System owner at bugs.debian.org
Wed Oct 26 10:15:04 BST 2022


Processing commands for control at bugs.debian.org:

> fixed 1020516 4.8.12-3
Bug #1020516 {Done: Karo Gyoker <karogyoker2+debbug at gmail.com>} [z3] i386: nothing but a blinking underscore at the top left
Marked as fixed in versions z3/4.8.12-3.
> fixed 1016658 4.8.12-3
Bug #1016658 {Done: Karo Gyoker <karogyoker2+debbug at gmail.com>} [z3] kalgebra: fails to start: assertion failed
Marked as fixed in versions z3/4.8.12-3.
> fixed 1021926 4.8.12-3
Bug #1021926 {Done: Karo Gyoker <karogyoker2+debbug at gmail.com>} [z3] clang-14 fails to run with "Illegal Instruction" at i386 (pre SSE2), is linking to libz3 really needed.
Marked as fixed in versions z3/4.8.12-3.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1016658: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016658
1020516: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020516
1021926: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021926
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-llvm-team mailing list