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 #11 received at 75476 <at> debbugs.gnu.org (full text, mbox):

From: Nicolas Graves <ngraves <at> ngraves.fr>
To: control <at> debbugs.gnu.org,75476 <at> debbugs.gnu.org
Subject: QA review for 75476
Date: Sun, 02 Feb 2025 16:09:19 +0100

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

-- 
Best regards,
Nicolas Graves
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.