GNU bug report logs - #68296
[PATCH] gnu: Add KLEE.

Previous Next

Package: guix-patches;

Reported by: soeren <at> soeren-tempel.net

Date: Sat, 6 Jan 2024 20:50:01 UTC

Severity: normal

Tags: patch

Done: Sören Tempel <soeren <at> soeren-tempel.net>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Sören Tempel <soeren <at> soeren-tempel.net>
To: 68296 <at> debbugs.gnu.org
Subject: [bug#68296] gnu: Add KLEE.
Date: Mon, 11 Mar 2024 10:54:03 +0100

Hi,

What does "QA: Investigate" mean? The build should be fixed now with the
v3 revision. I don't see any build failures on the QA. Is there anything
I need to do on my end in order to have the build restarted?

Greetings
Sören
This bug report was last modified 221 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.