From c9c2ee37e317e56ce9c732ab8549b55305bc2d58 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 15 Sep 2021 19:03:00 +0900 Subject: guile-vikalpa: Fix homepage url. --- tojo-tokyo/packages/guile-xyz.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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+))) -- cgit v1.2.3