[gnome-builder] mingw: Set correct system type/id for 64bit

[Christian Hergert <chergert src gnome org>]

commit 30fc6d3e368f67f98a8f462ff1e3917ece23c2dc
Author: Patrick Griffis <tingping tingping se>
Date:   Fri Apr 24 01:39:11 2015 -0400

    mingw: Set correct system type/id for 64bit
    
    https://bugzilla.gnome.org/show_bug.cgi?id=748427

 libide/mingw/ide-mingw-device-provider.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/libide/mingw/ide-mingw-device-provider.c b/libide/mingw/ide-mingw-device-provider.c
index 7b0a77a..f9f7f0f 100644
--- a/libide/mingw/ide-mingw-device-provider.c
+++ b/libide/mingw/ide-mingw-device-provider.c
@@ -62,8 +62,8 @@ ide_mingw_device_provider_discover_worker (GTask        *task,
       /* add 64-bit mingw device */
       device = ide_mingw_device_new (context,
                                      _("MinGW (64-bit)"),
-                                     "local-i686-w64-mingw32",
-                                     "i686-w64-mingw32");
+                                     "local-x86_64-w64-mingw32",
+                                     "x86_64-w64-mingw32");
       g_ptr_array_add (devices, device);
     }