[gnome-builder] build: bump jedi version in flatpak manifest

[Christian Hergert <chergert src gnome org>]

commit b3bbb0f5f834a1641e1e8bc8da60836c5fdff5c5
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 23 11:54:15 2018 -0700

    build: bump jedi version in flatpak manifest

 build-aux/flatpak/org.gnome.Builder.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/build-aux/flatpak/org.gnome.Builder.json b/build-aux/flatpak/org.gnome.Builder.json
index 377133ac7..a81401dfb 100644
--- a/build-aux/flatpak/org.gnome.Builder.json
+++ b/build-aux/flatpak/org.gnome.Builder.json
@@ -159,8 +159,8 @@
             "sources" : [
                 {
                     "type" : "archive",
-                    "url" : 
"https://pypi.python.org/packages/80/b9/4e9b0b999deeec8a91cb84e567380853a842e6c387c9d39b8fc9a49953fa/jedi-0.10.2.tar.gz";,
-                    "sha256" : "7abb618cac6470ebbd142e59c23daec5e6e063bfcecc8a43a037d2ab57276f4e"
+                    "url" : 
"https://files.pythonhosted.org/packages/3d/68/8bbf0ef969095a13ba0d4c77c1945bd86e9811960d052510551d29a2f23b/jedi-0.12.1-py2.py3-none-any.whl";,
+                    "sha256" : "c254b135fb39ad76e78d4d8f92765ebc9bf92cbc76f49e97ade1d5f5121e1f6f"
                 },
                 {
                     "type" : "file",