From ef62f025e49f99229cb8f885a5f2cad8d4584689 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 15 Sep 2021 17:29:44 +0900 Subject: Add guile-vikalpa. --- tojo-tokyo/packages/guile-xyz.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'tojo-tokyo/packages') 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+))) -- cgit v1.2.3