|
| From: | Liliana Marie Prikler |
| Subject: | [bug#72106] [PATCH v3 4/5] gnu: klee: Only build on x86_64 Linux. |
| Date: | Fri, 26 Jul 2024 20:41:38 +0200 |
| User-agent: | Evolution 3.48.4 |
Am Donnerstag, dem 25.07.2024 um 22:40 +0200 schrieb soeren@soeren-tempel.net: > From: Sören Tempel <soeren@soeren-tempel.net> > > * gnu/packages/check.scm (klee): Add supported-systems. > --- To recall, i386 does not work?
| [Prev in Thread] | Current Thread | [Next in Thread] |