From 2e1cb0342ef314abf1611de69487e0794ed20e05 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Fri, 10 Sep 2021 19:41:32 +0900
Subject: guix.scm: Fix 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 7148e7e..c35fd77 100644
--- a/guix.scm
+++ b/guix.scm
@@ -39,8 +39,8 @@
        ("texinfo" ,texinfo)))
     (inputs
      `(("guile" ,guile-3.0)))
-    (synopsis "Proof assistant for GNU Guile")
-    (description "Monitoring is a proof assistant inspired by J-Bob.")
+    (synopsis "Server monitoring library")
+    (description "Monitoring provides a server monitoring library.")
     (home-page "https://gitlab.com/tojoqk/monitoring")
     (license license:gpl3+)))
 
-- 
cgit v1.2.3