aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
Diffstat (limited to 'tojo-tokyo')
-rw-r--r--tojo-tokyo/packages/guile-xyz.scm25
1 files changed, 25 insertions, 0 deletions
diff --git a/tojo-tokyo/packages/guile-xyz.scm b/tojo-tokyo/packages/guile-xyz.scm
index 63ded6e..8f539f6 100644
--- a/tojo-tokyo/packages/guile-xyz.scm
+++ b/tojo-tokyo/packages/guile-xyz.scm
@@ -124,3 +124,28 @@ picture language for GNU Guile.")
(description "Monitoring provides a server monitoring library.")
(home-page "https://git.tojo.tokyo/monitoring.git/about/")
(license license:gpl3+)))
+
+(define-public guile-vikalpa
+ (package
+ (name "guile-vikalpa")
+ (version "0.2.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://files.tojo.tokyo/vikalpa/"
+ "vikalpa-" version ".tar.gz"))
+ (sha256
+ (base32
+ "09d9mjn9fd371drimd2fgih6pxa6rj9yg4cm8hynzlqgxrdcha4x"))))
+ (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+)))