diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 19:41:32 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 19:41:32 +0900 |
| commit | 2e1cb0342ef314abf1611de69487e0794ed20e05 (patch) | |
| tree | b04ded4394f5ca4e13249d9fb301cc6f42802187 | |
| parent | 659b834ab3edbb356bbf71df11f6f95ab0c3a0d8 (diff) | |
guix.scm: Fix synopsis and description.
| -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 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+))) |