Processing commands for cont...@bugs.debian.org:
> fixed 1020516 4.8.12-3
Bug #1020516 {Done: Karo Gyoker <karogyoker2+deb...@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+deb...@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+deb...@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 ow...@bugs.debian.org with problems
