On Wed, 1 Feb 2023 at 16:05, Sylvestre Ledru <[email protected]> wrote: > > Hello > > Thanks. > > please upload it now :) no need to wait
OK, thanks a lot, will do! -- Manuel A. Fernandez Montecelo <[email protected]>
Bug#1025343: z3: Please link against -latomic for "riscv64" arch
Manuel A. Fernandez Montecelo Wed, 01 Feb 2023 07:21:17 -0800
- Bug#1025343: z3: Please link against -latomi... Manuel A. Fernandez Montecelo
- Bug#1025343: z3: Please link against -l... Sylvestre Ledru
- Bug#1025343: z3: Please link agains... Manuel A. Fernandez Montecelo
