diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:29:49 +0200 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 06:43:15 +0200 |
commit | 603d989ef4480871f2b4f79acadc95329349382c (patch) | |
tree | 5e9c2d41c242fb60a98507e370f6873098b6d642 /pkgs/development/idris-modules | |
parent | b73f540beb28741163768e04e629c611b397acdf (diff) | |
download | nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar.gz nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar.bz2 nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar.lz nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar.xz nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.tar.zst nixpkgs-603d989ef4480871f2b4f79acadc95329349382c.zip |
idrisPackages.descncrunch: Mark as broken
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/descncrunch.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/descncrunch.nix b/pkgs/development/idris-modules/descncrunch.nix index 93211dbdacb..8c808447f64 100644 --- a/pkgs/development/idris-modules/descncrunch.nix +++ b/pkgs/development/idris-modules/descncrunch.nix @@ -21,5 +21,6 @@ build-idris-package { homepage = https://github.com/ahmadsalim/desc-n-crunch; license = lib.licenses.gpl3; maintainers = [ lib.maintainers.brainrape ]; + broken = true; }; } |