diff options
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/config.nix | 2 | ||||
-rw-r--r-- | pkgs/development/idris-modules/containers.nix | 2 | ||||
-rw-r--r-- | pkgs/development/idris-modules/patricia.nix | 2 | ||||
-rw-r--r-- | pkgs/development/idris-modules/posix.nix | 2 |
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 ]; }; |