diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-19 09:51:33 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-19 09:51:33 +0900 |
| commit | e628cb920e05ee9cde72cac45727b4bdafda4c80 (patch) | |
| tree | 53e75f33848a4d4532a2b3ab7adada1956f3b69f /guix.scm | |
| parent | 88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622 (diff) | |
Update synopsis and description.
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+))) |