Subject: [bug#68296] [PATCH v4 2/2] gnu: Add klee.

From: Liliana Marie Prikler <[email-masked]>
Date: Sun, 23 Jun 2024 15:46:11 +0200

Hi Sören, hi Julien

Am Donnerstag, dem 28.03.2024 um 20:20 +0100 schrieb
[email-masked]:
> From: Sören Tempel <[email-masked]>
> 
> * gnu/packages/check.scm (klee): New variable.
I pushed 71634 earlier today, which adds klee, but not klee-uclibc –
would you mind taking a look at it and adding any missing bits?

Cheers