diff options
Diffstat (limited to 'guix.scm')
-rw-r--r-- | guix.scm | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -39,8 +39,8 @@ ("texinfo" ,texinfo))) (inputs `(("guile" ,guile-3.0))) - (synopsis "Proof Assistant") - (description "Vikalpa is Proof Assistant.") + (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+))) |