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
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:
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:
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
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
5 matches
Mail list logo