summary refs log tree commit diff
path: root/pkgs/development/idris-modules/tparsec.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/idris-modules/tparsec.nix')
-rw-r--r--pkgs/development/idris-modules/tparsec.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/tparsec.nix b/pkgs/development/idris-modules/tparsec.nix
index bd895a33bae3..00d4adba5dc8 100644
--- a/pkgs/development/idris-modules/tparsec.nix
+++ b/pkgs/development/idris-modules/tparsec.nix
@@ -6,6 +6,8 @@ build-idris-package  {
   name = "tparsec";
   version = "2018-06-26";
 
+  ipkgName = "TParsec";
+
   src = fetchFromGitHub {
     owner = "gallais";
     repo = "idris-tparsec";