summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDimitris Pappas2022-06-28 12:55:58 +0300
committerDimitris Pappas2022-06-28 12:55:58 +0300
commit5f810cff18e8f6d3dec83cbf2994b9505217571b (patch)
tree50325c1556ee4dd296a6839aeb552d8a14399c35 /PKGBUILD
parent7321db83e594e072a1547e4f4387958f34d93bb2 (diff)
downloadaur-5f810cff18e8f6d3dec83cbf2994b9505217571b.tar.gz
Version 2.6.4
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 6b84e4e869b7..1b0704d4b8d0 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.6.3
+pkgver=2.6.4
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -19,7 +19,7 @@ source=(
sha256sums=('9928044890140a0f0e6f17df8b5f11acfea0b4fd7a8f494309a38b37bb7d71c2'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- '277aa60cf0e7f1ce7b37406e604236262d940337e309dcdcb0179acc8d0e1063')
+ '2e3c2ad1f40c4d45e3af7b24f5445c520c895cdb1d6f390e1b3d679968933414')
# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
# implemented in .desktop file, by adding it as environment variable