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.

---
 README.org | 2 +-
 guix.scm   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.org b/README.org
index 96d66fb..1e9e886 100644
--- a/README.org
+++ b/README.org
@@ -1,3 +1,3 @@
 * vikalpa
 
-Vikalpa is Proof Assistant.
+  Vikalpa is a proof assistant inspired by J-Bob.
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