diff --git a/pkgs/desktops/gnome-3/3.20/games/gnome-mines/src.nix b/pkgs/desktops/gnome-3/3.20/games/gnome-mines/src.nix index 5dbae6476613..9894d5011225 100644 --- a/pkgs/desktops/gnome-3/3.20/games/gnome-mines/src.nix +++ b/pkgs/desktops/gnome-3/3.20/games/gnome-mines/src.nix @@ -1,10 +1,10 @@ # Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { - name = "gnome-mines-3.20.0"; + name = "gnome-mines-3.20.1"; src = fetchurl { - url = mirror://gnome/sources/gnome-mines/3.20/gnome-mines-3.20.0.tar.xz; - sha256 = "7775c8d19cda9663a3e6b69d921c9de869278aeff93e249099af2d3c19b970a6"; + url = mirror://gnome/sources/gnome-mines/3.20/gnome-mines-3.20.1.tar.xz; + sha256 = "5815e886d92817d4127b9e94bf63cb91e2bf371029d18efdf9f195e2400e2b3b"; }; }