diff options
| -rw-r--r-- | tojo-tokyo/packages/guile-xyz.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tojo-tokyo/packages/guile-xyz.scm b/tojo-tokyo/packages/guile-xyz.scm index 6be9679..f612735 100644 --- a/tojo-tokyo/packages/guile-xyz.scm +++ b/tojo-tokyo/packages/guile-xyz.scm @@ -147,5 +147,5 @@ picture language for GNU Guile.") `(("guile" ,guile-3.0))) (synopsis "Proof assistant for GNU Guile") (description "Vikalpa is a proof assistant inspired by J-Bob.") - (home-page "https://gitlab.com/tojoqk/vikalpa") + (home-page "https://git.tojo.tokyo/vikalpa.git") (license license:gpl3+))) |