Package: guix-patches;
Reported by: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Date: Wed, 23 Apr 2025 08:02:02 UTC
Severity: normal
Tags: patch
View this message in rfc822 format
From: Nguyễn Gia Phong <mcsinyx <at> disroot.org> To: 78007 <at> debbugs.gnu.org Cc: Nguyễn Gia Phong <mcsinyx <at> disroot.org>, Andreas Enge <andreas <at> enge.fr>, Eric Bavier <bavier <at> posteo.net>, Sharlatan Hellseher <sharlatanus <at> gmail.com> Subject: [bug#78007] [PATCH] gnu: z3: Update to 4.14.1. Date: Wed, 23 Apr 2025 17:00:29 +0900
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.