about summary refs log tree commit diff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r--pkgs/development/idris-modules/config.nix2
-rw-r--r--pkgs/development/idris-modules/containers.nix2
-rw-r--r--pkgs/development/idris-modules/patricia.nix2
-rw-r--r--pkgs/development/idris-modules/posix.nix2
4 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/config.nix b/pkgs/development/idris-modules/config.nix
index 49c6efdd737e5..53d423f728f01 100644
--- a/pkgs/development/idris-modules/config.nix
+++ b/pkgs/development/idris-modules/config.nix
@@ -20,7 +20,7 @@ build-idris-package  {
   };
 
   meta = {
-    description = "Parsers for various configuration files written in Idris.";
+    description = "Parsers for various configuration files written in Idris";
     homepage = "https://github.com/benclifford/idris-config";
     license = lib.licenses.bsd3;
     maintainers = [ lib.maintainers.brainrape ];
diff --git a/pkgs/development/idris-modules/containers.nix b/pkgs/development/idris-modules/containers.nix
index dfe85aa7b8af9..2b3ee40437362 100644
--- a/pkgs/development/idris-modules/containers.nix
+++ b/pkgs/development/idris-modules/containers.nix
@@ -18,7 +18,7 @@ build-idris-package  {
   };
 
   meta = {
-    description = "Various data structures for use in the Idris Language.";
+    description = "Various data structures for use in the Idris Language";
     homepage = "https://github.com/jfdm/idris-containers";
     license = lib.licenses.bsd3;
     maintainers = [ lib.maintainers.brainrape ];
diff --git a/pkgs/development/idris-modules/patricia.nix b/pkgs/development/idris-modules/patricia.nix
index a5cb0c6af00ed..21907f15da810 100644
--- a/pkgs/development/idris-modules/patricia.nix
+++ b/pkgs/development/idris-modules/patricia.nix
@@ -17,7 +17,7 @@ build-idris-package  {
   };
 
   meta = {
-    description = "Immutable map from integer keys to values based on patricia tree. Basically persistent array.";
+    description = "Immutable map from integer keys to values based on patricia tree. Basically persistent array";
     homepage = "https://github.com/ChShersh/idris-patricia";
     license = lib.licenses.mit;
     maintainers = [ lib.maintainers.brainrape ];
diff --git a/pkgs/development/idris-modules/posix.nix b/pkgs/development/idris-modules/posix.nix
index 13588155989ab..cc34c9007272f 100644
--- a/pkgs/development/idris-modules/posix.nix
+++ b/pkgs/development/idris-modules/posix.nix
@@ -17,7 +17,7 @@ build-idris-package  {
   doCheck = false;
 
   meta = {
-    description = "System POSIX bindings for Idris.";
+    description = "System POSIX bindings for Idris";
     homepage = "https://github.com/idris-hackers/idris-posix";
     maintainers = [ lib.maintainers.brainrape ];
   };