diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 17:29:44 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 17:48:00 +0900 |
| commit | ef62f025e49f99229cb8f885a5f2cad8d4584689 (patch) | |
| tree | f0d271e5461172a0c0dd4959de6985031fecdf8a | |
| parent | e223f34bfe63aeaed86c130c5582d3d986c65189 (diff) | |
Add guile-vikalpa.
| -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+))) |