From bb85d3fc0224edd4bc8fe11dd8f157db3aedc955 Mon Sep 17 00:00:00 2001
From: Damien Cassou <damien@cassou.me>
Date: Mon, 18 Jul 2016 08:47:44 +0200
Subject: [PATCH] gnome-mines: 3.20.0 -> 3.20.1

---
 pkgs/desktops/gnome-3/3.20/games/gnome-mines/src.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 5dbae647661..9894d501122 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";
   };
 }