Florian Panzer

uhm, just my two cents: 

I'm in the same position..50% long term customers, 50% one-off customers. For those, I created a "dummy" customer, it's #10000 (first customer ID). If a customer signs a contract or...

> This problem seams to be related to the libz3-4 package. Cura works with version 4.8.12-3.1+b2 but not with version 4.8.12-3.1+b3 and later. Confirmed. Works with older libz3-4_4.8.12-3.1_amd64.deb from debian...

> Where is the bug though? In libz3-4 or somewhere else? Nah, it's just Cura being incompatible with a newer libz3-4 version, probably because of some function call change.

> my guess is that this bug is related to **amdgpu** and not to libz3 I confirm this, because _for me_, from multiple systems running the same package versions but...