Subject: [bug#72106] [PATCH 1/3] gnu: klee: Propagate Python dependencies needed by klee-stats.

From: Liliana Marie Prikler <[email-masked]>
Date: Sun, 14 Jul 2024 13:43:13 +0200

Am Sonntag, dem 14.07.2024 um 12:42 +0200 schrieb
[email-masked]:
> From: Sören Tempel <[email-masked]>
> 
> Without these dependencies, the klee-stats Python script,
> which is shipped by the klee package, does not work correctly.
> 
> * gnu/packages/check.scm (klee): Add propagated Python inputs.
Can we use a wrapper instead?