Unbreak Agda's standard library by bumping to 2.1.1-rc2#336351

ncfavier merged 1 commit intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom

iblech:patch-agda-stdlib-2.1.1rc2iblech/nixpkgs:patch-agda-stdlib-2.1.1rc2Copy head branch name to clipboard