Your message dated Fri, 21 Oct 2022 19:26:54 +0000 with message-id <e1olxfs-00atx4...@fasolo.debian.org> and subject line Bug#1016658: fixed in z3 4.8.12-3 has caused the Debian Bug report #1016658, regarding kalgebra: fails to start: assertion failed to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1016658: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1016658 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: kalgebra Version: 4:20.12.1-1 Severity: grave Justification: renders package unusable X-Debbugs-Cc: karogyoker2+deb...@gmail.com Dear Maintainer, I use Debian Edu 11.4 Standard install for i386 on an Athlon XP. When I try to start kalgebra from Terminal, this is what I get: (kalgebra:3838): Gtk-CRITICAL **: 14:28:36.532: _gtk_css_ease_value_new_cubic_bezier: assertion 'x1 <= 1.0' failed (kalgebra:3838): Gtk-CRITICAL **: 14:28:36.534: _gtk_css_array_value_new: assertion 'content != NULL' failed ** Gtk:ERROR:../../../../gtk/gtkcssstylepropertyimpl.c:87:gtk_css_style_property_register: assertion failed: (initial_value != NULL) Bail out! Gtk:ERROR:../../../../gtk/gtkcssstylepropertyimpl.c:87:gtk_css_style_property_register: assertion failed: (initial_value != NULL) Aborted -- System Information: Debian Release: 11.4 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: i386 (i686) Kernel: Linux 5.10.0-16-686-pae (SMP w/1 CPU thread) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages kalgebra depends on: ii kalgebra-common 4:20.12.1-1 ii kio 5.78.0-5 ii libanalitza8 4:20.12.0-2 ii libanalitzagui8 4:20.12.0-2 ii libanalitzaplot8 4:20.12.0-2 ii libanalitzawidgets8 4:20.12.0-2 ii libc6 2.31-13+deb11u3 ii libkf5configcore5 5.78.0-4 ii libkf5configwidgets5 5.78.0-2 ii libkf5coreaddons5 5.78.0-4 ii libkf5i18n5 5.78.0-2 ii libkf5kiocore5 5.78.0-5 ii libkf5widgetsaddons5 5.78.0-2 ii libkf5xmlgui5 5.78.0-2 ii libqt5core5a 5.15.2+dfsg-9 ii libqt5gui5 5.15.2+dfsg-9 ii libqt5webenginewidgets5 5.15.2+dfsg-3 ii libqt5widgets5 5.15.2+dfsg-9 ii libreadline8 8.1-1 ii libstdc++6 10.2.1-6 kalgebra recommends no packages. kalgebra suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Source: z3 Source-Version: 4.8.12-3 Done: Karo Gyoker <karogyoker2+deb...@gmail.com> We believe that the bug you reported is fixed in the latest version of z3, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 1016...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Karo Gyoker <karogyoker2+deb...@gmail.com> (supplier of updated z3 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 21 Oct 2022 19:24:40 +0200 Source: z3 Architecture: source Version: 4.8.12-3 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-t...@lists.alioth.debian.org> Changed-By: Karo Gyoker <karogyoker2+deb...@gmail.com> Closes: 1016658 1020516 1020802 1021926 Changes: z3 (4.8.12-3) unstable; urgency=medium . * Do not use SSE2 unconditionally on i386 (Closes: #1020802, #1020516, #1016658, #1021926) Checksums-Sha1: 43831183587607081a47be1fe2a54cfce70e81bd 2630 z3_4.8.12-3.dsc 2f37f8566b2bfeeeac62d228e86a62becd48dad1 10308 z3_4.8.12-3.debian.tar.xz a01f0e6c10e5fa3f3ee0967a854ce77521ded596 13280 z3_4.8.12-3_amd64.buildinfo Checksums-Sha256: bae3d63f0c8168d91935dafc7f77d24cfe27a17557018d184fc371a1bf9b0275 2630 z3_4.8.12-3.dsc 1eb8b62a1194956a0049d4ab121bd088a727499dd69d4d7dc0f4e6c09affec3e 10308 z3_4.8.12-3.debian.tar.xz 0fdb6927d4a72dde54d84e20b42e432c5ddf36caf43f2912d8898977be139b44 13280 z3_4.8.12-3_amd64.buildinfo Files: 75cba8dd8da47e6d5a37d20d7c523b18 2630 science optional z3_4.8.12-3.dsc f45db163406f1154f020a50ddc9e622f 10308 science optional z3_4.8.12-3.debian.tar.xz 3848cd121e018bda08b02e6de4407042 13280 science optional z3_4.8.12-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmNS6LYACgkQfmUo2nUv G+FpYRAAnYCzX4hNo0+CZvKIqUSqqY1HhjpSDZ1G/UC10xvgiDxpYNy/ZjLmDh+2 1wDvT6Q+2hVH7i44bOdpPIzIw/lLEaGpS3+LgumSwoG4S5QptrBtvEUDi8E+hngZ D4mA/9K4PxrwYhlmC6/lxXc749Opy+v3pKXj9XPd8ukZ9iSbaLH+UD+ITjTnCZo9 kHlZCSii+d4g7Zf0AqoAMIlcIxoH3aU95w/uNFOAF/nbPD/nVug3I3OhrprMGk5e 9tJ3VNK/3oKeiLUnzqnVNzWzKnnZ65pc+doNEKfezmjsbtbqjCEXeSyShqaOHVj9 XUMGllLFRmnPaNgqMJHXbHhVo8Xhz1X1l3ZdWNGXVS8qOkC9AmdGsk8n61KsG/Rk JuhsUEhi5Zw+Q8s2gQqohdH9zXfao2L1HK88i000z35T0EPJYdkuBvQdLwfGfzW5 bLTa8rsb6DtYbeQrUAh4UBoJMqTTIpBic3eFiinuO4BJ13Izk+mp1Wbi+hJ16Haj mU0ldo/99s210N0Ncf0z3E8677heVCwWBlf7EY5SwHULk9IPh7biqIKDKFmY505x M9zOmIphoOF46Ni6axphf+e2vXXgei72GNkMDVJoLUXRJS9zALtpRo0AOBL3vo38 vah3nZidbrCQaGUDoIdQV6ZSUbnmofmaq3JpGmQAaLhQtwJwOIo= =oCMy -----END PGP SIGNATURE-----
--- End Message ---
