aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-15 19:03:00 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-15 19:03:00 +0900
commitc9c2ee37e317e56ce9c732ab8549b55305bc2d58 (patch)
tree451599a31f5164f15d9be46c24333edc9e9b8c33
parenta13bb29a16c7e8f70549bd0dc18605ea9a889b9d (diff)
guile-vikalpa: Fix homepage url.
-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+)))