GNU bug report logs - #74601
[PATCH 0/3] Update clinguin to 2.1.1

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Fri, 29 Nov 2024 09:46:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 74601 <at> debbugs.gnu.org
Subject: [bug#74601] [PATCH 2/3] gnu: python-clinguin: Fix homepage.
Date: Fri, 29 Nov 2024 09:51:24 +0100

* gnu/packages/potassco.scm (python-clinguin)[home-page]: Use
“https://github.com/potassco/clinguin”.
---
 gnu/packages/potassco.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 57caf6aabc..a421810067 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -726,7 +726,7 @@ (define-public python-clinguin
           python-sphinx-rtd-theme
           python-traitlets
           python-uvicorn))
-   (home-page "https://github.com/potassco/clingraph")
+   (home-page "https://github.com/potassco/clinguin")
    (synopsis "Clingo-based interactive UI")
    (description "Clinguin is a graphical user interface toolkit for clingo,
 which allows user interfaces to be specified entirely as a logic program.")
-- 
2.46.0
This bug report was last modified 165 days ago.

Previous Next

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