Bug#1047765: z3: Fails to build source after successful build

[Santiago Vila]

severity 1047765 normal
close 1047765 4.13.3-1
thanks

Hi. I've checked and this is fixed in trixie.

Thanks.