Hi Karn, I've committed your patch. Thank you very much. Changing cabal2nix is not necessary in this particular case, because the currently required patch will become obsolete in the next version of Agda. So when the expression is re-generated after an update, we actually want to lose that patchPhase line. :-) Take care, Peter