idrisPackages.descncrunch: Mark as broken

2018-07-02 05:29:49 +02:00
parent b73f540beb
commit 603d989ef4
1 changed files with 1 additions and 0 deletions
--- 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;
  };
 }