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

Manuel A. Fernandez Montecelo manuel.montezelo at gmail.com
Wed Feb 1 15:19:19 GMT 2023


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

OK, thanks a lot, will do!


-- 
Manuel A. Fernandez Montecelo <manuel.montezelo at gmail.com>



More information about the Pkg-llvm-team mailing list