Subject: bug#71925: closed (Re: [PATCH 0/2] Add klee-uclibc.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 13 Jan 2025 18:03:02 +0000

Your bug report

#71925: [PATCH 0/2] Add klee-uclibc.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
71925: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71925
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [PATCH 0/2] Add klee-uclibc.
From: Sören Tempel <[email-masked]>
To: [email-masked]
Date: Mon, 13 Jan 2025 19:02:32 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Applied in 3bdaa223b363b6986baa4bfa11f629f6ba974bba.

Subject: [PATCH 0/2] Add klee-uclibc.
From: [email-masked]
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Wed, 3 Jul 2024 21:03:58 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

From: Sören Tempel <[email-masked]>

As requested by Liliana Marie Prikler in #68296, this patchset readds
support for KLEE uclibc based on the new version of the KLEE package
merged via #71634.

Sören Tempel (2):
  gnu: Add klee-uclibc.
  gnu: klee: Build with klee-uclibc support.

 gnu/packages/check.scm | 75 ++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 73 insertions(+), 2 deletions(-)

base-commit: bab73e413b3421f4aa051e9438d147040a52e1be