idrisPackages.descncrunch: drop

Has been marked broken for at least a full release cycle.

Dropping per RFC 180.

pkgs/development/idris-modules/default.nix

@@ -97,8 +97,6 @@ let
 
       derive = callPackage ./derive.nix { };
 
-      descncrunch = callPackage ./descncrunch.nix { };
-
       dict = callPackage ./dict.nix { };
 
       dom = callPackage ./dom.nix { };
@@ -227,6 +225,7 @@ let
     // builtins_
     // pkgs.lib.optionalAttrs config.allowAliases {
       # removed packages
+      descncrunch = throw "descncrunch has been removed because it has been marked as broken since 2018."; # Added 2025-10-11
       protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # Added 2022-02-06
       sdl = throw "'idrisPackages.sdl' has been removed, as it was broken and unmaintained"; # added 2024-05-09
     };

pkgs/development/idris-modules/descncrunch.nix

@@ -1,27 +0,0 @@
-{
-  build-idris-package,
-  fetchFromGitHub,
-  pruviloj,
-  lib,
-}:
-build-idris-package {
-  pname = "descncrunch";
-  version = "2017-11-15";
-
-  idrisDeps = [ pruviloj ];
-
-  src = fetchFromGitHub {
-    owner = "ahmadsalim";
-    repo = "desc-n-crunch";
-    rev = "261d9718504b8f0572c4fe7ae407a0231779bcab";
-    sha256 = "09fh334aga1z1hbw79507rdv7qsh0mqzb89lvpznn7vzi9zkl8fx";
-  };
-
-  meta = {
-    description = "Descriptions, levitation, and reflecting the elaborator";
-    homepage = "https://github.com/ahmadsalim/desc-n-crunch";
-    license = lib.licenses.gpl3;
-    maintainers = [ lib.maintainers.brainrape ];
-    broken = true;
-  };
-}