idrisPackages.data: remove broken package at 2018-03-19

Package doesn't compile https://hydra.nixos.org/build/142422494/nixlog/2 And the repository is archived with latest commits being in 2019 https://github.com/jdevuyst/dependable-data-structures ZHF: #122042
2021-05-08 20:03:28 +02:00
parent f7c01a9c27
commit b06d3ac70a
2 changed files with 0 additions and 27 deletions
@@ -75,8 +75,6 @@

    cube = callPackage ./cube.nix {};

-    data = callPackage ./data.nix {};
-
    derive = callPackage ./derive.nix {};

    descncrunch = callPackage ./descncrunch.nix {};