diff options
| -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+))) |