Bug#1025343: z3: Please link against -latomic for "riscv64" arch

[Manuel A. Fernandez Montecelo]

On Wed, 1 Feb 2023 at 16:05, Sylvestre Ledru <sylves...@debian.org> wrote:
>
> Hello
>
> Thanks.
>
> please upload it now :) no need to wait

OK, thanks a lot, will do!


-- 
Manuel A. Fernandez Montecelo <manuel.montez...@gmail.com>