[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#74601] [PATCH 2/3] gnu: python-clinguin: Fix homepage.
|
From: |
Liliana Marie Prikler |
|
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