haskellPackages.Agda: unbreak the build by dropping a (by now) unnecessary patch#113396

iblech wants to merge 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

iblech:patch-agda-2.6.1.3iblech/nixpkgs:patch-agda-2.6.1.3Copy head branch name to clipboard