On Fri, 2 Dec 2022 at 22:45, Manuel A. Fernandez Montecelo <m...@debian.org> 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 link against libatomic in this architecture, with the > patch > attached or an equivalent. > > I built it successfully on local hardware.
Gentle ping? It would be nice to have this patch applied so the package would build successfully in the case of binNMUs, or new revisions of the package that would fix other problems (e.g. future NMUs), etc. Cheers. -- Manuel A. Fernandez Montecelo <manuel.montez...@gmail.com>
