Version 2.7.2

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7fedde083ab3..020b9ae2e219 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = minizinc-ide
 	pkgdesc = Simple IDE for writing and running MiniZinc models
-	pkgver = 2.7.0
+	pkgver = 2.7.2
 	pkgrel = 1
 	url = http://www.minizinc.org/ide/
 	install = minizinc-ide.install
@@ -11,9 +11,9 @@ pkgbase = minizinc-ide
 	options = !strip
 	source = minizinc-ide.desktop
 	source = https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
-	source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.7.0/MiniZincIDE-2.7.0-bundle-linux-x86_64.tgz
+	source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.7.2/MiniZincIDE-2.7.2-bundle-linux-x86_64.tgz
 	sha256sums = 9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2
 	sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
-	sha256sums = dfcc4360ac391485dd0cbd50585aa7af5eedb3f45cb0c555deeab28720607763
+	sha256sums = 42ce209bcc9ff63b724d4398838803323926f756d0a61c03b8b23123a07fc0e9
 
 pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index cd69ba8caa57..a032c104176a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Dimitris Pappas <mitsakosgr at gmail dot com>
 # Contributor: Fabio Tardivo <x95a31x at gmail dot com>
 pkgname=minizinc-ide
-pkgver=2.7.0
+pkgver=2.7.2
 pkgrel=1
 pkgdesc="Simple IDE for writing and running MiniZinc models"
 arch=(x86_64)
@@ -19,7 +19,7 @@ source=(
 
 sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
             'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
-            'dfcc4360ac391485dd0cbd50585aa7af5eedb3f45cb0c555deeab28720607763')
+            '42ce209bcc9ff63b724d4398838803323926f756d0a61c03b8b23123a07fc0e9')
 
 # Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
 # implemented in .desktop file, by adding it as environment variable