tojoqk: Add vikalpa package.HEADmaster

1 files changed, 27 insertions, 1 deletions

diff --git a/tojoqk/packages/guile-xyz.scm b/tojoqk/packages/guile-xyz.scm
index d46469e..f3bd161 100644
--- a/tojoqk/packages/guile-xyz.scm
+++ b/tojoqk/packages/guile-xyz.scm
@@ -1,5 +1,5 @@
 ;;; guix-channel
-;;; Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo>
+;;; Copyright © 2020, 2021 Masaya Tojo <masaya@tojo.tokyo>
 ;;;
 ;;; This file is part of guix-channel.
 ;;;
@@ -56,3 +56,29 @@
     (description "Toot is Mastodon Client.")
     (home-page "https://gitlab.com/tojoqk/toot")
     (license license:gpl3+)))
+
+(define-public guile-vikalpa
+  (package
+    (name "guile-vikalpa")
+    (version "0.1.1")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://gitlab.com/tojoqk/vikalpa/uploads/"
+                    "a7b319b045ea5893e449cf5ad1bd084f"
+                    "/vikalpa-" version ".tar.gz"))
+              (sha256
+               (base32
+                "15g2pjgqwnym3lqrw14djfxz3852hrdwvywgc898qdlfrb5m5ac4"))))
+    (build-system gnu-build-system)
+    (native-inputs
+     `(("autoconf" ,autoconf)
+       ("automake" ,automake)
+       ("pkg-config" ,pkg-config)
+       ("texinfo" ,texinfo)))
+    (inputs
+     `(("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")
+    (license license:gpl3+)))