Subject: Re: [PATCH v3 4/5] gnu: klee: Only build on x86_64 Linux.

From: Liliana Marie Prikler <[email-masked]>
Date: Fri, 26 Jul 2024 20:41:38 +0200

Am Donnerstag, dem 25.07.2024 um 22:40 +0200 schrieb
[email-masked]:
> From: Sören Tempel <[email-masked]>
> 
> * gnu/packages/check.scm (klee): Add supported-systems.
> ---
To recall, i386 does not work?