# Pastebin mcK25epx diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index 2caf04f479a..cc6e13be564 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -802,8 +802,8 @@ self: { }: mkDerivation { pname = "Agda"; - version = "2.6.0.1"; - sha256 = "1s600ry1qwizr3ynyj05rvlx7jdcw9a1viyc0ycjamm5sjf8mf3v"; + version = "2.6.1"; + sha256 = "0af1nyyscdc4gr4l0k3ayq3rn8qxqkx1b7rh4mw023gkz1m433v7"; isLibrary = true; isExecutable = true; enableSeparateDataOutput = true;