diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 19:03:00 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 19:03:00 +0900 |
| commit | c9c2ee37e317e56ce9c732ab8549b55305bc2d58 (patch) | |
| tree | 451599a31f5164f15d9be46c24333edc9e9b8c33 | |
| parent | a13bb29a16c7e8f70549bd0dc18605ea9a889b9d (diff) | |
guile-vikalpa: Fix homepage url.
| -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+))) |