Merge pull request #122181 from divanorama/patch-2

idrisPackages.data: remove broken package at 2018-03-19
NixOS · May 9, 2021 · aaec4a5 · aaec4a5
2 parents e0e62c8 + b06d3ac
commit aaec4a5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27 deletions.
diff --git a/pkgs/development/idris-modules/data.nix b/pkgs/development/idris-modules/data.nix
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
@@ -75,8 +75,6 @@
 
     cube = callPackage ./cube.nix {};
 
-    data = callPackage ./data.nix {};
-
     derive = callPackage ./derive.nix {};
 
     descncrunch = callPackage ./descncrunch.nix {};