From e628cb920e05ee9cde72cac45727b4bdafda4c80 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 19 Jan 2021 09:51:33 +0900
Subject: Update synopsis and description.

---
 guix.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'guix.scm')

diff --git a/guix.scm b/guix.scm
index 21460c6..ec32e56 100644
--- a/guix.scm
+++ b/guix.scm
@@ -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+)))
 
-- 
cgit v1.2.3