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

2023-02-01 Thread Manuel A. Fernandez Montecelo
On Wed, 1 Feb 2023 at 16:05, Sylvestre Ledru wrote: > > Hello > > Thanks. > > please upload it now :) no need to wait OK, thanks a lot, will do! -- Manuel A. Fernandez Montecelo

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

2023-02-01 Thread Sylvestre Ledru
Hello Thanks. please upload it now :) no need to wait Thanks again, S Le 01/02/2023 à 16:00, Manuel A. Fernandez Montecelo a écrit : Control: tags -1 +pending Hi again, 2023-01-15 23:30 Manuel A. Fernandez Montecelo: On Fri, 2 Dec 2022 at 22:45, Manuel A. Fernandez Montecelo wrote:

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

2023-02-01 Thread Manuel A. Fernandez Montecelo
Control: tags -1 +pending Hi again, 2023-01-15 23:30 Manuel A. Fernandez Montecelo: On Fri, 2 Dec 2022 at 22:45, Manuel A. Fernandez Montecelo wrote: Source: z3 Version: 4.8.12-3 Severity: wishlist Tags: ftbfs patch User: debian-ri...@lists.debian.org Usertags: riscv64 X-Debbugs-Cc:

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

2023-01-15 Thread Manuel A. Fernandez Montecelo
On Fri, 2 Dec 2022 at 22:45, Manuel A. Fernandez Montecelo wrote: > > Source: z3 > Version: 4.8.12-3 > Severity: wishlist > Tags: ftbfs patch > User: debian-ri...@lists.debian.org > Usertags: riscv64 > X-Debbugs-Cc: m...@debian.org, debian-ri...@lists.debian.org > > Hi, > > The package needs to

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

2022-12-02 Thread Manuel A. Fernandez Montecelo
Source: z3 Version: 4.8.12-3 Severity: wishlist Tags: ftbfs patch User: debian-ri...@lists.debian.org Usertags: riscv64 X-Debbugs-Cc: m...@debian.org, debian-ri...@lists.debian.org Hi, The package needs to link against libatomic in this architecture, with the patch attached or an equivalent. I