1 files changed, 2 insertions, 2 deletions
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+)))