GNU bug report logs - #75476
[PATCH] gnu: python-pysmt: Update to 0.9.6.

Previous Next

Package: guix-patches;

Reported by: Nguyễn Gia Phong <mcsinyx <at> disroot.org>

Date: Fri, 10 Jan 2025 13:00:02 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

Message #16 received at 75476-done <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Nicolas Graves <ngraves <at> ngraves.fr>,
 Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Cc: 75476-done <at> debbugs.gnu.org
Subject: Re: [bug#75476] QA review for 75476
Date: Sun, 2 Feb 2025 17:06:53 -0500

On Sun, Feb 02, 2025 at 04:09:19PM +0100, Nicolas Graves via Guix-patches via wrote:
> user guix
> usertag 75476 + reviewed-looks-good
> thanks
> 
> Guix QA review form submission:
> I&apos;ve just resent a version to fix git conflicts. Tested on x86-64, lints too. LGTM.
> 
> Items marked as checked: Lint warnings, Package builds, Commit messages

Thanks for patch Nguyễn! Pushed as commit
fa0ab2f70fa3a363d84f9dd795f008e632d2c145:

https://git.savannah.gnu.org/cgit/guix.git/commit/?id=4fccad83875cf8f5846b181525f814ce5c240ef9

And thanks to Nicolas for the review!
This bug report was last modified 106 days ago.

Previous Next

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