diff options
Diffstat (limited to 'tojo-tokyo')
| -rw-r--r-- | tojo-tokyo/packages/guile-xyz.scm | 25 |
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+))) |