Version 2.4.2

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c4cb4db5ac92..fc67004377b7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = minizinc-ide
 	pkgdesc = Simple IDE for writing and running MiniZinc models
-	pkgver = 2.3.2
+	pkgver = 2.4.2
 	pkgrel = 1
 	url = http://www.minizinc.org/ide/
 	install = minizinc-ide.install
@@ -12,11 +12,11 @@ pkgbase = minizinc-ide
 	source = minizinc-ide.desktop
 	source = fzn-gecode-gist-lib-path.patch
 	source = https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
-	source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.2/MiniZincIDE-2.3.2-bundle-linux-x86_64.tgz
+	source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz
 	sha256sums = bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6
 	sha256sums = 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a
 	sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
-	sha256sums = ecb860f9c451c8680ffad278ec9107c75653ab3d887b5523492298d46ee3caf7
+	sha256sums = 334a1ec64473400feef39dfebd76a4c56c783f3bbfc0f9d8b75a2cbde697aa6e
 
 pkgname = minizinc-ide
 
diff --git a/PKGBUILD b/PKGBUILD
index aebd038e8f93..18f7ea451c57 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.3.2
+pkgver=2.4.2
 pkgrel=1
 pkgdesc="Simple IDE for writing and running MiniZinc models"
 arch=(x86_64)
@@ -21,7 +21,7 @@ sha256sums=(
     bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6
     657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a
     eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
-    ecb860f9c451c8680ffad278ec9107c75653ab3d887b5523492298d46ee3caf7
+    334a1ec64473400feef39dfebd76a4c56c783f3bbfc0f9d8b75a2cbde697aa6e
 )