Subject: Re: [PATCH v4 5/5] gnu: klee-uclibc: Only build on x86_64 Linux.
From: Liliana Marie Prikler <[email-masked]>
To: [email-masked], [email-masked]
Date: Sat, 27 Jul 2024 19:28:27 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Am Samstag, dem 27.07.2024 um 11:10 +0200 schrieb
[email-masked]:
> From: Sören Tempel <[email-masked]>
> 
> * gnu/packages/check.scm (klee-uclibc): Add supported-systems.
> ---
Pushed as 46a64c7fdd057283063aae6df058579bb07c4b6a.

Cheers