diff options
Diffstat (limited to 'gnu/packages/potassco.scm')
| -rw-r--r-- | gnu/packages/potassco.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ as logic programs.") 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.") |