diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-29 16:05:27 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-29 16:05:27 +0000 |
| commit | f93f414ad146bd3988b3e5d187c8bb3d436958c8 (patch) | |
| tree | 348c7e931bc149bb09b737da072ba4a14a113ff5 | |
| parent | b804f1fc04b6214388073ae3363c9c997c65370d (diff) | |
all: fix lint issues
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 | ||||
| -rw-r--r-- | yellowsquid/packages/rtkit.scm | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index c6b8575..c3c1f7d 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -89,7 +89,7 @@ include: stdlib\n" (delete 'register)))) (synopsis "Standard library for Agda") (description "The Agda standard library aims to contain all the tools needed -to write both programs and proofs easily. Whilst the library tries to write +to write both programs and proofs easily. Whilst the library tries to write efficient code, ease of proof is prioritised over type-checking and normalisation performance.") (license license:expat))) diff --git a/yellowsquid/packages/rtkit.scm b/yellowsquid/packages/rtkit.scm index 1afae58..00d55c2 100644 --- a/yellowsquid/packages/rtkit.scm +++ b/yellowsquid/packages/rtkit.scm @@ -47,6 +47,6 @@ (synopsis "Realtime policy and watchdog daemon") (description "RealtimeKit is a D-Bus system service that changes the scheduling policy of user processes/threads to SCHED_RR (i.e. realtime -scheduling mode) on request. It is intended to be used as a secure mechanism +scheduling mode) on request. It is intended to be used as a secure mechanism to allow real-time scheduling to be used by normal user processes.") (license license:gpl3+))) |