aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tojo-tokyo/packages/guile-xyz.scm2
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+)))