agda: 2.6.4.3 -> 2.7.0 (WIP)#335824

iblech wants to merge 1 commit intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom

iblech:patch-agda2.7.0iblech/nixpkgs:patch-agda2.7.0Copy head branch name to clipboard